A formal model for the interoperability of service clouds

Large-scale service-oriented computing is based on the idea that services from various servers are combined into one distributed application. Referring to a collection of services on one server as a ??service cloud??, the problem investigated in this paper is to define formal high-level specifications of such distributed applications and to enable the location of suitable services for them. Based on the language-independent model of Abstract State Services (AS²s), which serves as a universal integrated model for data and software as services, we extend AS²s by high-level action schemes called ??plots?? as a means to specify permitted sequences of service operations. On these grounds, we develop a model for service mediators, that is, specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for slots of mediators and services. For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service. Furthermore, the service must be semantically adequate, which requires the use of a service ontology.     

山东智慧旅游研究

文章对山东旅游行业的发展现状进行了调查、归纳和总结,提出了山东智慧旅游发展的思路和重点,并从山东旅游行业四个主要应用群体（旅游管理部门、景区、酒店和旅行社）出发,提出了山东智慧旅游解决方案。     

带以太网接口的GSM无线数据传输系统设计与实现

较为全面地介绍了当前远程监控系统的应用现状,并对现有传输系统的特点进行了分析和研究。在此基础上,提出了适用于远程监控系统的、基于GSM的无线数据传输系统的总体架构及设计方案,详细介绍了带有以太网接口的、基于GSM的无线数据传输系统的硬件电路与软件设计与实现方法。该系统适用于各种远程监测监控系统,对提高远程监控的数据传输效率和降低监控系统的运营成本具有重要意义。     

基于SNS的网络挖掘系统研究

介绍网络挖掘系统的功能模型及其采用的体系结构．并重点阐述系统采用的社团发现技术、文本提取和文本分类等关键技术,并对存在的问题进行分析和总结。     

光催化降解废气过程中紫外辐射照度模拟和优化

为在光催化设计中合理布置紫外灯,减少光在传输过程中的损失,概括总结径向辐射模型、多点源叠加近似辐射模型和离散坐标辐射模型等3种经典的紫外辐射物理模型;基于离散坐标辐射模型模拟某公司生产的光催化氧化废气处理装置的紫外辐射照度;通过调整灯管布置距离改变光强分布,并拟合光催化单元和光催化网表面的平均紫外辐射照度随灯管布置距离变化曲线.结果表明,距离参数在55～65 mm时,该光催化反应装置的光能利用率较好;紫外灯的合理布置可有效提高光能利用率.     

A novel dual-biological-community swarm intelligence algorithm with a commensal evolution strategy for multimodal problems

The Journal of Supercomputing - For sophisticated applications, engineers should always consider multi-objective, multi-task or multi-modal problems, especially in the Internet of Things, such as...     

Modeling polypharmacy effects with heterogeneous signed graph convolutional networks

Applied Intelligence - Pharmaceutical drug combinations can effectively treat various medical conditions. However, some combinations can cause serious adverse drug reactions (ADR). Therefore,...     

Influential facilities placement over moving objects

Distributed and Parallel Databases - In this paper we propose and study the problem of k-Collective influential facility placement over moving object. Specifically, given a set of candidate...     

动态包过滤防火墙规则优化研究

传统的静态防火墙是根据预先规定的特定的过滤规则对访问网络的数据包进行简单过滤,难以防范越来越复杂动态的网络攻击,同时随着静态过滤规则数目的不断增大,规则的管理也越来越复杂。而动态包过滤防火墙具有传统防火墙的功能,更能提供对运输层完整的控制能力,简化了对规则集的匹配工作,提高了网络通信速率。文章对动态包过滤防火墙的工作原理和过滤规则的优化进行了研究,能在不影响网络安全访问的前提下,提高过滤规则表的管理效率。     

基于无线通信技术的FFU风机群控系统

针对大型洁净工程实现自动化控制的需要,利用数字无线通信技术,设计了一种新型网络化的多风机过滤器单元(FFU)群控系统,详细介绍了系统的组成实现原理和软硬件设计方法;系统间采用基于射频收发芯片nRF2401实现数据的无线收发,有效地减少了系统布线和设计成本,提高了系统的组网灵活性和适用性;对设计开发的系统进行了测试实验,实验结果表明该系统数据通信正确可靠,系统具有结构简单、组网灵活、监控效果好和可扩展性强等优点。