第四章建模的一般系统理论详解.doc

PAGE  PAGE 31 第四章 建模的一般系统理论 集合论用来定义一个系统具体属性的抽象结构，有关的相同类型结构的联合可以表示一个系统。 系统规范的层次将不同级别的系统接口、内部结构和递归分解性的概念形式化，它的每一层将引入更多的具体化形式到内部结构的描述中。 4.1 时基、轨迹和分段 4.1.1 时基 形式上时基是一个集合T。这个集合T可以是与实数R同构，这种情况下称时基是连续的；T也可以是与整数I同构，这种情况下称时基是离散的。 连续和离散时基具有如下特性： （1）线性排序。 a. t0t1 t0发生在t1之前. b. t0t1 t0发生在t1之后. c. t0=t1 t0与t1同时发生 （2）交换群 定义在集合T上的二元算子+是一个交换群，即，对每一对，有：使得使得t0+0=t0；而且，+是结合的，对所有三元变量，有。 （3）无界扩展性 不存在上下界。用和来表示虚拟的上界和下界。 （4）加法保序性 4.1.2 轨迹和分段 1、轨迹 令Z表示一个集合，比如一个模型输入、状态或者输出集。基于Z和T的一个分段或者轨迹指的是一个从T的区间到Z的映射w：对某区间,有.有时候用定义域分段。 2、不同 轨迹描述了从t0开始到t1结束的集的运动，在每个中，描述了时间t的Z值。如果a是一个具有范围Y的程序变量，分段描述一个序列，即运动开始于t0终止于t1期间的变量 a