改型设计中飞机普通框一种设计方法

为了能够合理地降低飞机结构重量系数,针对飞机改进设计,以普通框为研究目标,通过对“敏度阈值”的改进,提出“敏度变阈值”概念,并与“约束补偿”策略结合而形成拓扑优化算法,来用于普通框的轻量化设计。以某一轻型小飞机的后段一普通框为例,拓扑优化结果表明：(1)等材料设计时,刚度提高40％;(2)等刚度设计时,材料用量减少30％。由此可以得出：(1)基于“敏度变阈值”的拓扑优化算法用于飞机普通框改进设计,是可行和有效的;(2)给出了一种具有可操作性的设计方法,用以实现框结构“等刚度”的设计思想;(3)所给出的方法易于飞机结构设计人员接受与掌握,并且方便地用于将来的框结构改进设计之中。     

虚拟现实技术在三维编织物设计及仿真中的应用

以四步法三维管状编织物身例，讨论了虚拟现实技术在三维编织物仿真设计中应用的关键技术问题；该方法的使用，使得用户在织造前就可在虚拟环境中自由缩放、移动、旋转织物模型，清楚地了解纱线的编织运动过程，并使编织工艺设计的网络化成为可能。     

用于飞机概念设计的设计要求输入和初步定参数环境

为了在飞机概念设计过程中给新型号的设计要求组织和基本参数估算提供便捷且可扩展的工具而开发了设计要求与初步定参数环境(EDRIPS)。在这一环境中，设计可以通过友好的用户界面交互地输入飞机的性能要求、构造任务剖面和选取有效载荷，然后以此为基础从约束分析所得的可行域中选取设计点，进而利用一种改进的估算飞机起飞重量的方法进行任务分析以得到飞机的基本设计参数。介绍了各模块的实现措施和所采用的方法。最后通过对一个设计实例的分析验证了EDRIPS应用于飞机概念设计的有效性和可靠性。     

一个地空导弹武器系统干扰环境数字仿真器的设计

分析了在现代战争环境下，地空导弹武器系统面临的干扰环境；提出了地空导弹武器系统干扰环境数字仿真器的设计方案和功能构成，探讨了仿真器设计中的一些技术问题，并依此用Ｃ语言实现了一个干扰环境仿真器的设计。     

银河仿真机系统在运载火箭控制系统半实物仿真中的应用

根据多个型号半实物仿真试验中应用银河仿真机系统的实际情况,本文从仿真语言,步长选择,算法选择,仿真精度和操作方法等重要方面对银河仿真机系统进行一分为二的全面总结。这对正确使用银河仿真机系统有一定参考价值。     

一种高速卷积编解码器的FPGA实现

在现场可编程逻辑器件(FPGA)的基础上，采用模块化设计，将超高速集成电路硬件描述语言(VHDL)和原理图混合输入，设计了一种可实现数据高速传输的卷积编码器和维特比译码器。在编码器和译码器中采用(7，3／4)增信删余方式以提高编译码效率。设计的维特比译码器速率可达100Mb／s。     

宇航中的一种基于线性约束数据库的GIS空时数据模型及其查询

地理信息系统(GIS)是一种计算机辅助工具。用于存储和分析在地理空间上和时间上发生的现象和事件。GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是GIS系统的核心，空时数据的存储和查询是GIS数据库中的两个重要问题。本文针对现有空时数据模型的不足，提出了一种基于线性约束数据库的空时数据模型。阐述了该模型与已有空时数据模型间的关系。本文进一步对关系数据模型上的Datalog查询语言的语法和语义进行了推广，使之能够对提出的GIS空时数据模型的数据进行查询。最后给出一个在飞船着陆场系统搜索救援中使用该数据模型的实例。通过该数据模型在实际系统中的使用。可以得出如下结论：(1)基于线性约束数据库的数据模型不仅可以替代现有的空时数据模型．而且克服了这些模型不能表示无限空时数据的缺点和不能描述空间、时间坐标关系的缺点；(2)针对该模型推广的Datalog查询语言与结构化查询语言SQL相比，具有更强的表达能力。可以描述诸如循环和传递闭包等复杂的应用语义。     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

超临界自然层流翼型NPU-L72513的风洞试验研究

超临界自然层流翼型具有很好的应用前景。西北工业大学翼型研究中心设计的我国第一个超临界自然层流翼型 NPU-L72513在 CARDC 高速所的跨声速风洞进行了试验,证明超临界自然层流翼型 NPU-L72513具有优良气动特性,其设计是成功的。同时说明我国已初步具有自行设计超临界自然层流翼型和进行相应风洞试验的能力。     

基于路径的数字系统功能测试

本文介绍基于路径的数字系统功能测试方法。路径表示系统在输入信号作用下状态的转换。文章提出并实现了遍历路径的测试矢量生成算法;讨论了利用数字系统硬件描述语言及其模拟器生成被测系统在测试矢量序列激励下的无故障响应序列的方法;并介绍运用无故障响应序列与实际响应序列进行比较测试的故障定位法。应用上述方法,笔者在研制的NAT-403Ⅰ型数字设备自动测试仪上对三种板级数字系统进行了测试,获得预期的效果。