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

• 作者: Aurel Cornell Dan Ionescu 胡光华
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 实时系统 建模 计算机控制算法 离散模型 现实世界 差分方程
• 年，卷（期）: 2008,（4）
• 页码范围: 13
• 页数: 1页
• 分类号: TP316.2

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡光华	原中国科学院物理学研究所	254	0	0.0	0.0