面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

CFRP反射器型面主动控制和作动器位置优化

研究了运用压电陶瓷作动器对碳纤维增强复合材料（CFRP）格栅反射器的型面主动控制。首先，采用了一种具有独立电压自由度的梁单元，以及考虑高阶剪切变形的板单元，对主控格栅反射器进行有限元建模；运用能量变分哈密尔顿原理推导了主控格栅反射器的有限元控制方程，并给出了反射面型面残余均方根（RMS）误差最小的电压最优控制方法。然后，研究了在典型载荷下，反射面残余RMS误差最小的PZT作动器位置分布的优化配置问题；提出了一种将遗传算法和梯度投影方法相结合的改进优化方法，用来求出在限定作动器数量的条件下，作动器几何位置的优化配置，使控制后反射面的残余RMS误差最小；给出的数值算例验证了方法的正确性和有效性。最后，研制了格栅反射器型面主动控制的实验样机，针对反射器的初始制造误差进行了型面主动控制，验证了控制方法的可行性和有效性。     

针对旋翼流场模拟的自适应网格算法

针对基于格心格式求解器的旋翼流场模拟,提出了相应的自适应笛卡尔网格的数据存储结构及自适应算法。给出了相应的单元处理策略,简化了对自适应笛卡尔网格的处理;对于频繁的自适应加密过程中产生的大量重复点,采用了高效的交替数字树算法(Alternating digital tree,ADT)予以删除;对于自适应疏化过程中产生的大量无用点,提出了标记-删除-移动(Mark,delete,move,MDM)算法予以快速地删除,减少了不必要的计算资源消耗。对CaradonnaTung旋翼在不同悬停状态下进行了模拟验证,对比了压力分布系数与桨尖涡位置。之后对HELISHAPE 7A旋翼在前飞情况下进行了模拟验证,计算值与实验值吻合。此外,求解器对桨尖涡的捕捉效果得到了明显的提高,表明本文方法具有良好的有效性与鲁棒性。     

PBT弹性体微相分离及对其力学性能的影响研究

为了获得微相分离对宽温PBT叠氮聚醚弹性体力学性能的影响规律,用红外光谱分析法(FT-IR)和动态热力学分析法(DMA)研究了PBT叠氮聚醚弹性体产生微相分离的机理和影响因素。用调节硬段含量、交联参数的方法调控其微相分离,控制适当的微相分离程度可显著改善推进剂的力学性能。研究结果表明:在二元醇扩链的弹性体体系中,当硬段含量约为15%时,弹性体发生相对最大比例的微相分离,体现出较佳的综合力学性能。通过微相分离的调控可获得宽温范围内综合力学性能较好的叠氮聚醚推进剂用粘合剂基体材料。     

模具CAPP系统

介绍了汽车冷冲压模具行业工艺水平现状和传统CAPP系统特点，以及冷冲压模具厂工艺设计管理模式；分析研究适应于现代汽车模具制造业的模具CAPP系统。     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

DNA damage and repair in oncogenic transformation by heavy ion radiation.

Energetic heavy ions are present in galactic cosmic rays and solar particle events. One of the most important late effects in risk assessment is carcinogenesis. We have studied the carcinogenic effects of heavy ions at the cellular and molecular levels and have obtained quantitative data on dose-response curves and on the repair of oncogenic lesions for heavy particles with various charges and energies. Studies with repair inhibitors and restriction endonucleases indicated that for oncogenic transformation DNA is the primary target. Results from heavy ion experiments showed that the cross section increased with LET and reached a maximum value of about 0.02 micrometer2 at about 500 keV/micrometer. This limited size of cross section suggests that only a fraction of cellular genomic DNA is important in radiogenic transformation. Free radical scavengers, such as DMSO, do not give any effect on induction of oncogenic transformation by 600 MeV/u iron particles, suggesting most oncogenic damage induced by high-LET heavy ions is through direct action. Repair studies with stationary phase cells showed that the amount of reparable oncogenic lesions decreased with an increase of LET and that heavy ions with LET greater than 200 keV/micrometer produced only irreparable oncogenic damage. An enhancement effect for oncogenic transformation was observed in cells irradiated by low-dose-rate argon ions (400 MeV/u; 120 keV/micrometer). Chromosomal aberrations, such as translocation and deletion, but not sister chromatid exchange, are essential for heavy-ion-induced oncogenic transformation. The basic mechanism(s) of misrepair of DNA damage, which form oncogenic lesions, is unknown.     

绝对不稳定性理论在尾流稳定性分析方面的研究

介绍了绝对／对流不稳定性的理论框架，并应用于钝体尾流剪切层的稳定性分析研究中。钝体尾流可以认为是局部平行流，而局部平行流的稳定性分析可以归结为Ｏｒｒ－Ｓｏｍｍｅｒｆｅｌｄ方程的求解。Ｏ－Ｓ方程求解化为一个复广义矩阵问题ＡＸ＝ωＢＸ，并分别约化Ａ，Ｂ为上Ｈｅｓｓｅｎｂｅｒｇ阵和上三角阵，通过Ｃｈｅｂｙｓｈｅｖ配置法可以求出特征值。最后对于Ｇａｕｓｓ尾流计算模型，给出了其在不同Ｒｅｙｎｏｌｄｓ下，流动     

企业标准体系的建立与完善及对策

介绍企业标准体系的基本构成、特征和建立的原则,就建立完善的企业技术标准体系、制定企业管理标准体系和工作标准等阐述体系建立的途径,并对企业标准体系的管理、完善和改进等有关的几个问题进行探讨。