-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=完全相容稳定模糊谓词转换器 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
完全相容稳定模糊谓词转换器
《模糊系统与数学》2009年第6期113-125,共13页马艳芳 陈仪香 
国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完...
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部