第四章建模的一般系统理论详解.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的序列值,,…. 设（Z，T）表示Z和T上所有分段的集。因此，的含义为：存在T的一个区间，使得。 4.2 系统规范的分层描述 4.2.1 观测框架 观测框架建立了将系统视为黑箱来进行观测的基本抽象形式，它实际上也是试验框架的抽象形式。 观测框架是如下的一个结构： 其中，T是时基；X是输入值集；Y是输出值集。 X是表示接口的某一部分的集合，环境能够通过X对系统产生一定影响，比如通过信息流或物流。 Y也是表示接口的某一部分的集合，而系统能够通过Y对环境产生影响。在这一层，观测者在时基T上的一段时期内对系统施加X中一定的值，从Y中观测系统响应，依次就能够进行针对系统的试验。 输入段描述了一定时间段中系统输入的时序模式。因此，输入段是一个映射，形式为其中是时基中介于t0时刻和t1的一段，，。所有这种输入段的集合称为（X，T），输出段的集合称为（Y，T）。 4.2.2 I/O关系的观测 I/O关系观测（IORO）可以定义如下，它是一个这样的结构： T,X, ,Y,R 其中T是时基；X是输入集；Y是输出集；是输入段集；R是I/O关系。并满足以下约束： （1）。 （2），其中，也可以表示为dom(w)=dom().这里用dom(w)表示w的定义域。 P80 例子4.1 IORO概括了关于系统做为外部观察到黑箱的知识。由此，对它们就产生了两个方面的问题。第一个是从结构到行为的问题；如果知道黑箱内部的内容，用这样或那样的方法应该能够描述外部观察到的行为。第二个问题为相反的 情况：从行为到结构的问题，亦即试图通过外部观察来推断黑箱内部的结构问题。 第一个是从结构到行为的问题，是本章讨论的主题。 4.2.3 I/O函数的观测 当对模型的许多状态执行试验，便将收集到I/O函数的一个集，每个这样的状态有一个I/O函数。这需要我们用公式表示下一个较高层次的系统规范。为此，可以做出如下的定义。 I/O函数观测（IORO）的结构是：T,X, ,Y,F 其中，T,X, ,Y如前一样；F是具有以下限制的集（I/O函数集）：是一个函数；且若则，dom(w)=dom() 给出I/O函数观测T,X, ,Y,F，使它与（IORO）T,X, ,Y,R联系起来，这里。换句话说，收集此前已经划分成函数组的所有I/O对偶段，便获得I/O关系。 P82 例子4.2 I/O函数观测的系统规范允许观测系统的初始状态（在进行试验之前），但不能够观测系统的最终状态（在试验之后）。而下一个高层次的系统规范将允许同时观测初始状态和最终状态，并用这种方法去直接了解转移函数和输出函数。这就是输入—输出系统规范。 4.2.4 I/O系统 1、预备知识 （1）连接段 所谓一对分段是连接的，就是指它们的定义域是连接的，亦即对T中的和。 可以把一对连接“拼凑”在一起形成新的分段。 （2）合成 在（Z，T）定义一个二元运算COMPOSITION（合成），它对连接段有定义：COMPOSITION（w, ）是w和的一个组合（连接w, ），而且COMPOSITION满足结合律，亦即若w, 是连接的，，是连接的，COMPOSITION（COMPOSITION（w, ）, ）=COMPOSITION(w,COMPOSITION(,))。 2、I/O系统结构 输入输出系统（I/O系统或一般意义