多因素问题的启发式搜索算法MFRA

本文新定义了一类多因素启妇式搜索问题，提出了适于此类问题求解的启发式搜索算法ＭＦＲＡ。文中研究了算法ＭＦＲＡ的可采纳性质，单调限制性质和比较性质等。基于算法ＩＤＡ的思想，提出了ＭＦＲＡ的改进算法ＭＦＲＡ－ＩＤＡ，这一算法具有线性存储空间这一重要特性。     

向量值三重分叉连分式插值的算法

向量值三重分叉连分式插值的算法檀结庆，唐烁（合肥工业大学）ＡＮＡＬＧＯＲＩＴＨＭＦＯＲＶＡＬＵＥＤＩＮＴＥＲＰＯＬＡＮＴＳＢＹＴＲＩＰＬＥＢＲＡＮＣＨＥＤＣＯＮＴＩＮＵＥＤＦＲＡＣＴＩＯＮＳ￥ＴａｎＪｉｅｑｉｎｇ；ＴａｎｇＳｈｕｏ（ＨｅｆｅｉＵｎｉｖ...     

曲面间高阶几何连续拼接算法研究

曲面间高阶几何连续拼接算法研究卢小林，马利庄，何志均（浙江大学ＣＡＤ＆ＣＧ国家重点实验室杭州３１００２７）ＡＮＡＬＧＯＲＩＴＨＭＦＯＲＨＩＧＨＯＲＤＥＲＧＥＯＭＥＴＲＩＣＣＯＮＮＥＣＴＩＯＮＢＥＴＷＥＥＮＡＤＪＡＣＥＮＴＰＡＴＣＨＥＳ￥ＬｕＸｉａｏｌ...     

求解非线性矩阵特征值问题的一个三阶收敛的算法

求解非线性矩阵特征值问题的一个三阶收敛的算法陈广义，薛彦才（中国科学院沈阳计算所）ＡＣＵＢＩＣＡＬＬＹＣＯＮＶＥＲＧＥＮＴＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＮＯＮＬＩＮＥＡＲＥＩＧＥＮＶＡＬＵＥＰＲＯＢＬＥＭＳ￥ＣｈｅｎＧｕａｎｇ－ｙｉ；ＸｕｅＹ...     

运输问题的Alphabeta算法的分析

运输问题的Ａｌｐｈａｂｅｔａ算法的分析刘诚，杨承恩（长沙铁道学院）ＡＮＡＮＡＬＹＳＩＳＯＦＴＨＥＡＬＰＨＡＢＥＴＡＡＬＧＯＲＩＴＨＭＦＯＲＴＨＥＴＲＡＮＳＰＯＲＴＡＴＩＯＮＰＲＯＢＬＥＭ￥ＬｉｕＣｈｅｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＲｅｓｅａｒｃｈＤ...     

块角型约束线性规划问题的内点分解算法

块角型约束线性规划问题的内点分解算法吴力（中国科学院计算数学与科学工程计算研究所）ＡＤＥＣＯＭＰＯＳＩＴＩＯＮＡＬＧＯＲＩＴＨＭＦＯＲＬＩＮＥＡＲＰＲＯＧＲＡＭＭＩＮＧＰＲＯＢＬＥＭＳＷＩＴＨＢＬＯＣＫＡＮＧＵＬＡＲＣＯＮＳＴＲＡＩＮＴＳ￥ＷｕＬｉ（...     

统计数据凑整问题的网络流算法

统计数据凑整问题的网络流算法金大勇，杨承恩（长沙铁道学院）ＮＥＴＷＯＲＫＡＬＧＯＲＩＴＨＭＳＦＯＲＴＨＥＤＡＴＡＲＯＵＮＤＩＮＧＰＲＯＢＬＥＭ￥ＪｉｎＤａ－ｙｏｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＣｈａｎｇｓｈａＲａｉｌｗａｙＩｎｓｔｉｔｕｔｅ）Ａｂｓｔ...     

