情境感知普适服务平台PerServ

研究了普适服务协同机理,结合普适环境下情境信息的特点,提出了情境感知的普适服务平台PerServ.用户通过平台提供的接口提交任务,系统解析用户任务,并将其指派给当前可用的普适服务.该平台能够有效获取、管理和使用情境信息.服务组合过程考虑了服务功能,而服务执行过程则进一步考察了服务的情境信息,以此构建服务路径,在运行时根据情境信息的变换,动态演绎服务路径,从而有效满足用户需求.PerServ平台在实现中采用agent技术,服务agent用于设备管理和服务注册,并且实时接收系统的指令,执行相应的服务,服务agent在多个服务协同工作过程中起到了服务协调者的作用.     

关于系数平方增长的带跳BSDE的解(Ⅱ)

进一步讨论了系数b(t,y,q,p,ω)关于|q|为平方增长的倒向随机微分方程(BSDE):Yt=Y ∫Tb(s,ys,qs,p-s,ω)ds-∫T t∫zP~s(z)Ⅱ(dz)ds-∫Tt~qsdws-∫Ttzp~s(z)N~k(ds,dz),t∈[0,T];及反射BSDE的解的极限定理、解的比较定理及解的惟一性定理.并分别给出了例子.     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

数据中心应用感知的动态资源配置研究

面向云计算数据中心,该文研究了应用感知的动态资源配置及其实现方法。采用马尔科夫过程对应用进行建模,并计算各功能模式下资源需求的变化关系。以保证应用执行性能为前提,提出基于执行等待时间期望的资源评估算法。提出应用感知的动态资源配置算法并和静态最大资源配置算法进行了对比实验。实验结果表明,在相同的应用负载下,该文算法相对于最大资源配置算法能够减少49%的物理机使用量;在给定同样的物理机数时,该文算法对应用请求的接受率比最大资源配置算法提高约45%。     

基于平面图的改进Dijkstra算法研究

针对在平面图应用条件下，对应用Dijkstra算法进行最短路径搜索的设计方法和运算过程进行分析，从应用的角度，改进Dijkstra算法，设计一种新的数据存储结构，并建立简洁的估价函数，使基于平面图的动态最短路径规划算法在时间复杂性和空间复杂性均达到线性．     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

Web服务演化综述

随着Web服务应用越来越广泛,因新的需求或自我完善的需要,服务需进行持续不断的演化,Web服务演化问题成为研究热点。首先对Web服务演化的研究进行了分类;然后从演化需求分析、演化影响分析、演化实施三个方面对现有研究进行了分析与总结;最后,针对当前研究的不足,总结了Web服务演化需要进一步加强的研究方向。     

基于工程对象的专家系统开发技术

提出了工程对象的概念,结合计算机辅助工艺设计系统的应用开发,论述了面向工程对象的智能型专家系统的知识表示及其分析、运算和推理过程,介绍了实际设计系统时要解决的关键技术问题.将工程对象中的子对象分类管理,降低了专家系统开发的难度.以热处理CAPP专家为例,描述了系统中使用的主要工程对象,并给出了该系统设计的一个工艺卡.     

一种面向语义的普适服务自动合成方法

为了解决普适环境下服务自动化组合问题,该文采用了有色Petri网对普适服务进行建模,该模型良好地描述了普适服务的功能性语义,提出了普适服务自动合成算法。用户提交预期的服务行为、输入和输出信息,系统可以自动化地构建服务路径,将可用普适服务按照一定的逻辑顺序组合成为一个合成服务。该算法根据用户不精确的需求,将可用服务自动生成能够覆盖用户需求的服务合成路径,具有更大的灵活性。     

基于Git日志的即时软件质量分析框架

首先, 针对目前现有技术无法自动抽取软件仓库、 标记数据、 构建质量分析模型和分析软件质量的问题, 提出一个针对Python项目的即时软件质量分析框架GIF. 其次, 基于GIF抽取并标注GitHub上最受欢迎的前10个Python项目, 使用3个经典分类器（逻辑回归, 朴素Bayes和随机森林）在AUC和F₁值评价指标上进行实验验证. 实验结果表明, GIF框架可即时、 有效地识别Python项目中的软件缺陷, 是一个方便使用的即时软件质量分析框架.