格序半群同余格LC（S）的完全分配性

本文首先引入值和正则Ｌ－同余的概念并讨论了正则Ｌ－同余的基本性质，在此基础上，给出了格ＬＣ（Ｓ）是完全分配格的几个等价刻化。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

我国高新区资源整合模式

<正>高新区资源整合是通过调整园区资源并加以重新组合、有效配置,使之协调统一的创新行为。其核心内容是把资源在时间和空间上加以合理配置,有效利用园区自身资     

环同态上的co-*n-模

定义了co-*n-模,对于给定的两个同态的环A和R, 找到了左A-co-*n-模〖KG*3〗AU提升到左R-co-*n-模Hom_A(ARR,AU))的条件。     

关于PVMD的一些刻画

证明了R是PVMD当且仅当每个无挠R-模是w-平坦模,当且仅当每个有限生成无挠R-模是w-投射模.讨论了PVMD的环扩张与PVMD中的素w-理想的性质.特别地,对于PVMD中的素w-理想p,给出了其是分支的一些等价刻画,得到p是分支的当且仅当存在一个w-理想I≠p,使得p=I,当且仅当p是一个主理想上的极小素理想.     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

两个动能耦合Morse振子系统的分岔现象

从两个未耦合的Morse振子出发,首先研究了两个动能耦合的Morse振子系统局域模区域内的分岔结构.发现对弱耦合参数δ,相空间中局域模谐振nm共存与系统能量ε通过不等式 √1/1-ε≥n/m≥√1- ε相关联.同时报导了对称伸缩本征模的分岔现象与能量及耦合常数的关系.在弱耦合参数δ下,在非常低的能量区域内,对称伸缩经历一个pitch-fork分岔.随后,局域模随能量的增加逐渐形成.对中等高能量ε,对称伸缩本征征模在耦合参数范围[-1,0]内由不稳定到稳定到不稳定等交替变化.     

覆盖理论手册

覆盖理论是作为构造范畴间的等价关系的通用方法而出现的一种数学理论，它的起源可追溯到1973年前苏联数学家I．N．Bernstein，J．M．Geffand和V．A．Ponomanov的两篇关于有限维代数表示理论的论文。这个理论最初是在有限维代数上的模范畴的研究中发展起来的，     

论小型水库质量问题的治理与护坡模袋在防洪中的应用

我国的小型水库为数众多,分布的区域广,坝型多样。普遍存在防洪标准偏低,达不到有关规范、规定要求,有的是工程本身质量差,有的则是工程老化失修等问题。形成的这些大量病险水库,不仅造成水库不能正常运行,不能充分发挥其效益,而且还严重威胁到下游人民生命财产的安全。     

几何建模与代数几何

几何建模与代数几何的研究对象都由代数方程定义，但两者研究方法和侧重点各不相同，代数几何注重理解对象的理论性质，几何建模着重于实际应用，因此传统上将它们看作互不关联的两个领域。近几年来，出现了两个领域互相影响、互相促进的趋势，例如解决相交问题的算法就得益于代数几何的理论成果。为了推进两个领域研究的交流和合作，欧洲数学界2001-2005期间召开了一系列与此有关的工作会议，本书就是这些学术活动产生的论文汇集，主要论文来自2005年奥斯陆会议，主题是应用近似代数方法建立基于信息应用的几何相交算法。