【摘 要】
：
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算．因此，提出了一种名为SPAR
【机 构】
：
西北工业大学计算机学院,北京控制工程研究所
论文部分内容阅读
航天嵌入式软件是航天型号任务成败的关键之一．航天嵌入式软件是一种周期性、多模式的软件．软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算．因此，提出了一种名为SPARDL的形式化建模方法．为了满足型号应用的需求，对这一方法进行了若干改进．为了表达航天器的时序性质，提出了一种基于区间逻辑的性质规范语言.为了支持工业应用，还设计了代码生成方法．这一建模方法已在航天工业领域得到了应用．
其他文献
自行设计开发的燃煤式热风隧道炉是节能、环保、安全新型食品烘烤设备的重要组成部分,可以配备各种食品成型机,完成食品流水线生产,在结构设计和热量控制方面填补国内空白,自
为了协助学生灵活应用碎片化的知识分析问题,达到零存整取的学习目的,本文以"商务英语阅读"课为例,创建微信公众号,开展混合式教学。微信公众平台从移动终端提供丰富的教学资
目的：观察窄谱中波紫外线（NB-UVB）治疗寻常型银屑病的疗效以及对寻常型银屑病患者Th22细胞及相关细胞因子的影响,探讨NB-UVB治疗银屑病的作用机制。方法：40例寻常型银屑病患者NB-
本文提出了系数效应滞后的计算方法,数值模拟了饱水渠道冻结时水热迁移的二维非线性模型。冻结过程为2400小时的计算结果表明,渠道下冻结锋面的推进和水分分布是非均匀的,近
身体控制和平衡能力是幼儿运动的核心经验之一。考虑到小班幼儿身体动作稳定性不强,我们选择草地作为平衡区的场地。草地给人以柔软的感觉,且摩擦力较强,这在心理上对幼儿产
<正>针对"立白、纳爱斯"等日化行业"领头羊"企业所提出高于国家标准的原料采购"门槛",抚顺石化想方设法提高产品质量,最终达到了客户要求,在一场"非"常规的市场竞争中赢得了
体育活动区中，活动环境的创设是最为基础的环节，它直接影响到幼儿活动的积极性以及活动的水平。教师只有善于观察，注意活动材料的选择与布局，才能满足幼儿活动的需要。最初，我们在
高等师范学校(下称高师)作为中学师资培养的主要场所,承担着为高中输送合格地理教师的重任,其人才培养是否契合高中地理教师需求,影响着高中生地理核心素养的培养及高中地理
随着高等医学教育事业的迅猛发展，医学院校办学条件得到较大改善,招生规模不断扩大，医学毕业生的数量和质量大大提高。但是在全国总的研究生就业形势严峻的情况下，医学研究生就
固定资产是生产型企业进行日常生产经营活动的重要劳动资料．也是企业生产力发展水平与现代化程度的主要标志，在企业全部资产中占有较大比重。固定资产的取得、折旧的计提、后续