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.     

基于SSL技术实现网络通信双向加密

加密技术对于保障信息安全具有举足轻重的作用。由于无线网络的广泛应用,我们无法控制攻击者获取信号,但是,我们可以使用强加密让攻击者无法解析原文。SSL技术就是一种很好的加密机制。为此,文章分析了SSL3.0协议的作用,并以Web通信和FTP通信的双向加密为例,介绍了SSL技术实现方式。     

一种相容决策表的属性值与属性约简方法

针对相容决策表,另辟一种数据约简思路,与传统数据约简方法不同的是,本文方法考虑属性值约简与属性约简之间的关联,该方法首先进行属性值约简,然后再进行属性约简,本文并给予了充分的证明,而普通的方法并没有考虑它们之间的联系,并有许多冗余的比较操作。     

江淮沟通段切岭段复合高边坡稳定问题及加固措施

江淮沟通段是引江济淮工程的关键段落,该渠段地形和水文地质复杂,渠段上部边坡主要是膨胀土,下部则是遇水崩解的软岩,不利于边坡稳定。以江淮沟通段切岭段最深断面45+358为研究对象,详尽剖析了该断面的工程和水文地质条件及其存在的主要工程地质问题,然后针对复合高边坡稳定问题提出了系统的解决方案。     

SSL协议应用中安全技术问题探究

随着信息化浪潮的发展,SSL协议的应用非常普遍,但是在SSL协议应用的工程实践中也发现了一些应用模式所导致的问题,文章首先介绍了SSL协议的安全技术应用,重点分析了其中安全技术问题的表现,并通过国产密码算法与SSL协议之间应用兼容性的问题分析,提出了一些SSL协议应用模式的建议。     

自洁式超声波在线过滤器的研制

我国地表水浊度高,极大地影响基于光度法的在线分析仪器正常运行;以自主创新的在线采水过滤头为核心,提出一种新型的自洁式超声波在线过滤器,由超声波电源、采水和反冲洗模块、嵌入式控制模块等组成,具备定时定速过滤采水、超声波反冲清洗等功能;实验结果表明,过滤器能够连续地自动滤除水中的悬浮物质,并且不影响目标物的化学形态,对同一水样的浊度去除率维持在85%左右。     

多液压缸采样臂同步运动控制的设计与实现

针对移动式煤炭采样车上多液压缸采样臂的结构、功能及其技术要求,分析了液压采样臂采样工作时各液压缸的运动规律和控制难点.为解决采样臂的多液压缸联动以实现终端执行件采样头的位置和角度控制问题,通过软件建立采样臂三维模型,对采样臂采样时各液压缸的运动轨迹进行仿真规划,提出并使用一种基于Simotion C240的虚拟主轴同步的方法,实现多液压缸同步控制.所提出的方法成功地应用于某型号煤炭采样车的控制,满足了自动采样过程中螺旋采样头定点定角度采样的动作要求,取得了实际的应用成果.     

A Taxonomy of Representation Strategies in Iconic Communication

Predicting whether the intended audience will be able to recognize the meaning of an icon or pictograph is not an easy task. Many icon recognition studies have been conducted in the past. However, their findings cannot be generalized to other icons that were not included in the study, which, we argue, is their main limitation. In this paper, we propose a comprehensive taxonomy of icons that is intended to enable the generalization of the findings of recognition studies. To accomplish this, we analyzed a sample of more than eight hundred icons according to three axes: lexical category, semantic category, and representation strategy. Three basic representation strategies were identified: visual similarity; semantic association; and arbitrary convention. These representation strategies are in agreement with the strategies identified in previous taxonomies. However, a greater number of subcategories of these strategies were identified. Our results also indicate that the lexical and semantic attributes of a concept influence the choice of representation strategy.     

Development of human-machine interface for teleoperation of a mobile manipulator

Human-robot control interfaces have received increased attention during the past decades for conveniently introducing robot into human daily life. In this paper, a novel Human-machine Interface (HMI) is developed, which contains two components. One is based on the surface electromyography (sEMG) signal, which is from the human upper limb, and the other is based on the Microsoft Kinect sensor. The proposed interface allows the user to control in real time a mobile humanoid robot arm in 3-D space, through upper limb motion estimation by sEMG recordings and Microsoft Kinect sensor. The effectiveness of the method is verified by experiments, including random arm motions in the 3-D space with variable hand speed profiles.     

基于MapGIS K9的搭建式工时管理系统研究及设计

分析了搭建式开发方法与传统开发方法相比具有的零代码、可视化、周期短等优势。通过对软件项目管理工作的现状进行分析,采用MapGIS K9搭建项目工时管理信息系统。系统涵盖项目信息管理、工时管理、工时统计、基本信息维护、系统权限管理等几大功能,有助于软件企业对项目进行精细化管理,提高人力资源利用率,解决多项目资源冲突的矛盾。