%0 Journal Article
%T quios的事件、进程和推理算法
%A 韦梓楚？
%J 软件学报
%P 519-524
%D 1997
%X 本文讨论开放型物理系统的定性推理方法．文中阐释quios机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出quios的推理算法．
%K 定性推理
%K 开放系统
%K 事件
%K 进程
%K 视图
%K 推理算法
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970706&flag=1