基于图的Web服务组合优化的研究

单个Web服务难以满足实际应用的需求，如何组合已有的服务，形成新的服务，已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS（Quality of Service）。对于一些提供相似功能的Web服务，服务质量是判断是否选择此服务的关键因素，组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想，针对当前服务组合存在的问题，提出了一种基于QoS的服务组合方法，并给出了构建基于QoS的Web服务组合及选择最佳服务的策略，通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时，也满足了用户对服务质量QoS的需求，实现了需求服务的优化。     

TLS协议认证测试模型与形式化分析

TLS协议是一种重要的传输层安全协议,得到了广泛的应用。在结合串空间理论和方法的基础上,通过构造TLS握手协议的认证测试模型,提出了TLS协议的DH参数签名认证测试方案,分析和证明了协议的保密性和认证性等关键属性。结果表明TLS协议满足其安全性说明。     

《大学计算机基础》课程教学现状与应对策略

该文分析了非计算机专业开设的《大学计算机基础》课程所面临的形势和任务等,针对存在的现状,从授课对象、教学内容、教学方法和考核方式等五个方面阐述了解决问题的方法,力争提高大学计算机基础课程教学质量和教学效果。     

入侵检测技术研究

随着计算机网络的飞速发展,网络安全越来越受到人们的重视。从入侵检测技术的基本概念和发展入手,对入侵检测系统模型和入侵检测过程进行了研究和分析。最后指出了入侵检测系统面临的主要问题及今后的发展趋势。     

DS1620温度传感器及其应用

介绍了一种性能稳定可靠的数字温度传感器DSl620，及其结构组成、特点和工作原理。给出了DSl620在温度箱上的应用。详细叙述了温度箱硬件部分的器件选择和工作原理，阐述了软件部分的设计过程，并给出了主流程图和主要子程序流程图。     

基于ASP的网上考试系统的设计与实现

介绍采用浏览器/服务器(B/S)模式设计并实现的网上考试系统,系统由前台界面和后台数据库组成,前台便于各级管理员及考生进行操作,后台实现整个考试中的科目、试题争试卷以及学生信息等的管理.     

基于QoS的两阶段Web服务选择方法

分析了已有的服务选择方法所存在的不足,根据基于QoS的服务选择方法类型的特点,提出采用QoS属性计算与QoS语义二者结合的方法进行服务选择.通过功能分类、服务相似度比较、QoS排序选择筛选掉大量Web服务,降低了全局算法的计算量,通过最短路径算法进行服务选择克服了局部优化无法考虑全局QoS约束的缺点,达到既满足组合服务中单个服务选择的局部约束条件,又满足组合服务全局约束条件的效果,最终使用户得到相对最优的组合服务.最后通过实例对提出的方法进行了验证.     

Web服务组合形式化验证方法研究

Web服务组合验证是确保组合服务正常执行的关键,现有的许多Web服务组合描述都是半形式化的,容易出错和不容易检测,因此正确性难以保证。采用转移矩阵方法来分析Web服务组合中存在的死锁问题,并采用关联矩阵的方法确认组合的可达性。利用模糊推理Petri网算法进行可信度验证、计算服务组合的可信度及可达性,对于Web服务组合是一种可以推理的形式化验证方法。实验结果表明这种方法是一种很好的验证方法。