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技术实现方式。     

Diffusion tensor interpolation profile control using non-uniform motion on a Riemannian geodesic

Tensor interpolation is a key step in the processing algorithms of diffusion tensor imaging (DTI), such as registration and tractography. The diffusion tensor (DT) in biological tissues is assumed to be positive definite. However, the tensor interpolations in most clinical applications have used a Euclidian scheme that does not take this assumption into account. Several Rie-mannian schemes were developed to overcome this limitation. Although each of the Riemannian schemes uses different metrics, they all result in a ‘fixed’ interpolation profile that cannot adapt to a variety of diffusion patterns in biological tissues. In this paper, we propose a DT interpolation scheme to control the interpolation profile, and explore its feasibility in clinical applications. The profile controllability comes from the non-uniform motion of interpolation on the Riemannian geodesic. The interpolation experiment with medical DTI data shows that the profile control improves the interpolation quality by assessing the reconstruction errors with the determinant error, Euclidean norm, and Riemannian norm.     

视错觉及其应用

视觉足人类获取外部信息的最重要方式。但由于人类自身的生理、心理因素以及外界光、形、色等因素的干扰,会产生视觉误差,即视错觉。本章系统的分析了视错觉产生原因,按不同的现象和成因把视错觉分成病理视错觉、动态视错觉、几何视错觉、颜色视错觉、轮廓错觉等5类。在此基础上介绍了视错觉的应用,特别介绍了其在图像融合中的应用,并用matlab实现了图像的融合。     

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

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

网络自动生成器NSG在网络教学中的应用

针对计算机网络课程教学抽象难懂,实验条件要求高及设备昂贵的特点,在实际授课过程中,提出应用网络模拟与仿真的方法来辅助教学,在网络仿真器NS2的基础上,应用可以自动生成有线及无线网络环境的网络自动生成器(NSG)来辅助日常的理论及实践教学,经过实践,该仿真平台的应用对提高计算机网络课程教学的效果和水平起到了积极作用。     

利用二进制数算法寻找5个点的Ramsey图

用二进制数来表示完全图的各种组合,借助计算机编程可从完全图的各种组合中寻找出ramsey图。5个顶点的Ramsey图是最基本的Ramsey图,这种基本方法为寻找更复杂的Ramsey图提供了基础。     

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

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

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

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

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.