C~3I系统分析的分层策略

通过对Ｃ３Ｉ系统体系结构的多维多层次性特征的分析,表明Ｃ３Ｉ系统分析的分层策略是一种突出系统整体性,体现系统相关性,实现从定性到定量综合集成的有效方略,可以应用于Ｃ３Ｉ系统分析的各个阶段。     

火力使用策略的集对分析与评价

对不确定理论──集对分析理论［１］中关于联系度的算法作了修改,给出了更有实际意义的联系度公式。应用此公式采用同异反决策分析的方法,首先对“火力使用策略”进行定性分析,把影响火力使用的７对主要矛盾看作７个集对,定义每集对的同异反三属性的测量要素。通过求各集对的联系度所在问题的解,达到择优最佳“火力使用策略”的目的,从而对战役行动起到指导或辅助决策的作用。     

利用等价无穷小求极限的注记

该文给出了利用等价无穷小求解某类极限问题的一系列定理,使得求解这类极限过程大为简化.     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

溶胶一凝胶法制备二氧化钛及其转化为氮化钛的研究

本文以钛酸丁酯为原料，通过溶胶一凝胶法制备了ＴｉＯ２凝胶，在高温下烧结此凝胶得到ＴｉＯ２。将ＴｉＯ２粉末在９００°Ｃ以上用氨进行氮化，制得金黄色的氮化钛。通过使用热分析、色谱分析、扫描电镜及Ｘ一射线衍射等手段，研究并揭示了凝胶在陶瓷化生成ＴｉＯ２的过程中的化学反应，结晶及晶型随温度的变化规律。发现了氮化钛陶瓷的生成率与ＴｉＯ２溶胶的制备条件之间的关系。     

二轴晶外锥折射的理论分析

从晶体的简正模方程出发,求得在二轴晶体中,当光线沿第二类光轴（光线轴）方向行进时,所对应的电场矢量和电位移矢量,并通过几何证明,验证所有折射光线在晶体内均在同一锥面上。     

Slow failure: Understanding America’s quagmire in Afghanistan

ABSTRACT

The United States government has no organised way of thinking about war termination other than seeking decisive military victory. This implicit assumption is inducing three major errors. First, the United States tends to select military-centric strategies that have low probabilities of success. Second, the United States is slow to modify losing or ineffective strategies due to cognitive obstacles, internal frictions, and patron-client challenges with the host nation government. Finally, as the U.S. government tires of the war and elects to withdraw, bargaining asymmetries prevent successful transitions (building the host nation to win on its own) or negotiations.     

智能搜救机器人在障碍地形的自主构型规划

为了解决带有辅助摆臂的智能搜救机器人自动规划构型以实现自主越障的难题,提出一种能够适应复杂地面形状的搜救机器人越障构型规划新方法,其核心是一种高适应性、高效率的机器人姿态预测算法。通过将地形表示为离散的点集,建立了搜救机器人的单侧姿态预测数学模型;进一步提出了快速求解该问题的算法,每秒可预测1 000～1 500个姿态。基于此,设计了机器人越障过程中状态、动作的评价指标,运用动态规划算法与滚动优化思想构建了具有优化能力的、能够实时运行的构型规划器。仿真与实物实验的结果表明,该方法能够使机器人自主调整构型穿越复杂地形,且相较强化学习算法和人工操作具有更平稳的越障效果。     

使用等效偏移角稀疏测量的面阵相机序贯图像几何校正

天基光学相机实际在轨对地观测成像的畸变需通过几何校正抑制。目前主流面阵相机对地观测获得的小尺寸、高帧频序贯图像很难满足传统几何校正方法逐帧解算对单帧图像控制点数量与空域分布的要求且计算量巨大。针对这一问题,提出一种使用等效偏移角稀疏测量的面阵相机序贯观测图像几何校正方法,将逐帧校正参数解算问题转化为时域稀疏测量条件下等效偏移角信号恢复问题,利用等效偏移角信号时频信息可有效降低对单帧图像控制点数量和空域分布要求。通过高分四号卫星面阵相机在轨实测图像数据验证了所提方法的可行性且其能大大降低序贯图像几何校正处理的计算量。     

集群搜索对策理论在搜索-规避对抗中的应用

使用对策论的观点和方法 ,结合搜索论的知识 ,建立了一类搜索 -规避对抗对策模型 .对模型的结论做了系统分析 ,考虑了对策双方的最优策略及使用 .