CSpace
QUIOS的事件,进程和推理算法
韦梓楚
1997
发表期刊软件学报
ISSN1000-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文件
谷歌学术
谷歌学术中相似的文章
[韦梓楚]的文章
百度学术
百度学术中相似的文章
[韦梓楚]的文章
必应学术
必应学术中相似的文章
[韦梓楚]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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