过程本体论导向的服务集成

自动地、按需集成Web services要求解决高层次目标规划问题和任务分解,要求集成是在概念层次上进行的。通过引进带覆盖声明的、单调性的继承机制,建立了一种新的过程本体论模型。过程继承蕴含了任务的分层递解关系,使得过程本体论可表示面向用户的问题解决方案。在该基础上提出了一种在知识层级上自动集成Web服务的框架。     

基于网格的城市应急联动中心方案设计研究

首先介绍了网格的基本思想和开放网格服务体系结构的概念,在此基础上提出了城市应急联动中心方案的基本设计,并对系统的体系结构、主要子系统、安全控制策略等关键性问题进行了分析,并给出了数据资源挖掘和安全委托与单点登录实例。     

软件方法论研究中的若干问题

软件发展到今天,已出现了一大批较为实用的软件工具。这些工具以成熟的技术为基础,别从不同的开发阶段、从不同的设计角度、依据不同的软件开发信息完成一个局部的开发功能例如,从软件开     

支持可执行定义的进化式软件开发模型

根据MHSC(methodology for high-level specification construction)方法论,提出一种 支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型 的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模 型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证.     

基于模板工程的软件开发自动化框架研究

为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用，提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素，在对软件开发自动化本质的深入分析基础上，基于软件系统无处不在的模式，引入模板工程的概念，通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器 3个方面的映射模式，并结合了具体模板实例加以说明.结果表明，Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程，这个转变显著提升了软件开发的自动化程度，提高了软件生产率.     

一个基于交互式零知识证明的身份鉴别和数字签名协议

提出一个新的基于零知识证明的身份鉴别和数字签名协议，该协议的安全性建立在对大数的因子分解和RSA加密算法破解的难度上的，该协议可以被方便地应用到智能卡系统中去，与Nyang的协议相比，此协议在通信量与前者相当，而且要达到零知识主明所需要的轮数比Nyang的协议要少，在相同轮数情况下该协议可以提供比Nyang的协议更高的安全性能，在一轮循环情况下协议可以达到的最高安全程度与用户身份无关，还将协议应用于实现数字签名、多人数字签名和（N，T）门限数字签名协议。     

观点挖掘综述

随着互联网技术的飞速发展,博客、社交网络、微博等平台的出现,使得人们在网络上发表个人观点变得更为方便快捷.从海量的数据中提取出消费者、商家、政府等群体需要的信息,并对其进行分析、总结,从而形成有针对性的、可读性强的分析结果.以观点挖掘的流程为线索,从观点提取、极性分析、观点总结等方面对观点挖掘做了较为全面的分析.其中观点提取部分介绍了域依赖性的概念,并例举观点句提取所采用的主要技术;极性分析部分对有监督学习与无监督学习、定性判断极性与定量判断极性进行对比;而观点总结部分则简要介绍了基于方面、观点对比和关键语句等总结的形式.还介绍了在不同的挖掘粒度上所运用的技术,涉及信息检索、自然语言处理、机器学习等.最后,总结了观点挖掘技术中依然存在的具有挑战性的问题,并预测未来观点挖掘领域的研究趋势.     

一种基于上下文索引的文本匹配框架

为了提高信息挖掘方法的效率和动态性,支持在线定义知识提取模式,提出一种快速文本匹配框架.该框架包括上下文索引、上下文挖掘语言、上下文匹配算法等模块.框架从索引中直接获得提取内容的上下文信息,无需依赖文本过滤,从而提高信息提取性能.理论分析和实验表明：本框架提取方法同文本提取方法、倒排提取方法等相比,其运行时间在不同大小和结构的数据集上更为稳定高效,提取模式的长度对本框架的影响较小,因此,适合海量数据的在线提取.     

面向QoS全局优化的大规模Web服务组合方法

把多个简单Web服务组合成为更强大的组合Web服务是面向服务计算的目标之一。由于存在多个功能相同但服务质量属性不同的候选Web 服务,因此需要针对服务质量要求进行服务组合。鉴于Web服务组合规模的不断增长和特定领域的时限要求,面向实时大规模Web服务组合问题的快速收敛算法尤为重要,然而目前相关工作还很少。论文提出一种新的Web服务组合算法GAELS（Genetic Algorithm Embedded Local Searching）,运用高适应度初始种群和局部搜索的变异策略,加快收敛速度。通过实验评测表明与简单遗传算法相比,GAELS算法能更快得到近似最优解,且随着服务规模增长,拥有更好的适应性。     

横切侵入性和横切不变性

由于面向方面语言的不知觉性和多量化特点,模块分析和模块推理比传统方法学更加困难.为了解决面向方面语言的横切安全和横切质量问题,使用前提条件和后验条件约束横切模块和被横切模块,然而在横切过程中寻找前提条件和后验条件的失败原因十分微妙和复杂.为了分析一个横切关注点的行为影响,程序员需要考虑方面本身和这个方面影响的系统其他部分.当几个方面编织在同一个切入点,危险干扰分析变得更加复杂.类似面向对象语言中的行为子类型概念,引入横切不变性概念.为了检查由于破坏横切不变性引起的行为错误和其他4种简单行为错误,基于软件行为契约提出一个横切不变性检测算法.为了形式化这个算法,提出Crosscutting Contract演算和一组契约求解规则,并通过定义和证明契约完备性来保证契约求解过程的正确性.还使用一个例子说明如何使用这些契约求解规则检测和分析行为错误.