电介质极化的非线性理论——作为孤立子的电子

描述一类电介质极化的理论,并用这些理论描述一类孤立子。完全在极化场之外产生的孤立子有量子化的电荷值,并可以解释成电子和空穴。一对孤立子和反孤立子是一个激子。这里显示基本孤立子是稳定的数值证据。     

对Faddeev模型的求解

采用有理映射推导了Faddeev模型拓扑荷Q=1时的剖面函数方程,通过试探函数法得到了剖面函数的一种新的近似解析解.发现新的近似解与相应的数值解吻合得很好.     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与空间的关系以及间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件。     

子locale与子空间的关系

讨论了空间式子ｌｏｃａｌｅ与子空间的关系以及空间式子ｌｏｃａｌｅ的交的空间式问题,证明了拓扑空间的空间式子ｌｏｃａｌｅ与该空间的Ｓｏｂｅｒ化空间的子空间是一一对应的,并且给出了空间式子ｌｏｃａｌｅ的交是空间式的充分条件．     

Faddeev模型中的多孤立子解

使用SO(3) Faddeev模型等效于SU(2) Skyrme模型的重子数为0的介子区域的结果,研究了Faddeev模型中的一类新型解析解. 选择合适的解析函数,得到了Faddeev模型中的新型多孤立子解. 这类解相应于陈数（chern number）为3的情况.     

多重卷积流形上的梯度近Ricci孤立子

利用多重卷积流形上的协变导数算子、 梯度算子、 Ricci曲率的性质以及二阶椭圆算子的强最大值原理, 讨论多重卷积流形上的梯度近Ricci孤立子, 给出多重卷积流形是梯度近Ricci孤立子的充要条件, 以及多重卷积流形上的梯度近Ricci孤立子的一个刚性结果.     

规范 Abelian Skyrme 带电涡旋的动力学分析

针对规范Abelian Skyrme带电涡旋模型采用不定泛函的约束变分法,得到不定泛函的临界点的存在性,进一步证明泛函的临界点就是相应Euler-Lagrange方程组的弱解.通过正则性分析,证明泛函的临界点即为Euler-Lagrange方程组的经典解.     

格蕴涵代数中多重模糊正关联滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊正关联滤子的概念,研究了其性质.然后,讨论了多重模糊正关联滤子与模糊滤子、多重模糊正关联滤子与多重正关联滤子、多重模糊正关联滤子与多重模糊关联滤子,及多重模糊正关联滤子与多重模糊正关联滤子的格蕴涵同态像之间的关系.     

基于多重散射理论的二维声子晶体带结构计算

二维固体结构声子晶体如平板、板壳在结构材料的减振、降噪方面有广泛的应用,研究二维固体结构声子晶体的禁带特性,对减振、降噪结构材料及声学滤波器的设计有重要的理论指导意义.用声子晶体带结构计算的多重散射理论,计算了二维碳一环氧树脂声子晶体的能带结构.结果表明,将波速较大的碳柱体按正方形周期排列放入到波速较小的环氧树脂中,在布里渊区两个主要方向上出现了完全禁带.     

武器装备体系需求描述的元模型

武器装备体系需求描述是武器装备体系需求建模的基础活动和关键内容,贯穿于武器装备体系研究的全过程.给出了武器装备体系需求描述元模型的类型,描述了元模型的层次结构,设计了基于XML的元模型的存储模式,用于指导武器装备体系需求描述的规范性和一致性.     

公共交通路网描述方法及诱导模型设计

在采用传统的公共交通路网描述方法的公交网络中,会出现大量两节点间有多条同向边的情况,这使得无法求解公交网络中的最短路径问题.有鉴于此,文中提出了一种新的公交路网描述方法,该方法克服了以上问题,使得所有经典的最短路径算法都能够用于公交诱导系统.在此基础上设计了3个单目标和一个多目标公交诱导模型来满足不同乘客的需求,同时对文中提出的描述方法和模型的有效性进行了证明.最后,以广州市的公交线路网络为例,对所提出的公交诱导模型进行了试验,结果表明所提出的方法和模型是十分有效的.     

有理co—H—空间上的同调分解

空间的有理化是同伦局部化理论的一种特殊情形．任意１－连通的有限ＣＷ－复形的有理化空间是有理空间．有理空间有许多特殊的性质．笔者探讨了有理空间,特别是有理ｃｏ－Ｈ－空间上的同调分解及其相关问题,包括诱导映射和诱导ｃｏ－Ｈ－结构等问题．     

RGDL语义结构的面向对象模型及翻译方法

分析报表描述语言ＲＧＤＬ与一般高级语言在语义上的明显差异后，给出一种新的语义描述方法和翻译方法，重点介绍ＲＧＤＬ语义结构建模技术、面向对象的语义子程序设计以及目标代码生成系统的总体构成等。     

NPC系统规格模型的局域描述及临界粗粒化过程

作者注意到了一般非平衡临界相变的共同特征，提出了一个模拟一般非平衡相变系统的具有一定普适意义的ＮＰＣ规格化模型，本文给出了该模型的局域随机描述，并考察了系统系统局域参量的临界支配作用。此外还讨论了该模型的临界粗粒化过程，以及运用重正化群方法来计算非平衡相变临界（ＮＰＣ）指数的可能性。     

Unicorn系统下西文图书著录模式研究

介绍了Unicorn系统下西文图书编目过程中的主要方法,探讨了提高西文图书编目效率的途径。     

协同设计的三维几何模型多粒度描述方法

为了保持协同设计中几何模型信息获取和信息传递的通畅,研究了三维几何模型不同粒度描述的组成部分,包括三维模型的几何知识,与制造工艺及产品生命周期相关的形状特征信息.由于粗粒度的描述方法过于注重信息描述的形式,细粒度的描述方法过于注重信息描述的内容,粗粒度和细粒度的描述方法均不能满足产品生命周期中的某些特定应用阶段的需求,所以提出了能克服粗粒度和细粒度描述方法固有弊端的多粒度描述方法,既能满足多方协同用户的需求,又能满足网络信息传输的需求.     

面向装配的蜗杆减速器装配信息模型的描述及应用实例

提出了一种能完整描述蜗杆减速器装配信息的数据结构，描述了产品零部件的装配特征关系，介绍了产品零部件装配体树结构，并建立了储存装配关系的广义矩阵以及装配关系的语言描述。利用这种数据结构计算可以方便地构造装配体的树结构图，可以把装配体中的每一个零件或部件本身的装配信息以及每一对装配无素对象之间的装配关系方便地存储在装配体中，它能通过指`针链表等工具方便地对装配体树中的每一对数据进行插入、查询、删除和修改等工作，并能有效地对产品零件级和装配级的装配工艺性进行分析和评价，并以一种具体的蜗杆减速器为实例来验证这种数据结构的正确性。     

一种支持多领域构件描述的分类描述模型

软件构件库是支持基于构件的软件开发的基础设施.在软件构件库中,构件的分类描述是复用者检索和理解构件的基础.随着构件技术的发展,构件库在不同领域的得到了应用,构件分类描述机制也面临着扩展性和变化性的挑战.提出了支持多领域构件描述的分类描述模型ECDM,并基于该模型,实现了青鸟构件库管理系统中多种分类模式的定制以及对构件描述属性扩展的支持.