Proceedings of the 2015 International Conference on Modeling, Simulation and Applied Mathematics

Session: Formal Methods

30 articles
Proceedings Article

An Approximate Semantic Model of Hybrid Systems

Shihan Yang, Houwen Liu, Qiong Yu, Jinzhao Wu
Hybrid system is a dynamic system. However, it is difficult to formally analyze hybrid systems due to the continuous parts. In this paper, we propose an approximate semantic model of hybrid systems, in order to employ formal analyzing techniques; furthermore, the error could be under control. This method...
Proceedings Article

Research on the Application of the Concept of Extreme Mode

Wei Liu, Chenyu Liu, Jianyuan Gao, Xiaohong Chen
A new concept is often the result of practice requires. On the basis of the concept of modal, this paper puts forward the concept of Extreme Mode. The Extreme Mode not only contains the total number of units in the most sign values, also contains various units of the number of times many sign values,...
Proceedings Article

Method for Automatic Construction of Queuing System Models

Eimutis Valakevicius, Tomas Lazauskas
In the paper is suggested a method for automatic creation of queuing system models. For description of a stochastic system we use the schematic structure of the system based on schematic structure of designed components. The performance of a system is described by Markov chains. A phase-type approximation...
Proceedings Article

Analysis of Key Component in Progressive Collapse Process of Offshore Jacket Platforms

Hong Lin, Lei Yang
Progressive collapse, which is disproportional to the extent of initial damage, often brings a serious damage, even final failure to the structure, so it has attracted widespread attentions over the engineering field. In the design of offshore jacket structures for resisting progressive collapse, it...
Proceedings Article

A Hybrid Model for Wind Speed Prediction based on Spatial Correlation

Dong Wang, Jianping Fei, Haidong Qian, Yuhong Zhao
The accurate prediction of wind speed is greatly significant for evaluating the security and economy of the wind farm which is connected to the grid. This paper proposed a hybrid model for wind speed prediction based on spatial correlation and nonlinear state space model. Firstly, a rank correlation...
Proceedings Article

Oscillating Agent Model in Terms of Adapted Orch OR Theory

Darius Plikynas
In this multidisciplinary paper, there are some explanatory sources provided that pertain to the oscillating agent model (OAM), which is an intrinsic part of the novel oscillations-based multiagent system (OSIMAS) paradigm. The agent’s oscillating nature is inferred by empirical neuroscience observations....
Proceedings Article

Improvement of Air Fuel Ratio Model Using a Least Absolute Shrinkage and Selection Operator

Chanyut Khajorntraidet, Tielong Shen, Kazuhisa Ito
The improvement of an air-fuel ratio model based on in-cylinder pressure measurement is presented. This model has been applied for calculation of static air-fuel ratio of spark ignition (SI) engines. In addition, it can be replaced the lambda sensors in feedback air-fuel ratio control systems. However...
Proceedings Article

Research on Optimization of clinical Pathway Execution based on Multi-agent Simulation

Lili Song, Xueqing Guo
The clinical pathway execution is a complex system engineering related to multidisciplinary or multi-department collaboration such as examination, laboratory test, operation, nursing, etc. This paper has proposed a multi-agent based simulation method from the hospital system level, and some key technologies...
Proceedings Article

Modelling of Dynamical Properties of a Resonant Converter under Step Frequence- and Loaded Converter Changes

Michal Prazenica, Slavomir Kascak, Juraj Koscelnik, Ivan Lovas
Paper deals with investigation of two problems: frequency step changes, and step switching-off of the load of LCTLC resonant inverter. Since the changes of frequency in the range from fmin to fmax are desirable to be the input current of the LCTLC circuit not greater than nominal one, the load changes...
Proceedings Article

An Improved Delay-Dependent Globally Asymptotically Stability Criterion for the Static Neural Networks with Time-Varying Delay

