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].     

智能化红外焊缝检测仪的实时信号自相关分析

详细介绍了在改进红外焊缝检测仪的过程中实时信号的一种抗干扰方法－－自相关方法。重点离自相关方法的数学模型，软件框图及设计思想，并给出了实验结果。     

Rapid calculation of the periodic steady state for electronicallyswitched, time varying power system loads

The periodic steady state of power distribution system loads is studied for electronically switched, time varying cases. Many loads of this type appear on contemporary power systems as energy saving and controllable demands. Several alternative methods of calculating the periodic steady state are discussed and a new method is proposed based on the frequency modulation property of the discrete Fourier transform. The new method is termed the gain-shift formula (GSF) because the format of the technique entails adding frequency shifted terms which represent the parameter to be calculated. An example of a triac-switched load on the distribution system is given. The main advantages of the GSF are: rapid calculation of the periodic steady state; and efficient calculation of the frequency spectrum of voltages and currents in the periodic steady state     

Stability analysis and antiwindup design of uncertain discrete-time switched linear systems subject to actuator saturation

This paper investigates the stability analysis and antiwindup design problem for a class of discrete-time switched linear systems with time-varying norm-bounded uncertainties and saturating actuators by using the switched Lyapunov function approach.Supposing that a set of linear dynamic output controllers have been designed to stabilize the switched system without considering its input saturation,we design antiwindup compensation gains in order to enlarge the domain of attraction of the closed-loop system in the presence of saturation.Then,in terms of a sector condition,the antiwindup compensation gains which aim to maximize the estimation of domain of attraction of the closed-loop system are presented by solving a convex optimization problem with linear matrix inequality(LMI)constraints.A numerical example is given to demonstrate the effectiveness of the proposed design method.     

入侵检测在存储区域网中的应用

从SAN(存储区域网)的安全隐患出发,分析了SAN在应用环境中受到的三种典型威胁。结合现行的入侵检测技术给出一个可行的解决方案。     

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...     

HAR-sEMG: A Dataset for Human Activity Recognition on Lower-Limb sEMG

Knowledge and Information Systems - In the past decade, human activity recognition (HAR) has grown in popularity due to its applications in security and entertainment. As recent years have...     

Influence of content and creator characteristics on sharing disaster-related information on social media

Identifying the key factors of the disaster-related information propagation process can provide decision support for disaster management. This study characterizes the effects of content types, location, and social capital of social media users on the virality of disaster-related information. We found through the Weibo dataset of the Yiliang earthquake that the virality of different types of information can vary on the basis of the social capital of users who post the information. This study fills the current research gaps by examining the individual and joint effects of the content and creator characteristics on the virality of disaster-related information.     

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...