检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于obdd的拆卸序列表示模型的优化

工程设计学报 2006年第4期13卷 211-216页

作者：钟艳如梁勇强古天龙桂林电子工业学院计算机系广西桂林541004

拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND-OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND-OR图表示模型存在冗余信息.通过对AND-OR图模型作等价变换,消除AND-OR图表示模型中的冗余信息.设计了拆卸序列的优化表示模... 详细信息

拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND-OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND-OR图表示模型存在冗余信息.通过对AND-OR图模型作等价变换,消除AND-OR图表示模型中的冗余信息.设计了拆卸序列的优化表示模型的生成算法,建立了优化的基于obdd的拆卸序列表示模型,用来表示复杂装配体的拆卸序列.并论证了优化模型的拆卸序列表示可以节省存储空间,最后的实验表明,基于obdd的拆卸序列优化表示模型的存储空间远小于AND-OR图的存储空间.

关键词：拆卸序列 obdd 表示模型

在线全文

学校读者我要写书评

暂无评论

基于obdd的描述逻辑ALCIO判定算法

基于OBDD的描述逻辑ALCIO判定算法

广西计算机学会2010年学术年会

作者：常亮高申李德波古天龙桂林电子科技大学计算机科学与工程学院

有序二叉决策图是一种新型的数据结构,在大规模模型检测和验证等领域已经得到了成功应用,在逻辑公式的可满足性判定方面也具有巨大的应用潜力。本文基于obdd实现了描述逻辑ALCIO的判定算法。首先从ALCIO本体出发,应用NNF变换和FLAT++规... 详细信息

有序二叉决策图是一种新型的数据结构,在大规模模型检测和验证等领域已经得到了成功应用,在逻辑公式的可满足性判定方面也具有巨大的应用潜力。本文基于obdd实现了描述逻辑ALCIO的判定算法。首先从ALCIO本体出发,应用NNF变换和FLAT++规则进行预处理;接下来对知识库的TBox模型进行重构,进而将该模型转化为布尔函数;最后将布尔函数转换为obdd表示形式,在其基础上进行可满足性判定。本文从理论上证明了该算法的可终止性、可靠性和完备性。在此基础上,基于JavaBDD软件包,开发了相应的推理机DLRobdd(ALCIO)。实验结果表明,对大多数benchmark本体进行推理时,DLRobdd(ALCIO)优于著名的推理机Pellet;并且,随着角色名数量的减少或者obdd变量序的优化,这种优越性更加明显。

关键词：描述逻辑枚举算子可满足性判定算法 obdd

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

基于obdd时序电路设计的验证

陕西师范大学学报（自然科学版） 2002年第2期30卷 55-58页

作者：刘建元西安邮电学院计算机科学系陕西西安710061

依据有序二叉判定图 (obdd)和计算树逻辑 (或称分支时态逻辑 )CTL(ComputationalTreeLogic)的基本原理 ,分析了基于obdd和CTL的验证数字电路设计的基本原理 ,并在此基础上。

关键词： obdd 时序电路有序二叉判定图分支时态逻辑等价性检验符号模型检验布尔函数电路设计

在线全文

学校读者我要写书评

暂无评论

装配几何可行性判别的符号obdd技术研究

计算机工程与应用 2007年第3期43卷 50-53页

作者：钟艳如梁永强黄美发古天龙桂林电子科技大学计算机系广西桂林541004 玉林师范学院职业技术学院广西玉林537000 桂林电子科技大学机械与交通工程系广西桂林541004

采用了有序二叉决策图(obdd)描述装配几何可行性,给出了装配操作及其几何可行性的符号表示,设计了装配操作几何可行性的符号obdd判别算法,给出了装配几何可行性的研究实例,开发了装配的原型系统以支持装配规划,原型系统运行结果表明符号... 详细信息

采用了有序二叉决策图(obdd)描述装配几何可行性,给出了装配操作及其几何可行性的符号表示,设计了装配操作几何可行性的符号obdd判别算法,给出了装配几何可行性的研究实例,开发了装配的原型系统以支持装配规划,原型系统运行结果表明符号obdd技术用于装配几何可行性判别的有效性。

关键词：装配操作 obdd 几何可行性

An obdd based formal verification system

在线全文

学校读者我要写书评

暂无评论

An OBDD based formal verification system

基于图论和obdd的含分布式电源配电网故障恢复算法

1998 3rd International Conference on ASIC

作者： Zhiming Wang Jinian Bian Wangning Long Hongxi Xue Dept. of Computer Science and Technology Tsinghua University

＜正＞In this paper we present an obdd based formal verification system for the equivalence property of logic circuits.A good obdd variable ordering algorithm and a set of efficient tools to build and operate obdds are adopted in the *** results show that the system is efficient in verification of combinational circuits and combinational parts of sequential circuits.

关键词： obdd formal verification equivalence verification combinational circuit sequential circuit

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

电工电能新技术 2018年第9期37卷 59-66页