Kai Mao, Bao Shi, Shudong Zhang
The globally asymptotic stability for static neural networks with time-varying delay is concerned in this paper. By delay fractioning technique and taking more delayed-state variables into account, a newly Lyapunov-Krasovskii Functional was constructed, together with the Jessen integral inequality and...
Proceedings Article

A Multi-objective Optimization Evaluation Based on Experimental Datum

Lei Wang, Tianzhong Sui
Aiming at multi-objective optimization problem of black-box system, the model of multi-objective optimization ED-ANN-NGA-FCE (Experimental Design-Artificial Neural Networks-Niche Genetic Algorithm-Fuzzy Comprehensive Evaluation) is established. A fuzzy evaluation for multi-objective Pareto-optimal set...
Proceedings Article

Build Prediction Models for Gold Prices Based on Back-Propagation Neural Network

Chingpei Lin
In recent years, international gold prices have been constantly rising, gold investment and preserve (or even appreciation) effects have been widely concerned by the market. Whether it is based on speculation, investment or hedging purposes, the gold has been incorporated into the asset allocation by...
Proceedings Article

The Existence and Simulations of Periodic Solution of Predator-prey Models with Impulsive Perturbations and Holling Type III Functional Responses

Kaihua Wang, Zhanji Gui
In this paper, a criterion for the existence of periodic solutions of predator-prey models with impulsive perturbations and Holling type III functional responses is established using the continuation theorem of coincidence degree theory and analysis techniques. Further, some numerical simulations show...
Proceedings Article

An Optimization Model for Inventory System based on Supply-demand Balance

Qingsong Jiang, Wei Xing
In order to investigate the inventory optimization of circulation enterprises, demand analysis was carried out firstly considering supply-demand balance. Then it was assumed that the demand process complied with mutually independent compound Poisson process. Based on this assumption, an optimization...
Proceedings Article

Deconvolution Estimation of the Density for Mixed Measure

Filali Mostafa, Sabre Rachid
Consider a random variable whose measure probability is the sum of an absolutely continuous part with respect to the Lebesgue measure and a discrete measure. In this work is provided a deconvolution estimator density of the continuous part and also the estimated amplitudes of discrete part when the observations...
Proceedings Article

The Quickest Delivery on the Super Pipeline Based Logistic System

Zhongyuan Lai, Hao Li, Tonghui Qian, Bo Wang
In this paper, we consider the problem of delivering replenishments from source to sink nodes on a delivery line in minimum time interval, where the halfway stopping and intercrossing are forbidden. We call this problem the quickest delivery problem, and define it in a mathematical way. We point out...
Proceedings Article

Simulation of Technological Parameters Changing with the Satiation Effect

Gennadiy Rubin, Marina Polyakova, Gennadiy Gun
Dynamics of several processes quantity parameters has S-shape curve character. It is proved by the fact that process may be described by two parameters: potentional limit of the growth and resource determinating this growth. Firstly such processes were investigated in biology. Later this approach was...
Proceedings Article

Numerical Imitation of the Synchronization of Gene Repressilators

Yu Wu, Junhui Gao
Jordi Garcia-Ojalvo and his partners published an article on PNS in 2004, building numerical models of synchronization of many gene oscillators. We got the examples of the process of synchronization by imitating the model with numerical value and studied on the relationship between the value of Q, the...
Proceedings Article

FDTD Simulation of a Mobile Phone Operating Near Metals

Nuttaka Homsup, Terapass Jariyanorawiss
This paper presents Finite Difference Time Domain (FDTD) simulation results of operating mobile phone near metal wall sheet and near a one metal cell. Results show that placing a one metal cell closed to a mobile phone is more harmful to human health than a metal wall sheet. The one metal cell is the...
Proceedings Article

Aerodynamic Performance Modeling and Optimization of Small Scale Wind Turbine Rotors

Athwel Gamarallage, Thusitha Sugathapala
This paper presents aerodynamic performance modeling and optimization of small scale wind turbine rotors for off-grid electricity generation applications targeting local manufacturing through simplification of blade geometry with constant chord and linear twist. The classical momentum theory and blade...
Proceedings Article

