中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
QUIOS的事件、进程和推理算法

文献类型:期刊论文

作者韦梓楚
刊名软件学报
出版日期1997
卷号008期号:007页码:519
ISSN号1000-9825
英文摘要本文讨论开放型物理系统的定性推理方法。文中阐述QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法。
语种英语
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/37698]  
专题中国科学院数学与系统科学研究院
作者单位中国科学院数学与系统科学研究院
推荐引用方式
GB/T 7714
韦梓楚. QUIOS的事件、进程和推理算法[J]. 软件学报,1997,008(007):519.
APA 韦梓楚.(1997).QUIOS的事件、进程和推理算法.软件学报,008(007),519.
MLA 韦梓楚."QUIOS的事件、进程和推理算法".软件学报 008.007(1997):519.

入库方式: OAI收割

来源:数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。