国家自然科学基金(60963010)
- 作品数:4 被引量:2H指数:1
- 相关作者:常亮古天龙肖坤李德波李雅楠更多>>
- 相关机构:桂林电子科技大学更多>>
- 发文基金:国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于OBDD的描述逻辑SHOIQ判定算法研究与实现
- 2011年
- 描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。
- 李德波古天龙常亮高西
- 关键词:描述逻辑一致性OBDD可满足性判定
- A Knowledge Based Method for Data Flow Analysis
- Data Flow Analysis(DFA) is essential in software engineering tasks such as program verification,compiler optim...
- Lingzhong Zhao School of Computer Science and Engineering Guilin University of Electronic Technology Guilin
- 关键词:ASPDFACFG
- 基于CPDL模型检验的装配序列规划
- 2011年
- 模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配序列求解方法,并结合实例验证了该方法的可行性。
- 李雅楠古天龙常亮
- 关键词:装配序列规划拆卸
- 一种Ad Hoc网络可生存性度量方法被引量:2
- 2011年
- 网络可生存性是一种描述网络安全的有效工具,在网络体系结构设计和路由策略等领域得到了广泛的应用。对于Ad Hoc网络拓扑结构易变化的特点,以韧性度能很好刻画网络脆弱性为基础,提出了一种基于韧性度的Ad Hoc网络可生存性度量方法。该方法针对同一时刻有多种拓扑结构且每种拓扑结构以一定概率出现的Ad Hoc网络,应用韧性度函数,得到一个度量Ad Hoc网络在某个时刻及一个时间段内可生存性的模型。最后应用此方法对一个实例进行了度量。
- 肖坤古天龙常亮
- 关键词:网络可生存性ADHOC网络拓扑结构
- 基于OBDD的Iteration-free CPDL判定算法
- 2011年
- 命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有的OBDD软件包进行可满足性判定。最终结合实例验证了算法的可行性及正确性。
- 覃凤萍古天龙常亮
- 关键词:可满足性判定有序二叉决策图