国家自然科学基金(61003101)
- 作品数：8 被引量：19H指数：3
- 相关作者：欧阳丹彤耿雪娜王晓宇郭劲松赵相福更多>>
- 相关机构：吉林大学浙江师范大学湖北工程学院更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金吉林省科技发展计划基金更多>>
- 相关领域：自动化与计算机技术电子电信一般工业技术更多>>
- 基于比特位操作的自适应约束传播算法被引量：1
- 2012年
- 在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。
- 王海燕郭劲松欧阳丹彤张永刚
- 关键词：人工智能约束满足问题
- 用MDMC-HS-tree方法计算极小碰集
- 2016年
- 产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.
- 佘晓娓赵相福
- 关键词：基于模型诊断
- 基于模型诊断的候选空间单调性研究
- 2013年
- 为了通过增加测量点、从候选诊断空间中找出真正的故障元件集,深入研究了测量点的选择优化问题,通过逻辑推理与验证的方法,分析了候选诊断空间大小随新测量点的单调性变化的关系,并给出了可以导致候选诊断空间单调递增或单调递减的测量点特征。同时证明了增加相关测量点可导致诊断空间单调递减,为进一步选择优化的测量点提供了基本理论依据。
- 王肖赵相福
- 关键词：单调性测量点故障诊断
- 基于矩阵计算极小碰集的启发式算法被引量：5
- 2013年
- 提出了一种基于矩阵模型计算极小碰集的新方法。通过在矩阵中存储冲突集合簇的相关信息,引入集合簇中元素的频率作为启发信息,完成对极小碰集的计算。该算法的数据结构简单,程序易于实现,同时启发信息的引入减少了节点的生成。该算法可以产生而且仅产生所有的极小碰集。实验结果表明该算法有较高的计算效率。
- 欧阳丹彤耿雪娜郭劲松王晓宇
- 关键词：人工智能基于模型诊断冲突集启发式算法
- 基于散布矩阵和双树复小波变换的掌纹识别算法
- 与掌纹线结构特征相比,掌纹纹理特征更易于提取及描述。但是直接从低分辨率的在线掌纹图像上提取的纹理特征表征能力有限。为了解决该问题,本文提出一种基于增强的纹理特征的掌纹识别算法。该方法利用散布矩阵(scatter maxt...
- 王艳霞孙广华
- 关键词：生物识别掌纹识别双树复小波变换散布矩阵
- 文献传递
- 结合特征学习的粒子群求解极小碰集方法被引量：10
- 2015年
- 基于模型诊断中的极小碰集问题是人工智能领域的一个重要课题,现实中很多实际问题都可以转化为极小碰集问题,如老师与课程问题,极小覆盖集问题等.通过对极小碰集问题特征的研究,本文结合粒子群优化求解极小碰集的算法提出了一个新的算法,来指导极小碰集的求解:引入学习机制,减少极小碰集求解中对无解空间的搜索;加入翻转策略,来加速极小碰集有解空间中的求解.实验结果表明本文提出的算法在求解极小碰集问题上的效率有明显提高.
- 刘娟欧阳丹彤王艺源张立明
- 电子细胞中前体mRNA加工过程的模拟与研究
- 2012年
- 前体mRNA的加工是基因表达过程中必需的一个步骤,是调节基因表达和产生具有生化活性的蛋白质的重要机制,现有的电子细胞模型对前体mRNA的加工过程模拟得较少。自主开发设计的Analog-Cell电子细胞模型定义了反应过程中的反应规则,提出了模拟前体mRNA加工过程的多个算法,真实地再现了基因表达这一细胞内重要的生命活动,并得到了比较理想的模拟结果。
- 王玉贤卢欣华
- 关键词：电子细胞MRNA生物信息学
- 基于散布矩阵和双树复小波变换的掌纹识别算法
- 与掌纹线结构特征相比,掌纹纹理特征更易于提取及描述。但是直接从低分辨率的在线掌纹图像上提取的纹理特征表征能力有限。为了解决该问题,本文提出一种基于增强的纹理特征的掌纹识别算法。该方法利用散布矩阵（scatter maxt...
- 王艳霞孙广华
- 关键词：生物识别掌纹识别双树复小波变换散布矩阵
- 文献传递
- 基于冲突的离散事件系统诊断方法被引量：3
- 2013年
- 提出了一种基于冲突的动态模型故障诊断方法。通过在离散事件系统的自动机模型中添加概率,离线计算模型中事件与状态的后验概率,从而处理不完全观测导致的不确定性,增强了离散事件系统处理不确定性问题的能力。在已经建立的离线模型上,在线计算观测与模型的冲突,在模型中提取符合观测的轨迹,推导系统运行状况,判断故障,并给出故障路径。将基于冲突的诊断方法扩展到离散事件系统的诊断上来,避免了对无关事件的搜索及判断,从而降低了诊断搜索空间,便于计算更大规模的系统模型。
- 王晓宇欧阳丹彤赵剑耿雪娜
- 关键词：人工智能离散事件系统
- Integrity constraints in OWL ontologies based on grounded circumscription被引量：2
- 2013年
- 为有完整限制的基于逻辑的知识库的扩展是相当流行的。我们提出了一种选择为用网本体论语言(猫头鹰) 的正直限制的分析的标准在关上的世界假设下面的本体论。根据这标准，扎根的界限被使用由在正直限制最小化谓语的延期在猫头鹰本体论和正直限制的满足定义正直限制。根据正直限制的语义，我们提供为决定扩大本体论的一致性健全、完全的一个修改场面算法。最后，正直限制确认被变换成扩大本体论的相应一致性。把我们的途径与存在正直限制确认作比较来临，我们证明我们的途径的结果比在某些情况中的另外的途径是根据用户要求的更多。
- Dantong OUYANG
- 关键词：WEB本体语言OWL知识基础一致性
