- 1、本文档共31页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
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系统或一般意义
文档评论(0)