论文部分内容阅读
讨论了实时系统软件工程方法、软件实现、调度与执行时间分析、系统软件验证四个方面的问题，介绍了在实时系统研究领域的学者们所做的工作，该领域理论的发展以及有待解决的问题。
实时系统软件设计方法
【摘 要】
：
讨论了实时系统软件工程方法、软件实现、调度与执行时间分析、系统软件验证四个方面的问题，介绍了在实时系统研究领域的学者们所做的工作，该领域理论的发展以及有待解决的问题
【机 构】
：
北京航空航天大学自动控制系
【出 处】
：
计算机自动测量与控制
【发表日期】
：
2000年4期
【基金项目】
：
航空基础科学基金资助项目! ( 97I 5 10 2 2 )
其他文献
将铝交联膨润土与有机溶剂溶解的EVA混合制备导水复合涂层,测定了纤维在不同温度下的连续失水情况、交联剂对膨润土的修饰效果和材料的孔结构.结果表明,铝离子水解产生多种聚
采用Tersoff势对具有不同截面尺寸的β-SiC纳米丝的[001]向拉伸力学性能进行了分子动力学模拟，得到了纳米尺度下β-SiC纳米丝的应力-应变演化关系，研究了β-SiC纳米丝的力学性
阐述了探索量子点太阳电池的重要意义与物理构想，简要介绍了两种不同结构组态的量子点太阳电池的光伏性能，如p-i-n量子点太阳电池和量子点敏化太阳电池．对发生在各种量子点（PbSe
从Al基非晶态合金结构特性的视角,评述了目前与非晶合金形成能力相关的一些重要理论和判据,以期推动具有块体玻璃形成能力的Al基非晶态合金体系的设计与研制.
连续纤维增强NiAl基复合材料是一类极具应用前景的高温结构材料．本文对Al2O3（f）／NiAl复合材料的工艺、界面结合状况、改善措施及Al2O3纤维的拉伸性能进行了评述．在已开发的最具代
使用粉末冶金模压成形和无压反应烧结方法，制备出Ti—Al系金属间化合物多孔材料，研究了铝含量对其孔隙形成机理以及孔结构性能的影响．结果表明：烧结后Ti—Al合金坯块发生了显著的
研究了热处理对Ti24Nb-4Zr-8Sn（Ti2448）合金冷轧板材的显微组织和力学性能的影响，结果表明：Ti2448合金的杨氏模量和力学性能对其显微组织很敏感．在550850℃，随着退火处理温度的升高