题名 功能层次模型及故障树的构建
被引量：1
1
作者
田双亮 陈萍
机构
西北民族学院数学系 西北民族学院经济管理学院
出处
《西北民族学院学报（自然科学版）》
2000年第4期12-14,共3页
文摘
首先依据可拓学理论 ,利用功能蕴含图描述了系统的各功能单元及关系 其次运用物元集的基集 ,将功能蕴含图层次化 ,得到了系统的功能层次模型 最后在研究可靠性分析中 。
关键词
功能蕴含图 故障树 系统可靠性分析 功能层次模型 可拓学 FTA法 物元集
Keywords
function implication graph hierarchy model fault tree
分类号
N945.17
[自然科学总论—系统科学]
题名 一种新的SAT问题预处理算法
被引量：2
2
作者
熊伟 唐璞山
机构
复旦大学专用集成电路与系统国家重点实验室
出处
《微电子学与计算机》
CSCD
北大核心
2007年第10期193-196,共4页
基金
国家自然科学基金项目(90207002)
文摘
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation)。与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句。基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball。实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化简SAT问题的规模并减少解决SAT问题的时间。
关键词
可满足性问题 一元子句推导 蕴涵图
Keywords
satisfiability（SAT） unit propagation implication graph
分类号
TN47
[电子电信—微电子学与固体电子学]
题名 融合决策蕴涵的知识图谱推理方法
3
作者
翟岩慧 何煦 李德玉 张超
机构
山西大学计算机与信息技术学院 山西大学计算智能与中文信息处理教育部重点实验室
出处
《计算机科学与探索》
CSCD
北大核心
2023年第11期2743-2754,共12页
基金
国家自然科学基金(61972238,62072294)。
文摘
决策蕴涵是形式概念分析中的决策知识表示和推理工具。提出了一种基于决策蕴涵的知识图谱关系补全方法。基于知识图谱构建对应的决策背景,证明决策蕴涵可以等价表示知识图谱推理中的规则;为了快速挖掘决策蕴涵,对复杂的决策背景进行多次约简,证明约简后的决策背景也可以获取知识图谱推理中的规则;设计了从简化后的决策背景中获取决策蕴涵的算法,给出了使用决策蕴涵进行关系补全的步骤;最后通过实验验证了上述方法的有效性。该研究为完成知识图谱关系补全任务提供了新的思路,也为融合推理提供了一个新的选择。
关键词
形式概念分析 决策蕴涵 对象约简 知识图谱 关系补全
Keywords
formal concept analysis decision implication object reduction knowledge graph relationship completion
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 基于蕴含图的状态分配技术
被引量：1
4
作者
王新 高波
机构
云南民族学院数学系 云南广播电视大学
出处
《云南民族学院学报（自然科学版）》
2000年第4期219-221,226,共4页
文摘
分析一个例子的基础上 ,给出蕴含图的概念 ,并介绍利用蕴含图进行状态分配的方法 ,该方法可获得较佳状态分配 ,得到较简单的电路 .
关键词
时序电路 蕴含图 逻辑电路 状态分配
Keywords
Sequential circuit design, implication graph , State assignment, Rules
分类号
TP331.1
[自动化与计算机技术—计算机系统结构]
题名 概念格理论中的G-D基蕴涵约简研究
被引量：2
5
作者
马垣 王月行 胡志宇 罗伟
机构
辽宁科技大学计算机科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2009年第10期3629-3631,共3页
基金
国家自然科学基金资助项目(60775036)
文摘
概念格理论中的G-D基是一个形式背景的最小蕴涵基,从G-D基中可以产生一个背景的所有蕴涵,对G-D基的研究对于数据挖掘和规则提取都有很重要的意义。当G-D基中的蕴涵很多时,从它推导出背景中的全部蕴涵就很困难,减小G-D基的尺寸能够节省很多时间。提出了利用概念层次图约简G-D基的尺寸,通过利用Armstrong公理系统比较说明了G-D基的尺寸变小后推导蕴涵的效率明显提高,并提出了恢复G-D基中的蕴涵的一种并行算法,该算法基于可约属性类对G-D基中的蕴涵进行恢复。
关键词
背景 G-D基 蕴涵 可约属性 概念层次图
Keywords
context G-D base implication reducible attributes concept layer graph
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
题名 基于否证蕴含的极小一阶不可满足子式求解算法
被引量：1
6
作者
张建民 沈胜宇 李思昆
机构
国防科学技术大学计算机学院
出处
《计算机学报》
EI
CSCD
北大核心
2010年第3期415-426,共12页
基金
国家自然科学基金(60603088)资助~~
文摘
解释公式不可满足的原因在软件分析与验证等众多领域都具有非常重要的理论与应用价值,而极小不可满足子公式能够为公式不可满足的原因提供精炼的解释,帮助应用领域的自动化工具迅速定位错误,准确地诊断问题失败的本质缘由.文中针对极小一阶不可满足子式的求解问题,引入了否证蕴含图及其正向与逆向可达结点的概念,并证明了不可满足子式与否证蕴含图之间的关系.基于二者的关系,提出了基于冲突分析与否证蕴含的极小一阶不可满足子式求解算法,并融合了蕴含图剪枝技术,以提高算法效率.通过实验与当前最优的深度优先搜索算法进行了比较,结果表明:文中的算法显著优于深度优先搜索算法,并且随着公式复杂度的增加,性能优势更加明显.
关键词
一阶逻辑公式 可满足模理论问题 极小不可满足子式 消解否证 否证蕴含图
Keywords
first-order formula satisfiability modulo theories（SMT） minimal unsatisfiable subformulae resolution refutation refutation implication graph
分类号
TP302
[自动化与计算机技术—计算机系统结构]
题名 基于蕴含关系的场景测试法路径优化方法研究
7
作者
严悍 许昌年 朱文 丁锋 王宇
机构
南京理工大学计算机科学与工程学院
出处
《现代电子技术》
北大核心
2015年第12期118-122,共5页
基金
国家自然科学基金(61300053)
文摘
针对场景测试法中多场景切换代价优化问题,在复合状态分析、逻辑蕴含概念基础上,从测试场景结构分解的角度,给出状态蕴含和场景蕴含关系的定义及推论,由场景蕴含形成场景蕴含图SIG,然后采用图论方法求解优化路径。给出系统化处理方法,并与其他方法比较。最后实例验证该方法的有效性。
关键词
场景测试法 蕴含关系 路径优化 场景蕴含图 状态蕴含
Keywords
scenario testing method implication relationshippath optimization scenario implication graph state implic a-tion
分类号
TN911.34
[电子电信—通信与信息系统]
TP311
[电子电信—信息与通信工程]
题名 顺序蕴含图的状态编码方法
8
作者
曹秉超 边计年
机构
清华大学计算机科学与技术系
出处
《计算机工程与应用》
CSCD
北大核心
2003年第30期79-81,共3页
基金
国家自然科学基金项目(编号:90207017)资助
文摘
控制器综合中状态编码这个课题,已经有过不少的研究。人们都试图设计出能够得到“最佳编码”的方法或者是算法,来达到节省门电路、触发器电路,或者是起到简化组合逻辑电路的目的。该文在原有基于蕴含图算法的基础上,提出了一种求解状态编码的方法“顺序蕴含图方法(SequentialImplicationGraph,简称SIG)”,利用相邻关系的顺序,改善分配结果。
关键词
状态编码 状态分配 蕴含图
Keywords
State assignment ,State encoding,Sequential implication graph
分类号
TP33
[自动化与计算机技术—计算机系统结构]
题名 改进的Q-M逻辑函数化简方法
被引量：2
9
作者
徐俊平 程利新
机构
哈尔滨工程大学计算机科学与技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期30-32,共3页
基金
哈尔滨工程大学基础研究基金资助项目(HEUFT05069)
文摘
为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。
关键词
逻辑函数化简 Q-M方法 质蕴涵项 二分图 最小覆盖
Keywords
simplification of logic functions Q-M method prime implic ants bipartite graph minimum coverage
分类号
TP331.1
[自动化与计算机技术—计算机系统结构]