An Improved Passivity-Based Control to Buck Dc-Dc Converter

Yanhua Xian, Xiaoshu Luo
For the nonlinear characteristic of buck dc-dc converter and high demand of dynamic quality and robustness for the converter, a passivity-based control with an adjustable parameter for buck converter is proposed. Based on the nonlinear error model of buck converter, a feedback equivalence system is obtained...
Proceedings Article

An Application of the Direct Method of Liapunov in Stability Analysis of Semilinear Systems

Igor Dobovšek
An application of the direct method of Liapunov for establishing stability criteria of smooth solutions for a certain class of initial boundary value problems described by a system of semi-linear hyperbolic partial differential equations is discussed. The concept of Liapunov-like functional is utilized...
Proceedings Article

Improved Fast Time Reversible Algorithm and Its Applications to Large-Scale Simulation of Ice

Yasuhiro Kajima, Shuji Ogata
A time-reversible algorithm for the rotation of rigid body in the quaternion representation named “Improved Fast Time-reversible algorithm (IFT)” is proposed. In a preceding paper, we have proposed “Fast Time-reversible algorithm (FT)” that is not only time reversible but also conserves the total energy...
Proceedings Article

Systemic Research of Grid Upscaling on the Numerical Simulation of Oil Reservoir

Ziyi Liu, Jianwei Gu
Reservoir description needs to transform its geological model to a simulation model by means of dividing grids. Grid upscaling can reduce the number of geologic model’s grids, at the same time it can match the real geosphere. For further to see the impact characteristics of grid upscaling on the results...
Proceedings Article

The Optimization Model of Flat Folding Table

Tian’e Wang, Jian Li, Taiyang Niu, Baiqiang Guo
With the rapid development of industry design, the convenience and beautiful degree of the table got the attention of people, due to the folding table is easy to use and easy to transport, it has become an indispensable furniture in hotels, exhibitions and other places. Flat folding table design concept...
Proceedings Article

Research on Braking Force Distribution Strategy of Composite Braking System of Electric Vehicle

Kuiyang Wang, Liang Zhu, Shanfeng Wang
Based on analyzing the necessity of research on composite braking system of electric vehicle and its braking force distribution strategy, according to the ECE regulations and the requirements of braking stability, the optimized braking force distribution strategy and control logic are proposed for a...
Proceedings Article

Thermal Model and Analysis for Power Driver Circuit of Brushless DC Motor

Zhigang Gao, Jun Zhou, Peng Li
To solve the problem of the high temperature of the power driver circuit of BLDCM(Brushless DC Motor) which causes by the tardy heat dissipation, the thermal numerical model was built. The simulation results indicate that the thermal field distribution of the three-phase bridge power driver circuit is...
Proceedings Article

Rapid Defects Features Extract Techniques with Chirp Signal in Plate Structures

Fei Deng, Honglei Chen
This work presents a convenience means to get defects features with linear chirp signal and demonstrate it with finite element method and BP neural networks. Aluminum plate models with various kinds of defects modeling with numerical simulation software ABAQUS to get pattern recognition samples.In order...
Proceedings Article

Finite Element Analysis on Rubber Sealing Ring of the Rotary Liner Hanger Bearing

Weiqing Li, Yu Wang, Detian Miao
Rotary liner hanger bearing will be wear sharply and decreased its service life if the sealing structure is not able to prevent the drilling fluid to enter into the bearing. A two-dimensional finite element model of the self-designed non-standard rubber sealing ring was carried out on the software of...
Proceedings Article

Numerical Simulation of Solid-Liquid Two-Phase Flow and Wear Characteristics in Rotary Liner Hanger Bearing

Weiqing Li, Ying Wang
The sand of drilling flow that enters into rotary liner hanger bearing will wear the bearing, which will reduce its service life seriously. Applying the fluid software, this paper simulated the wear characteristic of fluid domain inside the bearing. Based on the Finnie wear model, this paper analyzed...