SDL系统与VxWorks集成中的关键技术

SDL是一种规格与描述性语言,非常适合信令与协议软件开发。VxWorks作为一个具有较高性能的、标准的嵌入式系统,在世界各地受到广泛应用。论文对在两者结合过程中所涉及的一些关键技术,如代码生成、集成方式选择、与操作系统接口以及与环境接口等进行了研究。     

军事科技的经济属性分析

文章研究了军事科技作为商品与要素的不同表现形式与特点,并对军事科技对军队战斗力的贡献份额作了一个定量描述。     

模糊-专家控制在智能消磁中的应用研究

综合消磁是处理舰船固定磁性的重要手段.长期以来,由于综合消磁工艺的复杂性,使得这项工作在很大程度上依赖人工.实现消磁自动化,就是要将工作人员从繁重的脑体劳动中解放出来,提高工作效率.目前的新型消磁站已经实现了数据采集、统计自动化,不仅基本免除了工作人员的体力劳动,也从一定程度上减轻了消磁技师的脑力劳动.然而由于需要人工参与决策,综合消磁的效果和效率仍然十分依赖于人的因素.所以,实现综合消磁工作的完全自动化,补偿电流值组合的智能化决策是关键问题.本文在分析以前所做工作的基础上,运用模糊控制理论构造模糊-专家控制器,替代人工决策过程以实现自动化消磁.     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

自动武器可靠性寿命分布规律研究

本文对两种具有代表性的自动武器收集其生产验收寿命试验的故障记录,经处理得出寿命子样,再用皮尔逊检验进行分布函数检验,从中发现自动武器寿命分布服从指数分布,为研究自动武器可靠性指标及其验收方法提供了理论依据。     

非共轴光学系统的光路计算与象质评价

针对非共轴光学系统提出新式光线抽样;运用切比雪夫数值积分建立崭新的质量函数;以最小二乘法和0.618法实现最佳象面快速自动优选;简化了坐标变换和数据输入。     

Cρ 准则下选择最优子集的并行算法

C_p准则是目前颇受重视的一种变量选择准则。本文针对大型线性回归模型,推导了从所有可能子集中用C_p准则选择最优子集的(乘除法) 运算次数,提出了C_p准则下变量选择的并行算法。给出了在YH-1和YH-2向量巨型计算机上运行该算法的模拟结果且获得了15倍左右的向量加速比s/v,体现了该算法的优越性。     

互相关函数在误差分离技术中的应用

在齿轮整体误差测量中,多头标准蜗杆的误差是影响齿形测量精度的一个主要误差源。本文介绍了应用互相关函数从齿形误差测量结果中分离同标准蜗杆误差的原理及方法。