一种航空电子系统体系结构错误行为验证方法

针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。     

一种内疏水型透水混凝土的研制

将疏水剂引入透水混凝土中,研制一种内疏水型透水混凝土.采用正交试验,以28 d抗压强度和透水系数为试验指标,研究孔隙率、水灰比、疏水剂种类3个因素及不同水平对内疏水型透水混凝土性能的影响;通过极差分析及综合平衡法,分析各因素影响的主次关系,得出最优方案为孔隙率20%,水灰比0.28,荷叶疏水剂;通过对比试验可知,在最优方案下,掺入4%疏水剂较不掺入疏水剂混凝土强度提高28.9%.     

活性屏离子氮化和脉冲离子氮化的对比试验研究

为解决航空发动机零件在渗氮生产过程中采用脉冲离子氮化工艺而产生的边缘效应等问题,该文在氨气气氛下对38CrMoAI钢进行活性屏离子氮化处理及脉冲离子氮化,并对渗层的组织结构,渗层厚度等进行了分析.试验结果表明相同的工艺参数下活性屏离子氮化处理工艺会以得到相似的渗氮效果,可以替代脉冲离子氮化工艺.     

浅谈抢抓机遇发展环境监测工作

以山西省环境保护“十二五”规划为目标,结合山西省分析科学研究院的环境监测优势,探讨了做好环境监测工作的对策.     

从自组织理论看学习自我控制

学生作为一个开放的系统,其学习心理过程可以看作是一个自组织过程。本文首先从自组织理论出发,分析学习心理系统的构成,然后根据自组织形成的条件和动力,探讨学习过程中如何进行自我控制。     

陕西省自然保护区建设现状及其对策研究

目的为加快陕西省自然保护区建设步伐,并提高其管理水平提供科学决策依据。方法通过专项调查和分析研究,对陕西省自然保护区建设情况进行评价。结果陕西省自然保护区建设经历了4个发展阶段,存在4方面的主要问题,提出了4条应对策略。结论陕西省自然保护区建设虽有长足发展,但问题与困难也不容忽视。因此,应建立健全政策法规体系,加大投入力度,全面提高管理水平。     

精密测试技术及仪器国家实验室清华实验区简介

第一部分介绍了实验区概况,包括学科、队伍、人才培养、科学研究、发表论文等;第二部分介绍了近5年的主要科学研究成果.     

浮动铰孔装置的设计及应用

铰孔是孔的精加工手法之一。在某些因素的影响下，当工件中心与铰中心位置有偏差时，会出现孔径扩大的铰孔缺陷。为了有效地消除位置偏差对铰孔的影响。基于浮动镗的原理，设计了一种在普通车床上铰孔的装置。该装置能自动补偿轴线的误差，从而保证了孔的尺寸精度和表面粗糙度。