模糊推理三I约束算法的一般表示

讨论模糊推理三I约束算法的表示问题.首先,改进FMP及FMT问题的三I约束原则,进而,为使更多的蕴涵算子纳入统一的算法表示之下,基于较弱的条件建立三I约束算法的一般表示.如此,现有的三I约束算法的统一表示被推广到一种新的形式.     

区间值模糊推理三Ⅰ约束算法

基于区间值模糊集讨论了区间值模糊推理三Ⅰ约束算法,给出了ⅠFMP、ⅠFMT问题的区间值模糊推理三Ⅰ约束算法解的表达形式,并且针对三种具体的蕴涵算子,获得了相应的区间值模糊推理三Ⅰ约束算法的解。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

FMT-泛三I算法的约束度理论

从先前提出的泛三I算法出发,面向FMT(fuzzy modus tollens)问题,提出模糊推理的FMT-泛三I约束算法。改进之前的三I约束FMT原则,给出泛三I约束解的存在条件,建立FMT-泛三I约束算法的统一形式的解。并且,针对9种具体的蕴涵算子,获得相应的泛三I约束解。最后,给出并改进FMT-三I约束算法的相关结论。     

模糊推理α-反向三I支持算法的一般表示

讨论模糊推理α-反向三I支持算法的表示问题,基于正则蕴涵算子建立α-反向三I支持算法的一般表示。如此,现有的α-反向三I支持算法的统一表示被推广到一种新的形式。     

强组合PhaseⅠ－PhaseⅡ次可行方向法

本文对Ｐｏｌａｋ等人的组合ＮａｓｅⅠ－Ⅱ可行方向法进行改进，使之不仅能自动地将初始化阶段（Ｐｈａｓｅｌ）和最优化阶段（ＰｈａｓｅⅡ）统一起来，而且保证了满足不等式约束的函数个数不断叠累递增，故称改进后的算法为强组合ＰｈａｓｅⅠ－ⅡＰｈａｓｅⅡ次可行方向法．本文算法包含了一种新的目标局数非单词的非精确线搜索，它保证了算法产生的点列的任何聚点都是问题的Ｋ－Ｔ的点．     

解带线性或非线性约束最优化问题的三项记忆梯度Rosen投影算法

利用Rosen投影矩阵，建立求解带线性或非线性不等式约束优化问题的三项记忆梯度Rosen投影下降算法，并证明了算法的收敛性．同时给出了结合FR，PR，HS共轭梯度参数的三项记忆梯度Rosen投影算法，从而将经典的共轭梯度法推广用于求解约束规划问题．数值例子表明算法是有效的。     

FMT问题的两种三Ⅰ算法及其还原性

进一步研究FMT问题,得到该问题的三Ⅰ算法的一般计算公式,提出该问题的一种新算法三Ⅰ^*算法,给出新算法的一般计算公式,讨论两种算法的还原性问题,明确两种还原性的含义,证明FMT问题的三Ⅰ算法是W－还原的,而三Ⅰ^*算法是Z－还原的。     

概率约束随机规划的一种近似方法及其它的有效解模式

根据最小风险的投资最优问题，我们给出了一个统一的概率约束随机规划模型。随后我们提出了求解这类概率约束随机规划的一种近似算法，并在一定的条件下证明了算法的收敛性。此外，提出了这种具有概率约束多目标随机规划问题的一种有效解模型。     

求解非线性等式和不等式约束优化问题的三项记忆梯度广义投影算法

利用广义投影矩阵，对求解无约束规划的三项记忆梯度算法中的参数给一条件，确定它们的取值范围，以保证得到目标函数的三项记忆梯度广义投影下降方向，建立了求解非线性等式和不等式约束优化问题的三项记忆梯度广义投影算法，并证明了算法的收敛性．同时给出了结合FR，PR，HS共轭梯度参数的三项记忆梯度广义投影算法，从而将经典的共轭梯度算法推广用于求解约束规划问题．数值例子表明算法是有效的．     

线性约束三次规划问题的全局最优性必要条件和最优化算法

