关于开放型物理系统的qp理论
, PP. 511-518
Keywords: 定性推理,开放系统,类型,参量,视图,继承
Abstract:
本文探讨物理系统定性推理的描述方法.在分析已有的定性推理方法所存在不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段quios.此方法一方面拓广了定性进程理论qpt(qualitahveprocesstheory)关于参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程而引入开放系统定性推理的表现机制.
Full-Text