论文部分内容阅读
本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层次的实时性包括静态的时间限制表达和动态的时间限制维护.程序规范层次的实时性包括建立规范说明模型和形式化证明。
实时程序设计方法的发展趋势
【摘 要】
：
本文概述了目前实时程序设计方法学的两个基本方面:实时程序设计语言和实时程序的规范说明及形式化验证。讨论了实时程序设计的基本特点和与一般程序设计的不同之处。程序层
【机 构】
：
重庆工业管理学院,重庆工业管理学院630050,630050,630050
【出 处】
：
计算机研究与发展
【发表日期】
：
1993年1期
【基金项目】
：
机械电子工业部科开发基金技的资助
其他文献
本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器－ＳＤＬ－ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ－ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。
红提与黑提葡萄是名优晚熟品种,具有晚熟、穗大、丰产和味甜等特点,品质极佳,被称为"黑红双星".但在夏季管理中应注意以下要点.1结果枝摘心由于红提与黑提葡萄坐果率高,为防
9月18日，由鲁能泰山开关集团与德州华德实业总公司共同投资组建的山东鲁能泰开华德电气股份有限公司正式成立。这是“鲁能”品牌首次进入德州电气生产领域。
为了加快梨树优新品种的推广速度,各地运用了多种方法对传统劣质梨园进行改造,如春季硬枝劈接、皮下接、皮下腹接、切腹接等,均收到了良好的效果.通过多年实践,秋季芽接黄金
针对黄岛电厂#4自然循环锅炉的特点,采用复合清洗剂对其进行了投产运行后的首次化学清洗,取得了令人满意的效果,通过本次清洗扩大了复合清洗剂的应用范围.
本文综合了线性表、循环表、矩阵等数据结构的基本概念以及压缩存储、索引存储等存储方式的基本概念，通过矿山计划计算机交互辅助编制系统中遇到的极大量数据的处理问题，导出了
本文以腰腿痛疾病疹疗专家系统为例，指出了在医学诊疗专家系统推理机设计中应注意的一些问题，并给出了几种实用，有效的改善推理机效率的方法。
网络安全态势感知是实现网络安全监控的一种新技术,也是目前信息安全的研究热点之一.在理清国内外研究现状的基础上,提出了基于简单加权法和灰色理论的网络安全态势感知模型.
本文首先简述了我们在ＳＵＮ工作站上用ＰＲＯＬＯＧ语言所实现的ＦＫＭＳ不精确知识库管理系统的理论基础和有关的实现技术，然后讨论了ＦＫＭＳ系统的知识结构，系统的体系结构和主要算法流程。本文还对ＦＫＭＳ系统给出了