基于参数化直方图的三路互相交连接选择性估计

估计空间算子的选择性是设计空间查询优化器的关键技术之一。选择性估计不仅能以非常小的代价给出空间算子结果集大小的近似估计,而且也可以直接用于某些仅需要近似结果的空间查询和空间分析(如数据集间的相关性评价等)处理。互相交连接是一类常见而且具有特殊性质的多路空间连接。基于对命题"两两相交的多个矩形一定有一个公共的相交区域,而且这个区域也是矩形"的证明,提出了一种可以用于三路互相交连接选择性估计的参数化直方图方法,还通过多组比较实验证明了该方法的有效性和适应性。     

基于遗传算法的航空兵出动架次计算方法

针对航空兵出动架次计算问题,基于资源受限项目调度理论进行问题描述和建模,以给定兵力对目标任务的最大出动架次为效能指标,分析影响因素和约束条件,建立了问题数学模型.根据问题模型特点,采用遗传算法进行求解,针对染色体编码问题,设计了一种扩展任务列表编码方法;针对初始解集求解问题,提出了一种基于优先规则的出动架次分配算法.并构建了航空兵出动架次计算仿真算例对问题模型和求解算法进行验证,实验结果表明,所提模型和算法能够有效求解大规模航空兵出动架次计算问题.     

CBM与IETM集成中的数据模型设计及运用

针对现有交互式电子手册(IETM-Interactive Electronic Technical Manual)与基于状态维修(CBM-Con-dition Based Maintenance)系统集成设计中对接口数据的特点类型、结构模式及运用过程缺乏规范化设计的不足,基于开放系统体系结构(OSA-CBM),对集成中的数据内容进行了统一建模,规范了OSA-CBM 6层数据类型与3级CBM系统、4种集成方式的相互关系.面向CBM与IETM集成应用,提出了3种数据结构模式及其运用过程,有效解决了集成接口中的数据模型设计问题.     

航天测控调度问题的拉格朗日启发式算法

通过分析航天测控调度问题的测控需求,建立了航天测控调度0-1整数规划模型,运用拉格朗日松弛方法对模型中的任务约束和设备约束进行了松弛,运用次梯度优化算法求得了航天测控调度问题上界,同时得到了决策变量对应的拉格朗日权重,可以作为决策变量在最优解中是否被调度的启发式信息,对拉格朗日权重进行分析,提出了求解问题可行解的拉格朗日启发式算法。最后,通过对两个场景的试验分析验证了拉格朗日启发式算法所求可行解的优越性。     

在"两课"教学中贯彻"三个代表"重要思想

在院校政治理论和思想品德课教学中,贯彻落实军委总政关于"七一"讲话"三进入"的指示精神,必须从"两课"教学课程体系、教材体系、教学方法、教学制度等方面全面渗透和贯彻"三个代表"重要思想,切实提高"两课"教学的质量.     

快轴伺服系统的设计与性能测试

研制了用于加工非回转对称光学元件的快轴伺服系统(FAS)的整体结构及其控制系统,系统具备较大行程和高工作频率,最大的行程可达到30mm。系统采用了音圈电机驱动的气体静压轴承技术、线性电流放大器、高分辨率编码器以及高速控制系统。对不同截面形状气浮导轨的静、动态特性进行了有限元分析。系统采用PID反馈和速度/加速度前馈控制方法来改善系统的动态性能。FAS系统0.1mm阶跃响应的上升时间为2ms,最大超调量为0.4%,稳态时间为4ms,对铝件进行超精密切削实验,表面粗糙度可达Ra24nm,实验结果表明系统具有较好的动态和切削特性。     

基于时间窗的宽带阵列多目标干扰资源调度

随着宽带数字阵列技术和有源干扰技术的不断发展和成熟,舰载有源干扰设备的未来发展方向将是宽带数字阵列有源干扰系统。针对多目标干扰问题,提出了目标干扰时间窗概念和两种时间窗的处理方法,并建立干扰资源调度模型,通过仿真计算和对比分析,得出基于模糊时间窗的资源调度模型性能优于基于硬时间窗的资源调度模型,能够对干扰资源进行合理的调度,提高宽带阵列多目标干扰能力。     

多平台雷达有源干扰资源分配算法

根据现代干扰机特点,建立"多对多"雷达有源干扰资源分配数学模型,结合分配算法的具体应用环境,提出了基于多Agent分布协同拍卖的雷达干扰资源分配算法,实例表明该方法可行。     

Controllable combustion behaviors of the laser-controlled solid propellant

Microsatellites have been widely applied in the fields of communication,remote sensing,navigation and science exploration due to its characteristics of low cost,flexible launch mode and short development period.However,conventional solid-propellant have difficulties in starting and interrupting combustion because combustion is autonomously sustained after ignition.Herein,we proposed a new type of solid-propellant named laser-controlled solid propellant,which is sensitive to laser irradiation and can be started or interrupted by switching on/off the continuous wave laser.To demonstrate the feasibility and investigate the controllable combustion behaviors under different laser on/off conditions,the combus-tion parameters including burning rate,ignition delay time and platform pressure were tested using pressure sensor,high-speed camera and thermographic camera.The results showed that the increase of laser-on or laser-off duration both will lead to the decrease of propellant combustion performance during re-ignition and re-combustion process.This is mainly attributed to the laser attenuation caused by the accumulation of combustion residue and the change of chamber ambient temperature.Simultaneously,the multiple ignition tests revealed that the increased chamber ambient temperature after combustion can make up for the energy loss of laser attenuation and expansion of chamber cavity.However,the laser-controlled combustion performance of solid propellant displayed a decrease trend with the addi-tion of ignition times.Nevertheless,the results still exhibited good laser-controlled agility of laser-controlled solid propellant and manifested its inspiring potential in many aspects of space missions.     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。