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