关于开放型物理系统的QP理论
文献类型:期刊论文
作者 | 韦梓楚 |
刊名 | 软件学报
![]() |
出版日期 | 1997 |
卷号 | 008期号:007页码:511 |
ISSN号 | 1000-9825 |
英文摘要 | 本文探讨物理系统定性推理的描述方法,在分析已有的定性推理方法所存在的不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS。此方法一方面拓广了定性进程理论QPT关于参量的类型,引入了参量视图的概念,描述了参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程引入开放系统定性推理的表现机制。 |
语种 | 英语 |
源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/42364] ![]() |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | 韦梓楚. 关于开放型物理系统的QP理论[J]. 软件学报,1997,008(007):511. |
APA | 韦梓楚.(1997).关于开放型物理系统的QP理论.软件学报,008(007),511. |
MLA | 韦梓楚."关于开放型物理系统的QP理论".软件学报 008.007(1997):511. |
入库方式: OAI收割
来源:数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。