解非线性最小二乘的并行连续极小化算法及其数值试验

解非线性最小二乘的并行连续极小化算法及其数值试验李庆扬，朱鹏（清华大学）ＡＰＡＲＡＬＬＥＬＣＯＮＴＩＮＵＯＵＳＭＩＮＩＭＩＺＡＴＩＯＮＡＬＧＯＲＩＴＨＭＦＯＲＳＯＬＶＩＮＧＮＯＮＬＩＮＥＡＲＬＥＡＳＴ－ＳＱＵＡＲＥＳＰＲＯＢＬＥＭＳＡＮＤＮＵＭＥＲＩ...     

分叉函数向量化计算的改进和开拓

分叉函数向量化计算的改进和开拓黄清南，张景琳，阳述林（北京应用物理与计算数字研究所，计算物理实验室）ＴＨＥＩＭＰＲＯＶＥＭＥＮＴＡＮＤＥＸＴＥＮＳＩＯＮＯＮＴＨＥＶＥＣＴＯＲＩＺＥＤＥＶＡＬＵＡＴＩＯＮＯＦＢＲＡＮＣＨＥＤＦＵＮＣＴＩＯＮＳ￥Ｈｕａｎ...     

一种快速的贴体网格生成技术及其应用

一种快速的贴体网格生成技术及其应用刘仪，曹春丽，刘斌，向一敏（西安交通大学热动力工程系叶轮机械研究所）ＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＢＯＵＮＤＡＲＹ－ＦＩＴＴＥＤＧＲＩＤＧＥＮＥＲＡＴＩＯＮＡＮＤＮＵＭＥＲＩＣＡＬＡＮＡＬＹＳＩＳ￥ＬｉｕＹｉ；Ｃ...     

广义与或树的启发式搜索算法BTAO

本文根据乐观决策准则提出了广义与或树这一新概念,证明了广义与或树的耗散值与其最佳解树的耗散值是等价的。根据新定义的启发式函数h~(Tr)(n,x),提出了广义与或树的自底向上的启发式算法BTAO~*。算法BTAO~*是可采纳的,即定能找到最佳解树,进而求解出广义与或树的耗散值。     

Admissible heuristic search in and/or graphs

AND/OR graphs play a major role in heuristic problem solving. Martelli and Montanari (1973) have developed an elegant algorithm, called HS, for heuristic search in AND/OR graphs, which they have used for converting decision tables to programs. It has so long been thought that HS yields minimal cost solution graphs only if the heuristic satisfies the so-called ‘consistency condition’. It is shown here that the requirement that the heuristic be consistent can be relaxed to the one that the heuristic be merely admissible. This should encourage wider use of HS in applications.     

Generalized and/or graphs

A generalization of AND/OR graphs is introduced as a problem solving model, in which subproblem interdependence in problem reduction can be explicitly accounted for. An ordered-search algorithm is given to find a solution. The algorithm is proven to be admissible and optimal. Examples are given which show the application of the formalism to problems which cannot be modelled by AND/OR graphs. Generalized AND/OR graphs are finally shown to be equivalent to type O grammars. Finding a solution of a generalized AND/OR graph is shown to be equivalent to deriving a sentence in the corresponding type O grammar.     

多值测试诊断策略优化设计

针对电子系统中多值测试条件下的测试排序问题,提出了一种诊断策略优化方法。首先,以相关性矩阵模型为基础,将已有的二值测试的优化算法同多值测试问题相结合,提出了适用于多值测试的基于霍夫曼编码的启发式函数;其次,将平均测试代价最小和平均测试步骤最少作为优化目标,采用与或树启发式搜索算法生成诊断树,得到多值测试的诊断策略,并给出了诊断策略优化方法的具体实现步骤;最后,将其应用到航空设备的实例中。结果表明提出的基于霍夫曼编码的与或树启发式搜索算法是可行的,其生成的诊断树是最优的,比基于信息熵的与或树启发式搜索算法具有更小的平均测试代价和更少的平均测试步骤。     

