双循环半群及拟双循环半群

本文首抚讨论了双循环半群的几何表示及其同余格。文中证明了双循环半群上的同余或为相等关系。或为群同余。本文第二部分给出双循环半群的一推广。并讨论了这类半群的同余和同余格。     

计算机集成过程系统环境下的决策支持系统

基于炼油生产流程的特点，开发了一种计算机集成过程系统环境下的智能型分布式决策支持系统（ＣＬ－ＩＤＤＳＳ），给出了ＣＬ－ＩＤＤＳＳ的系统总体结构．该系统以面向对象技术开发，功能模块丰富，具有模块化强、易于扩充、易于移植、易于维护、通用性强等特点，可以由此系统抽出一个ＤＳＳ生成器     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.     

一类二阶偏微分方程初值问题粘性解的存在性

利用非线性算子半群理论，证明了二阶抛物型方程的初值问题的粘性解的存在性，其中ｕ０（ｘ）∈ＢＵＣ（Ｒ＾Ｎ），Ｆ∈Ｃ（Ｒ＾Ｎ×Ｓ（Ｎ）），且Ｆ是退化椭圆的。     

MESIDSS 的设计与实现方法研究

阐述了将专家系统的基本概念和实现方法同决策支持系统的开发技术相融合的一种新型的多专家系统集成式决策支持系统（ＭＥＳＩＤＳＳ）提出的必要性，给出了ＭＥＳＩＤＳＳ的基本概念和特征，描述了ＭＥＳＩＤＳＳ的基本结构框架，着重讨论了ＭＥＳＩＤＳＳ中各组成部分所应具备的功能以及系统的实现方法．     

变型算子与半群

Ｊ．Ａ．Ｇｏｌｄｓｔｅｉｎ讨论了线性半群与ｃｏｓｉｎｅ算子的关系，导出了ｃｏｓｉｎｅ算子用半群表示的积分关系．该文利用屈超纯所提出变型算子方法，在抽象正则函数类定义变型算子，导出ｃｏｓｉｎｅ算子用半群的积分表示式     

关于t—半群与广义E—极小半群

引进强分裂元以及广义Ｅ－极小半群的概念，从而给出半群Ｓ为ｔ－半群的充要条件是：具有ＰＩＥＰ或无强分裂元或具有某种ＣＥＰ，若周期半群Ｊ是广义Ｅ－极小半群，则Ｓ是一些ｐ群的并或一个左（或）零半群（或２个元素的半格）或诣零半群或幂零半群。     

应急联动系统集成框架

应急联动系统(coaltion emergency response system,CERS)是大型时空信息应用动态集成系统．CERS需要动态实时集成不同业务的已有或新建应急服务系统,目前的集成大都专注于技术层面的互联互通．本文提出了基于XML(extensible markup language)、web service、ontology等技术的集成框架I~2CERS(integrated infrastructure of CERS),它包括集成总线及adapter service、元数据库及集成协调器与供二次开发的API(application programming．in- terface)及Web service工具集,实现了数据互操作、软件互操作与语义互操作．数据交换格式与通讯协议均用XML定义；所有应用通过SOAP(simple object access protocol)协议实现互操作．进行了I~2CERS的初步实现,结果表明,此集成框架实现了大规模信息及服务的动态集成,能保护已有投资,并能集成网上丰富的商业web service,是一个开放的可扩充的框架．     

含有中间单位的正则半群

讨论了含有中间单位的正则半群的一些基本性质,并给出该类半群的一个结构定理.