-
基于并发事务逻辑的语义Web服务组合
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.王雪松,钱俊彦,赵岭忠,高荣亮 - 计算机科学文章来源： 万方数据 -
基于颜色Petri网的服务组合建模与验证
Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.余晓,吴剑章,王巍 - 计算机系统应用文章来源： 万方数据 -
基于CGI技术的嵌入式动态Web的研究与实现
为了在资源有限的嵌入式平台上有效地实现动态Web,以嵌入式Linux操作系统为软件平台,以mini2440开发板为硬件平台,利用CGI技术实现了动态Web.本文通过比较几种Web服务器的优缺点,选定了性能优异的Boa作为嵌入式Web服务器,并简要分析了Boa服务器的工作原理.文中深入研究了CGI技术原理及实现方法,提出了基于CGIC函数库的CGI应用程序的开发方式,完成了密码验证系统的CGI程序的编写,并实现了Boa服务器与Web页面的动态交互.王宝忠,马成 - 电子设计工程文章来源： 万方数据 -
基于SaaS模式的高校助学贷款平台的设计
针对当前高校助学贷款工作繁琐的工作状态,亟需采用信息化管理手段来减轻工作人员的负担.阐述了基于SaaS模式、采用SOA架构构建的高校助学贷款工作平台的设计方法和实现技术,并对平台实现的关键问题与关键技术进行了分析和讨论.系统平台实现了高校助学贷款工作的信息化管理,提高了学生资助管理部门的工作效率、业务水平及规范化管理水平,有效的节约的用户的使用成本,并为高校信息资源共享建设提供了一种云计算参考方案.罗国玮,兰瑞乐,张宇 - 微计算机信息文章来源： 万方数据 -
一种基于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的安全交互.孙书娟,徐涛,张育平 - 微计算机信息文章来源： 万方数据 -
基于组合模型的转子振动在线预测
转子振动是一个典型的非线性时变系统.针对转子振动在线预测难以实现的主要原因:预测精度和预测速度之间的矛盾,提出了一种基于组合模型在线预测的新方法.该方法将整个预测模块分成两部分:模型生成部分和在线预测部分.模型生成部分根据不断更新的数据不断训练新模型供在线预测部分使用,从而使在线预测部分避开了耗时的模型训练过程,为预测模型的不断更新和在线预测提供了一种新思路,并通过预测精度和预测速度验证了该方法的有效性.付忠广,黎瑜春,栾东存 - 汽轮机技术文章来源： 万方数据 -
中原传统村落的院落空间研究-以河南郏县朱洼村和张店村为例
通过对中原地区两个国家历史文化名村朱洼村和张店村正在居住使用的普通院落的调查,分析中原地区传统村落中院落的内在空间特征,以及分家对院落空间变化的影响,以及院落的组合方式对村落空间肌理和街道产生的影响.李斌,何刚,李华 - 建筑学报文章来源： 万方数据 -
一种新型卸压组合密封结构的设计
为了减少油的泄漏,延长轴承及齿轮的寿命,设计了一种新型卸压组合密封.首先讲述了原来密封结构存在的问题;接着介绍了新型卸压组合密封结构的特点,采用了该密封结构后,减速器可设计成三面放置;最后通过试验,证明该密封结构的有效性.谢亚青 - 液压与气动文章来源： 万方数据
科创中国
