基于算子理论的系统可重构性评价与自主重构

针对航天器在轨资源严重受限（包括计算资源、硬件资源以及能量资源）的特点，开展了基于算子理论的航天器姿态控制系统可重构性评价方法和自主重构策略的研究。首先，基于稳定核表示（SKR）和稳定像表示（SIR）的算子理论给出了系统可重构性评价指标，定量地描述了系统的重构能力，突破了基于互质分解理论的系统可重构性评价方法对系统线性性质的局限。同时，基于以上结果，给出了系统可重构性最大边界，为设计人员设计自主重构策略提供了明确的指标；然后，通过在设计阶段考虑系统可重构性，充分挖掘并利用系统重构潜力，为自主重构策略的设计提供理论指导；最后，通过仿真验证了所提方法的有效性和正确性。     

关于Grothendieck代数的特征标

本文用群表示理论和复向量理论证明了Grothendieck代数的一些性质,特别是关于Grothendieck代数基的描述,即设B为K_G(X)的基,Θ={(θ,ρ)|θ是G在X上的轨道,ρ是G_x的一个不可约表示,x∈θ},其中G_x={g∈G|gx=x},则存在1—1对应f:B→Θ使得对于任意V∈B,f(v)=(θ,ρ):V_y≠0<==>y∈θ,且ρ是G_x在V_x上的一个不可约表示,x∈θ,利用这一性质,本文给出了一个求Grothendieck代数的特征标的方法,从而改进了由Luszrig,G.在文[1]中提出的方法,并且给出二面体群D_n关于其一些子群H的Grotheodieck代数的特征标表。     

一种三维航迹快速搜索方法

本文提出了基于SAS的自动三维航迹规划方法。该方法通过把约束条件结合到搜索算法中去，有效地减小了搜索空间，缩短了搜索时间，从而使三维规划能够用于实时航迹规划。在搜索过程中地形信息得到了充分利用，使算法生成的航迹能够自动回避地形和威胁。实验证明，该方法能够快速有效地完成规划任务，获得满意的三维航迹。     

伴随矩阵的秩

本文研究ｎ 阶矩阵与其伴随矩阵的秩的关系，得到伴随矩阵的秩的重要结论，并给出其应用。     

采用等高线地图的CGF地域表示和推理

采用等高线地图作为分布交互仿真环境中计算机生成兵力的地域表示．介绍等高线电子地图下计算机生成兵力系统地域表示和推理的一种方法．通过对地域显示、通视性检测和地形检测等几个基本问题的分析，表明采用该方法是可行的．具有地域表示范围大、地域推理简单明了的特点，并且地域数据真实、修改方便．这种方法比多边形地域表示法更适用于海上和空中大范围训练作战环境的仿真．     

基于知识重用的刀具选配技术研究

在分析了传统刀具选配模式存在的不足的基础上,对基于知识重用的刀具选择技术进行了研究.采用实例推理技术进行刀具智能选择,对刀具智能选择过程中涉及的特征提取、知识表示、检索策略、相似度计算等实例推理的关键技术进行了研究.     

美导弹防御局开发新仿真工具

美国导弹防御局计划在2011年7月授出一份价值5．95亿美元的“目标仿真构架”（OSF）合同。OSF是在美国反导系统要素部署之前，对其进行评估的一套软件。该局目前运行有两个建模和仿真构架：“数字仿真体系”数字表示和“单独仿真构架”（通过插人模拟信号触发反导要素的软件）。该局计划将两个构架合并成一个OSF。     

连续性数据分组怎样表示最科学?

连续性数据分组怎样表示最科学?问"0～≤10岁,>10～≤20岁,>20～≤30岁……"的表示正确吗?答这其实是一个涉及连续性数据正确分组的问题。在少数书刊中,这组数据被莫名其妙地错写为"0～10岁,～20岁,～30岁……"。而在众多书刊中,     

一种基于实例推理的刀具选配方法研究

为了快速准确地选择出合适的切削刀具,提出了一种基于实例推理的刀具选配方法,利用以往的经验和知识来解决新的刀具选择问题.重点研究了刀具选配实例的知识表示和检索匹配.最后举例验证了方法的可行性.