建立有限维Lie代数的一类方法及其应用

通过建立一个有限维Lie代数给出生成Lie代数的一类方法.利用其相应的loop代数建立等谱Lax对问题,由该问题的相容性条件导出了一个孤立子方程族.利用二次型恒等式得到了该方程族的Hamilton结构.     

支持语义、接口和协议的服务相容性分析

针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性。     

左右对称禁闭弱作用的亚夸克大统一模型

本文提出了一个SU(8)亚夸克大统一模型。模型中,弱作用来源于将亚夸克束缚成夸克和轻子的禁闭规范群,而且它具有左右对称性。所有的夸克和轻子都是复合费米子,它们是亚夸克的束缚态和SU(2)_LXSU(2)_R的二重态。模型满足tHooft相容性条件,给出了四代通常的夸克和轻子。     

从NLS方程和复MKdV方程的相容性到三组2+1维孤立子方程的解

研究非线性薛定谔方程(NLS方程)和复MKdV方程的相容性,由此得到其相容解与三组2 1维孤立子方程解之间的关系.借助1 1维孤立子方程的理论,由NLS方程和复MKdV方程的相容解得到2 1维孤立子方程的精确解.     

外加剂与硫铝酸盐水泥相容性研究

研究了萘系、氨基磺酸盐系和聚羧酸系高效减水剂与硫铝酸盐水泥的相容性问题。利用缓凝剂有效控制了硫铝酸盐水泥的凝结时间;利用浆体稳定剂成功解决了水泥净浆的板结、泌水问题;从浆体流变学角度研究了外加剂-硫铝酸盐水泥浆体体系稳定性。实验证明：3种外加剂与硫铝酸盐水泥都具备了良好的相容性,据此提出了解决外加剂与硫铝酸盐水泥相容性问题的一些方法,为硫铝酸盐水泥的应用提供一些可靠的理论依据。     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

一种全局收敛的线搜索滤子SQP方法

对于求解不等式约束优化问题,将线搜索和滤子方法相结合提出了一种新的线搜索滤子序列二次规划( filterSQP)方法.该方法克服了传统的SQP方法二次子问题不相容的困难,并利用滤子避免了罚函数的使用.同时在合理条件下证明了此方法具有全局收敛性质.     

带相容性约束的车辆路径问题及其混合蚁群算法

【目的】着力设计带相容性约束的车辆路径问题的高效启发式算法。【方法】针对带相容性约束的车辆路径问题的特点,提出了一种混合蚁群算法。该算法的核心由蚁群搜索和禁忌搜索组成,对蚁群搜索的状态转移公式和信息素更新规则进行了改进,并在蚁群搜索过程中加入了一个扰动机制,同时在禁忌搜索部分采用了新的邻域结构和禁忌规则。【结果】得到了关于带相容性约束的车辆路径问题的混合蚁群算法。【结论】通过多个算例对算法进行了测试,计算结果表明该算法具有很高的求解效率。
     

浅议高分子的表面化学组成生物特性

生物相容性是高分子材料在临床上用作医用装置的基本要求,改变高分子材料的表面化学组成是提高其生物相容性的重要途径。论述了构建表面化学组成改性高分子材料生物相容性的最新研究进展,并对改善高分子材料生物相容性的研究方法提出了一些看法     

输电网的中长期规划(Ⅱ)──后向混合整数规划法

输电网中长期规划可分解成单阶段的静态决策和多阶段的动态决策两个子问题。本文提出“后向混合整数规划法”求解动态决策问题。其过程是：先形成最终网，然后逐阶段向前推移，在求解各阶段决策时，考虑了前面各阶段潮流的影响，从而得到整个输电网中长期规划的投资方案。计算实例表明了方法的功能和实用性。     

一个基于锥模型的自适应信赖域算法

对无约束优化问题提出了基于锥模型的自适应信赖域算法,把锥模型子问题变成二次模型的子问题进行求解,从而减少信赖域子问题的求解,二次模型的信赖域算法是新算法的特例。在适当的条件下,证明了算法的全局收敛性及超线性收敛——数值试验表明新算法是有效的。     

求解一类变分不等式问题的内点信赖域方法

针对变分不等式的带非负约束的转化形式给出了一类信赖域迭代算法．该方法的特点是通过利用内点技术，将带非负约束的信赖子问题转化成约束形式的信赖域子问题，从而可以利用截断共轭梯度法来近似求解．     

变分不等式问题带非负约束转化的一类信赖域法

针对变分不等式的带非负约束的转化形式给出了一类信赖域迭代算法。该方法的特点是通过利用内点技术。将带非负约束的信赖域子问题转化为无约束形式的信赖域子问题。从而可以利用截断共轭梯度法来近似求解。     

具有性能约束布局问题的优化算法及收敛性

研究了二维布局优化问题,建立了具有性能约束的二维布局半无限优化模型.应用图论、群论等,把该问题分解为有限多个子问题,在每个子问题中克服了优化变量的时断时续性质,并将子问题松弛化,利用极大极小函数给出了松弛子问题的最优性函数,该函数在其零点使松弛子问题的一阶必要条件成立.利用最优性函数构造了松弛子问题的优化算法,并证明了算法的收敛性.     

解信赖域子问题的分段Hermite插值法

基于求解信赖域子问题的分段割线法,在Hessian矩阵正定的前提下,利用分段三次Hermite插值方法构造了一条曲线,提出了一种求解信赖域子问题的分段Hermite插值法,并证明了此曲线路径的合理性。数值结果表明新算法是有效且可行的。     

一种无约束优化的非单调拟牛顿信赖域算法

提出一种新的信赖域算法, 使子问题产生的试探步 d^k始终保持在信赖域中, 在每次迭代过程中, 试探步d^k均能得到校正, 当试探步不被接受时, 采用非单调线搜索技术, 无需重解子问题. 在适当的条件下, 证明了算法的全局收敛性.     

求解信赖域子问题的一个光滑牛顿法

信赖域子问题的有效求解是实现信赖域算法的关键.利用光滑Fischer-Bermeister NCP函数提出了一个求解信赖域子问题的光滑牛顿法.数值实验表明所提出的算法是有效的.     

Dirac方程分裂步多辛格式

把非线性的Dirac方程分裂成线性和非线性2个子问题,这2个子问题具有辛或者多辛结构,可以用辛格式对它们进行离散计算,得到的格式具有整体辛性.此格式较传统的多辛格式具有效率高、计算快等优点.     

A combined technique for solution of PDE's via the generalized domain decomposition method

The Domain Decomposition Method (DDM) is a powerful approach to solving many types of PDE's. DDM is especially suitable for massively parallel computers. In the past, most research on DDM has focused on the domain splitting technique. In this paper, we focus our attention on use of a combination of techniques to solve each subproblem. The central question with DDM is that of how to deal with the pseudoboundary conditions. Here, we introduce a set of operators which act on the pseudo-boundaries in the solution process, referring to this new procedure as the “Generalized Domain Decomposition Method (GDDM).” We have already obtained convergence factors for GDDM with certain classes of PDE's. These convergence factors show that we can derive exact solutions of the whole problem for certain types of PDE's, and can get superior speed of convergence for other types.