基于角色的活动动态分配

目前广泛应用于分布式计算环境上的三层结构框架——用户界面层、事务应用层和数据服务层，虽然在软件结构和系统实现技术方面具有一定的灵活性，但是系统各部分固有的紧耦合关系及其业务逻辑的“硬编码”等制约了系统的敏捷性，本文在中间关键层——事务应用层中采用了基于角色的活动动态分配机制，利用业务逻辑的“与或”关系建立目标活动的协作图，通过角色映射机制实现活动的分配，利用ECA规则描述活动之间的约束关系，并组织Agent的运行，从而将活动的描述和活动的执行体Agent联系起来，可进一步提高系统的可适应性和敏捷性，满足分布计算的需要。     

非自治常p-Laplacian系统的多重周期解

研究了非自治常微分p-Laplacian系统的周期解的存在性。当具有p-次线性增长非线性项和部分周期位势时,利用临界点理论中的广义鞍点定理得到了系统周期解存在性的充分条件,所得结果推广了已有结果。     

局部超线性常微分p-Laplacian系统的多重周期解

利用临界点理论研究常微分p-Laplacian方程周期解的存在性,在比Ambrosetti-Rabinowitz条件更弱的超线性条件下,得到了多重周期解存在的充分条件.     

一类超二次椭圆方程的无穷多解

在不需假设（AR）条件的情况下，利用喷泉定理讨论了一类超二次椭圆方程无穷多解的存在性．     

带有临界位势的超线性椭圆方程Dirichlet问题的无穷多解

在比（AR）条件更弱的一类超线性条件之下,利用变分方法讨论了一类带有临界位势的超线性椭圆方程Dirichlet问题的无穷多解的存在性。     

斜Hurwitz级数环的三角矩阵表示(英文)

设R是环,H*R是R上的斜Hurwitz级数环。在一定条件下,证明了H*R与R具有相同的三角维数。此外,如果R是PWP环并且(R,+)是挠自由的,那么H*R是PWP环。     

基于粒度分层的布局设计模型

研究了问题求解的粒度理论在布局建模中的应用。综合相邻图、规范约束图以及层次约束图模型为不同粒度的组成部分,提出了基于粒度分层的布局模型和粒度投影规则方法。该模型能够克服单一粒度模型难以充分表达约束、求解时搜索最大等不足。     

局部超线性p-基尔霍夫方程的多重解

利用临界点理论研究p-基尔霍夫方程多重解的存在性。在具有局部超线性非线性项时,根据对称山路定理,得到了解存在的充分条件。     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。