格[0,1]上求解Fuzzy关系方程的一种方法

在有限论域上给出了一种求解格「０,１」,上Ｆｕｚｚｙ关系方程的方法,该方法对满足解集非空的Ｆｕｚｚｙ关系方程均能准确无误地求出其所有的极小元,运算中队援引Ｅ．Ｓａｎｃｈｅｚ定义的“α”算子最大解外,仅涉及比较「０,１」中两元的大小关系。     

一个绘制统筹图的算法

统筹图又叫计划网络图。任给一个其元素叫做工序（或作业或活动）的有限偏序集，要绘制它的一个最优统筹图，限含虚工序数目为最少者，是一个尚未从理论上解决的问题。本文讨论了虚工序产生的原因和如何减少虚工序数量的一些途径；指出了高度为二的编序集其最优统筹图含虚工序数目达到最大且等于该偏序集框图的边数的充分必要条件；本文给出了一个绘制最优统筹图的近似算法，此算法弥补了文[2]和[3]所给算法的一些不足之处。     

积分因子的一种直接求解方法

充分利用变量分离微分方程为恰当方程的事实,通过引入有限次的变量替换并借助求导的链式法则,本文提出了一种求解积分因子的直接方法.该法针对一阶常微分方程,只要其通过有限次变量替换能化为变量分离微分方程,那么积分因子和通积分均可直接求得.     

简单图的一种计数方法

对某一类图的邻接矩阵进行分类 ,从而给出这类图的一种计数方法 ,并且这种方法比较原来的Polya方法更为可行 .     

AT-free图的配对控制集算法

本文给出了配对控制集在AT-free图的BFS-树上分布的结构性质．利用这些性质，我们给出了求解AT-free图类最小配对控制集的多项式时间算法．     

求解图着色问题的量子蚁群算法

针对经典的图着色问题,在蚁群算法的基础上结合量子计算提出一种求解图着色问题的量子蚁群算法. 将量子比特和量子逻辑门引入到蚁群算法中,较好地避免了蚁群算法搜索易陷入局部极小的缺陷,并显著加快了算法的运算速度. 通过图着色实例的大量仿真实验,表明算法对图着色问题的求解是可行的、有效的,且具有通用性.     

二次型条件下最值求解的又一种方法

文[1]对二次型约束下最值的求解进行了探讨,多角度多层次给出了其求解策略,读来使人受益匪浅．本文拟从另一角度出发,给出该类问题另一种求解方法：首先将二元函数进行字母（一次线性）代换,再利用约束条件及二元均值定理进行有效放缩,从而达到求解问题的目的．此法所需知识点少,可供低年级同学们使用．     

局部影响分析中的一种新二阶方法

本文通过考察一种新影响图的保形法曲率,给出一种新二阶局部影响分析方法,并通过实例验证了该方法的有效性.     

一种新的有杆抽油泵功图诊断模型及计算方法

通过对多级杆柱上的微元体进行动力学分析,对现有的Gibbs模型进行了改进,建立了一个新的有杆抽油泵功图诊断数学模型.采用隐式差分格式和变步长有限差分格式对模型进行求解,得到了接箍上、下分界面处和抽油杆均质段任意位置处的位移及载荷表达式,推导了等效阻尼系数的计算公式,建立了相应的迭代算法来计算井下泵功图.以某油井地面示功图为例,利用该模型进行了实例计算,与Gibbs方法对比结果表明,该模型及算法得到的泵功图更接近实际.     

一类最小支撑树的逆问题及其求解方法

本文针对传统的基于边的最小支撑树逆问题，提出了一类基于点边更新策略的最小支撑树逆问题．更新一个点是指减少与此点相关联的某些边的权值．根据是否含有更新点的费用，考虑了两类模型，它们均可转化为森林上的最小(费用)点覆盖的求解问题，算法的复杂性都是O(mn)，其中m=|E|n=|V|。     

模糊影响图评价算法在供应链金融信用风险评估中的应用

传统的银行信贷模式风险评价专注于个体企业的财务数据.供应链金融新融资模式下的信用风险评价不同于传统的融资模式风险评价,它的评价范围更宽,不确定性因素更加复杂.在分析供应链金融模式的信用风险评价体系的基础上,结合模糊集和影响图理论建立了模糊影响图评价模型,对评估中难以量化的问题进行模糊处理,对变量之间的模糊影响关系进行分析,最后计算出信用风险概率分布.方法定性与定量相结合,为供应链金融新模式下的风险评估提供了一种新思路.     

基于多目标影响图效果作战模型

