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