实时系统的建模、设计与应用  

Real-Time. Systems： Modeling, Design, and Applications

作　　者：Dan Ionescu Aurel Cornell 胡光华[3] 

机构地区：[1]University of Ottawa, Canada [2]Brigham Young University,USA [3]原中国科学院物理学研究所

出　　处：《国外科技新书评介》2008年第4期13-13,共1页Scientific & Technology Book Review

摘　　要：实时系统需要一个系统的方法，把现实世界过程（它们本质上是连续的）、人造过程与器件（有时是离散）和一个或多个控制上述过程的计算机相结合，这种结合导致了连续与离散模型的结合。其中的困难在于这个结合中的某些过程是使用一组微分／差分方程来建模的，而其他的过程则是通过逻辑陈述及其计算机控制算法来建立的。这通常涉及了一阶及瞬时逻辑陈述。

关 键 词：实时系统 建模 计算机控制算法 离散模型 现实世界 差分方程 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论] TP273.5[自动化与计算机技术—计算机科学与技术]