Automatically modeling, simulating and explaining physical systems

This paper presents an interactive framework for constructing models from high-level specifications of real physical systems, deriving low-level simulations from the constructed models and then generating explanations of the simulated behavior to help engineers interpret and control the real physical systems. To demonstrate our method, we show an example of modeling river networks, which are eco-environmental engineering systems, to provide a computer-based solution to problems of simulating and controlling concentrations of water quality constituents in river networks[1].     

网络对抗训练混合虚拟化平台设计研究

讨论了虚拟化技术实现原理及其在网络对抗教学中的应用上,分析了各类虚拟化技术的优缺点和构建网络对抗训练环境存在的问题。提出了一种混合虚拟化平台设计,该平台利用Libvirt虚拟化的应用程序编程接口（API）调用两种虚拟化技术同时运行在同一物理主机上。并详细叙述了混合虚拟化平台的实现过程和方法,并在多个虚拟机内同时运行测试基准,分析其可扩展性。多种虚拟化技术在同一物理机上的混合,实现了复杂实验环境的创建,对构建大规模的网络实验平台具有一定的参考价值。     

“健康云”如何实现医疗信息化综述

对云计算技术实现医疗信息化的背景、研究基础、核心技术进行探讨,具体阐述了“健康云”在居民电子健康档案中的应用以及在医院信息管理系统中的应用,包括系统特点、整体架构等方面,并对其未来发展予以展望。     

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.     

Negative effects of sufficiently small initial weights on back-propagation neural networks

In the training of feedforward neural networks,it is usually suggested that the initial weights should be small in magnitude in order to prevent premature saturation.The aim of this paper is to point out the other side of the story:In some cases,the gradient of the error functions is zero not only for infinitely large weights but also for zero weights.Slow convergence in the beginning of the training procedure is often the result of sufficiently small initial weights.Therefore,we suggest that,in these cases,the initial values of the weights should be neither too large,nor too small.For instance,a typical range of choices of the initial weights might be something like(0.4,0.1) ∪(0.1,0.4),rather than(0.1,0.1) as suggested by the usual strategy.Our theory that medium size weights should be used has also been extended to a few commonly used transfer functions and error functions.Numerical experiments are carried out to support our theoretical findings.     

新的e修正鲁棒自适应控制方法在航空发动机上的应用

针对航空发动机模型的结构和参数的不确定性,提出一种基于非李亚普诺夫方程(NQLF)的e修正鲁棒模型参考自适应控制法。该方法无需知道发动机精确数学模型,抗干扰能力强,在输出误差信号的作用下具有比普通方法更快的收敛性,振荡性能够得到很好的控制。从仿真结果可见控制器能使系统比较好地跟踪参考模型的输出,对发动机模型参数和结构的变化有一定的适应能力,鲁棒性较好。     

Assessing Optimal Digital Elevation Model Selection for Active River Area Delineation Across Broad Regions

Water Resources Management - The Active River Area (ARA) is a spatial approach for identifying the extent of functional riparian area. Given known limitations in terms of input elevation data...     

Segmentation by Continuous Latent Semantic Analysis for Multi-structure Model Fitting

International Journal of Computer Vision - In this paper, we propose a novel continuous latent semantic analysis fitting method, to efficiently and effectively estimate the parameters of model...     

A frequency-aware and energy-saving strategy based on DVFS for Spark

The Journal of Supercomputing - With the fast growth of big data applications, it has brought about a huge increase in the energy consumption for big data processing in Cloud data centers. In this...     

Double Medical Images Zero-Watermarking Algorithm Based on the Chaotic System and Ternary Accurate Polar Complex Exponential Transform

Journal of Mathematical Imaging and Vision - Different from the traditional watermarking schemes, zero-watermarking schemes are lossless embedding methods, which are applicable to be used in...