-
基于并发事务逻辑的语义Web服务组合
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.王雪松,钱俊彦,赵岭忠,高荣亮 - 计算机科学文章来源： 万方数据 -
基于CGI技术的嵌入式动态Web的研究与实现
为了在资源有限的嵌入式平台上有效地实现动态Web,以嵌入式Linux操作系统为软件平台,以mini2440开发板为硬件平台,利用CGI技术实现了动态Web.本文通过比较几种Web服务器的优缺点,选定了性能优异的Boa作为嵌入式Web服务器,并简要分析了Boa服务器的工作原理.文中深入研究了CGI技术原理及实现方法,提出了基于CGIC函数库的CGI应用程序的开发方式,完成了密码验证系统的CGI程序的编写,并实现了Boa服务器与Web页面的动态交互.王宝忠,马成 - 电子设计工程文章来源： 万方数据 -
基于SaaS模式的高校助学贷款平台的设计
针对当前高校助学贷款工作繁琐的工作状态,亟需采用信息化管理手段来减轻工作人员的负担.阐述了基于SaaS模式、采用SOA架构构建的高校助学贷款工作平台的设计方法和实现技术,并对平台实现的关键问题与关键技术进行了分析和讨论.系统平台实现了高校助学贷款工作的信息化管理,提高了学生资助管理部门的工作效率、业务水平及规范化管理水平,有效的节约的用户的使用成本,并为高校信息资源共享建设提供了一种云计算参考方案.罗国玮,兰瑞乐,张宇 - 微计算机信息文章来源： 万方数据 -
基于颜色Petri网的服务组合建模与验证
Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.余晓,吴剑章,王巍 - 计算机系统应用文章来源： 万方数据 -
一种基于CloudSim的Web集群节能部署仿真方案
当研究人员提出新的Web集群节能部署策略需要对其进行评测时,进行实际测试需要消耗大量的设备、时间及能源,为此提出一种基于Cloud Sim的节能部署仿真方案,其支持周期式的和条件式的部署触发方式.该方案能仿真请求的产生、调度和服务,以及服务节点的开关和CPU频率调整,并计算平均响应时间、能耗等性能指标.由于考虑了现实中服务节点的各种可能状态及状态转换,因而能耗计算较为准确.良好的数据结构设计使得该方案结构清晰、扩展性好.采用该方案对提出的基于概率调度的贪婪部署策略进行了仿真,仿真结果验证了仿真方案的可行性.熊智,陆红燕,曾胜涛 - 系统仿真学报文章来源： 万方数据 -
汉语视觉行为动词语法化分析
视觉行为动词是对人类视觉行为的状态、过程和结果等进行描述的动词.视觉行为动词的语法化具有渐变性,在词义的"虚化"程度上存在着差别.语法化现象比较典型的是"看""见""望""相"四个.通过比较分析发现,由于语义特征方面的不同,它们在语法化的动因和过程中均存在一定差异.武文杰,徐艳 - 河北大学学报(哲学社会科学版)文章来源： 万方数据 -
基于Web的三维市政管线辅助规划审批系统的设计与实现
市政管线规划管理是城市规划管理的重要组成部分,建设便于数据共享、信息服务的基于Web模式的三维管网仿真信息管理系统对其有着非常重要的意义.本文结合市政管线工程规划报批业务,遵循SOA服务体系,采用云技术、Web Services技术和微软Silver Light技术,以优秀的Web用户体验实现了一种三维立体的、多层面的、新型有效的在线辅助市政管线规划报批的工作系统.研究结果表明,该系统能够切实提高管线工程规划审批的效率和准确性,对相关报批系统的建设具有参考价值.周京春,朱兰艳,危威 - 工程勘察文章来源： 万方数据 -
基于WebSphere和.NET平台的异构平台安全交互
目前存在大量异构的SOA平台,不同平台下WebService标准繁多且技术复杂,因此,异构平台Web Service的安全交互成为急待解决的问题,而SOAP消息的安全性是决定Web Service安全的重要因素.本文针对异构平台间SOAP消息的安全性问题,提出了基于WebSphere和.NET异构平台间消息传递的安全处理模型,该模型采用基于逻辑谓词的方法实现异构平台的安全策略集成,使用集成安全策略对SOAP消息进行签名和加密处理.通过实验验证,该模型保证了SOAP消息在异构平台间传递的安全性,实现了异构平台间WebService的安全交互.孙书娟,徐涛,张育平 - 微计算机信息文章来源： 万方数据 -
基于分层语义的体育视频标注及索引研究
如何在海量的图像、视频和音频数据中快速找到用户关心的内容是检索领域研究的热点之一.从体育视频结构的特点出发,分析并给出一种语义标注及分层索引方法,对于一个体育视频数据,可通过与特征库匹配自动完成视频数据标注.检索时根据分层分级结构索引,能快速定位搜索范围,并根据用户反馈信息,执行一个新的动态学习检索过程,提高检索效率.张环,杨晓波,黄操 - 计算机应用与软件文章来源： 万方数据 -
仿真体系结构语义互操作研究
实现仿真体系结构间的语义互操作是构建大规模仿真系统的理想方法.基于仿真体系结构的对象模型符合MOF建模规范这一特征,建立了支持仿真体系结构元模型和对象模型层的语义互操作框架.提出了通过多个体系结构元模型的组合来构建通用数据交换模型元模型的设计思想,保证了异构对象模型中对等模型间的映射,避免了信息的丢失.基于此框架,确定了HLA-TENA语义互操作方案,构建了防空训练原型系统,为构建联合试验环境提供了一条有效途径.董志华,朱元昌,邸彦强,孟宪国 - 系统仿真学报文章来源： 万方数据
科创中国