基于OBDD的含圈与或图搜索算法研究*

与或图搜索是人工智能领域一项一定范围内通用的问题求解技术。基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规模。本文在Mahanti等提出的含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明：该算法在处理大规模含圈与或图时具有明显优势。     

移动云计算中的任务调度与计算迁移算法

随着互联网的发展,许多应用程序对计算机的计算能力和资源的需求越来越大,而移动设备具有有限的资源和计算能力,云计算迁移技术是解决计算密集型任务在移动端上顺利运行的主流方法。针对无线网络中联合调度和迁移的问题,提出了一个快速高效的启发式算法。算法将能够迁移的任务全部迁移到云端作为初始解,然后逐次计算可迁移任务在移动端运行的能耗节省量,依次将节省量最大的任务迁移到移动端。每迁移一个任务,该算法都会依据任务间的通信时间,及时更新各个任务的能耗节省量。为了进一步优化启发式算法得到的解,还构造了适用于此问题并以启发解为初始解的模拟退火算法,给出了相应的编码方法、目标函数、邻域解、温度参数以及算法终止准则。与无迁移、饱和迁移、随机迁移三类算法的对比实验结果表明,由启发式算法得出的解具有高效性,能给出使移动端能耗更小的解。     

基于接口连接关系的服务组合启发式算法

针对服务组合规划问题,提出了一种基于服务连接关系的启发式算法.该算法首先根据领域本体中概念条件出现概率提出了一种新的服务接口分量关联程度量化指标,再利用二分图稳定匹配算法解决了多输入输出分量接口匹配问题,在此基础上将服务组合规划抽象为与或图搜索,采用启发式算法实现了服务组合.实验结果表明,该算法能够根据用户请求动态的生成复合服务,通过服务连接分析预处理,可以有效解决输入输出接口多分量的服务连接问题,提高了服务组合效率.     

基于启发式机制的改进蚁群算法

针对蚁群算法在求解最短路径问题时收敛速度慢,容易陷入局部最优解的问题,提出基于启发式机制的改进蚁群算法.在蚁群系统（ant colony system,ACS）算法基础上通过候选节点到目标点的距离动态调整启发函数,提高收敛速度;算法陷入局部最优时,引入惩罚函数,使当前最优路径上的信息素快速下降而降低蚂蚁下一次搜索正反馈的影响,避免算法陷入局部最优.仿真实验表明,在复杂环境中,包括终点处存在凹形障碍物时,该算法在解的质量和收敛速度上都显示出了良好的性能.     

Bottom-Up Construction of Minimum-Cost and/ or Trees for Sequential Fault Diagnosis

The problem of generating the sequence of tests required to reach a diagnostic conclusion with minimum average cost, which is also known as a test-sequencing problem, is considered. The traditional test-sequencing problem is generalized here to include asymmetrical tests. In general, the next test to execute depends on the results of previous tests. Hence, the test-sequencing problem can naturally be formulated as an optimal binary AND/OR decision tree construction problem, whose solution is known to be NP-hard. Our approach is based on integrating concepts from one-step look-ahead heuristic algorithms and basic ideas of Huffman coding to construct an AND/OR decision tree bottom-up as opposed to heuristics proposed in the literature that construct the AND/OR trees top-down. The performance of the algorithm is demonstrated on numerous test cases, with various properties.     

飞机实时测试序列生成算法研究及仿真

测试序列问题是基于诊断树方法的实时故障诊断中的关键问题,且被证明属于NPC类问题。针对这一问题,文章在信息论和与/或树启发式搜索算法的基础上,提出了一种单步反馈平衡算法。它可以有效削减计算复杂度,生成测试序列的平均测试代价、平均测试点数,以及建模过程中的反馈次数、扩展节点数均优于已有算法。