半定性约束满足问题求解

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。     

微小故障诊断方法综述

针对微小故障的特点,提出将微小故障分为缓变微小故障、突变微小故障和间歇性微小故障,并进一步提出微小故障诊断方法的分类框架,将微小故障诊断方法分成了3类,即定性诊断方法、定量诊断方法和半定性半定量诊断方法.对每一类中现有的微小故障诊断方法再次归类,并对每种方法的基本思想、研究进展、适用条件和应用等进行了介绍.最后探讨了微小故障诊断有待解决的问题.     

定性趋势分析及其在化工过程中的应用

趋势能够反映过程重要参数的运行状态和随后的发展趋势。本文采用一种简洁的趋势提取方法,从变量中提取半定量的片段,用3个基元来描述片段:不变、上升、下降,这种方法能够检测过程变量的跃迁,计算复杂度低,基元之间的相关性小,提取的趋势直观、简洁。针对实际工业过程中实时处理的需要,采用一种外推式在线分割算法,实现了对在线数据的合理分割,再结合最小二乘法对在线数据进行分段拟合,使其能满足在线处理的需要。     

基于定性映射的粒逻辑及其Petri网推理算法

基于不确定性知识处理特点,在认知机理下,通过基于属性定量与定性之间的转化关系而建立的定性映射, 给出了属性粒的概念及其逻辑计算公式,并在此基础上构建了初步的粒逻辑系统,最后通过Petri网对其逻辑推理进 行形式化描述。结果表明其是有效的,使得有关认知识别与判断推理等思维操作能得到较好的表达。     

玉米新鲜度快速检测方法初探

初步建立了两种定性检验玉米新鲜度的方法:愈创木酚法,以溶液开始变色所需时间及加入染色液3 min后溶液颜色的改变程度,作为检测新陈玉米的依据;盐酸对二氨基苯法,以加入染色液5 min后玉米胚部及皮层颜色的改变来推断玉米新陈.     

基于符号有向图节点定量化模型的故障诊断方法

基于系统衍生节点的状态不可能比要对它施加影响节点状态差这一假定,该文研究了一种将SDG定性定量模型、主元统计法(PCA)和遗传算法相结合的电站热力系统智能故障诊断方法。通过用SDG构造系统模型,并结合节点的定量信息对节点之间的因果联系进行描述,形成SDG节点定量化模型;用PCA监控不同的变量,并考虑变量间的相关关系,有效地解决了确定节点故障发生的可能性大小的问题;用遗传算法对故障传播路径进行搜索,可以有效处理SDG定性模型中不可测节点干扰、计算量大和规则组合爆炸等问题。案例研究表明,该方法具有较强的故障诊断能力。     

基于油藏综合评价的分层开发指标定量计算

在剩余油定性研究的基础上，基于油藏工程理论的综合评价，建立了油砂体阶段驱油效率与注入倍数的关系。进行波及系数分析等；定量计算了油砂体累积产油量、可采储量、综合含水率等主要开发指标，进而得出流动单元、砂层组等的定量开发指标。经实例验证，计算方法简单、可靠，为剩余油定量分析开辟了一条新的途径。     

谈谈审核组委派过程中的风险

ISO1901l：2002《质量和（或）环境管理体系审核指南》第六章《审核活动》给出了典型的审核活动概述，启动审核的第一步，即任命审核组长。在明确审核目的、范围和准则及可行性后，选择审核组实施审核。审核组的能力在很大程度影响了审核活动的成效，是能否达到审核目的的决定性因素。     

逆热传导方程的一类正则化算法

考虑了标准的一维逆热传导方程,问题是不适定的,即解不连续地依赖于数据.通过Fourier逼近的方法进行正则化处理,提出了一类新的算法并且与已有的正则化算法进行了比较,理论分析和数值实验均表明该算法是稳定的,且具有相同的精度和计算复杂性,同时也具有灵活性和广泛性.     

CVI工艺建模研究进展

CVI工艺是制备碳基及陶瓷基复合材料的重要工艺.本文利用系统建模思想对CVI工艺模拟研究进行了综述和分析,归纳总结了三类CVI工艺模型:机理模型,辩识模型和定性推理模型;机理模型从传质传热、沉积动力学和孔隙演变三个方面进行了分析和总结,同时,分析CVI工艺三类模型存在的不足,并指出了进一步努力的方向.