董旭初
- 作品数：8 被引量：18H指数：2
- 供职机构：吉林大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学更多>>
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- 文献传递
- 一种离散事件系统的反向遍历诊断方法
- 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...
- 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初
- Bayesian网推理中的化简方法被引量：13
- 2004年
- 针对Bayesian网的一般推理是NP难的,在很多情况下,具体查询时简化Bayesian网结构可以明显减少计算量的特点.提出一种可以实现这种策略的3个操作:分离、替换和遍历.实验表明,这种策略一般可以提高计算效率,有时会有明显作用.
- 董旭初欧阳丹彤刘大有
- 关键词：BAYESIAN网专家系统
- Bayesian网的最优树分解研究
- 最优树分解是Bayesian网理论和应用研究中的基本问题之一,不仅与Bayesian网的理论分析以及诸多实际算法关系密切,而且在计算理论中也占有重要地位。针对最小团树宽度、最小团树加权宽度和最小团树费用等不同的优化目标,...
- 董旭初
- 关键词：BAYESIAN网群智能协同进化
- 文献传递
- 一种结合依赖关系消除误判的等价性验证方法
- 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方...
- 张立明欧阳丹彤赵毅叶育鑫李占山张永刚于海鸿李河刘杰董旭初
- 文献传递
- 一种结合依赖关系消除误判的等价性验证方法
- 本发明涉及一种结合依赖关系消除误判的等价性验证方法，属于模型验证技术领域。在验证等价性的两个电路中，引入新变量代替候选等价点后得到两电路不等价，此时新引入的变量扩大了原候选等价点的取值范围，可能发生误判。为消除误判，本方...
- 张立明欧阳丹彤赵毅叶育鑫李占山张永刚于海鸿李河刘杰董旭初
- 文献传递
- Bayesian网推理算法及基于Bayesian网的农业专家系统开发工具组件
- 不确定信息处理是人工智能领域一个重要研究方向，从专家系统角度来看，大致有基于规则和基于模型两种不确定性信息处理方式。Bayesian网研究兴起于20世纪80年代，20世纪90年代以来它的研究与应用得到了越来越多的关注。B...
- 董旭初
- 关键词：农业专家系统人工智能
- 文献传递
- 基于贝叶斯网的专家系统平台的开发与应用被引量：5
- 2008年
- 针对基于贝叶斯网建立专家系统所涉及的关键问题,采用分离技术、"噪音或"技术和转换现有的确定性因子知识库等技术简化贝叶斯网的构造,利用变量消去算法实现了贝叶斯网的精确推理,开发了贝叶斯网建网组件和推理组件,并应用这两个组件建立了简单的奶牛疾病诊断专家系统和蔬菜种植专家系统。实际运行表明,所开发的贝叶斯网建网组件和推理组件在表示与处理不确定性知识时是非常有效的。
- 于合龙陈桂芬董旭初
- 关键词：贝叶斯网专家系统
