国防科研管理决策支持系统-项目核算模型研究

本文针对国防科研管理的需求,提出了宏观核算模型、成本核算模型、因素分析模型,分析了这些模型产生指标的意义,并证明了这些指标的存在条件和相应的计算方法。     

C~3I系统仿真技术研究

针对Ｃ￣３Ｉ系统仿真基本技术特点,文章重点对Ｃ￣３Ｉ仿真程序基本结构、通用ＧＰＳＳ－Ｆ仿其语言编程特点及存在问题进行了研究。对Ｃ￣３Ｉ系统仿真设计与实现有参考价值。     

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

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

C2有理插值样条曲线曲面

首先提出一组基函数向量,它具有以下特定的性质：ＢＢ（０）Ｔ＝（０．０,１．０,０．０,０．０）,ＢＢ（１）Ｔ＝（０．０,０．０,１．０,０．０）ＢＢ＇（０）Ｔ＝（－０．５,０．０,０．５,０．０）,ＢＢ＇（１）Ｔ＝（０．０,－０．５,０．０,０．５）ＢＢ″（０）Ｔ＝－（１．０,－２．０,１,０,０．０）,ＢＢ″（１）Ｔ＝（０．０,１．０,－２．０．１．０）。进而研究了以此函数向量的张量积形式定义的有理样条曲面。并得以下结论：（１）插值性;（２）Ｃ２连续性;（３）局部性和可调性。文中还分析了“权”的作用,并指出它与三次Ｂ－样条的类似性。     

小钝头锥体全目标流场与光电特性一体化数值模拟

从简化的或全ＮＳ方程出发,采用化学非平衡和热辐射非平衡模型,数值模拟了有烧蚀产物引射条件下小钝头锥体全目标流场与光电特性,旨在为防护设计提供气动物理环境数据。计算结果表明,本文流场模拟数据与实验数据基本吻合,壁面烧蚀产物引射和壁面催化特性对流场电子数密度均有量级影响。     

移动式C3I系统导航定位问题的建模和仿真

未来战争是高新技术的对抗,我们要立于不败,就必须积极主动,知己知彼,避免被动挨打。为此,发展移动式Ｃ３Ｉ系统势在必行。移动式Ｃ３Ｉ系统的一个关键问题就是系统的导航定位问题的处理。作者立足实际,为移动式Ｃ３Ｉ系统建立了系统的导航定位问题的模型。针对引起系统导航定位的各种误差原因予以分析,建立了误差模型并进行了仿真,最后给出仿真结果     

舰船水压场畸变的数值模拟

用有限基本解法对舰船下方附加翼板后的水压场进行了数值模拟。分光体船、附加单翼板和附加双翼板三种情况,在不同的水深下分别进行计算,获得了相应的纵向通过特性曲线,并与实验结果进行了比较。在不同的翼板位置、攻角和离船底距离下对水压场进行计算,以优化得到最佳水压场畸变效果。     

实际系统输出的确定

在实际测试中,系统存在有非线性.同时,还有测量噪声及非测量输入引起的系统输出。这些因素都对系统的输出产生影响。把这些因素均假设为系统的非线性,利用理想线性系统和相干函数,推导出了实际系统输出,同时讨论了用这种方法提高载荷识别精度的问题。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。