基于OWL-S和HTN的Web服务组合原型系统的研究

Web服务是近年发展的一种分布式技术,引起了越来越多研究者的关注.随着网络上Web服务技术描述的信息系统数量的不断增加,将现有的业务流程进行组合以满足较为复杂的业务系统成为当前发展的主要趋势.此外,由于Web服务所处环境的复杂性和动态性,使得Web服务组合任务变得非常困难.因此,Web服务组合逐渐成为语义Web服务领域研究的热点和难点.描述了一个基于OWL-S和HTN的Web服务组合框架,并详细介绍了如何利用HTN规划解决Web服务组合问题的算法思想.通过学生选课服务实验,验证了该方法的可行性.     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

自组网环境下基于组合公钥的分布式密钥管理

结合组合公钥密码体制和秘密共享思想,针对移动自组网环境,提出了一种分布式密钥管理方案.从系统初始化、管理平台构建、节点公私钥生成、私钥矩阵份额更新等4个方面进行了详细描述,并给出了具体实施方法.分析表明,该方案具有安全性高、扩展性强、计算量小、适用性好的特点,特别适合移动自组网环境.     

Enhancing encoding capacity of combinational test stimulus decompressors

While scan-based compression is widely utilized in order to alleviate the test time and data volume problems,the overall compression level is dictated not only by the chain to channel ratio but also the ratio of encodable patterns.Aggressively increasing the number of scan chains in an effort to raise the compression levels may reduce the ratio of encodable patterns,degrading the overall compression level.In this paper,we present various methods to improve the ratio of encodable patterns.These methods are b...     

渝召开涉密信息系统服务支撑体系研讨会

6月10日下午,重庆市涉密信息系统服务支撑体系建设研讨会在五洲大酒店召开。研讨会由重庆计算机安全学会涉密专业委员会、重庆市保密技术检查中心、国家保密局涉密信息系统安全保密测评中心系统测评（重庆市）分中心主办。     

群雄逐鹿三星旗舰3D显示器引爆2011 WCG

2011年4月,三星电子杯世界电子竞技大赛盛大开幕在经过了三星WCG“星”风暴校园行活动上海站的捉对厮杀,又将让北京、沈阳、成都以及广州四大赛区刮起“血雨腥风”。三星电子全线旗舰智能产品强强出击,娱乐、竞技加体验的组合形式也成为比赛之外又一道靓丽的风景。其中．三星旗舰3D显示器在WCG上,成为众多玩家争相体验的产品,引来很多关注。     

基于面向服务架构体系的WEB组合技术应用研究

Web服务是基于XML和HTTPS的一种服务,其通信协议主要基于简单对象访问协议(SOAP),服务的描述通过WSDL、UD-DI来发现和获得服务的元数据。Web服务建好以后,SOAP提供了标准的RPC方法来调用Web service,并意味着下面的Webservice是以对象的方式表示的。SOAP规范定义了SOAP消息的格式,以及怎样通过HTTP协议来使用SOAP。该文基于此,对面向服务架构体系的WEB组合技术应用进行了初步研究。     

基于MEMS组合模块的姿态检测系统设计

在研究两轮自平衡电动车的平衡控制的基础上,设计了基于MEMS组合模块的姿态测量系统.通过对各MEMS传感器输出信号特征的提取、分析,将离散化低通滤波器模型与互补滤波的思想相结合,巧妙地构造出一种便于本系统实现的数据融合模型.同时,提供了一种基于MEMS组合模块姿态检测的低成本、可行性方案.     

北京：集智能之大成

8月24日,北京市交通委发布未来5年北京交通信息化发展目标,称“十二五”期间,北京市规划投资56亿元,以提升智能交通。按照规划,北京交通将建成交通运行协调指挥中心（TOCC）和路网运行、运输监管、公交安保三个分中心,形成一体化、智能化综合交通指挥支撑体系,成为数据共享交换中枢、综合运输协调运转中枢、信息发布中心,紧急情况下为交通安全应急指挥中心。     

基于免疫遗传算法的Web服务组合方法

针对Web服务组合提出一种免疫遗传算法(IGA)。该算法将免疫原理引入遗传算法(GA)中,提高算法的整体特性。主要表现在免疫选择可有效地防止早熟,基于免疫记忆的子群体信息交换策略可加速收敛。GA在Web服务选择上存在不足,而IGA可以在备选的Web服务中进行有效的选择并最终组成Web服务组合,提高服务组合的质量和收敛速度。仿真实验结果表明IGA比GA更有效。