针对目前基于效果作战评估中没有涉及多目标以及决策者的偏好的情况,将多目标影响图引入到基于效果作战模型.首先分析了基于效果作战中各主要要素之间关系,其次提出了基于效果作战模型构造过程,然后将其与多目标决策理论结合建立了多目标基于效果作战模型,用多目标影响图对其进行建模,并给出了求解方法,最后将基于多目标影响图效果作战模型应用于空战任务分配中.仿真结果表明该模型的有效性.     

基于AHP法的个人博客影响力评价方法研究

参照网络信息资源评价的理论与方法,从博客日志质量、博客作者权威性、博客作者与读者的互动性三个方面入手,构建个人博客影响力评价体系,提出了9项个人博客影响力评价指标,并用层次分析法获得各评价指标的权重.进而建立各评价指标的5个评价等级体系,根据博客各评价指标的得分和权重,获得个人博客影响力评价模型.最后,选取2个博客进行了实证分析.     

协商评价中评价者动态影响力的计算方法

针对现有协商评价方法中缺乏考虑评价者影响力的局限性,提出一种协商评价中评价者动态影响力的计算方法。首先设定评价情境,提出研究前提假设;然后给出动态影响力的相关概念和定义,提出评价者动态影响力初值、协商权重以及动态影响力增值的计算方法,并对参数敏感性进行了分析;最后通过一个算例验证了方法的实用性和可操作性。     

基于集对分析的组合评价模型及其应用

组合评价是目前处理单一评价方法的不一致性、提高评价结果的可靠性和合理性的有效途径,现有的组合评价方法的主要不足是对这些单一评价法的评价排序值之间的一致性信息利用尚不够充分.提出用集对分析方法的联系度从同、异、反三方面定量描述这些一致性信息、并用于构造模糊互补判断矩阵来确定各单一评价法的组合权重的新模型(CEM-SPA).CEM-SPA的应用结果表明:CEM-SPA的组合评价结果比单一评价法更具有可靠性和合理性,与各单一评价法的相容性均很高;CEM-SPA利用各单一评价法的相容性测度确定各单一评价法的权重,利用各单一评价法的信息比常用的平均值法更充分因而显得更为合理;CEM-SPA在基于评价排序值的系统组合评价中具有推广应用价值.     

Extended resolution simulates binary decision diagrams

We prove that binary decision diagrams [R. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Comput. Surveys 23 (3) (1992)] can be polynomially simulated by the extended resolution rule of [G.S. Tseitin, On the complexity of derivation in propositional calculus, in: A. Slisenko (Ed.), Studies in Constructive Mathematics and Mathematical Logics, 1968]. More precisely, for any unsatisfiable formula φ, there exists an extended resolution refutation of φ where the number of steps is polynomially bounded by the maximal size of the BDDs built from the formulae occurring in φ.     

一类多指标对象评价模型

以C2R模型为基础给出了一类多指标对象评价模型——C2RM模型.我们首先定义了决策单元的优势集,论证了C2RM模型比一类多目标规划模型在优化意义上更进一步——排除了此类多目标规划模型的一些优势集为空的Pareto有效解.我们建立的C2RM模型是线性规划模型,易于判定一个决策单元是否DEA有效.在优势集性质基础上我们进一步定义了C2RM模型下DEA有效决策单元的实际有效率,并给出了所有决策单元的一种排序,最后举例予以说明.     

An alternative theorem for set-valued maps via set relations and its application to robustness of feasible sets

Abstract

This paper contains a generalized Gordan-type alternative theorem for set-valued maps which characterizes set relations without any convexity assumptions using certain evaluation functions. As a direct consequence and as a good example, we discuss robustness (or stability) of linear programming problems for modelling error. Moreover, this theorem can be utilized for that of general vector optimization problems in special cases due to reformation of the evaluation functions.     

箭线网络图的唯一性特征和最优箭线图判定

提出箭线网络图由完全工序关系唯一确定、最优箭线图实工序子图唯一确定等结论和由相交紧前工序集直和分解得出的基准箭线图作最优箭线图和判定最优箭线图的概念和方法.     

线性双层规划的改进PCP全局求解算法

本文采用K-T条件将线性双层规划模型改写为单层规划后,将参数引入上层目标函数,构造了含参线性互补问题(PLCP)并给出它的一些性质。进而通过改进Lemke算法的进基规则,在保持互补旋转算法原有优势的基础上,引入充分小正数ε,设计了改进参数互补旋转(PCP)算法求取全局最优解,最后通过两个算例说明了其有效性。