抽象二阶边值问题正解的存在性

讨论了有序Banach空间中的非线性二阶Dirichlet边值问题正解的存在性，并在非线性项满足一个易检验的序条件下，应用凝聚映射的拓扑度理论获得了该问题正解的存在性结果．     

按需仿真系统仿真建模及并行实现框架

基于按需仿真（ＳＯＤ）系统概念及体系结构特点,分析了系统仿真建模形式化描述的一般原则和Ｚｅｉｇｌｅｒ提出的离散事件系统形式化描述理论,描述了多媒体对象的基本结构,将面向对象的多媒体动态建模理论、人工智能引入按需仿真系统建模理论研究,建立ＳＯＤ系统仿真建模的形式化描述结构,在此基础上采用逻辑仿真处理的并行执行机制进行仿真建模不同阶段的信息处理,提出了ＳＯＤ仿真建模的分布并行实现框架,并分析讨论了并行处理层次化问题     

CSCW环境下多数据库的操作语言模型

基于多数据库面向用户交互操作的特点,分析了ＣＳＣＷ环境下多数据库的多态性、自治性及分布性,提出了ＣＳＣＷ环境下对多个数据库的操作模型,以及用户对多数据库操作的语句模型及其实现策略,并进行了计算机模拟实现．结果表明,ＣＳＣＷ环境下对多个数据库的操作语言模型具有较好的性能．     

条件(E′)与Von Neumann正则幺半群

证明了幺半群S是von Neumann正则的当且仅当所有满足条件（E′）的S^-系是平坦的。     

CSCW系统的共享运行空间

ＣＳＣＷ系统是一个支持多用户协同工作的多应用程序集成系统。从用户角度来看存在着共享工作空间以支持多用户的协同工作；从应用程度角度观察，提出了共享运行空间这一技术概念支持应用程序的开放协调运行。并通过对共享运行空间与用户，程序和共享工作空间等实体的接口通道详细分析，提出了共享运行空间的功能框架模型。     

基于二次退火机制的改进多态蚁群算法

利用多态蚁群算法和模拟退火算法的优点提出一种新的融合优化算法。研究结果表明:模拟退火用于优化每轮迭代后的路径,使得信息素释放更好的反映路径的质量;退火思想同时用于信息素更新机制,避免算法早熟、停滞,较差的路径按照退火竞争机制释放信息素;由于每轮迭代最优路径释放信息素最多,对其进行3-opt优化,提高搜索效率。同时,新发现的最优路径允许释放更多的信息素,使得蚂蚁在后续迭代中能够记住这条新路径。实验结果验证了算法的有效性。