赋权有向图最小生成树的表上作业法

每一赋权有向图可用一个赋权表来表示。本文在借助于赋权表而不是赋权有向图本身讨论圈和生成树的基础上,给出了一种求解赋权有向图最小生成树的新方法——表上作业法,证明了方法的最优性。该方法简单易行,借助于计算机Ｓｐｒｅａｄｓｈｅｅｔ软件,如ＭｉｃｒｏｓｏｆｔＥｘｃｅｌ,可很方便地进行大规模复杂问题的求解。     

中国邮递员问题的整数规划模型

基于无向图的传统中国邮递员问题,给出了相应的显式整数规划模型,应用整数规划软件包求解可以方便地确定相应问题的最优投递路线,进一步地,讨论了一类基于有向图的广义中国邮递员问题,给出了相应的显式整数规划模型;并研究了随机中国邮递员问题,建立了相应的确定型等价模型.举例说明了各种模型的有效性.最后,讨论了中国邮递员问题的可能推广及其建模问题.     

整数规划的旋转矢量法

针对整数规划问题的求解,改造了基本旋转矢量方法中的旋转因子和收缩因子。旋转因子的选取保证了矢量旋转过程中矢径长度不变,矢径的收缩策略的选取能保证最大范围地搜索解空间。多点旋转矢量法采用多矢量同时旋转的思想,在算法实施中基于优胜劣汰的原则引入了矢径舍弃系数和种群保留系数两个控制参数,极大地提高了计算效率和求解精度。最后,通过整数规划算例验证了该方法的有效性,表明对于维数较高的整数规划问题效果也很好。     

求解整数规划问题的微粒群算法

针对整数规划问题的特点,提出了一种在整数空间中进行进化计算的PSO算法,使微粒群的进化限于整数空间.仿真实验结果验证了方法的正确性与有效性.     

由Petri网模型求系统最小割集的自顶向下法

研究了系统逻辑关系的Petri网表示 ,基于Petri网的建模方法 ,采用Petri网模型求系统最小割集的自顶向下法。与故障树方法相比 ,这种方法可同时获得系统的最小割集和最小路集 ,且求解的效率高。实例分析证实了这一点。     

关于多品种有约束存储模型的一种非线性整数规划方法

对多品种有约束的存贮论问题,传统的存贮模型是通过给每一种货假设一个决策变量（定量时间或定货量）再用Kuhn-Tuchker条件求得“最优解”,实际上这样的结果并非最优解。它存在着订货次数过多,资源利用率低,总费用过高等缺点。本文通过对时间的有效切割入手,建立了一非线性整数规划模型比较好地解决了这一问题,本文在提出新的方法的同时,将之与传统有约束存贮模型和无约束存贮模型作了充分的对比。     

基于符号模型检测的SDG模型可诊断性验证

由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph, SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier, SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。     

基于整数规划的超视距空战目标分配模型研究

针对超视距编队协同空战中的目标分配问题,通过建立现代空战的微分对策模型,将超视距多机协同空战的目标分配分为编队分组和编队内单机目标分配两步完成,重点研究了编队分组对抗策略,设计建立了以交战强度排序为依据,以"不重不漏"为原则的基于整数规划的超视距空战编队目标分配模型。仿真算例验证了所建模型的有效性和准确性。     

一类混合机会约束整数规划模型及其应用

提出并建立了一类混合机会约束整数规划模型,该模型同时含有模糊和随机参数。运用随机模拟与模糊模拟相结合的技术,给出了求解该机会约束整数规划模型的遗传算法。针对一类生产计划问题,在模糊和随机两类不确定因素同时并存的情况下,分析建模和数值求解,结果说明了模型和算法的适用性和有效性。     

求解整数规划的一种仿生类全局优化算法——模拟植物生长算法

针对整数规划全局优化问题所首次提出的模拟植物生长算法,是一种源于大自然的仿生类随机算法.该算法从植物的向光性特点出发,将整数规划的可行域作为植物的生长环境,根据各可行解目标函数的变化情况确定植物的生长信息(形态素浓度),进而模拟出向光源(全局最优解)迅速生长的植物生长动力学模型.经过对无约束和有约束两类具有多个全局最优解的非线性整数规划问题的具体求解,取得了满意的效果.     

An Explicit Integer Programming Model of the Minimal Spanning Tree Problem for Digraphs with Asymmetric Weights

1.INTRODUCTIONTheminimalspanningtreeproblemfortheundirectedgraphhasbeenwellstidiedanduntilnowmanyefficientalgorithms[4]havebeenproposed.Ithasbeenobservedbymanypeoplethatastrikingnumberofquitediversemathematicalproblemscanbeformulatedastheproblemsinintegerprogramming.Althoughtheminimalspanningtreeproblemhasbeenformulatedinthisway,suchas[3,5-8],buttheyareallimplicit,thatis,theformulationcontaillssomeunformulatedstatementsintheconstraintsuchasX:spanningtreewhichmakestilefornnllationunsolvabl…     

