一类直觉模糊关系线性规划的解

提出了一类目标函数为线性函数,约束是直觉模糊关系方程的最优化问题.这是一类非凸非光滑最优化问题,基于可行域的结构,给出了求全局最优解和最优值的一个算法,最后通过数值例子验证了算法的可行性.     

一类齐次多项式优化问题的一个全局优化算法

对图像与信号处理中遇到的一类齐次多项式优化问题,本文首先借助平移技术将目标函数转化为凸函数,然后结合初始点技术提出了求解该类问题的一个全局优化算法.与求解该类问题的幂方法相比,本文给出的方法不但能在一般情形下保证算法的全局收敛性,而且数值结果表明在多数情况下可以得到问题的一个全局最优值解.     

一类全局优化问题的线性化方法

本文对带有不定二次约束且目标函数为非凸二次函数的最优化问题提出了一类新的确定型全局优化算法,通过对目标函数和约束函数的线性下界估计,建立了原规划的松弛线性规划,通过对松弛线性规划可行域的细分以及一系列松弛线性规划的求解过程,得到原问题的全局最优解.我们从理论上证明了算法能收敛到原问题的全局最优解.     

基于坐标的既有铁路曲线整正约束优化算法研究

既有铁路曲线整正是既有线改建设计中的重要部分,且结果直接影响最终设计质量和运营安全.基于最优化思想直接利用既有线上测点坐标进行曲线整正.构建了体现曲线整正成果优劣的目标函数,考虑了规范约束和控制点约束,建立了曲线整正约束最优化计算模型.基于罚函数的思想将曲线整正的非线性约束最优化问题转换为无约束最优化问题.根据目标函数的特点,采用N elder-M ead单纯形法迭代求解最优值.该算法逻辑简单,应用方便.应用结果表明算法可优化出拨距小,且满足约束条件的曲线整正成果,具有较强的实用性.     

具有凸资源约束的单机指数学习效应问题

研究在所有工件的正常加工时间均相同的情况下具有指数学习效应和凸资源约束的单机排序问题.给出了两种模型:在资源消耗总费用有限的情况下,以工件的最大完工时间为目标函数;在工件的最大完工时间有限的情况下,以资源消耗总费用为目标函数.求两种模型下的最优排序和最优资源分配,使得目标函数最小.证明这两个问题都是多项式时间可解的,并给出了相应的算法.     

求解多项式规划的一个全局最优化算法

提出一个求解带箱子约束的一般多项式规划问题的全局最优化算法, 该算法包含两个阶段, 在第一个阶段, 利用局部最优化算法找到一个局部最优解. 在第二阶段, 利用一个在单位球上致密的向量序列, 将多元多项式转化为一元多项式, 通过求解一元多项式的根, 找到一个比当前局部最优解更好的点作为初始点, 回到第一个 阶段, 从而得到一个更好的局部最优解, 通过两个阶段的循环最终找到问题的全局最优解, 并给出了算法收敛性分析. 最后, 数值结果表明了算法是有效的.     

不等式约束优化问题的低阶精确罚函数的光滑化算法

对不等式约束优化问题提出了一个低阶精确罚函数的光滑化算法. 首先给出了光滑罚问题、非光滑罚问题及原问题的目标函数值之间的误差估计,进而在弱的假
设之下证明了光滑罚问题的全局最优解是原问题的近似全局最优解. 最后给出了一个基于光滑罚函数的求解原问题的算法,证明了算法的收敛性,并给出数值算例说明算法的可行性.     

非线性规划问题的全局最优必要条件

主要探讨优化问题的全局最优性条件.对于目标函数和不等式约束为一般二次可微函数的非线性规划问题,构造了相应的多项式下估计函数,使之满足多项式择一定理的条件,从而得到全局最优的必要条件.     

具有带状系数矩阵的无限维线性规划的解法

研究一类每个约束条件有两个变量且每个变量出现在两个约束条件中的无限维线性规划.引入松弛变量后,得到约束方程组的系数矩阵为无限阶带状矩阵,用它的左逆以及属于零的特征向量可以表示这类问题的最优解.获得目标函数值收敛的一个充分条件.     

基于动态规划的迭代算法设计方法

为了基于动态规划法设计求约束最优化问题(COPs)最优解的迭代算法,在避免使用"标记函数"和递归算法的前提下提出了两种求解模式,给出了设计求COPs最优解的迭代算法一般方法,并利用两个典型优化问题-最长公共子序列问题和矩阵链乘法问题,阐明了如何利用两种求解模式设计求COPs最优解的简捷迭代算法.     

偏序集的代数完备

