QUIOS的事件,进程和推理算法
文献类型：期刊论文
| 作者 | 韦梓楚 |
| 刊名 | 软件学报
 |
| 出版日期 | 1997 |
| 卷号 | 8.0期号:007页码:519-524 |
| 关键词 | 定性推理 开放系统 视图 推理算法 定性理论 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 本文讨论开放型物理系统的定性推理方法。文中阐述ＱＵＩＯＳ机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出ＱＵＩＯＳ的推理算法。 |
| 语种 | 中文 |
| CSCD记录号 | CSCD:389085 |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/56264]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 中国科学院数学与系统科学研究院 |
| 推荐引用方式 GB/T 7714 | 韦梓楚. QUIOS的事件,进程和推理算法[J]. 软件学报,1997,8.0(007):519-524. |
| APA | 韦梓楚.(1997).QUIOS的事件,进程和推理算法.软件学报,8.0(007),519-524. |
| MLA | 韦梓楚."QUIOS的事件,进程和推理算法".软件学报 8.0.007(1997):519-524. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。