【摘 要】
：
本文结合军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件－动作模型及实时逻辑的基础上，设计了一种实
论文部分内容阅读
本文结合军用软件的开发特点，针对实时系统的特征，提出将实时需求分为周期需求、非周期频繁需求和非周期偶发需求三类的新思想。在事件－动作模型及实时逻辑的基础上，设计了一种实时软件原型描述语言ＲＴＳＰＤＬ。该语言形式化地表示了事件－动作模型，突出了对实时需求求的优先级及异常机制的描述，实现了一个实时软件的原型建造环境ＰＥＲＴＳ。该环境包括一组原型建造工具的和原型的仿真环境，支持软件重用的开发方法。
其他文献
随着20世纪后半期以来,节庆以史无前例的规模复兴,在现代性的语境下,节庆与社区存续、复兴或衰亡的各种关系,成为文化地理关注的主题。文章从传统社区的延续与现代认同的重构、移民社区的再造与多元认同的杂糅、社区活力的再生与地方品牌的营销、社区秩序的重塑与地方权力的协商4个方面,对节庆与社区重构的关系进行分析。结论认为:节庆与社区重构之间具有紧密的关系,社区并没有被现代性力量所终结,而是以一种更加复杂化的
脉冲功率源技术是各种新概念武器包括电磁发射的基础技术。其作用是向其发射平台提供大容量、高电压、大电流和高能量密度的电能。随着脉冲功率源小型化、模块化的发展趋势,
工地施工声扰人清梦、汽车喇叭声无孔不入、高音喇叭高亢的声音不时飘来……噪音污染已经成为重要的城市问题，不管你愿不愿意，各种噪音已经如影随形，无时无刻不在危害着人们的身
高速数据采集系统的构成,既需要采用高速的A/D转换器、存储器等,又需要采用能够实现对采集数据进行高速传送和存储的控制方式。通过对现有的一些数据采集系统的特点进行分析,
以位于中国科学院内蒙古草原生态研究定位站灌丛化样地实验平台为研究区,基于低空无人机遥感影像,结合实地调查,开展草原灌丛遥感辨识方法研究。通过对灌丛、草地和裸地归一化植被指数(NDVI)的方差统计分析,确定了裸地与植被的分割阈值为-0.08,并使用该阈值提取植被覆盖区,然后分别利用面向对象的决策树(DT)、贝叶斯(Bayes)、K最邻近(KNN)、支持向量机(SVM)机器学习分类器进行灌丛辨识。研究
目的 :研究生姜乙醇提取物 (EZE)抗氧化清除自由基的作用 ,观察其对小鼠缺氧耐受及体重增长的影响。方法 :用乙醇从生姜中提取抗氧化有效成分 ,测定EZE对·OH的抑制率及清除
印度传统的“梵我同一”思想并不是《吉檀迦利》中“神”的内涵的全部。诗集中的“神”作为一种诗歌的意象，更倾向为一个象征或称谓，它的实质是美与创造，真理与理想，抑或观照世界
高轨道准直式红外地球模拟器是红外地球敏感器的重要地面标定设备,红外地球敏感器地面标定试验精度的高低,会直接决定卫星在不同轨道高度上的工作精度。为了提高红外地球敏感
<正> “肾气游风”又名“腿游风”或称“流火”,它的症状是:先起寒热、头痛,继而下肢红肿热痛。沿小腿上达大腿部,并可见不规则的网状红线(淋巴管炎),或引起腹股沟淋巴结肿胀