徐万里 作品数:25 被引量:24 H指数:3 供职机构: 装甲兵工程学院信息工程系 更多>> 发文基金: 国家自然科学基金 军队科研计划项目 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 机械工程 更多>>
基于错误模型的一类静态验证方法研究 该文对使用模型匹配方法实现代码静态验证的整个过程做详细的介绍,其中包括:错误模型的建立,代码词法及语法分析,在定义使用链中进行错误点查找与定位等.还提出了在开发静态验证工具软件过程中遇到的诸多具体问题的解决方法.整个过程... 丁振国 徐万里关键词:语法树 文献传递 加强计算机基础教育问题的探索 2000年 指出了高等军事院校非计算机专业人才加强计算机基础教育的重要意义,结合我院的现状,提出了加强计算机基础教育的措施和模式. 徐万里 张建新关键词:计算机 基础教育 实时中间件技术研究 本文分析了过程控制系统对实时传输的需求,针对网络传输开销的不确定性造成现有网络不能满足实时传输要求的现实,文章研究了共享内存技术,以此技术为基础实现了实时中间件。中间件采用自行设计实时控制协议,并利用多线程、缓存等技术对... 李晓东 刘玉军 徐万里关键词:实时中间件 共享内存 文献传递 带限信号高频重建频域极小化外推算法 1996年 通过离散Fourier变换,给出了一个频域极小化外推算法。该算法能较好地抑制噪声干扰,其计算量小,计算机仿真结果表明,该方法有良好的应用前景。 钱兆华 徐万里关键词:图象重建 带限信号的最大熵正则外推算法 1996年 基于最大熵正则化构造了一种新的稳定的带限信号正则外推算法。当噪声δ(t)∈L^2[—T.T],其误差能量为δ,而且当δ→0时,所求得的正则化解将在(- ∞,∞)内一致收敛于问题的精确解。 徐万里 钱兆华关键词:不适定问题 基于UKF的北斗/INS组合导航 被引量:4 2013年 扩展卡尔曼滤波(EKF)是工程中常用的滤波算法,然而EKF是次优的贝叶斯估计,这会影响到估计的精度;用不敏卡尔曼滤波算法(UKF)取代EKF构建了北斗/INS组合导航系统,实验结果表明:UKF相对于EKF,各项参数的误差均有10%以上的减少量。 王维锋 徐万里 聂挥宇关键词:北斗 EKF UKF 基于地面传感器的战场目标定位方法 2016年 精确的网络节点定位是无线传感器网络各种应用和展开部署时自组网及网络管理的首要和基础条件,这就要求有很高的定位精度。战场侦察地面传感器系统中,大多使用声/震传感器结合时差定位法对地面目标进行定位,但其在近点定位效果较差,且若需在远点的测距精度达米级时,要求测时精度达纳秒级。无源红外传感器通过感知IR强度变化和方向对目标进行运动方向和数量的判别,它的测向误差在毫弧度级,理论上可采用多重采样相关定位法建立仿真模型,结果表明:基于红外传感器的地面目标定位算法对地面战场目标定位切实可行且定位精度较高。 鲍硕 徐万里关键词:红外传感器 分段试验的可行性 1995年 运用随机点过程方法,从理论上对可修系统能否进行分段试验进行了研究.论证了对于泊松过程模型分段试验的可行性,并研究了分段试验对参数估计的影响. 侯秉涛 徐万里关键词:可修系统 泊松过程 参数估计 基于LOB的辐射源无源定位算法对比研究 被引量:1 2014年 分析了4种具有代表性的基于辐射源方位线(Lines Of Bearing,LOB)的无源定位算法,即Pages-Zamora定位算法、布朗定位算法、概率定位算法和模糊定位算法。在此基础上提出了融合-迭代定位算法,并进行了蒙特卡罗仿真对比实验,对5种算法的定位精度和运算量进行了比较分析。实验结果表明:融合-迭代定位算法的综合性能优于其他定位算法。 徐万里 刘准关键词:无源定位 LOB 实时中间件技术研究 本文分析了过程控制系统对实时传输的需求,针对网络传输开销的不确定性造成现有网络不能满足实时传输要求的现实,文章研究了共享内存技术,以此技术为基础实现了实时中间件。中间件采用自行设计实时控制协议,并利用多线程、缓存等技术对... 李晓东 刘玉军 徐万里关键词:实时中间件 共享内存 文献传递