基于激光推进的光船发射任务设计与参数优化分析

针对发射初始质量为100kg的光船到近地圆轨道的任务,研究了激光平均功率、激光大气传输特性、光船激光接收面面积、发动机比冲、发动机能量转化效率等参数之间的相互关系及光船飞行任务的优化问题。针对激光发射光船的具体要求,由功率估算公式计算出激光平均功率,从激光作用范围估算出光船的激光接收面的最小面积;基于光船飞行动力学模型,结合估算的参数,应用序列二次规划方法优化计算出光船飞行的最优弹道。计算结果表明,光船入轨质量可达到35.5kg,最优比冲为8140m/s。     

基于AOS包业务模型的最优帧长与吞吐量性能

分析了影响AOS包业务吞吐量性能的因素及帧长度对系统吞吐量性能的影响,建立了包复用效率及差错信道下吞吐量的数学模型,通过仿真验证数学模型的可靠性。并进一步得出差错信道下使系统吞吐量性能最大的最优帧长度配置。研究结果为以吞吐量性能为指标,通过信道状态自适应调节帧长来优化AOS协议提供了理论依据。     

基于解距离的纯方位观测器最优机动轨迹

目标距离是潜艇进行作战决策和武器使用时考虑的一个重要参数。为了在纯方位观测条件下快速解算目标距离,提出了一种新的几何算法,即利用假想方位与观测器测量方位的几何关系,通过解平面三角形获得目标距离的解析解。对距离误差进行了分析,提出降低距离估计误差的观测器最优机动方案,并求得观测器等速运动时最优机动航向的解析表达式。进一步提出了一种工程简化的次优机动方案,并求得其解析解。所提出的解距离方法和最优机动方案具有理论和工程应用意义。     

航天器交会中的多圈Lambert问题研究

针对大椭圆轨道追踪器固定时间直接碰撞交会问题,介绍了一种快速确定多圈Lambert问题最优解的新方法。研究了多圈Lambert转移解,分析了转移时间与转移轨道参数的关系;研究了无时间约束最优直接碰撞交会及其必要条件。仿真表明:最优解快速确定方法有效、可行,并可提高计算效率。     

将关联规则挖掘算法应用于警校学员队信息管理

从介绍关联规则的基本概念、基本思想入手,根据警校学员队信息管理现状和存在的不足,提出将关联规则应用于学员队信息管理建设的设想。     

涵盖I/O的广义存储一致性模型

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。     

舰潜对抗仿真中潜艇CGF建模

准确有效地对潜艇CGF进行建模是保证舰潜对抗仿真中潜艇兵力物理真实性和行为智能性的基础。在潜艇CGF模型通用框架基础上,对潜艇CGF物理建模和行为建模进行了分析和研究,提出在基于Petri网的潜艇CGF行为模型中引入战术规则前置谓词公式的行为建模方法,提高了准确描述符合战场行为规律的潜艇CGF的能力。在STAGE仿真环境上的验证结果表明:该方法合理、有效。     

谈非法证据排除规则对边防毒品案件侦查工作的影响

2010年5月30日,最高人民法院、最高人民检察院、公安部、国家安全部、司法部联合发布的《关于办理刑事案件排除非法证据若干问题的规定》再次对非法证据的排除进行了明确的规定。基于此,对我国执行非法证据排除规则的现状,非法证据排除规则对边防毒品案件侦查工作的影响进行了探讨,并提出了相应对策。     

基于π演算的舰船作战任务流程建模

针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。     

超凸度量空间中KKM理论的一些应用

在超凸度量空间利用广义度量KKM映象原理的特性得到一类新的广义极大极小不等式,并进一步借助这类极大极小不等式,在更广泛的条件下,获得鞍点问题的一个新的存在性结果。