摘要：针对普适计算背景下超大型信息系统体系架构建模和描述存在的局限性,提出了一种面向"社区"的体系架构(COA)模型.COA提供了新的巨型信息系统建模与描述方法,以及超大型信息系统规划与设计的新思路.在COA模型中,Community作为对单个Agent的聚合,成为一种新的建模元素,正如构件是对象的集成和聚合一样.通过在传统的WRIGHT语言基础上进行适当语法扩充,以及在操作语义层面采用通信序列进程(CSP),形成一种面向COA的新型体系架构描述语言.最后,结合一个普适计算的具体应用场景,给出了一个基于COA的体系架构的描述实例,并阐述了COA模型在普适计算环境中的作用和意义.

摘要：从发明问题解决理论的技术系统进化规则视角,结合软件技术自身发展的特点,分析了软件体系架构的技术进化路径和趋势。在此基础上,对当前主流的计算机辅助创新软件产品的体系架构进行了对比分析。根据软件体系架构技术的进化规则和趋势,以及计算机辅助创新系统自身的发展和演化特点,综合运用当前主流的面向服务的体系架构模型对计算机辅助创新软件的体系架构进行分析和改进设计,得到了一个跨平台、更灵活、复用度更高、更加松耦合、具有一定前瞻性和实用参考价值的新一代计算机辅助创新软件体系结构设计框架。

摘要：同传统的协作式工作平台或工作流系统相比,电子政务对安全性具有更高的要求。根据我国当前电子政务建设中存在的各种安全问题,着重介绍了软件Agent技术,并分别讨论了如何在电子政务的公众网、外网、内网和公文流转的安全设计中利用软件Agent技术来提高系统的安全性。

摘要：针对数据模型复杂语义建模的应用需求,以及目前数据模型范畴论建模方法理论研究与工程实践方面存在的不足,建立了一种素描数据模型。该模型在模型范畴的形式化框架内,用与特定数据库建模语言无关的范畴论对数据库状态的一致性转换进行了形式化描述,扩展了传统ER模型的表示与处理功能。基于素描对图形化建模规范的支持,设计了ER模型向素描数据模型转换的算法,以精确的语义联系保证模型转换的语义完整性,并通过实验与对比分析了素描数据模型与算法的优势,为数据模型的范畴论建模方法研究提供便利、高效的形式化理论框架。

摘要：归纳数据类型是类型论研究的重要分支,传统的数理逻辑或代数方法侧重于描述归纳数据类型的有限语法构造,在语义性质与归纳规则的分析与设计方面存在一定的不足。基于范畴论的方法,在集合范畴的框架内给出谓词的形式化定义,分析谓词范畴与代数范畴的构成与性质,并探讨集合范畴上自函子到谓词范畴上自函子的提升,最后利用伴随函子及其伴随性质深入分析了归纳数据类型具有普适意义的归纳规则。

摘要：WAP 2.0是WAP协议的最新版本,基于WAP 2.0技术设计与实现了广州大学城校园门户系统。通过对部分典型校园门户的分析比较,详细探讨了如何设计一个集成多个系统的校园门户,并就实现中遇到的图像浏览业务提出了图像自适应的实现流程。目前该校园门户运行良好,能满足大学城近30万师生的需求。

摘要：在张星明等人所做工作的基础上,进一步从李雅普诺夫稳定性原理出发,改进性地设计了具有全局渐进稳定性和全局指数稳定性的模糊竞争Hopfield神经网络(简称GS-FCHNN),用GS-FCHNN进行彩色图像分割,从彩色图像在CIELab空间的色彩分布图获得具有明显色差的色彩值,取该值作为模糊核,从而为神经元建立基于最大隶属度原则的状态函数,实现彩色图像的模糊聚类,达到图像目标分割的目的。实验结果表明:较FCHNN算法,运算时间有明显加快,分割效果不受色彩分布的复杂度的影响,对高斯噪声的自适应能力得到进一步加强。