高西
- 作品数：5 被引量：7H指数：2
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西研究生教育创新计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OBDD的描述逻辑SHOIQ判定算法研究与实现
- 2011年
- 描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点。鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法。该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定。最后基于该算法开发了推理机DLR_SHOIQ。
- 李德波古天龙常亮高西
- 关键词：描述逻辑一致性OBDD可满足性判定
- 基于故障树的无线传感器网络可靠度符号计算被引量：4
- 2015年
- 以无线传感器网络(WSN)中应用通信可靠性(ACR)为背景,利用故障树模型中的事件元素与逻辑门元素,建立基于故障树的WSN可靠性结构。为降低WSN可靠度计算的复杂性,给出从WSN可靠性结构转换到二元决策图BDD结构的算法,利用BDD算法优化计算过程。以分层簇型网络中可用路径以及节点冗余下的应用通信可靠性问题为例,给出其可靠性结构,利用CUDD软件包给出用递归方法实现构建基于故障树的WSN可靠性结构的BDD算法,计算以上两种情况下的WSN可靠度。实验结果表明,该方法具有可行性。
- 聂晨华高西董荣胜
- 关键词：无线传感器网络故障树二元决策图可靠度
- 一种嵌入式系统扩展流关系Petri网及应用
- 为了将数据流和控制流在同一个模型中明确标识,将经典 Petri 网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系 Petri 网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型...
- 张辉董荣胜高西
- 关键词：PETRI网时间自动机CTLUPPAAL
- 文献传递
- 一种嵌入式系统扩展流关系Petri网及应用
- 2007年
- 为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证。验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的。
- 张辉董荣胜高西
- 关键词：PETRI网时间自动机CTLUPPAAL
- 可修复节点无线传感器网络可靠性符号计算被引量：3
- 2015年
- 利用动态故障树模型的事件元素与逻辑门元素建立WSN可靠性结构,研究容错技术中可修复节点背景下的WSN可靠性,针对可修复节点建立基于马尔科夫随机过程的容错动态逻辑门模型。针对簇型WSN应用通信可靠性问题,将给出的可修复传感器节点模型应用在该簇型WSN可靠性结构上,形成WSN可靠度计算的基础结构。为降低计算复杂性,利用BDD符号计算技术将WSN的可靠性结构转换到BDD结构,递归构建基于故障树的WSN可靠性结构的BDD,在BDD上遍历计算WSN可靠度,优化计算过程。实验结果表明,这种面向符号计算的研究方法具有可行性。
- 聂晨华高西董荣胜
- 关键词：无线传感器网络动态故障树马尔科夫链二元决策图