Table Operation Method for Optimal Spanning Tree Problem

1.INTRODUCTIONSeveraloptimalspanningtreemethodshavebeendevelopedfortheweightundirectedgraph.ThecommonlyusedmethodsareKruskal'sMethod[4](alsocalledGreedyAlgoritlun)andDisorderAlgorithm[4j.Asfortheweightdigraph,littleworkhasbeendone.Inthepractice,thecomplicateddigraphisdifficulttodepict,butitiseasytobeexpressedintheformofatable.Basedoilthetableexpressioninsteadofthedigraphexpression,thispaperdevelopsanoptimalspanningrooted-treemethodcalledtableoperationsmethod(TOM).2.SOMEBASICCONCE…     

A Table Based Algorithm for Minimum Directed Spanning Trees

1. INTRODUCTIONSeveral optimal spanning tree methods have been developed for the weighted undirected graph. The commonlyused methods are Kruskal's method (also called Greedy algorithm) and Disorder algorithm [4]. As for theweighted digraph, little work has been done [1]. In practice, the complicated digraph is difficult to be depicted,but easy to be expressed in the form of a table. Based on the table expression instead of the digraph expression,an optimal spanning rooted-tree method cal…     

求解度限制最小生成树问题的启发式遗传搜索算法

CM（1,1）模型一般以模型还原值与实际值平均相对误差检验模型的模拟精度。本文以模型还原值与实际值平均相对误差最小化为目标函数将CM（1,1）模型转化成一个不用进行灰微分方程参数辨识的优化模型，称之为改进的GM（1,1）模型，简称IGM（1,1）。IGM（1,1）避开了灰微分方程参数辨识时传统的优化无法求解，本文针对IGM（1,1）模型的直接建模。由于IGM（1,1）目标函数非连续，不可导，用传统的优化无法求解，本文针对IGM（1,1）模型的模拟特性设计了求解该优化模型的遗传算法并进行了算例验证，秋解结果表明了IGM（1,1）模型IGM（1,1）模型。     

一种基于最小张树的属性聚类算法

结合图论中的最小张树方法 ,提出了相似度以及接触度两个概念 ,并以此为基础建立了一种属性聚类算法 .文中就几个具体问题 ,将其与 FCM及 AKM等方法进行比较 ,以便分析其聚类效果 .很明显 ,我们所介绍的方法弥补了其它方法的一些不足 ,并能在一定程度上解决实际问题.     

Boltzmann Machine Method forSolving Mixed Integer Bilevel Programming Problem

ＢｏｌｔｚｍａｎｎＭａｃｈｉｎｅＭｅｔｈｏｄｆｏｒＳｏｌｖｉｎｇＭｉｘｅｄＩｎｔｅｇｅｒＢｉｌｅｖｅｌＰｒｏｇｒａｍｍｉｎｇＰｒｏｂｌｅｍＺＨＯＮＧＷｅｉｊｕｎ；ＸＵＮａｎｒｏｎｇ；ＳＥＮＨｏｕｃａｉ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＥｎｇｉｎｅ...     

求解度约束最小生成树的单亲遗传算法

提出了求解度约束最小生成树问题的单亲遗传算法.该算法首先利用Prufer数对生成树进行编码;然后精心地设计了一个随机地产生初始种群的方法,用这种方法产生的初始种群,不会含有任何不可行解;在遗传操作中只使用选择和变异操作,共设计了三种变异操作,其中两种变异操作均不会产生不可行解,只有一种变异操作可能会产生不可行解,需要作树的度的检查和修改;这样就大大的降低了不可行解产生的机会,从而提高了遗传算法的效率;而且只使用变异算子,有效的避免了早熟收敛现象的产生;通过大量的数值试验,表明该算法简单,高效,收敛率高;最后对此算法做了适当推广,并给出了它求解TSP问题的具体步骤和实例。     

一种求解整数-非线性规划问题的演化算法

混合整数非线性规划问题为一类富有挑战性的难解问题。本文设计一个混合演化算法求解混合整数非线性规划问题，对于不同变量分别使用二进制和实数编码策略，将约束优化问题转换为多目标优化问题。数值实验验证了算法的有效性、稳健性和通用性。     

The Application of Spanning Tree Algorithm in Arabic Language Rules for Contextual Analysis

ＴｈｅＡｐｐｌｉｃａｔｉｏｎｏｆＳｐａｎｎｉｎｇＴｒｅｅＡｌｇｏｒｉｔｈｍｉｎＡｒａｂｉｃＬａｎｇｕａｇｅＲｕｌｅｓｆｏｒＣｏｎｔｅｘｔｕａｌＡｎａｌｙｓｉｓ￥ＢＩＡＮＦｕｐｉｎｇ；ＭＥＮＧＦａｎｚｈｅｎ；ＨＯＵＷｅｎｈｕａ（Ｄｅｐａｒｔｍｅｎｔｏｆ...