云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=不确定程序 "

共条记录，以下是1-2

全选清除导出

视图：

排序：

显示条数：

不确定程序的公理语义: 《郑州大学学报（自然科学版）》1994年第1期37-40,共4页陈国勋; 河南省自然科学基金资助项目; 利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．; 关键词：不确定程序公理语义部分可加范畴部分正确性

谓词转换器的拓扑语义被引量：2: 《数学进展》2003年第2期221-229,共9页陈仪香; 国家自然科学基金(No.69873034);教育部高等学校骨干教师资助计划;上海市教育发展基金曙光计划(98SG46);上海市科学技术发展基金(00JC14057)共同资助.; 本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半拓扑空间概念,用以刻画连续谓词转换器的语义.针对不确定程序,本文引入了dI-domain上半稳定映射概念,给...; 关键词：谓词转换器半拓扑空间程序设计 D-半拓扑稳定映射 SM-半拓扑空间不确定程序 dI-domain 拓扑语义

全选清除导出

共1页<1>