基于动态值启发式的约束满足求解算法

为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法.该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息.不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式.比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点.通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势.     

阳煤二矿+470水平南翼主运输系统改造方案设计

针对阳煤集团二矿+470水平南翼主运输的改造,分析了主运输系统的改造方案的设计思路及方法。从技术安全和经济上分析了两个方案,提出了新掘南翼胶带主运巷、新掘东主斜井井底煤仓的方案。     

基于时序的离散事件系统的可诊断性

提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性;最后通过实例对可诊断性判定的过程进行分析。     

自适应表压缩方法优化STR算法

表约束,也称为外延式约束,是约束编程领域最常见的约束形式,表压缩方法通过紧凑的表示元组集可以极大地缩减空间消耗,同时加速 GAC 算法。笛卡尔乘积表示和短支持是表约束中最常见的两种表压缩方法,两种表压缩方法在同一问题上的压缩率是影响它们优化效果的主要原因。基于 STR 算法提出一种自适应表压缩方法,在求解问题时自适应选择压缩率大的表压缩方法,将自适应表压缩方法应用到 STR2 上提出了 STR2 Adaptive 算法,可以同时覆盖两种表压缩方法的优势。实验结果表明,STR2 Adaptive 算法在绝大部分实例上都能自适应选择最佳的表压缩方法,有效地减少了STR2算法空间消耗和CPU运行时间。然后将自适应表压缩方法扩展到采用了高效的比特向量表示的 STRbit 算法上提出了 STRbit Adaptive 算法。实验结果表明,STRbit Adaptive 算法效率同样普遍优于 STRbit 算法。     

优化求解约束满足问题的MDDc和STR3算法

广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc、STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;STR3同STR2一样基于动态维持有效元组的思想,当元组集规模缩减较慢时STR3维持广义弧相容的效率高于STR2.通过深入分析发现MDDc中查找节点的有效出边和STR3中检测并删除无效元组是耗时最多的操作.本文分别对MDDc和STR3提出一种自适应查找有效出边和检测删除无效元组的方法AdaptiveMDDc和AdaptiveSTR,对于同一操作,可以根据回溯搜索不同阶段的局势自适应地选择代价最小的实现方法,得益于较低的判断代价以及回溯搜索不同阶段采用不同方法的效率差异,AdaptiveMDDc和AdaptiveSTR相比原算法速度提升显著,其中AdaptiveSTR在一些问题上相比STR3提速三倍以上.     

概率最大受限路径相容算法

研究了可用于求解约束满足问题的最大受限路径相容算法(maxRPC).maxRPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高maxRPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了一种概率最大受限路径相容算法(PmaxRPC),并将新算法成功应用于求解约束满足问题的回溯搜索.实验结果显示:PmaxRPC可以避免一部分无效的寻找PC-witness的操作,在求解约束满足问题时,PmaxRPC效率高于maxRPC.在某些测试用例上,PmaxRPC比maxRPC和最流行的弧相容算法效率更高.     

PLC-变频器控制系统的抗干扰

PLC-变频器控制系统应用越来越广泛,由于各种各样的干扰使得系统在工作时时常出现误动作,电机损耗增加、产生振动等。采用哪些措施才能消除干扰使PLC-变频器控制系统可靠地工作,本文进行了讨论。     

坚持科技兴企推进科技成果转化

北京航空制造工程研究所是国内唯一专门从事航空制造技术研究与工艺装备开发的综合性研究所，也是我国轮胎成型机主要生产厂家。近年来，在成果转化方面取得显著效果，为我国橡机工业和轮胎工业技术进步做出了贡献。     

氰戊菊酯在茶叶上的残留量测定研究

氰戊菊酯(敌虫菊酯,戊酸氰醚酯)的化学名称为(RS)-2-(4-氯苯基)-2-异丙基乙酸(RS)-2-氰基-3-苯氧基苄酯。据介绍近年来已在很多国家施用于几十种作物,极低剂量就相当有效地防治食叶和食果害虫,是一种高效、低毒、广谱性拟除虫菊酯杀虫剂。还报道了在蔬菜、水果、粮食、棉花等作物上的残留及测定方法,但在茶叶上的残留量测定资料却少见。     

基于模型的动态分层诊断技术

基于模型的诊断是一项新型的智能推理技术,它可克服传统诊断方法的缺点.分层诊断是减少基于模型诊断计算复杂性的重要方法.以往的分层诊断方法局限于使用单一、固定的分层描述,而同一个分层描述有时能提高诊断的效率,但有时会与非分层诊断效率相同.这里通过使用相应结构抽象树重新安排各层给定的分层描述来创建一个新的分层描述,提出一项新的动态分层诊断技术来提高诊断效率.