基于高速高精度D/A的红外信号模拟器实现

针对红外信号模拟器精度高、数据量大以及数据速率高的要求,采用FPGA、SDRAM和高速高精度D/A的实现方案。在研制过程中解决了D/A的抗噪声、高精度、数模高速转换等关键技术。实验结果表明,该模拟器可以达到0．8mV的模拟信号输出精度、20MHz的数据打入速率以及4MHz的多路模拟信号转换速率。该模拟器现已交付使用并达到了系统需求。     

液体发动机分级燃烧循环最高室压通用模块化计算方法

提出了一种新的液体火箭发动机分级燃烧循环最高室压计算方法。该方法按照预定的计算顺序，对发动机系统的各个模块进行叠代计算，采用拟牛顿法求解系统未知量。     

超高速碰撞数值模拟

本文在耦合欧拉－拉格朗日动参考系中，基于流体弹粘塑性理论，用三维等参元对各向同性材料及正交各向异性材料在超高速碰撞下的动力响应进行了数值模拟。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

高可靠性分析中分布函数的研究

结构可靠性设计与分析方法要求用概率分布函数描述某些设计变量，这时，有可能选择了非真实的概率模型。利用蒙特卡洛数值仿真方法，就同此而产生的可靠性设计与分析的影响进行了初步研究，并给出了工程上有意义的结论。     

环氧树脂官能团热稳定性排序

高聚物分子中通常含有若干种热稳性不同的官能团。其中,热稳定性最低的最先破坏并引发其它官能团的分解。利用红外光谱吸光度的差减可以对官能团的热稳定性进行排序。我们利用这种方法对用二氨基二苯砜(DDS)固化的二氨基二苯甲烷四缩水甘油醚(TGDDM环氧树脂)中官能团在300℃下的热稳定性进行了排序。     

航空技术的发展趋势与航空关键技术

展望了民用和军用航空的发展趋势，综述了民用和军用飞机的主要研究方向，并对面向21世纪的航空关键技术，如空气动力学、先进推进技术、先进航空材料、航空电子和控制技术以及现代制造技术等作了简要论述和预测。     

萝卜寨羌族人的建筑语言

萝卜、寨人用黄泥在岷江大峡谷高半山的平地上，锚落有致的寨楼，不仅仅是萝卜、寨人安身立命的家围筑起了世界上最大、最古老的黄泥羌寨。亦是萝卜、寨人抵御外敌的坚固堡垒。[编按]     

多梁型称重传感器受力分析

本文对双梁和三梁型称重传感器的弹性元件进行受力计算,通过理论计算和实测数据证明多梁型弹性元件有好的线性和高的输出灵敏度。另一个更为突出的优点是抗偏载能力强,这是其它形式弹性元件无法相比的。因此可只用一个多梁型称重传感器来支撑台面进行称重,从而使它在案秤和小型台秤上得到广泛的应用.     

MS中的自然数系统

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