论 C3I 系统的建模

本文在对Ｃ~３Ｉ系统的建模问题进行深入讨论后,提出了一套用于Ｃ~３Ｉ系统建模的规范化建模方法,并由计算机实现了该方法,使得人们可以通过人机对话的形式进行建模。这一方法解决了目前战争系统尤其是Ｃ~３Ｉ系统的微分方程不易得到这个问题。文中给出了一个建模案例。     

多敏感器卫星姿态确定的卡尔曼滤波器设计

针对陀螺、红外地平仪和太阳敏感器组成的卫星姿态确定系统 ,采用四元数方法建立卫星姿态确定模型 ,并采用卡尔曼滤波器进行信息融合。仿真算例结果表明 ,该方法能够确定出满足精度要求的卫星姿态参数     

MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

美军奖励制度的法规基础研究

美军奖励制度的法规依据是美国国家法规体系的一部分,其规定详明,奖励工作的各个步骤均有法可依;注重细节,杜绝个人操作的可能性;层次清晰合理,兼顾一致性与灵活性.     

超高分辨率 CRT 显示器关键技术研究

首先从ＣＲＴ显示示器的分辨率展开讨论,然后就２０４８×２０４８单色超高分辨率显示器的行扫描电路、动态聚焦电路、３００ＭＨＺ视频放大器等关键技术进行了详细地分析．最后对彩色显示的特殊要求做了简要地说明。     

基于不稳定性采样的主动学习方法

传统的主动学习方法往往仅基于当前的目标模型来挑选样本,而忽略了历史模型所蕴含的对未标注样本预测稳定性的信息。因此,提出基于不稳定性采样的主动学习方法,依据历史模型的预测差异来估计每个未标注样本对提高模型性能的潜在效用。该方法基于历史模型对样本的预测后验概率之间的差异来衡量无标注样本的不稳定性,并挑选最不稳定的样本进行查询。在多个数据集上的大量实验结果验证了方法的有效性。     

正规战中作战效率变化初探

本文以描述常规战最基本的模型——Lanchester方程为基础,就影响作战效率的一些因素进行了分析并定量化地表现在作战模型中,然后运用有关系统学理论讨论了作战效率变化对战斗进程的影响程度。     

分布式数据库操作的形式化描述

这篇论文提出了一种分布式数据库的形式化描述表示,如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具,也可以作为分布式程序语言的起点。从实用化角度来说,也可以作为一般的D—DBMS操作部分实现的设计工具。     

LD10cs 铝合金焊接接头疲劳裂纹扩展速率的研究

本文研究用表面裂纹法测试LD10cs铝合金板材焊接接头各部位疲劳裂纹扩展速率。结果表明:焊接接头各部位疲劳裂纹扩展速率随焊接热循环引起的金属组织变化而变化,有一定规律性。熔合线和焊趾处疲劳裂纹扩展速率较其他部位大。焊缝加强高的存在,引起焊趾处应力集中,使该处疲劳性能进一步恶化,成为焊接接头疲劳性能最差的部位。结合金相组织和扫描电镜分析,对影响焊接接头各部位疲劳裂纹扩展速率的各种因素作了较详细的探讨,并提出了改进焊缝质量的建议。