讨论了带线性不等式约束三次规划问题的最优性条件和最优化算法. 首先, 讨论了带有线性不等式约束三次规划问题的 全局最优性必要条件. 然后, 利用全局最优性必要条件, 设计了解线性约束三次规划问题的一个新的局部最优化算法(强局部最优化算法). 再利用辅助函数和所给出的新的局部最优化算法, 设计了带有线性不等式约束三 规划问题的全局最优化算法. 最后, 数值算例说明给出的最优化算法是可行的、有效的.     

θp型三I算法与反向三I算法支持度分析

研究了基于蕴涵算子以θp模糊推理的三Ⅰ算法与反向三Ⅰ算法的支持度理论，分析了支持度的性质，得到了α-三Ⅰ算法的FMP（FMT）计算公式与α-反向三Ⅰ算法的FMP（FMT）计算公式。     

区间值直觉模糊推理的全蕴涵方法

讨论了区间值直觉模糊集合上的剩余型伴随对的性质,获得了几个重要的结果。提出了IFMP和IFMT问题的区间值直觉模糊推理的三I原则、α-三I原则、三I约束原则、反向三I原则、反向α-三I原则和反向三I约束原则。针对区间值直觉模糊集合上的剩余型伴随对,给出了IFMP、IFMT问题的区间值直觉模糊推理的三I算法、α-三I算法、三I约束算法、反向三I算法、反向α-三I算法及反向三I约束算法解的计算公式,讨论了IFMP、IFMT问题的区间值直觉模糊推理的三I算法和反向三I算法的还原性。     

线性约束优化问题的开关算法模型及其应用

本文利用开关函数．建立了解线性约束优化问题的一个组合型可行方向法─—开关算法模型，并给出了其收敛性质，从而统一、推广了包括起线性收敛的算法在内的常见的可行方向法．依此模型，具体构造了一类起线性收敛的新算法．     

一类逆特征值问题

本文考虑下列问题:问题Ⅰ:给定使其中1.1表示Frobenius范数。问题Ⅱ:给定使其中S_E表示问题Ⅰ的解集合。 本文给出了解集合S_E的通式和逼近解A_(LS)的表达式以及相应的数值稳定的算法,这些结果被应用到一类新的逆特征值问题。     

有理单变元表示在优化问题上的应用

利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优化问题.新算法不仅能处理目标函数为多项式的最优化问题,而且还能处理目标函数为有理分式函数和根式函数的的最优化问题,并且给出了目标函数最优值的精确区间表示,使得能任意精度地逼近最优值.     

解非线性Minimax问题的可行方向法之统一探讨

本文提出了一个解非线性约束 Minimax 问题的统一算法模型并在较弱的条件下对二种常见的线搜索规则证明了算法的全局收敛性。本文模型统一、推广了解约束 Minimax问题的常见的可行方向法。做为本文模型的特例,我们得到了二个新的 SQP-型可行方向法,推广了[1]中算法并去掉了其中的上一致可微的条件。     

具有动应力和动位移约束的离散变量结构拓扑优化设计方法

讨论了动应力、动位移约束下离散变量结构拓扑优化设计问题.首先给出问题的数学模型,然后用拟静力算法,将结构惯性力极值作为静载荷施加到结构上,求得结构的动位移和动内力,将考虑动应力约束和动位移约束的离散变量结构拓扑设计问题化为静应力和静位移约束的优化问题,然后利用两类变量统一考虑的离散变量结构拓扑优化设计的综合算法进行求解.     

基于约束放松的电子商务协同谈判模型

在众多的自动谈判模式中，协同谈判是一种新型的多线程谈判形式。文章分析了面向电子商务的协同谈判中的冲突问题，提出了解决谈判冲突的方法——满意度函数法。该方法在谈判模型中用约束网来表示谈判中的变量和约束关系，通过约束放松来解决谈判中的冲突。作者在对约束及约束网进行详细分析的基础上设计了约束传播算法，用它来求解约束网问题。文章通过实例验证了提出的论点和方法的正确性。采用这种基于约束放松的协同谈判模型可以有效地解决谈判中的冲突，提高谈判的效率。该方法的应用可为解决多个谈判的组合问题提供一种新的思路。     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.