伪随机脉位调制与单极性伪码调相复合体制引信

伪码调相引信抗干扰能力较差，伪随机脉位调制与单极性伪码调相复合引信是伪码复合体制引信发展的一个重要方向，有必要对该体制引信进行研究。首先给出了伪随机脉位调制与单极性伪码调相复合引信的数学模型，得出了相应的模糊函数、绘制了模糊图的中心部分，接着设计了基于FPGA／CPLD的系统实现原理框图，论证了单极性伪码应用及二次混频法抑制多普勒频率两个关键技术的可行性，并简单介绍了数字相关的思想及其实施。研究表明，该体制引信有良好的整体性能和现实的工程应用前景。     

星载BX1750A芯片抗单粒子翻转性能评估

用软件包和FOM方法分别计算了BX1750A芯片在三种太阳同步轨道以及不同宇宙环境下的单粒子翻转率。根据器件及单片机系统在轨单粒子翻转率与“零翻转”可靠度的关系，量化地评估了该芯片及所属系统应用于不同飞行任务时的抗单粒子翻转(SEU)性能。分析结果表明，BX1750A芯片抗单粒子效应的性能较高，可作为低太阳同步轨道3年或5年寿命卫星关键计算机系统的选用芯片。同时为确保系统SEU零失效，有必要采取软件和其他加固措施。     

FY-1C/D极轨气象卫星及其在轨运行

简要说明了风云一号(FY-1)极轨气象卫星的总体情况。介绍了FY-1C星运行5年。D星运行2年后的测控、电源、热控、敖传、扫描辐射计和星载数据收集与分发(DCDS)分系统、有效载荷空间粒子成分监测器。以及姿控和星载计算机的在轨运行情况。在轨测试结果表明，两星的在轨运行、功能和性能符合任务书的要求。最后总结了长寿命高可靠稳定优质业务运行的FY-1C，D星的创新点、主要成绩，并给出了部分应用情况。     

Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

用胞映射法分析双线性结构刚度的机翼颤振

将映射轨迹追踪技术引入基于空间Poincar啨截面的胞映射方法中 ,并定义初值分析空间 ,以适应分析高维动力系统运动类型初值域的需要。改进后胞空间中胞的数目大大减少 ,计算时间缩短 ,运动特征的确认更为准确。应用该方法研究扭转方向具有双线性结构刚度因素的机翼颤振问题 ,结果显示 ,初始条件对系统动力学行为有着很大的影响。当两段刚度之比小于某临界值时 ,随着机翼颤振速度增大 ,不同的初始条件会导致平衡点、极限环振动、复杂的周期运动、混沌和发散运动等不同的运动形式     

表面再结晶对定向凝固高温合金高周疲劳行为的影响

采用悬臂旋转弯曲试验,研究定向凝固DZ4合金在喷丸预变形及热处理后产生的再结晶层对高周疲劳寿命的影响.结果表明,DZ4合金经过一定程度的预变形,在随后的高温热处理后表面会产生一定厚度的再结晶;再结晶层对DZ4合金高周疲劳寿命有一定影响;在一定喷丸强度范围内,随喷丸强度增加,疲劳寿命先减小后增大.     

大跨屋盖悬挑结构的风荷载分析

针对悬挑结构的上下表面同时受到风荷载作用的特点，提出风洞试验中同步测量的实验方法，分析上下表面风压相关性及其物理意义，给出悬挑结构平均风压和脉动风压的计算方法，探讨了同步测量和异步测量情况下峰值因子的合理取值。     

变温热源内可逆布雷顿循环功率密度优化

计人工质与高、低温侧换热器的热阻损失，用有限时间热力学方法，导出了变温热源条件下内可逆布雷顿循环功率密度与压比间的解析式，借助于数值计算，研究了高、低温侧换热器的热导率分配和工质与热源间的热容率匹配对功率最大密度的影响。     

生态环境材料——社会可持续发展的物质基础

 生态环境材料是近年来在先进材料研究中提出的一个新研究领域。简要介绍了生态环境材料概念的产生、发展及哲学基础,从材料环境协调性评价、材料和物质的再生循环、与生态系统相协调的材料与工程、环境工程材料、与材料科学相关的生态工程等几方面对生态环境材料研究的最新进展进行了评述。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。