检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

关于开放型物理系统的QP理论

引用

软件学报 1997年第7期8卷 511-518页

作者：韦梓楚中国科学院数学研究所北京100080

本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型... 详细信息

本文探讨物理系统定性推理的描述方法．在分析已有的定性推理方法所存在不足的基础上，给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS．此方法一方面拓广了定性进程理论QPT（qualitahveProcesstheory）关于参量的类型，引入了参量视图的概念，描述了参量的两种继承关系，并证明在一定条件下参量的双重继承关系不会引起矛盾；另一方面通过事件制约进程而引入开放系统定性推理的表现机制．

关键词：定性推理开放系统 QP理论定性理论

在线全文

学校读者我要写书评

暂无评论

QUIOS的事件、进程和推理算法

引用

软件学报 1997年第7期8卷 519-524页

作者：韦梓楚中国科学院数学研究所北京100080

本文讨论开放型物理系统的定性推理方法．文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出QUIOS的推理算法．

关键词：定性推理开放系统视图推理算法定性理论

在线全文

学校读者我要写书评

暂无评论

关于并行语言Gamma的结构化扩充

引用

软件学报 2000年第11期11卷 1560-1566页

作者：韦梓楚中国科学院数学与系统科学研究院数学研究所北京100080

Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .***等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定... 详细信息

Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .***等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定义方式的基础上 ,给出结构化 Gamma的更一般形式的语法、语义描述 ,在两个层次上讨论结构重集 ( structured multiset)的类型 ,并指出 ,这种新模型保持了有关程序的静态类型检测等理论成果 .

关键词：并行程序设计语言图文法 Gamma语言