关于开放型物理系统的QP理论
THE QP THEORY ABOUT OPEN PHYSICAL SYSTEMS作者机构:中国科学院数学研究所北京100080
出 版 物:《软件学报》 (Journal of Software)
年 卷 期:1997年第8卷第7期
页 面:511-518页
核心收录:
学科分类:07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金:国家科委资助的中法合作PRA基金
摘 要:本文探讨物理系统定性推理的描述方法.在分析已有的定性推理方法所存在不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS.此方法一方面拓广了定性进程理论QPT(qualitahveProcesstheory)关于参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程而引入开放系统定性推理的表现机制.