作者：缪辉丁晓群叶晨晖张小龙河海大学能源与电气学院江苏南京210098 国网江苏省电力公司南京供电公司江苏南京210019

为快速确定含分布式电源(DG)配电网故障恢复的最优方案,首先,提出了基于改进Bellman-Ford算法的含多DG配电网孤岛划分图论模型,该模型综合考虑DG发电成本、网损及负荷优先级确定孤岛范围,转换为孤岛运行以提高重要负荷的供电可靠性。然... 详细信息

为快速确定含分布式电源(DG)配电网故障恢复的最优方案,首先,提出了基于改进Bellman-Ford算法的含多DG配电网孤岛划分图论模型,该模型综合考虑DG发电成本、网损及负荷优先级确定孤岛范围,转换为孤岛运行以提高重要负荷的供电可靠性。然后将DG孤岛外故障恢复问题转化为约束满足的布尔型决策问题的三步法:(1)根据节点类型将节点按位编码分区枚举生成初始解空间;(2)定义电源约束、负荷损失约束和辐射状约束的布尔函数,合成为obdd模型减少解空间中解数量;(3)对解空间中的解逐一进行校验、寻优切负荷及排序,稳定获得系统故障恢复的全局最优解。最后通过IEEE33节点系统和某地区实际配电网验证了该算法的有效性。

关键词：分布式电源故障恢复孤岛划分 obdd 配电网

基于obdd&Model Checking方法的规划

在线全文

学校读者我要写书评

暂无评论

基于OBDD&Model Checking方法的规划

作者：边晶吉林大学

学位级别：硕士

规划(planning)是当前人工智能中一个引起巨大兴趣的领域,它结合了人工智能的两个主要领域:搜索和逻辑。规划器既能被视为搜索解的程序,也能被视为证明解存在的程序。 Planning 技术是人工智能中的一项核心技术,主要研究如何获得达到目... 详细信息

规划(planning)是当前人工智能中一个引起巨大兴趣的领域,它结合了人工智能的两个主要领域:搜索和逻辑。规划器既能被视为搜索解的程序,也能被视为证明解存在的程序。 Planning 技术是人工智能中的一项核心技术,主要研究如何获得达到目标的一系列最佳动作,可以广泛应用于工业、太空系统、软件工程、机器人、教育与娱乐等各个领域,有着广阔的发展前景。早期的规划方法有状态空间搜索法、偏序规划方法、规划图方法、命题逻辑表示法等传统方法。它们的一个共同的特点就是需要为维持系统的统一性而做大量与目标无关的冗余工作,从而导致系统的实用性受到阻碍。本文介绍了如何利用obdd(有向二元决策图)这一特殊的数据结构,采用Model Checking(模型检测)方法来解决Planning 问题。根据obdd中关系乘积的特殊性和存在量词的特性,对转换关系进行了划分,并提出提前量化这一方法,使得关系乘积的复杂度大大降低。本文首先对目前常见的planning 问题的解决方法做了简单的介绍,并对比出各自的优缺点,然后介绍模型检测方法,通过对比模型检测问题和planning 问题的相似性,说明能够采用模型检测方法来解决planning 问题,并自定义了一种planning 问题域描述语言OMDL,实现了基于该语言的planning 系统MODELLANNER。最后,对MODELLANNER系统所采用的方法进行了评价,并指出了几个比较有前景的研究方向。

关键词：规划模型检测划分 obdd

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

obdd在组合逻辑电路测试中的应用研究

计算机辅助设计与图形学学报 2001年第6期13卷 495-499页

作者：吕宗伟林争辉张镭上海交通大学大规模集成电路研究所上海200030

传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用 obdd来表示电路中每个节点所代表的逻辑函数 ,把传统算法中的反向回溯过程转换为 obdd图的问题 ,从而加... 详细信息

传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用 obdd来表示电路中每个节点所代表的逻辑函数 ,把传统算法中的反向回溯过程转换为 obdd图的问题 ,从而加快了故障测试的速度 .同时。

关键词：组合逻辑电路故障检测 obdd 测试逻辑函数

在线全文

学校读者我要写书评

暂无评论

异步时序电路分析的一种obdd方法

计算机辅助设计与图形学学报 2001年第6期13卷 500-504页

作者：吕毅姚志江魏道政解永良中国科学院计算技术研究所CAD开放研究实验室北京100080

对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 obdd的布尔特征函数来表示电路的转移关系 ,并... 详细信息

对异步时序电路的分析和使用是一个比较困难的问题 ,所以 ,异步时序电路的实际应用范围远不如同步时序电路 .通过改进 JR Burch等提出的分析方法 ,使之适用于异步时序电路 .该方法使用基于 obdd的布尔特征函数来表示电路的转移关系 ,并通过基于 obdd的布尔函数的运算来确定异步时序电路的稳定状态、及当输入改变时电路的下一个稳定状态。

关键词：异步时序电路特征函数有序二元判决图 obdd