白金山

作品数：5被引量：6H指数：1
导出分析报告
供职机构：广东医学院信息工程学院更多>>
发文主题：自反性自反BDD可靠性逻辑研究更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《贵州大学学报（自然科学版）》《现代计算机（中旬刊）》更多>>
所获基金：美国GENECHIU基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
行为时序逻辑与自反线性时序逻辑的关系
《现代计算机（中旬刊）》2014年第1期3-7,共5页白金山 冯天亮 吴应江 丘文峰 王梦 
广东医学院博士启动基金(No.B2011006)
为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行为时序逻辑公式转换...
关键词：模型检测 行为时序逻辑 语义 语法 自反性 
具有自反性质的线序时态逻辑研究被引量：4
《计算机工程与设计》2011年第4期1338-1341,共4页白金山 李祥 
为了能够有效的描述现实世界中的相对静止状态,分析了在哲学逻辑理论中的线序时态逻辑定理系统中引入自反性质的可行性,在此基础上建立了具有自反性质的线序时态逻辑系统TA。叙述了TA时态系统的主要定理以及该系统具有无端稠密线序性质...
关键词：模型检测 时态逻辑 自反性 可靠性 完全性 
行为时态逻辑TLA定理系统证明及公平性研究被引量：3
《计算机工程与设计》2010年第3期535-538,共4页白金山 崔楠 李祥 
行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向。为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为...
关键词：模型检测 行为时态逻辑 哑动作 弱公平 强公平 
并发程序验证器CPV的设计与应用研究
《贵州大学学报（自然科学版）》2008年第1期60-64,100,共6页白金山 杜习慧 赵莉莉 李祥 
美国Gene Chu基金资助(GCF2006-001)
以以色列的并发程序验证器CPV1.1为蓝本,深入研究了并发程序检测的设计实现过程,讨论了该软件的各种数据类的结构和它们之间的相互关系,以及并发程序的执行过程,在此基础上对其做了适当的改进,简化了输入方式和程序的执行。提高了CPV的...
关键词：并发程序 CPV 进程 状态 
一种建立二元判断图ROBD(D的算法)
《科技咨询导报》2007年第27期141-142,共2页白金山 黄贻望 罗坤杰 
二元判断图BDD(Binary Decision Diagram)是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用...
关键词：二元判断图 BDD 哈希表 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部