KMS Of Academy of mathematics and systems sciences, CAS
QUIOS的事件,进程和推理算法 | |
韦梓楚 | |
1997 | |
发表期刊 | 软件学报 |
ISSN | 1000-9825 |
卷号 | 8.0期号:007页码:519-524 |
摘要 | 本文讨论开放型物理系统的定性推理方法。文中阐述QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法。 |
关键词 | 定性推理 开放系统 视图 推理算法 定性理论 |
收录类别 | CSCD |
语种 | 中文 |
CSCD记录号 | CSCD:389085 |
引用统计 | |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/56265 |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 中国科学院数学与系统科学研究院 |
推荐引用方式 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. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[韦梓楚]的文章 |
百度学术 |
百度学术中相似的文章 |
[韦梓楚]的文章 |
必应学术 |
必应学术中相似的文章 |
[韦梓楚]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论