Abstract and Applied Analysis

Perturbation Methods and Formal Modeling for Dynamic Systems


Publishing date
21 Nov 2014
Status
Published
Submission deadline
04 Jul 2014

1Department of Mathematics, Abdul Wali Khan University Mardan, Pakistan

2Department of Computer Science, Abdul Wali Khan University, Pakistan

3Department of Mathematics, University of Malakand, Pakistan

4Department of Mathematics, Pusan National University, Busan 609-735, South Korea


Perturbation Methods and Formal Modeling for Dynamic Systems

Description

Perturbation methods: These are mathematical methods for finding an approximate solution to a problem which cannot be solved exactly, by starting from the exact solution of a related problem. We aim to provide a platform for the discussion of the major research challenges and achievements in theory and application. Theoretical and numerical results are welcome. Potential topics include, but are not limited to:

  • Stability analysis
  • Biological modeling

Formal modeling: Formal methods can simplify the tasks of creating and understanding complex systems, with concomitant improvements in quality and correctness. Formal methods have been proved to be useful in a number of computing subdisciplines. Indeed, methods and tools of relevance to modeling and verification of systems have been studied and developed in topics such as heterogeneous and legacy databases, federated systems, ontologies, view management, knowledge management, mediators, brokering and directory services, relaxed transactions and workflows, concurrent O-O and actor programming, high-level communication, mobile computing, concurrent engineering, business process management, information retrieval, filtering, and browsing, resource discovery, negotiation, and intelligent agents in general.

Before submission authors should carefully read over the journal’s Author Guidelines, which are located at http://www.hindawi.com/journals/aaa/guidelines/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System at http://mts.hindawi.com/submit/journals/aaa/pert/ according to the following timetable:


Articles

  • Special Issue
  • - Volume 2015
  • - Article ID 384710
  • - Editorial

Perturbation Methods and Formal Modeling for Dynamic Systems

Saeed Islam | Sher Afzal Khan | ... | Il Hyo Jung
  • Special Issue
  • - Volume 2015
  • - Article ID 398027
  • - Research Article

The Multistage Homotopy Perturbation Method for Solving Chaotic and Hyperchaotic Lü System

M. S. H. Chowdhury | Nur Isnida Razali | ... | M. M. Rahman
  • Special Issue
  • - Volume 2015
  • - Article ID 467195
  • - Research Article

Determination of System Dimensionality from Observing Near-Normal Distributions

Shahid Razzaq | Shehzad Khalid
  • Special Issue
  • - Volume 2015
  • - Article ID 327975
  • - Research Article

Influence of Slip Condition on Unsteady Free Convection Flow of Viscous Fluid with Ramped Wall Temperature

Sami Ul Haq | Ilyas Khan | ... | Tarek Nabil Ahmed Abdelhameed
  • Special Issue
  • - Volume 2015
  • - Article ID 975201
  • - Research Article

Exact Solutions of Heat and Mass Transfer with MHD Flow in a Porous Medium under Time Dependent Shear Stress and Temperature

Arshad Khan | Ilyas Khan | ... | Sharidan Shafie
  • Special Issue
  • - Volume 2014
  • - Article ID 809431
  • - Research Article

Existence of Solutions for G-SFDEs with Cauchy-Maruyama Approximation Scheme

Faiz Faizullah
  • Special Issue
  • - Volume 2014
  • - Article ID 798927
  • - Research Article

Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

Naeem Akhtar Khan | Farooq Ahmad | Sher Afzal Khan
  • Special Issue
  • - Volume 2014
  • - Article ID 954658
  • - Research Article

Multigrid Method for Solution of 3D Helmholtz Equation Based on HOC Schemes

Fazal Ghaffar | Noor Badshah | Saeed Islam
  • Special Issue
  • - Volume 2014
  • - Article ID 854516
  • - Research Article

A Comparison of Moments-Based Logo Recognition Methods

Zili Zhang | Xuan Wang | ... | Zoe L. Jiang
  • Special Issue
  • - Volume 2014
  • - Article ID 891401
  • - Research Article

Adaptive Evolution of Virulence-Related Traits in a Susceptible-Infected Model with Treatment

Xinzhu Meng | Yang Yang | Shengnan Zhao
Abstract and Applied Analysis
 Journal metrics
Acceptance rate14%
Submission to final decision40 days
Acceptance to publication54 days
CiteScore1.300
Impact Factor-
 Submit