引进一个偏序集的代数完备, 并且构造任意偏序集的一个代数完备.有最小元的并半格的代数完备正好是它的理想完备. 一个偏序集的代数完备同构于它的一个由下集作为元的完备格,并且这个完备格包含所有主理想. 基于代数完备的Galois联络的下扩张仍然是一个Galois联络.     

实分片代数曲线的拓扑结构

The piecewise algebraic curve is a kind generalization of the classical algebraic curve.By analyzing the topology of real algebraic curves on the triangles,a practi-caUy algrithm for analyzing the topology of piecewise algebraic curves is given.The algrithm produces a planar graph which is topologically equivalent to the piecewise algebraic curve.     

Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions

Various aspects of the work of Blok and Rebagliato on the algebraic semantics for deductive systems are studied in the context of logics formalized as π‐institutions. Three kinds of semantics are surveyed: institution, matrix (system) and algebraic (system) semantics, corresponding, respectively, to the generalized matrix, matrix and algebraic semantics of the theory of sentential logics. After some connections between matrix and algebraic semantics are revealed, it is shown that every (finitary) N‐rule based extension of an N‐rule based π‐institution possessing an algebraic semantics also possesses an algebraic semantics. This result abstracts one of the main theorems of Blok and Rebagliato. An attempt at a Blok‐Rebagliato‐style characterization of those π‐institutions with a mono‐unary category of natural transformations on their sentence functors having an algebraic semantics is also made. Finally, a necessary condition for a π‐institution to possess an algebraic semantics is provided.     

Algebraic connectivity of weighted trees under perturbation

We investigate how the algebraic connectivity of a weighted tree behaves when the tree is perturbed by removing one of its branches and replacing it with another. This leads to a number of results, for example the facts that replacing a branch in an unweighted tree by a star on the same number of vertices will not decrease the algebraic connectivity, while replacing a certain branch by a path on the same number of vertices will not increase the algebraic connectivity. We also discuss how the arrangement of the weights on the edges of a tree affects the algebraic connectivity, and we produce a lower bound on the algebraic connectivity of any unweighted graph in terms of the diameter and the number of vertices. Throughout, our techniques exploit a connection between the algebraic connectivity of a weighted tree and certain positive matrices associated with the tree.     

Nöther-type theorem of piecewise algebraic curves on quasi-cross-cut partition

Nöther’s theorem of algebraic curves plays an important role in classical algebraic geometry. As the zero set of a bivariate spline, the piecewise algebraic curve is a generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves is very important to construct the Lagrange interpolation sets for bivariate spline spaces. In this paper, using the characteristics of quasi-cross-cut partition, properties of bivariate splines and results in algebraic geometry, the Nöther-type theorem of piecewise algebraic curves on the quasi-cross-cut is presented.     

Algebraic modules and the Auslander-Reiten quiver

Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by the direct sum and tensor product. In this article we prove that non-periodic algebraic modules are very rare, and that if the complexity of an algebraic module is at least 3, then it is the only algebraic module on its component of the (stable) Auslander-Reiten quiver. For dihedral 2-groups, we also show that there is at most one algebraic module on each component of the (stable) Auslander-Reiten quiver. We include a strong conjecture on the relationship between periodicity and algebraicity.     

实分片代数曲线的某些研究

分片代数曲线作为二元样条函数的零点集合是经典代数曲线的推广. 利用代数的基本知识, 本文对实分片代数曲线的基本性质进行了初步讨论, 并且将实分片代数曲线与相应的二元样条分类进行讨论. 最后, 对实分片代数曲线上的孤立点进行了研究.     

Construction of complete generalized algebraic groups

With one exception, the holomorph of a finite dimensional abelian connected algebraic group is shown to be a complete generalized algebraic group. This result on algebraic group is an analogy to that on Lie algebra.     

On the maximal component algebraic immunity of vectorial Boolean functions

Under study is the component algebraic immunity of vectorial Boolean functions. We prove a theorem on the correspondence between the maximal component algebraic immunity of a function and its balancedness. Some relationship is obtained between the maximal component algebraic immunity and matrices of a special form. We construct several functions with maximal component algebraic immunity in case of few variables.     

Nöther-type theorem of piecewise algebraic curves on triangulation

The piecewise algebraic curve is a kind generalization of the classical algebraic curve. Nöther-type theorem of piecewise algebraic curves on the cross-cut partition is very important to construct the Lagrange interpolation sets for a bivariate spline space. In this paper, using the properties of bivariate splines, the Nöther-type theorem of piecewise algebraic curves on the arbitrary triangulation is presented.