独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

飞行软件测试用例设计方法及应用

飞行软件测试用例设计首先按等价类划分法的原理划分等价类，并结合边值分析和因果图等方法设计测试用例，能较好地达到软件功能覆盖准则要求，文中结合飞行软件的特点拓宽了等价类的内涵，使等价类划分法成为飞行软件测试用例设计的普遍适用的方法，从而为习行软件确认测试的充分必提供技术和方法的保证。     

基于MFC和COM的圆柱螺纹量规参数自动化计算与报表

在VC 6.0开发环境下,完成了基于MFC库和COM技术的公制圆柱螺纹量规大径、中径与小径的基本尺寸和极限偏差的自动化计算程序,中径计算过程计入了测量力等影响因素在内的综合修正量.实现了多量规的批量输入与管理,并将结果按需输出为Excel文档,留作测量过程的参考文件.文中详细介绍了软件的功能模块划分,数据的组织方式与功能的具体实现步骤.软件试用结果表明,该工作有效地解决了螺纹量规检定中需频繁查表、计算复杂且出错率高等问题,较大程度地提高了工作效率.     

广播内存实时网节点卡的LabVIEW驱动开发

广播内存实时网技术是一种高效的网络数据传输技术。本文向读者介绍了LabVIEW环境下利用CIN技术的网络内存节点卡驱动模块的设计方法。     

Linux中虚拟文件系统的实现

在Linux的驱动程序开发中，大多数的驱动程序都要使用模块编程技术。本文将以一个虚拟文件系统的实现，来介绍内核模块程序的一些实现机理，以及模块程序的编写方法，使得我们对内核模块程序原理与编写方法有更深入的理解。     

大型复合材料结构优化设计方法研究

建立了适合于大型复合材料结构的优化设计方法，该方法在复合材料结构有限元分析的基础上对复合材料结构进行优化设计。在建立有限元模型时应用了区域划分技术，然后对结构分两级进行优化：第一级是对结构的铺层角度进行优化。第二级对结构的铺层厚度进行优化。最后，以工字梁结构为例，进行了算法验证。     

基于微波注入网络的电子战装备测试系统研究

通过对新型电子战装备的测试需求分析,提出一种基于微波注入网络的电子战装备测试系统.介绍了该测试系统的功能及工作原理;设计了基于微波注入网络的电子战装备测试系统的结构,并对各模块的功能进行了简单描述;最后对微波注入网络控制精度的关键技术进行了研究.     

距离一速度同步拖引干扰的数字实现方法

距离-速度同步拖引干扰是对抗PD雷达的有效方法.讨论基于正交双通道DRFM的距离-速度同步拖引干扰的数字实现方法,设计了一种干扰控制器的FPGA实现方案,并给出两个核心模块(延时模块、移频模块)的具体设计.最后给出了仿真分析结果.     

RVSM实施后大连区域管制扇区划分与运行的探讨

一、背景 为了增加空域容量，提高空域利用率，保证空中交通安全和畅通，提高航空公司的运行效益，空管系统将于2007年11月22日零时起，对8400米至12500米之间的航空飞行实施缩小垂直间隔。为了支持在RVSM条件下的空管运行，大连区域管制系统必须针对扇区划分、扇区运行等方面进行相应的调整，从而达到改革的平稳过渡。[第一段]     

液体火箭发动机循环的模块式分析方法

对复杂液体火箭发动机循环进行分析的一种模块近似新方法已由德国的DLR 公司研究出来。它把一种发动机循环系统视为由预定的模件库中的模块组成。流经所有组件的流体都假定为一维流动。流体特性的计算在用于推进剂时,采用经验状态方程,用于燃烧产物时,按达到了化学平衡来处理。这种方法的基本原理是在对不同推进剂组合的发动机(包括三组元推进剂发动机)分析的基础上得出的。