【摘 要】
：
在Web服务组合和交互之前，必须保证服务间的兼容性和互操作性.死锁指交互双方都处于等待接收消息的状态，导致流程非正常停止，进而形成的服务不兼容问题.现有自动化适配方法认为死锁不可被自动适配，而本文则通过将死锁适配问题转化为对线性逻辑命题的证明求解，实现自动化的服务流程死锁适配.同时，本文还将Pi演算与线性逻辑结合，实现适配器流程的快速提取.此外，进一步利用线性逻辑的资源敏感属性，保证适配后的服务流
【机 构】
：
浙江大学 计算机学院，浙江省杭州市 310012
论文部分内容阅读
在Web服务组合和交互之前，必须保证服务间的兼容性和互操作性.死锁指交互双方都处于等待接收消息的状态，导致流程非正常停止，进而形成的服务不兼容问题.现有自动化适配方法认为死锁不可被自动适配，而本文则通过将死锁适配问题转化为对线性逻辑命题的证明求解，实现自动化的服务流程死锁适配.
同时，本文还将Pi演算与线性逻辑结合，实现适配器流程的快速提取.此外，进一步利用线性逻辑的资源敏感属性，保证适配后的服务流程满足原有非功能性约束.
其他文献
分析了一种双因素匿名无线漫游协议，指出该方案不满足强双因素安全,存在多米诺效应、特权内部人员攻击、用户无法更新口令等缺陷．提出了一种改进协议，实现了强双因素安全．与原协议相比，改进协议弥补了原协议的安全缺陷，同时提高了安全性，仅在计算量上略有增加．
针对新型网络计算模式下实体间的信任关系问题，提出了一种基于实体上下文的多维信任度测模型．该模型以实体上下文和时间戳作为评估条件，采用多维信任测量指标来评估实体在某上下文的交互满意度．提出了一种基于交互满意度和时间衰减因子求解实体直接经验值的方法．在推荐信任计算过程中，采用了直接推荐信任和间接推荐信任相结合的综合评估策略，引入了实体评分相似度作为计算直接推荐信任值的权重，在间接推荐信任值计算中提出了
普适计算中计算机系统凭借情境感知和人工智能技术获得了一定的认知和决策能力，改变了它在人机交互过程中的地位，进而引出了由计算机主动发起的被动态交互模式。桌面计算时代行之有效的人机交互技术在被动态模式下不再有效。论文从认知心理学的角度出发，分析了人机交互各个阶段对用户注意力的需求，建立了主动态与被动态交互过程模型，分析了常见人机交互技术在两种模式下的可用性，提出了一种基于物体功能可用性的信息输出方式，
普适计算中信任模型存在用户不愿意提供推荐意见的问题，即使存在激励措施，仅对自身利益感兴趣的用户往往为了最大化自身的利益而故意策略性的谎报他们的意见．本文提出了一种基于VCG(Vickrey-Clarke-Groves)机制的防护策略信任机制,用以获得用户的真实推荐．该机制实现了交互结果观测前的快速支付．一种基于连续多数加权算法的加权VCG防护策略机制被用于调整推荐权重．本文还给出了一般形式的信任决
普适健康看护是一种不限制监护对象行动自由，可以提供持续健康监护和实时异常发现能力的全新健康看护模式．比较健康监护的实时性，监护效率以及异常发现的准确性，当前的健康监测设备与系统的监护能力与理想的普适看护服务需求存在相当大的差距．本文通过调研普适看护设备与原型系统来研究普适看护服务的系统架构模型．通过介绍了一个由自主研发的，可提供实时持续心电异常监护服务的普适心电看护原型系统-STAR,本文详细分析
电子断层技术允许在分子分辨率级上研究复杂生物大分子的三维结构．迭代重构算法是解决其三维重构问题的有效算法，但由于收敛速度慢，计算量大没有得到广泛应用．本文针对联合代数迭代算法的缺点提出了一种针自适应联合代数迭代算法，采用四种关键技术提高算法的收敛速度和节省运算时间．实验结果表明这些关键技术能够加快结果的收敛速度，提高重构结果精度．而且，为了解决三维重构计算需求量大的问题，本文提出了一种基于GPUs
针对无线传感器网络中控制信道饱和问题以及三重隐终端问题，提出了一种异步多信道MAC协议-RIM.为验证RIM的实际性能，进行了模拟和真实实验，实验结果表明：与其它多信道MAC协议相比，随着信道教及网络负载的增加，RIM增加了吞吐量，降低了传输所消耗的能量，达到了能量有效的目的.
随着无线传感器网络的发展以及WiFi基础设施的广泛应用，室内环境基于位置服务成为人们关注的焦点.本文设计及实现了一种基于WiFi SoC的低功耗定位节点.该节点采集室内环境中多个无线接入点的信号强度，发送给服务器进行节点定位.该节点联合采用周期性睡眠与基于加速度传感器的运动检测机制降低能耗.
传感器网络是物联网和未来智能化世界的核心技术，被认为是未来与高速Internet网，高速移动移动网并列的三大信息基础设施之一，它跨越设备种类多，需求多样性强，工作环境差异性大，对软件设计和软硬件交互都提出了较高要求.本文设计并实现了一套基于服务组件架构的可重构低功耗传感网内核，通过服务组件架构和层次化解决平台差异性和多样外设的问题，并在此基础上支持可重构快速组装应用系统;成功融合了基于事件的模式和
本文提出了基于合作博弈的网格资源管理算法CGRM和作业调度算法GSA-CGRM。算法思想是将资源作为合作博弈的参与者，作业在网格环境中的等待时间作为合作博弈的收益函数，网格环境中的作业到来是一个随机过程。算法针对某一时间提交到网格环境中的作业量，通过合作博弈寻找资源之间接收作业量的纳什均衡点，形成资源合作联盟，来满足用户应用程序的需求，参考Min-min的作业调度策略，将网格中的作业按照资源接收作