潜艇指控系统技术和发展分析

介绍和分析了国外潜艇指控系统的发展概况和技术特点,然后回顾了国内潜艇指控系统发展。从满足未来海军潜艇作战需求出发,论述了一体化建设对潜艇指挥体系的重要性及下一代潜艇指控系统的能力需求,提出了着重要解决的技术问题。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

无监督特征学习的人体活动识别

针对人的局限性可能会导致在提取特征中丢失重要信息,从而影响最终的识别效果问题,提出无监督特征学习技术的惯性传感器特征提取方法。其核心思想是使用无监督特征学习方法学习多个特征映射,再将所有特征映射拼接起来形成最终的特征计算方法。其优点是不会造成重要信息的损失,而且可以显著减少所使用的无监督特征学习模型的规模。为了验证所提出的特征提取方法在活动识别中的有效性,运用一个公开的活动识别数据集,使用三种常用无监督模型进行特征提取,并使用支持向量机进行活动识别。实验结果表明,特征提取方法取得了良好的效果,与其他方法相比具有一定的优势。     

GPS接收机模糊搜索粗时定位方法

由于难以获得免时定位算法所需的接收机概略位置,提出模糊搜索的粗时定位方法。为减小搜索空间,在位同步后优选几何精度因子值较好的4颗卫星通过遍历伪距模糊的方式进行位置估计,并基于伪距残余均方根最小准则选出最合理的位置估算结果。根据概略位置恢复所有卫星的完整伪距。利用5状态的免时定位算法估计接收机位置。使用11个国际卫星导航服务观测站的观测数据对算法进行验证,结果表明,在概略位置未知情况下该方法能够实现粗时定位,且定位精度与直接使用完整伪距的精时最小二乘定位精度相当。     

基于STN的任务执行过程中的资源冲突自动消解

任务在执行过程中受到各种因素的影响,任务时间可能会偏离预定计划,在资源数量有限的情况下,由于要满足时间的约束,往往会出现时间重叠而发生资源冲突。消解这种资源冲突的一个最直接的方法是及时调整任务计划时间消解潜在的资源冲突。针对任务执行过程中冲突消解人工决策耗时较长的问题,设计了一种基于STN的任务在执行过程中的自动消解方法,通过案例仿真,证明方法是可行的,并且能够比人工决策方式节约时间。     

盖板式陶瓷热防护系统的传热性能优化

针对高超声速飞行器对盖板式陶瓷热防护系统的迫切需求,建立了热防护系统结构瞬态传热模型;并研究了防隔热层的物性参数,厚度尺寸,相变层的种类、位置等因素对热防护系统结构传热性能的影响。结果表明,隔热层物性参数及厚度尺寸对热防护系统结构传热性能具有决定性影响,而防热层的物性参数及厚度尺寸几乎不产生影响。相变材料的引入能够明显改善热防护系统结构的传热性能。调整和优化相变层位置是改善热防护系统结构传热性能、降低结构厚度的一个有效途径。隔热层厚度的优化结果可为热防护系统结构设计提供一定的参考和依据。     

关于一类特殊的（α，β）度量的S曲率

构造了一类具有5个参量的特殊的（α,β）度量,在此基础上计算了其射影平坦的条件,并通过计算得出其具有常S曲率。     

基于竞赛图的海上编队协同作战冲突排序方法

海上编队协同作战中的冲突消解顺序问题能影响编队作战效能。为了确定冲突消解的顺序问题,采用基于综合集成权重的竞赛图方法来表示多种冲突的有序关系,定量化给出了各冲突严重程度的排序结论,不仅为指挥员的决策提供了依据,而且提出了一种有序替代具体数值的定量化分析方法。结果证明,该方法简单、有效。     

浅析我国新阶段下的“三农”问题

三农(农民、农业、农村)在中国城市化、工业化、现代化过程中具有不可逾越的地位,有着不可低估的人口影响、空间影响、素质影响和政治影响。由于受经济、产业、制度的制约,出现了农民增长缓慢、农业发展动力不足、农村剩余劳动力过多等“三农”问题。新的国际、国内发展阶段又加剧了“三农”问题,使其成为影响我国经济持续健康发展的重要因素。“三农”问题的解决需要新的思路、新的方法和新的措施,这要求我们必须从以下几方面思考:大力发展小城镇,转移农村剩余劳动力;调整产业结构,提高农产品市场竞争力;大力发展教育,增加劳动力的人力资本存量;加大对“三农”的支持力度,创造良好的发展环境。     

航天遥感监测信息态势感知能力分析

针对遥感监测信息的效用评估问题,提出了一种态势感知能力定量分析的新方法。首先利用NIIRS等级尺度和GIQE模型建立了遥感图像与地面目标检测率之间的联系,由此得到这些目标在监视区域出现的概率分布。然后,以地面目标在监视区域的实际分布表示使用者信息需求,并利用信息理论中的Kullback Leibler距离来度量不确定性分布和信息需求之间的差异,从而得到不同遥感侦察与监视系统态势感知能力曲线,给出了传输处理时延对态势感知能力曲线的影响。