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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。