时段演算相关论文
随着科技的进步,尤其是电子技术的长足发展,以及社会生产和生活的需求,计算机相关的技术对各种技术领域的涉及程度越来越广泛和深......
程序正确性验证不仅是计算机科学界一直关注的一个重要问题,也是推动计算机科学发展的主要动力之一。分离逻辑是此问题研究下出现......
研究如何用时段演算来刻画程序的实时行为. 在实时程序设计里，程序变量被解释成时间的函数. 为了定义局部变量声明的语义，必须引进......
DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......
混合系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和......
DDS（deadline．driven scheduler）模型是实时系统研究中的一个经典模型，但其原始设置中未提及空间因素．在DDS模型的原始设置上进行扩展，给......
扩展线性时段不变式是时段演算中的一类重要公式.时段演算是周巢尘院士于20世纪90年代提出的一种用于嵌入式实时软件设计的演算系......
介绍了实时分布式系统的一种转化设计方法.系统的形式化需求规范用时段演算DC(Duration Calculus)描述,系统的设计用规范语言SL(Sp......
VHDL是一种广泛使用的硬件描述语言。其语义的形式化描述对于VHDL的使用及实现具有重要意义。本文提出了一种基于时段演算的VHDL的......
在化工过程中广泛存在着混杂系统的特性,即系统的信息结构由系统事件和系统状态构成。本文以时段演算为工具提出面向混合信息结构......
列车控制是保障高速列车安全运行的关键技术。对国际上广泛应用的ATP控车模式建立了基于时段演算的模型,并通过对模型的推演,对ATP......
DDS模型是实时系统早期研究中取得的重要成果之一,其具有很强的代表性,很多现实生活中存在的诸如网络拥塞、生产流程调度、交通运......
