实时系统的设计方法和Ada的实现

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户:zhangnaiyu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
论述了微型机实时系统的组成及特征.给出了实时系统的设计方法,并给出了利用Ada设计的机器人控制系统实例.
其他文献
1981年4月,Fadell提出了曲面自映射提升的Reidemeister迹的一个公式,没有给出证明。本文给出了Fadell公式的证明。构造出上述自映射的一个特殊的胞腔式逼近,并应用群环的Fox
股利分配政策是公司政策决定过程中的非常重要的一部分,当公司能够制定一个合理的股利分配政策时,就可以向外界展示真实的公司业绩情况和投资理念。本文主要针对证监会实施半
以2,3,3-三甲基-3H-苯并[e]吲哚和对二甲氨基苯甲醛为原料,乙醇作溶剂,在酸性催化条件下,通过一步反应合成了比色荧光探针B.在EtOH/HEPES(pH=7. 4)体积比为9∶1的混合体系中,
近年来,'历史现象学'(Ph?nomenologie?der?Geschichte,?phenomenology?of?history)这个术语开始越来越频繁地被使用。学界日益关注到现象学运动与历史问题之间广泛深
<正>对宏观债务和杠杆率问题的认识直接关系到相关政策制定。遗憾的是,已有讨论中普遍存在着如下四方面不足:一是缺乏一个系统性的理论分析框架;二是把&#39;债务/GDP&#39;比
期刊
将梅凤翔教授关于Birkhoff方程的结论推广到变质量系统,并给出变质量完整系统运动方程的显式,研究它的Birkhoff表示并举例说明结果的应用。
“十二五”期间,我国将围绕城市智能运转、企业智能运营、生活智能便捷、政府智能服务等若干方面,全面启动“智慧城市”建设工程。如今整个安防行业正在往信息网络化、视频高
目的通过对门诊患者进行满意度统计分析,为医院持续提高服务质量和水平提供合理化建议。方法采用现场调查的方式,随机抽取2015年10~12月来该院就诊的门诊患者发放满意度调查
在图像制导末段应用图像相关匹配技术,可以起到稳定瞄准点的作用.用软件实现实时相关匹配具有灵活、可靠的特点.可根据目标及背景的不同置入不同的相关参数,以达到最佳的匹配