反应式系统的并发模型(Ⅰ)——抽象数学模型

提出了反应式（ｒｅａｃｔｉｖｅ）系统形式化描述的一种抽象数学模型ＦＴＳ。分析了该模型带有公平性（ｆａｉｒｎｅｓ）条件及通过交替（ｉｎｔｅｒｌｅａｖｉｎｇ）实现并发计算的特点；并与实际系统进行比较，指出它可以较好地表示并发性。

汽车的方向稳定性

汽车方向的稳定性是导致交通事故的主要诱因。本文将汽车行驶运动抽象数学模型 ,从运动学、动力学。