基于加权网格的GPS快速静态定位方法

针对野外作业对GPS（全球定位系统）快速静态定位的实际需求提出了一种解决方法,该方法不需要进行数据预处理,只需依据DOP（精度几何因子）与定位误差之间的关系及定位点密度与真值可能位置之间的关系计算加权值,并通过加权网格快速求取GPS静态定位点。实际数据测试表明,该方法计算结果优于平均值结果及单一DOP权值和密度权值结果,该方法具有较高的精度和较强的稳定性,并具有准实时的处理时效。     

小学门口放学期间的一个行人流模型

以小学放学时的行人流运动模式作为研究对象,研究该场景中的行人流特征。放学过程中,学校门口的行人流存在行人不均衡分布、行人按一定规则输入输出、行人成对行为、拥堵现象等特征。借助元胞自动机模型,在静态场基础上提出了一个行人流模型,并设计了一种基于下一步距离收益的算法。利用该模型对北京航空航天大学附属小学放学时学校门口的疏散行人流进行仿真,其仿真结果表明行人流输入率和初始分布人数对系统疏散效率有显著影响,平均疏散时间与初始分布人数呈现负相关的关系。      

车间动态调度方法研究与应用

作业调度是实现车间数字化制造的基本软件功能之一.本文介绍了车间动态调度问题,提出一种动态调度方法,同时将此方法应用于航空小批量产品的车间调度,该方法以基于遗传算法的静态调度为基础,结合机床与工艺路线的约束,按照各种规则求解以产品的加工周期最短为目标的调度问题,并通过具体的实例仿真分析其有效性.     

现代战斗机空战能力评估及敏感性分析

考虑四代机的特征并结合现代空战特点,建立适用于评估四代机空战能力的层次体系结构模型,结合层次分析法与模糊隶属度函数法进行空战效能的静态评估, 并提出了空战能力对结构模型中最底层各单项指标及同层各指标的敏感性概念和算法.以典型四代机和三代机为例,对构建的模型体系和评估方法进行了验证和细致分析,表明效能的静态评估具有合理性,并且通过效能值对指标的敏感性分析,能为战斗机升级和作战使用提供理论指导.     

带静态参数的高超声速飞行器轨迹优化算法

提出了一种求解带静态参数最优控制问题的间接算法,解决了带静态参数的高超声速飞行器轨迹优化问题.将最优控制中的静态参数分为3类:终端时间、边界点状态变量和设计变量.通过转换公式,可以将终端时间变为优化过程中的一个设计变量,终端时间可变问题转换为终端时间固定问题.边界点状态变量自由,可以根据极大值原理推导获得相应的协态边界条件.设计变量可以看作是导数为零的状态变量,从而获得新的状态方程和协态方程,以及初始和终端对应设计变量的协态值.经过变化,带静态参数的最优控制问题构成一个标准两点边值问题.最后以乘波体为研究对象,将气动外形参数作为优化静态参数,完成了外形/轨迹一体化优化设计,获得了满足全局最大航程要求的最优气动外形.      

基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

基于三维光场的静态场景前景分割

为解决复杂场景中的前景提取问题提出一种基于三维光场分析的静态场景前景分割方法.首先,通过在一条直线等间距的不同视点上拍摄场景的序列图像构建密集采样的三维光场.其次,用线段检测(LSD)直线检测算法从对极平面图(EPI)中分析提取出场景边缘及其深度信息.借助分段三次Hermite多项式(PCHIP)快速插值算法恢复整个场景的深度信息.最终,通过阈值法实现对不同深度的前景物体的分割.初步实验结果表明,本方法能够较准确地恢复场景中多个物体之间的空间关系,前景分割结果较好地克服了现有基于区域聚类和数学形态学等方法在复杂场景应用中存在的过分割问题.      

SRAM单粒子效应检测方法研究

采用中国科学院近代物理研究所的回旋加速器HIRFL产生不同LET值的重离子,以模拟空间辐射环境,检测了两种国产SRAM器件抗单粒子翻转和单粒子锁定的能力。试验中采用了两套单粒子效应检测系统,结合试验检测过程和最终结果,讨论了两套检测系统各自的优缺点,总结了试验中需要注意的其他问题。本研究为今后构建其他器件的单粒子效应检测系统提供了参考。     

菱形驱动斯特林制冷机

通过运动学与动力学平衡分析,提出了菱形驱动斯特林制冷机热力计算方法,该方法能够简化多级斯特林制冷机的计算。