288 results
Search Results
2. Causal Inference in Geoscience and Remote Sensing From Observational Data.
- Author
-
Perez-Suay, Adrian and Camps-Valls, Gustau
- Subjects
GEOLOGY ,REMOTE sensing ,SIMULATION methods & models ,ALGORITHMS ,MATHEMATICAL models - Abstract
Establishing causal relations between random variables from observational data is perhaps the most important challenge in today’s science. In remote sensing and geosciences, this is of special relevance to better understand the earth’s system and the complex interactions between the governing processes. In this paper, we focus on an observational causal inference, and thus, we try to estimate the correct direction of causation using a finite set of empirical data. In addition, we focus on the more complex bivariate scenario that requires strong assumptions and no conditional independence tests can be used. In particular, we explore the framework of (nondeterministic) additive noise models, which relies on the principle of independence between the cause and the generating mechanism. A practical algorithmic instantiation of such principle only requires: 1) two regression models in the forward and backward directions and 2) the estimation of statistical independence between the obtained residuals and the observations. The direction leading to more independent residuals is decided to be the cause. We instead propose a criterion that uses the sensitivity (derivative) of the dependence estimator, the sensitivity criterion allows to identify samples most affecting the dependence measure, and hence, the criterion is robust to spurious detections. We illustrate the performance in a collection of 28 geoscience causal inference problems, a database of radiative transfer models simulations and machine learning emulators in vegetation parameter modeling involving 182 problems, and assessing the impact of different regression models in a carbon cycle problem. The criterion achieves the state-of-the-art detection rates in all cases, and it is generally robust to noise sources and distortions. The presented approach confirms the validity in observational bivariate problems in the earth sciences. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
3. Hierarchical trie packet classification algorithm based on expectation-maximization clustering.
- Author
-
Bi, Xia-an and Zhao, Junxia
- Subjects
COMPUTER networks ,CLASSIFICATION algorithms ,EXPECTATION-maximization algorithms ,BACKTRACK programming ,SIMULATION methods & models - Abstract
With the development of computer network bandwidth, packet classification algorithms which are able to deal with large-scale rule sets are in urgent need. Among the existing algorithms, researches on packet classification algorithms based on hierarchical trie have become an important packet classification research branch because of their widely practical use. Although hierarchical trie is beneficial to save large storage space, it has several shortcomings such as the existence of backtracking and empty nodes. This paper proposes a new packet classification algorithm, Hierarchical Trie Algorithm Based on Expectation-Maximization Clustering (HTEMC). Firstly, this paper uses the formalization method to deal with the packet classification problem by means of mapping the rules and data packets into a two-dimensional space. Secondly, this paper uses expectation-maximization algorithm to cluster the rules based on their aggregate characteristics, and thereby diversified clusters are formed. Thirdly, this paper proposes a hierarchical trie based on the results of expectation-maximization clustering. Finally, this paper respectively conducts simulation experiments and real-environment experiments to compare the performances of our algorithm with other typical algorithms, and analyzes the results of the experiments. The hierarchical trie structure in our algorithm not only adopts trie path compression to eliminate backtracking, but also solves the problem of low efficiency of trie updates, which greatly improves the performance of the algorithm. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
4. Agent-Based Solution Approaches for Dynamic Traveling Salesman Problem: Resolving or Adapting Existing Solutions to New Conditions?
- Author
-
BAYKASOĞLU, ADİL, ZEYNEP, and DURMUŞOĞLU, D. U.
- Subjects
PROBLEM solving ,INTELLIGENT agents ,SIMULATION methods & models ,MATHEMATICAL models ,ALGORITHMS - Abstract
Dynamic Travelling Salesman Problem (DTSP) is a novel type of TSP where the number of cities in the problem domain changes unpredictably. The approaches to handling dynamism in those DTSPs, has been solving the problems as they were static and recreating the models after each change. In this respect, multi-agent based strategies along with intelligent approaches provide an opportunity to deal with those difficulties. The proposed approach in this paper is based on the modification of existing solutions according to changes in the city domain. Thereby problem is not resolved while local city agents deliver their novel bids (solution proposals) for these new conditions. Finally, general manager agent makes a decision about the new solution. This study presents two different agent-based solution strategies for providing promising solutions to DTSP. One of these strategies is based on the competition of city agents in a greedy way and thereby city agents just search for randomly selected alternatives which are feasible for the new conditions. The second strategy covers competition of city agents by the use of great deluge algorithm as the search mechanism. Finally, both of those proposed strategies are compared against the solutions of reinvented models. Agent-based strategies start to produce better results as the problem size increases. [ABSTRACT FROM AUTHOR]
- Published
- 2018
5. Emergent Open-Endedness from Contagion of the Fittest.
- Author
-
Abrahão, Felipe S., Wehmuth, Klaus, and Ziviani, Artur
- Subjects
ALGORITHMS ,TURING machines ,MATHEMATICAL models ,SIMULATION methods & models ,RANDOM fields - Abstract
This paper presents a theoretical investigation of the general problem of emergent irreducible information in networked populations of computable systems. In particular, we narrow our scope to study this problem in algorithmic networks composed of randomly generated Turing machines that follow a susceptible-infected-susceptible contagion model of imitation of the fittest neighbor. We show that there is a lower bound for the stationary prevalence (i.e., the average density of infected nodes by the fittest nodes) that triggers expected (local) emergent openendedness, that is, that triggers an unlimited increase of the expected local emergent algorithmic complexity (or information) of a node as the population size grows. In addition, we show that static networks with a power-law degree distribution following the Barabási-Albert model satisfy this lower bound and thus display expected (local) emergent open-endedness. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
6. Stochastic simulation of chemically reacting systems using multi-core processors.
- Author
-
Gillespie, Colin S.
- Subjects
STOCHASTIC analysis ,SIMULATION methods & models ,BIOREACTORS ,CENTRAL processing units ,ALGORITHMS ,MACHINE design ,MATHEMATICAL models - Abstract
In recent years, computer simulations have become increasingly useful when trying to understand the complex dynamics of biochemical networks, particularly in stochastic systems. In such situations stochastic simulation is vital in gaining an understanding of the inherent stochasticity present, as these models are rarely analytically tractable. However, a stochastic approach can be computationally prohibitive for many models. A number of approximations have been proposed that aim to speed up stochastic simulations. However, the majority of these approaches are fundamentally serial in terms of central processing unit (CPU) usage. In this paper, we propose a novel simulation algorithm that utilises the potential of multi-core machines. This algorithm partitions the model into smaller sub-models. These sub-models are then simulated, in parallel, on separate CPUs. We demonstrate that this method is accurate and can speed-up the simulation by a factor proportional to the number of processors available. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
7. Author's Commentary: The Outstanding Kidney Exchange Papers.
- Author
-
Campbell, Paul J.
- Subjects
KIDNEY transplantation ,TRANSPLANTATION of organs, tissues, etc. ,ORGAN donors ,GRAPHIC methods ,ALGORITHMS ,MATHEMATICAL models ,SIMULATION methods & models ,PATIENTS - Abstract
The article discusses the mathematical models used to analyze and simulate the U.S. kidney transplant system. It focuses on algorithms for matching donors to kidneys. It mentions that kidneys became available when a person dies and must be transplanted quickly. A proper scheme should be developed to find a compatible recipient for the kidney. The article also discusses using a bipartite graph to pair off living donors and recipients. It describes the problem of matching kidney donors and recipients as dynamic. It also analyzes the feasibility and effectiveness of the kidney paired donation model.
- Published
- 2007
8. Thermal asperity suppression based on least-squares fitting in perpendicular magnetic recording systems.
- Author
-
Kovintavewat, Piya and Koonkarnkhai, Santi
- Subjects
LEAST squares ,ALGORITHMS ,ERROR rates ,MAGNETORESISTANCE ,MATHEMATICAL models ,RANDOM noise theory ,SIMULATION methods & models - Abstract
Thermal asperity (TA) causes a major problem in data detection process. Without the TA detection and correction algorithm, the system performance (even with perfect synchronization) can be unacceptable, depending on how severe the TA effect is. This paper proposes a new method to suppress the TA effects in perpendicular magnetic recording channels. The TA detection is a threshold-based approach, while the TA correction is done by averaging the readback signal and applying a least-squares fitting technique to estimate the TA signal. Then, the corrected readback signal is obtained by subtracting the TA-affected readback signal by the reconstructed TA signal. Results indicate that the proposed method performs better than the existing one in terms of bit-error rate and is robust to changes in the peak TA amplitude. [ABSTRACT FROM AUTHOR]
- Published
- 2009
- Full Text
- View/download PDF
9. A class of extended time Petri nets for modeling and simulation of discrete event systems.
- Author
-
Liu, Fei and Zhang, Hongmei
- Subjects
PETRI nets ,GRAPH theory ,SIMULATION methods & models ,ALGORITHMS ,MATHEMATICAL models - Abstract
Time Petri nets (TPNs) have been widely used for modeling discrete event systems such as manufacturing, supply chain, and military systems. However, TPNs still have many drawbacks in some scenarios where an operation or process is associated with probability, and also lack appropriate simulation algorithms for analyzing different types of systems. In this paper, we address these two issues by proposing a class of extended time Petri nets (ETPNs) and presenting an appropriate simulation algorithm. We illustrate and validate our approach using a hypothetic command and control system, which shows that this approach could be a powerful tool for modeling and analyzing discrete event systems. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
10. A combined model reduction algorithm for controlled biochemical systems.
- Author
-
Snowden, Thomas J., van der Graaf, Piet H., and Tindall, Marcus J.
- Subjects
BIOCHEMICAL engineering ,SYSTEMS biology ,ALGORITHMS ,SIMULATION methods & models ,PREDICTION theory ,MATHEMATICAL models - Abstract
Background: Systems Biology continues to produce increasingly large models of complex biochemical reaction networks. In applications requiring, for example, parameter estimation, the use of agent-based modelling approaches, or real-time simulation, this growing model complexity can present a significant hurdle. Often, however, not all portions of a model are of equal interest in a given setting. In such situations methods of model reduction offer one possible approach for addressing the issue of complexity by seeking to eliminate those portions of a pathway that can be shown to have the least effect upon the properties of interest. Methods: In this paper a model reduction algorithm bringing together the complementary aspects of proper lumping and empirical balanced truncation is presented. Additional contributions include the development of a criterion for the selection of state-variable elimination via conservation analysis and use of an 'averaged' lumping inverse. This combined algorithm is highly automatable and of particular applicability in the context of 'controlled' biochemical networks. Results: The algorithm is demonstrated here via application to two examples; an 11 dimensional model of bacterial chemotaxis in Escherichia coli and a 99 dimensional model of extracellular regulatory kinase activation (ERK) mediated via the epidermal growth factor (EGF) and nerve growth factor (NGF) receptor pathways. In the case of the chemotaxis model the algorithm was able to reduce the model to 2 state-variables producing a maximal relative error between the dynamics of the original and reduced models of only 2.8% whilst yielding a 26 fold speed up in simulation time. For the ERK activation model the algorithm was able to reduce the system to 7 state-variables, incurring a maximal relative error of 4.8%, and producing an approximately 10 fold speed up in the rate of simulation. Indices of controllability and observability are additionally developed and demonstrated throughout the paper. These provide insight into the relative importance of individual reactants in mediating a biochemical system's input-output response even for highly complex networks. Conclusions: Through application, this paper demonstrates that combined model reduction methods can produce a significant simplification of complex Systems Biology models whilst retaining a high degree of predictive accuracy. In particular, it is shown that by combining the methods of proper lumping and empirical balanced truncation it is often possible to produce more accurate reductions than can be obtained by the use of either method in isolation [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
11. A sequential multiple change-point detection procedure via VIF regression.
- Author
-
Shi, Xiaoping, Wang, Xiang-Sheng, Wei, Dongwei, and Wu, Yuehua
- Subjects
REGRESSION analysis ,MATHEMATICAL models ,COMPUTATIONAL complexity ,ALGORITHMS ,SIMULATION methods & models - Abstract
In this paper, we propose a procedure for detecting multiple change-points in a mean-shift model, where the number of change-points is allowed to increase with the sample size. A theoretic justification for our new method is also given. We first convert the change-point problem into a variable selection problem by partitioning the data sequence into several segments. Then, we apply a modified variance inflation factor regression algorithm to each segment in sequential order. When a segment that is suspected of containing a change-point is found, we use a weighted cumulative sum to test if there is indeed a change-point in this segment. The proposed procedure is implemented in an algorithm which, compared to two popular methods via simulation studies, demonstrates satisfactory performance in terms of accuracy, stability and computation time. Finally, we apply our new algorithm to analyze two real data examples. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
12. CONTROL PREDICTIVO DEL MOVIMIENTO LONGITUDINAL Y LATERO-DIRECCIONAL DE UNA AERONAVE NO TRIPULADA.
- Author
-
García Jaimes, Luis Eduardo, Jaimes, García, and Arroyave Giraldo, Maribel
- Subjects
PID controllers ,ADAPTIVE control systems ,PREDICTIVE control systems ,MATHEMATICAL models ,SIMULATION methods & models ,ALGORITHMS - Abstract
Copyright of Revista Politécnica is the property of Politechnico Colombian Jaime Isaza Cadavid and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2019
- Full Text
- View/download PDF
13. Computational Methods in the Warp Code Framework for Kinetic Simulations of Particle Beams and Plasmas.
- Author
-
Friedman, Alex, Cohen, Ronald H., Grote, David P., Lund, Steven M., Sharp, William M., Vay, Jean-Luc, Haber, Irving, and Kishek, Rami A.
- Subjects
PLASMA gases ,MATHEMATICAL models ,PLASMA gas research ,PARTICLE beams ,ALGORITHM research ,SIMULATION methods & models ,LASER research ,ELECTROMAGNETIC fields - Abstract
The Warp code (and its framework of associated tools) was initially developed for particle-in-cell simulations of space-charge-dominated ion beams in accelerators, for heavy-ion-driven inertial fusion energy, and related experiments. It has found a broad range of applications, including nonneutral plasmas in traps, stray electron clouds in accelerators, laser-based acceleration, and the focusing of ion beams produced when short-pulse lasers irradiate foil targets. We summarize novel methods used in Warp, including: time-stepping conducive to diagnosis and particle injection; an interactive Python-Fortran-C structure that enables scripted and interactive user steering of runs; a variety of geometries (3-D $x$ , $y$ , $z$ ; 2-D $r$ , $z$ ; 2-D $x$ , $y$ ); electrostatic and electromagnetic field solvers; a cut-cell representation for internal boundaries; the use of warped coordinates for bent beam lines; adaptive mesh refinement, including a capability for time-dependent space-charge-limited flow from curved surfaces; models for accelerator lattice elements (magnetic or electrostatic quadrupole lenses, accelerating gaps, etc.) at user-selectable levels of detail; models for particle interactions with gas and walls; moment/envelope models that support sophisticated particle loading; a drift-Lorentz mover for rapid tracking through regions of strong and weak magnetic field; a Lorentz-boosted frame formulation with a Lorentz-invariant modification of the Boris mover; an electromagnetic solver with tunable dispersion and stride-based digital filtering; and a pseudospectral electromagnetic solver. Warp has proven useful for a wide range of applications, described very briefly herein. It is available as an open-source code under a BSD license. This paper describes material presented during the Prof. Charles K. (Ned) Birdsall Memorial Session of the 2013 IEEE Pulsed Power and Plasma Science Conference. In addition to our overview of the computational methods used in Warp, we summarize a few aspects of Ned's contributions to plasma simulation and to the careers of those he mentored. [ABSTRACT FROM PUBLISHER]
- Published
- 2014
- Full Text
- View/download PDF
14. Improved density of states Monte Carlo method based on recycling of rejected states.
- Author
-
Chopra, Manan and De Pablo, J. J.
- Subjects
ALGORITHMS ,MONTE Carlo method ,MATHEMATICAL models ,NUMERICAL analysis ,SIMULATION methods & models ,DENSITY - Abstract
In this paper a new algorithm is presented that improves the efficiency of Wang and Landau algorithm or density of states (DOS) Monte Carlo simulations by employing rejected states. The algorithm is shown to have a performance superior to that of the original Wang-Landau [F. Wang and D. P. Landau, Phys. Rev. Lett. 86, 2050 (2001)] algorithm and the more recent configurational temperature DOS algorithm. The performance of the method is illustrated in the context of results for the Lennard-Jones fluid. [ABSTRACT FROM AUTHOR]
- Published
- 2006
- Full Text
- View/download PDF
15. A study on the identification of the second-order linear Nomoto model from the zigzag test.
- Author
-
Artyszuk, Jarosław
- Subjects
ALGORITHMS ,SIMULATION methods & models ,NUMERICAL analysis ,MATHEMATICAL models ,X-ray diffraction - Abstract
In this paper a simple four-point, in terms of time, but eight-value in total, identification method has been developed for the second-order linear Nomoto steering model. The algorithm intrinsically uses the zigzag test data in that it inherited some principles of the well-known procedure for the first-order model, from which it is essentially derived. The performance evaluation was then conducted with both simulated and real data. However, the results of these early, unprecedented efforts are far from satisfactory. Some potential sources of difficulties have been discussed. This calls for further research and improvement in order to provide a practical application of the method. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
16. MODELLING AND SIMULATION OF THE BEHAVIOUR OF THE HYDRAULIC TURBINE.
- Author
-
DULĂU, Mircea and BICĂ, Dorin
- Subjects
HYDRAULIC turbines -- Models ,SIMULATION methods & models ,ALGORITHMS ,MATHEMATICAL models ,HYDROELECTRIC power plants - Abstract
In this paper, a hydraulic turbine unit transfer function is represented, considering acceleration of the water column, velocity of the water and mechanical power. Using Matlab/Simulink software facilities, have been simulated the behaviour of the mechanical power, depending of the gate opening, with water starting time parameter affected by uncertainties. Step responses analyse are simulated in order to evaluate the performances with load affected by uncertainties and with different control algorithms. This paper can be used in power engineering and control systems fields as a guideline in order to modelling, simulate, analyse and tune the controller for hydraulic turbine unit. [ABSTRACT FROM AUTHOR]
- Published
- 2014
17. The Choice of Reference Points in Best-Match File Searching.
- Author
-
Shapiro, Marvin
- Subjects
ALGORITHMS ,COMPUTER simulation ,ELECTROMECHANICAL analogies ,MATHEMATICAL models ,SIMULATION methods & models ,ARITHMETIC ,MODELS & modelmaking ,ENGINEERING models ,MECHANICS (Physics) - Abstract
Improvements to the exhaustive search method of best-match file searching have previously been achieved by doing a preprocessing step involving the calculation of distances from a reference point. This paper discusses the proper choice of reference points and extends the previous algorithm to use more than one reference point. It is shown that reference points should be located outside of data clusters. The results of computer simulations are presented which show that large improvements can be achieved by the proper choice and location of multiple reference points. [ABSTRACT FROM AUTHOR]
- Published
- 1977
- Full Text
- View/download PDF
18. Faults Detection of Nonlinear NCS Subject to Times Delays Using Multi-Model Approach: Application to Induction Motor.
- Author
-
Zaineb, Ben Mabrouk, Aicha, Abid, Mouna, Ben Hamed, and Sbita, Lassaâd
- Subjects
INDUCTION motors ,ARTIFICIAL neural networks ,SIMULATION methods & models ,MATHEMATICAL models ,ALGORITHMS - Abstract
In this paper, we present a fault detection filter for the induction motor speed as class of nonlinear system in networked control systems (NCSs) subject to induced times delays. The induced times delays is from the controller to the plant and from the sensor to the controller. First the nonlinear system used in this paper is an Induction motor that is modeled as multimodel system. Then an adaptive state filter is derived from augmented state version of the proposed detection filter which can provide the information of faults and states of the induction motor. An example is included to show the efficiency of the proposed method. [ABSTRACT FROM AUTHOR]
- Published
- 2014
19. Using Evolutionary Algorithms as Instance Selection for Data Reduction in KDD: An Experimental Study.
- Author
-
Cano, José Ramón, Herrera, Francisco, and Lozano, Manuel
- Subjects
ALGORITHMS ,DATABASES ,DATABASE searching ,MATHEMATICAL models ,SIMULATION methods & models - Abstract
Evolutionary algorithms are adaptive methods based on natural evolution that may be used for search and optimization. As data reduction in knowledge discovery in databases (KDDs) can be viewed as a search problem, it could be solved using evolutionary algorithms (EAs). In this paper, we have carried out an empirical study of the performance of four representative EA models in which we have taken into account two different instance selection perspectives, the prototype selection and the training set selection for data reduction in KDD. This paper includes a comparison between these algorithms and other nonevolutionary instance selection algorithms. The results show that the evolutionary instance selection algorithms consistently outperform the nonevolutionary ones, the main advantages being: better instance reduction rates, higher classification accuracy, and models that are easier to interpret. [ABSTRACT FROM AUTHOR]
- Published
- 2003
- Full Text
- View/download PDF
20. New Method of Path Optimization for Medical Logistics Robots.
- Author
-
Jin, Hui, He, Qingsong, He, Miao, Hu, Fangchao, and Lu, Shiqing
- Subjects
MEDICAL robotics ,MATHEMATICAL models ,ALGORITHMS ,ROBOTS ,SIMULATION methods & models - Abstract
The path planning problem of logistics robots is mainly subjected to the time cost of the operation of the mathematical model. To save the time of refilling process in the fast medicine dispensing system (FMDS), the optimization procedure is divided into two steps in this study. First, a new mathematical model called the multiple steps traveling salesman problem model (MTSPM) is proposed to optimize the replenishment quantity of each picking and establish picking sets. Second, an improved ant colony optimization (IACO) algorithm is employed, considering the effects of velocity, acceleration, and deceleration in the refilling route during the development of the new model. Simulation results and operational results demonstrated that MTSPM-IACO was better than both the order picking model (OPM) and MTSPM-ACO in terms of saving refilling time. Compared to the OPM, the optimization of the refilling time of MTSPM-IACO was more than 1.73% in simulation and 15.26% in operation. Compared to MTSPM-ACO, the optimization of the refilling time of MTSPM-IACO was more than 0.13% in simulation and 1.67% in operation. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
21. Prediction-based association control scheme in dense femtocell networks.
- Author
-
Sung, Nak Woon, Pham, Ngoc-Thai, Huynh, Thong, Hwang, Won-Joo, You, Ilsun, and Choo, Kim-Kwang Raymond
- Subjects
FEMTOCELLS ,ROAMING (Telecommunication) ,SIGNAL processing ,CELLULAR neural networks (Computer science) ,SIMULATION methods & models - Abstract
The deployment of large number of femtocell base stations allows us to extend the coverage and efficiently utilize resources in a low cost manner. However, the small cell size of femtocell networks can result in frequent handovers to the mobile user, and consequently throughput degradation. Thus, in this paper, we propose predictive association control schemes to improve the system’s effective throughput. Our design focuses on reducing handover frequency without impacting on throughput. The proposed schemes determine handover decisions that contribute most to the network throughput and are proper for distributed implementations. The simulation results show significant gains compared with existing methods in terms of handover frequency and network throughput perspective. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
22. Using Abstraction to Guide the Search for Long Error Traces.
- Author
-
Nanshi, Kuntal and Somenzi, Fabio
- Subjects
INTEGRATED circuit design ,ERROR analysis in mathematics ,MATHEMATICAL models ,SIMULATION methods & models ,ALGORITHMS ,SATISFIABILITY (Computer science) - Abstract
Model checking is a formal method for verifying whether the system satisfies a user-defined specification. Compared to simulation, model checking is restricted in capacity. On the other hand, simulation is weak in detecting bugs that require long and complex sequences of events to be exposed. This paper combines model checking and simulation in an abstraction-refinement scheme to mitigate the problems of both methods. Abstraction refinement iteratively constructs a simplified model to verify the original model. While a simplified model mitigates the weakness of model checking, the set of simplified error traces model helps guide simulation toward deep bugs. In abstraction refinement, concretization—a process of deriving an error trace in the original model from the abstract ones—is used to invalidate spurious abstract error traces or to refute a property. In this paper, we describe a novel concretization algorithm that combines simulation with satisfiability to efficiently refute properties with very long error traces. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF
23. Simulation of a standing-wave thermoacoustic engine using compressible SIMPLE algorithm.
- Author
-
Dongwei Zhang, Yaling He, Yong Wang, and Jing Huang
- Subjects
ALGORITHMS ,SIMULATION methods & models ,MOMENTUM (Mechanics) ,COMPUTATIONAL fluid dynamics ,MATHEMATICAL models - Abstract
In present paper, a two-dimensional numerical study on a standing-wave thermoacoustic engine was performed with compressible SIMPLE algorithm based on a pressure-correction method. First, the simulation model was developed, and the time-dependent compressible thermoacoustic engine system was chosen through substantive numerical tests. Appropriate governing equations for mass, momentum and energy were introduced. Then, the computational results of the onset of the self-excited oscillations across the entire evolution process and the acoustical characteristics of the pressure and velocity wave were presented and analyzed. In addition, the standing-wave of the pressure and velocity along the center of the two stacks are investigated. The crucial nonlinear phenomenon that cannot be captured by the existing linear theory, like high harmonic frequencies, is also revealed in present paper. It is concluded that compressible SIMPLE algorithm could be employed in our future work to simulate and optimize thermoacoustic system. The present result is an important step toward development to predict the high-amplitude thermoacoustic systems and optimize thermoacoustic engine performance. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
24. Multiproduct Lot Merging–Splitting Algorithms for Semiconductor Wafer Fabrication.
- Author
-
Bang, June-Young, Kim, Yeong-Dae, and Choi, Seong-Woo
- Subjects
SEMICONDUCTOR wafers ,MICROFABRICATION ,ALGORITHMS ,SIMULATION methods & models ,MICROCOMPUTER workstations (Computers) ,MATHEMATICAL models - Abstract
This paper focuses on a lot merging–splitting problem in a semiconductor wafer fabrication facility in which a relatively large number of wafer types are produced according to orders with different due dates. In the fab, two or more lots can be merged into a single lot if routes and all processing conditions of the lots are the same for a number of subsequent operations, and the merged lot is split into the original lots at the point where the routes or processing conditions become different. We suggest lot merging–splitting algorithms to reduce the total tardiness of the orders and the cycle times of the lots. The suggested algorithms are evaluated through a series of simulation experiments and the result shows that the algorithms work better than a method used in a real fab. [ABSTRACT FROM PUBLISHER]
- Published
- 2012
- Full Text
- View/download PDF
25. THE TRANSPARENT DEAD LEAVES MODEL.
- Author
-
Galerne, B. and Gousseau, Y.
- Subjects
MATHEMATICAL models ,RANDOM fields ,LIMIT theorems ,PROBABILITY theory ,SIMULATION methods & models ,ALGORITHMS - Abstract
In this paper we introduce the transparent dead leaves (TDL) random field, a new germ-grain model in which the grains are combined according to a transparency principle. Informally, this model may be seen as the superposition of infinitely many semitransparent objects. It is therefore of interest in view of the modeling of natural images. Properties of this new model are established and a simulation algorithm is proposed. The main contribution of the paper is to establish a central limit theorem, showing that, when varying the transparency of the grain from opacity to total transparency, the TDL model ranges from the dead leaves model to a Gaussian random field. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
26. Online MTPA Control Strategy for DTC Synchronous-Reluctance-Motor Drives.
- Author
-
Bolognani, Silverio, Peretti, Luca, and Zigliotto, Mauro
- Subjects
SYNCHRONOUS electric motors ,TORQUE ,ELECTRIC resistance ,SIMULATION methods & models ,MATHEMATICAL optimization ,ELECTRIC generators ,MATHEMATICAL models ,DETECTORS ,ALGORITHMS ,ENERGY dissipation ,AUTOMATIC control systems - Abstract
This paper presents an online procedure for the automatic search of the maximum-torque-per-ampere operating region for a synchronous reluctance motor. The algorithm is based on a signal-injection method with a random-based perturbation pattern applied to a common direct-torque-controlled drive. Among motor parameters, only the stator resistance is required to perform the automatic procedure. Simulations and experimental results are presented in the paper, demonstrating the benefits of the proposed algorithm. The solution is easily extended to any ac drive. [ABSTRACT FROM PUBLISHER]
- Published
- 2011
- Full Text
- View/download PDF
27. Performance Analysis of IEEE 802.15.4 Beacon-Enabled Mode.
- Author
-
Buratti, Chiara
- Subjects
RESEARCH ,MATHEMATICAL models ,ALGORITHMS ,CONTENTION resolution protocols (Computer network protocols) ,SIMULATION methods & models ,TOPOLOGY - Abstract
In this paper, a mathematical model for the beacon-enabled mode of the IEEE 802.15.4 medium-access control (MAC) protocol is provided. A personal area network (PAN) composed of multiple nodes, which transmit data to a PAN coordinator through direct links or multiple hops, is considered. The application is query based: Upon reception of the beacon transmitted by the PAN coordinator, each node tries to transmit its packet using the superframe structure defined by the IEEE 802.15.4 protocol. Those nodes that do not succeed in accessing the channel discard the packet; at the next superframe, a new packet is generated. The aim of the paper is to develop a flexible mathematical tool able to study beacon-enabled 802.15.4 networks organized in different topologies. Both the contention access period (CAP) and the contention-free period defined by the standard are considered. The slotted carrier-sense multiple access with collision avoidance (CSMA/CA) algorithm used in the CAP portion of the superframe is analytically modeled. The model describes the probability of packet successful reception and access delay statistics. Moreover, both star and tree-based topologies are dealt with; a suitable comparison between these topologies is provided. The model is a useful tool for the design of MAC parameters and to select the better topology. The mathematical model is validated through simulation results. The model differs from those previously published by other authors in the literature as it precisely follows the MAC procedure defined by the standard in the context of the application scenario described. [ABSTRACT FROM AUTHOR]
- Published
- 2010
- Full Text
- View/download PDF
28. Some Aspects of Improving the Frequency Scaling Algorithm for Dechirped SAR Data Processing.
- Author
-
Daiyin Zhu, Mingwei Shen, and Zhaoda Zhu
- Subjects
ELECTRONIC data processing ,SYNTHETIC aperture radar ,ALGORITHMS ,MATHEMATICAL models ,MATHEMATICAL functions ,FOURIER transforms ,SIMULATION methods & models - Abstract
The frequency scaling algorithm (FSA) was proposed to process the synthetic aperture radar (SAR) data acquired via the dechirp-on-receive approach. Some aspects of improving the FSA are investigated in this paper, based on which an extended FSA (EFSA) is presented. The general purpose of the EFSA is to reduce the effect of range spectrum shift of the intermediate processing results, which occurs during the scaling operation in the FSA, so as to achieve a more effective utilization of the processed bandwidth. The EFSA is implemented through time shifting the scaling and the inverse scaling functions used in the FSA and also the adjustment of the scaling factor. The derivation of the EFSA is detailed in this paper. Point target simulation in squinted imaging geometry indicates that the presented algorithm is more suitable for large-squint applications. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
29. Effective Channel Order Estimation Based on Combined Identification/Equalization.
- Author
-
Vía, Javier, Santamaría, Ignacio, and Pérez, Jesús
- Subjects
ALGORITHMS ,SIGNAL processing ,SIMULATION methods & models ,SIGNAL-to-noise ratio ,INFORMATION measurement ,MATHEMATICAL models - Abstract
Channel order estimation is a critical step in most blind single-input multiple-output (SIMO) channel identification/equalization algorithms. Several methods for estimating either the true channel order or its most significant part (the so-called effective channel order) have been recently proposed, but a solution able to work in practical scenarios (low or moderate signal-to-noise ratios (SNR5) and channels with small leading and/or trailing coefficients) has not been found yet. In this paper, a new criterion for effective channel order detection of SIMO channels is presented. The method is based on the fact that the cost function typically used in blind identification algorithms decreases monotonically with the estimated channel order, whereas for blind equalization algorithms, the cost function increases monotonically. In this paper, it is shown that a straightforward combination of both cost functions attains its minimum at the correct channel order even for moderate SNRS. The proposed method is able to work with small data sets, colored signals, and channels with small head and tail taps, which is a common problem in communication applications. The improvement of the proposed criterion over a number of existing algorithms is demonstrated through simulations. [ABSTRACT FROM AUTHOR]
- Published
- 2006
- Full Text
- View/download PDF
30. A Fictitious Play Approach to Large-Scale Optimization.
- Author
-
Lambert III, Theodore J., Epelman, Marina A., and Smith, Robert L.
- Subjects
ALGORITHMS ,GAME theory ,MATHEMATICAL optimization ,DISCRETE groups ,SIMULATION methods & models ,MATHEMATICAL models - Abstract
In this paper, we investigate the properties of the sampled version of the fictitious play algorithm, familiar from game theory, for games with identical payoffs, and propose a heuristic based on fictitious play as a solution procedure for discrete optimization problems of the form max {u(y) y = (y
1 ,…yn ∈ y1 x … x yn } i.e., in which the feasible region is a Cartesian product of finite sets y1 i ∈ N = (1, …, n). The contributions of this paper are twofold. In the first part of the paper, we broaden the existing results on convergence properties of the fictitious play algorithm on games with identical payoffs to include an approximate fictitious play algorithm that allows for errors in players 'best replies. Moreover, we introduce sampling-based approximate fictitious play that possesses the above convergence properties, and at the same time provides a computationally efficient method for implementing fictitious play. In the second part of the paper, we motivate the use of algorithms based on sampled fictitious play to solve optimization problems in the above form with particular focus on the problems in which the objective function u(·) comes from a "black box," such as a simulation model, where significant computational effort is required for each function evaluation. [ABSTRACT FROM AUTHOR]- Published
- 2005
- Full Text
- View/download PDF
31. Methods and Algorithms for Constraint-based Virtual Assembly.
- Author
-
Wang, Y., Jayaram, U., Jayaram, S., and Imtiyaz, S.
- Subjects
ALGORITHMS ,VIRTUAL reality ,MATHEMATICAL models ,SIMULATION methods & models ,COMPUTER simulation - Abstract
Constraint-based simulation is a fundamental concept used for assembly in a virtual environment. The constraints (axial, planer, etc.) are extracted from the assembly models in the CAD system and are simulated during the virtual assembly operation to represent the real world operations. In this paper, we present the analysis of ‘combinations’ and ‘order of application’ of axial and planar constraints used in assembly. Methods and algorithms for checking and applying the constraints in the assembly operation are provided. An object-oriented model for managing these constraints in the assembly operation is discussed. [ABSTRACT FROM AUTHOR]
- Published
- 2003
- Full Text
- View/download PDF
32. An effective fixed priority co-scheduling algorithm for periodic update and application transactions.
- Author
-
Wang, Jian-Tao, Lam, Kam-Yiu, Han, Song, Son, Sang, and Mok, Aloysius
- Subjects
MATHEMATICAL models ,SCHEDULING ,ALGORITHMS ,APPLICATION software ,SIMULATION methods & models ,REAL-time computing ,DATA analysis - Abstract
An important function of many cyber-physical systems ( CPS) is to provide a close monitoring of the operation environment to be able to adapt to changing situations effectively. One of the commonly applied techniques for that is to invoke time-constrained periodic application transactions to check the status of the operation environment. The status of the environment is represented by the values of the physical entities in the operation environment which are maintained as real-time data objects in a real-time database. Unfortunately, meeting the deadlines of application transactions and maintaining the quality of real-time data objects are conflicting with each other, because they compete for the same computation resources. To address this problem of update and application transactions co-scheduling problem, in this paper, we propose a fixed priority co-scheduling algorithm called periodic co-scheduling ( PCS). PCS uses periodic update transactions to maintain the temporal validity of real-time data objects. It judiciously decides the priority orders among all the update and application transactions so that the constructed schedule can satisfy the deadline constraints of all the application transactions and at the same time maximize the qualities of the real-time data objects to ensure the correct execution of application transactions. The effectiveness of the algorithm is validated through extensive simulation experiments. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF
33. Efficiency Improvements of Antenna Optimization Using Orthogonal Fractional Experiments.
- Author
-
Chen, Yen-Sheng and Ku, Ting-Yu
- Subjects
ALGORITHMS ,SIMULATION methods & models ,MATHEMATICAL models ,RADIO frequency identification systems ,IDENTIFICATION equipment - Abstract
This paper presents an extremely efficient method for antenna design and optimization. Traditionally, antenna optimization relies on nature-inspired heuristic algorithms, which are time-consuming due to their blind-search nature. In contrast, design of experiments (DOE) uses a completely different framework from heuristic algorithms, reducing the design cycle by formulating the surrogates of a design problem. However, the number of required simulations grows exponentially if a full factorial design is used. In this paper, a much more efficient technique is presented to achieve substantial time savings. By using orthogonal fractional experiments, only a small subset of the full factorial design is required, yet the resultant response surface models are still effective. The capability of orthogonal fractional experiments is demonstrated through three examples, including two tag antennas for radio-frequency identification (RFID) applications and one internal antenna for long-term-evolution (LTE) handheld devices. In these examples, orthogonal fractional experiments greatly improve the efficiency of DOE, thereby facilitating the antenna design with less simulation runs. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
34. Robust Learning to Rank Based on Portfolio Theory and AMOSA Algorithm.
- Author
-
Li, Jinzhong, Liu, Guanjun, Yan, Chungang, and Jiang, Changjun
- Subjects
ALGORITHMS ,ROBUST control ,MATHEMATICAL models ,SIMULATION methods & models ,MATHEMATICAL optimization - Abstract
Effectiveness is the most important factor considered in the ranking models yielded by algorithms of learning to rank (LTR). Most of the related ranking models only focus on improving the average effectiveness but ignore robustness. When a ranking model ignores robustness, the effectiveness for many queries is possibly very poor although the average effectiveness for all queries is relatively high. Therefore, Wang et al. first consider robustness in their ranking models. However, the robustness formula defined by Wang et al. cannot characterize those queries whose effectiveness are hurt seriously in comparison with the baseline model. In order to overcome this shortcoming, we propose a novel formula of characterizing robustness based on portfolio theory, and construct a multiobjective optimization model of the robust LTR in which the formula is used. Based on this model, we propose an approach of risk-sensitive and robust LTR, named as \textR^ 2 Rank, which is based on the framework of archived multiobjective simulated annealing algorithm and the idea of preference ranking organization method for enrichment evaluation. The experimental results show that the ranking models produced by our proposed \textR^ 2 Rank approach are better in both effectiveness and robustness than those produced by three state-of-the-art LTR approaches. [ABSTRACT FROM PUBLISHER]
- Published
- 2017
- Full Text
- View/download PDF
35. EXACT SIMULATION OF THE 3/2 MODEL.
- Author
-
BALDEAUX, JAN
- Subjects
STOCK prices ,MATHEMATICAL symmetry ,MONTE Carlo method ,POINT set theory ,ALGORITHMS ,SIMULATION methods & models ,MATHEMATICAL models - Abstract
This paper discusses the exact simulation of the stock price process underlying the 3/2 model. Using a result derived by Craddock and Lennox using Lie Symmetry Analysis, we adapt the Broadie-Kaya algorithm for the simulation of affine processes to the 3/2 model. We also discuss variance reduction techniques and find that conditional Monte Carlo techniques combined with quasi-Monte Carlo point sets result in significant variance reductions. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
36. Sequencing mixed-model assembly lines by considering feeding lines.
- Author
-
Fattahi, Parviz, Beitollahi Tavakoli, Neda, Fathollah, Mehdi, Roshani, Abdolreza, and Salehi, Mohsen
- Subjects
ASSEMBLY line methods ,MATHEMATICAL models ,SUPPLY & demand ,SIMULATION methods & models ,MANUFACTURING processes ,ALGORITHMS ,HEURISTIC algorithms - Abstract
A mixed-model assembly line is a type of production line where different models of a product are assembled on. Mixed-model assembly lines can respond to unanticipated changes in product demands quickly without keeping so many inventories. Designing mixed-model assembly line involves solving the traditional problems of the assembly line design (consists of balancing problem, determining cycle time, and the number and sequence of stations) in addition of determining the sequence of products in assembly line. The main goal of this paper is presenting a method in order to determine the sequence of products in mixed-model assembly line by considering Just-in-Time systems. Moreover, supplying some required components from feeding lines is considered. A mathematical model is presented which is capable of specifying the sequence of products in the mixed-model assembly line by considering main criteria and keeping feeding lines balanced. Mathematical model can be used for solving small-size problems. Because the combinatorial nature of sequencing problems typically provides an intractable search space for problems of 'real world' size, the search heuristics of simulated annealing and ant colony algorithms are presented and used to find solutions for several problem sets. Experimentations show that the simulated annealing approach outperforms the ant colony approach in objective function performance. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
37. Statistical Information Based Single Neuron Adaptive Control for Non-Gaussian Stochastic Systems.
- Author
-
Mifeng Ren, Jianhua Zhang, Man Jiang, Ye Tian, and Guolian Hou
- Subjects
MINIMUM entropy method ,ARTIFICIAL neural networks ,ALGORITHMS ,SIMULATION methods & models ,MATHEMATICAL models ,GAUSSIAN processes ,STOCHASTIC processes ,MACHINE learning - Abstract
Based on information theory, the single neuron adaptive control problem for stochastic systems with non-Gaussian noises is investigated in this paper. Here, the statistic information of the output within a receding window rather than the output value is used for the tracking problem. Firstly, the single neuron controller structure, which has the ability of self-learning and self-adaptation, is established. Then, an improved performance criterion is given to train the weights of the single neuron. Furthermore, the mean-square convergent condition of the proposed control algorithm is formulated. Finally, comparative simulation results are presented to show that the proposed algorithm is superior to the PID controller. The contributions of this work are twofold: (1) the optimal control algorithm is formulated in the data-driven framework, which needn't the precise system model that is usually difficult to obtain; (2) the control problem of non-Gaussian systems can be effectively dealt with by the simple single neuron controller under improved minimum entropy criterion. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
38. BACKWARD COALESCENCE TIMES FO PERFECT SIMULATION OF CHAINS WITH INFINITE MEMORY.
- Author
-
De Santis, Emilio and Piccioni, Mauro
- Subjects
COUPLINGS (Gearing) ,A priori ,ALGORITHMS ,STATIONARY processes ,PROBABILITY theory ,MATHEMATICAL models ,SIMULATION methods & models - Abstract
This paper is devoted to the perfect simulation of a stationary process with an at most countable state space. The process is specified through a kernel, prescribing the probability of the next state conditional to the whole past history. We follow the seminal work of Comets, Fernández and Ferrari (2002), who gave sufficient conditions for the construction of a perfect simulation algorithm. We define backward coalescence times for these kind of processes, which allow us to construct perfect simulation algorithms under weaker conditions than in Comets, Fermindez and Ferrari (2002). We discuss how to construct backward coalescence times (I) by means of information depths, taking into account some a priori knowledge about the histories that occur; and (ii) by identifying suitable coalescing events. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
39. RBF Neural Network Based Sliding Mode Control of a Lower Limb Exoskeleton Suit.
- Author
-
Shengli Song, Xinglong Zhang, and Zhitao Tan
- Subjects
ARTIFICIAL neural networks ,MATHEMATICAL models ,ALGORITHMS ,SIMULATION methods & models ,ARTIFICIAL intelligence - Abstract
Copyright of Journal of Mechanical Engineering / Strojniški Vestnik is the property of University of Ljubljana, Faculty of Mechanical Engineering, Journal of Mechanical Engineering and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2014
- Full Text
- View/download PDF
40. ARTIFICIAL BEE COLONY ALGORITHM WITH IMPROVED EXPLORATIONS: A NOVEL APPROACH FOR NUMERICAL OPTIMIZATION.
- Author
-
ALAM, MD. SHAFIUL, ISLAM, MD. MONIRUL, and MURASE, KAZUYUKI
- Subjects
BEE colonies ,ALGORITHMS ,SWARM intelligence ,MATHEMATICAL optimization ,SIMULATION methods & models ,PERTURBATION theory ,PROBABILITY theory ,MATHEMATICAL models - Abstract
The Artificial Bee Colony (ABC) algorithm is a recently introduced swarm intelligence algorithm that has been successfully applied on numerous and diverse optimization problems. However, one major problem with ABC is its premature convergence to local optima, which often originates from its insufficient degree of explorative search capability. This paper introduces ABC with Improved Explorations (ABC-IX), a novel algorithm that modifies both the selection and perturbation operations of the basic ABC algorithm in an explorative way. First, an explorative selection scheme based on simulated annealing allows ABC-IX to probabilistically accept both better and worse candidate solutions, whereas the basic ABC can accept better solutions only. Second, a self-adaptive strategy enables ABC-IX to automatically adapt the perturbation rate, separately for each candidate solution, to customize the degree of explorations and exploitations around it. ABC-IX is evaluated on several benchmark numerical optimization problems and results are compared with a number of state-of-the-art evolutionary and swarm intelligence algorithms. Results show that ABC-IX often performs better optimization than most other algorithms in comparison on most of the problems. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
41. Atmospheric Duct Estimation Using Radar Sea Clutter Returns by the Adjoint Method with Regularization Technique.
- Author
-
Zhao, Xiaofeng and Huang, Sixun
- Subjects
ATMOSPHERIC electromagnetic wave propagation ,CLUTTER (Radar) ,CLUTTER (Noise) ,MATHEMATICAL regularization ,ELECTROMAGNETIC wave propagation ,SIMULATION methods & models ,MATHEMATICAL models - Abstract
This paper focuses on retrieving the atmospheric duct structure from radar sea clutter returns by the adjoint approach with the regularization technique. The adjoint is derived from the split-step Fourier parabolic equation method, and the regularization term is constructed by the background refractivity field. To ensure successful implementations of the regularization, the L-curve criterion is used to find the optimal regularization parameter. The feasibility of the proposed method is validated by the numerical simulations of different noise-level clutter returns, as well as a real clutter profile measured by the S-Band Space Range Radar located in Wallops Island. In the process of inversions, the refractivity profile is first obtained by genetic algorithm, and then it is used as the background field for the adjoint method. The retrieved results indicate that, with an appropriate regularization parameter, the structure of the background refractivity profile can be improved by the proposed method. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
42. Extended and unscented kalman filters for artificial neural network modelling of a nonlinear dynamical system.
- Author
-
Saptoro, A.
- Subjects
KALMAN filtering ,ARTIFICIAL neural networks ,MATHEMATICAL models ,NONLINEAR statistical models ,SIMULATION methods & models ,ALGORITHMS - Abstract
Recently, artificial neural networks, especially feedforward neural networks, have been widely used for the identification and control of nonlinear dynamical systems. However, the determination of a suitable set of structural and learning parameter value of the feed-forward neural networks still remains a difficult task. This paper is concerned with the use of extended Kalman filter and unscented Kalman filter based feedforward neural networks training algorithms. The comparisons of the performances of both algorithms are discussed and illustrated using a simulated example. The simulation results show that in terms of mean squared errors, unscented Kalman filter algorithm is superior to the extended Kalman filter and back-propagation algorithms since there are improvements between 2.45-21.48% (for training) and 8.35-29.15% (for testing). This indicates that unscented Kalman filter based feedforward neural networks learning could be a good alternative in artificial neural network models based applications for nonlinear dynamical systems. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
43. Synthesis of neural tree models by improved breeder genetic programming.
- Author
-
Qi, Feng, Liu, Xiyu, and Ma, Yinghong
- Subjects
TREE graphs ,ARTIFICIAL neural networks ,GENETIC programming ,MATHEMATICAL models ,MATHEMATICAL optimization ,ALGORITHMS ,SIMULATION methods & models ,TIME series analysis - Abstract
Neural tree model has been successfully applied to solving a variety of interesting problems. In most previous studies, optimization of the neural tree model was divided into two steps: first structure optimization, then parameter optimization. One major problem in the evolution of structure without parameter information was noisy fitness evaluation. In this paper, an improved breeder genetic programming algorithm is proposed to the synthesis of neural tree model. The effectiveness and performance of the method are evaluated on time series prediction problems and compared with those of related methods. Simulation results show that the proposed algorithm is a potential method with better performance and effectiveness. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
44. A Hybrid Approach of DWT and DCT for Rational Dither Modulation Watermarking.
- Author
-
Liu, Jinhua and She, Kun
- Subjects
DIGITAL watermarking ,ENTROPY ,ROBUST control ,ALGORITHMS ,SIMULATION methods & models ,MATHEMATICAL models - Abstract
In this paper, on the basis of the theories and methods of Watson's perceptual model and rational dither modulation (RDM), a hybrid quantization-based watermarking in the discrete wavelet transform (DWT) and discrete cosine transform (DCT) domains is studied. In the design of the quantization-based watermarking, quantization step-size plays an important role in many watermarking algorithms. RDM at both the embedder and decoder adopts a gain-invariant adaptive quantization step-size. Therefore, we investigated combining the modified Watson's perceptual model with RDM. Its improved robustness is due to the embedding in the high entropy region of low-frequency sub-band image and adaptive control of its quantization step-size. The Euclidean distance decoder is used to extract the watermark data. The performance of the proposed scheme is analytically calculated and verified by simulation. Experimental results confirm the imperceptibility of the proposed watermarking and its higher robustness against attacks compared to alternative watermarking methods in the literature. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
45. Uncertainty Reduction in Multi-Evaluator Decision Making.
- Author
-
El Asmar, Mounir, Lotfallah, Wafik Boulos, Loh, Wei-Yin, and Hanna, Awad S.
- Subjects
DECISION making ,ALGORITHMS ,SIMULATION methods & models ,MATHEMATICAL models ,ROBUST control - Abstract
When selecting construction design-build teams, subjective multi-evaluator decision making can be controversial and can lead to project delay, loss of public trust, and increased legal fees. This paper introduces a mathematical algorithm that supports multi-evaluator selection decisions by detecting and reducing the effect of possible uncertainty in the scores given by the evaluators. The algorithm was coded and tested using several scenarios. The study results show that the model is robust and capable of extracting the maximum knowledge from the scores given by evaluators with varying degrees of expertise. Simulation results show that the proposed model performed better than the simple averaging method 89% of the time. The outcome of this research provides the decision maker with a justified basis to proceed with the selection decision. [ABSTRACT FROM AUTHOR]
- Published
- 2012
- Full Text
- View/download PDF
46. SIMULATION AND DESIGN OF A CONSTANT-CURRENT-CONTROLLED SPOT WELDING INVERTER WITH THE FUZZY NEURAL NETWORK.
- Author
-
ZHANG, YONG, BAI, HUA, CAI, YONGQING, MA, TIEJUN, and XIE, HONGXIA
- Subjects
ARTIFICIAL neural networks ,ELECTRIC inverters ,ELECTRIC welding ,ENGINEERING design ,SIMULATION methods & models ,FUZZY systems ,MATHEMATICAL models ,SWITCHING theory ,ALGORITHMS ,BACK propagation - Abstract
Resistance spot welding is a major metal connecting method in vehicle and other domestic electronic domains. Among all the welding techniques, the spot welding inverter is an important direction at the present time. The high nonlinearity and strongly coupled multiple parameters in the resistance spot welding process challenge the classical control theory based on some specific conditions and ideal assumptions, which in real practice obstacle the high-quality welding. This paper put the fuzzy neural network into a constant-current-controlled spot welding inverter, where the welding current peak and its variation are adopted as the input parameters and the duty ratio of the switches is regarded as the output. Eventually a five-layer feed-forward network was constructed, back propagation (BP) algorithm was applied to revise the adjustable parameters in the network, and a mathematical model was established to obtain the training samples serving for the network. The ultimate precision could reach 1.75%, the relative control error is 2.28% with strong external disturbances, the overmodulation is 3.35%, and the total modulating period is seven switching period, which indicated that the proposed algorithm has good performance. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
47. An Efficient Robust Algorithm for the Surface-Potential Calculation of Independent DG MOSFET.
- Author
-
Jandhyala, Srivatsava and Mahapatra, Santanu
- Subjects
METAL oxide semiconductor field-effect transistors ,POTENTIAL theory (Physics) ,ALGORITHMS ,LOGIC circuits ,MATHEMATICAL models ,STOCHASTIC convergence ,NEWTON-Raphson method ,NUMERICAL solutions to equations ,SIMULATION methods & models - Abstract
Although the recently proposed single-implicit-equation-based input voltage equations (IVEs) for the independent double-gate (IDG) MOSFET promise faster computation time than the earlier proposed coupled-equations-based IVEs, it is not clear how those equations could be solved inside a circuit simulator as the conventional Newton–Raphson (NR)-based root finding method will not always converge due to the presence of discontinuity at the G-zero point (GZP) and nonremovable singularities in the trigonometric IVE. In this paper, we propose a unique algorithm to solve those IVEs, which combines the Ridders algorithm with the NR-based technique in order to provide assured convergence for any bias conditions. Studying the IDG MOSFET operation carefully, we apply an optimized initial guess to the NR component and a minimized solution space to the Ridders component in order to achieve rapid convergence, which is very important for circuit simulation. To reduce the computation budget further, we propose a new closed-form solution of the IVEs in the near vicinity of the GZP. The proposed algorithm is tested with different device parameters in the extended range of bias conditions and successfully implemented in a commercial circuit simulator through its Verilog-A interface. [ABSTRACT FROM PUBLISHER]
- Published
- 2011
- Full Text
- View/download PDF
48. Height and Leveling Control of Automotive Air Suspension System Using Sliding Mode Approach.
- Author
-
Hyunsup Kim and Hyeongcheol Lee
- Subjects
AIR suspension for automobiles ,MATHEMATICAL models ,ALGORITHMS ,AUTOMATIC control systems ,SIMULATION methods & models - Abstract
Electronically controlled air suspension systems have been used in vehicles to improve ride comfort and handling safety by adjusting vehicle height. This paper proposes a new nonlinear controller to adjust the height of the vehicle sprung mass (height control) and to regulate the roll and pitch angles of the vehicle body (leveling control) by an air suspension system. A sliding mode control algorithm is designed to improve the tracking accuracy of the control and to overcome nonlinearities and uncertainties in the air suspension system. A mathematical model of the air suspension system is formulated in a nonlinear affine form to describe the dynamic behavior of the system and to derive the control algorithm. The sliding mode observer is also designed to estimate the pressures inside four air springs. The effectiveness and performance of the proposed control algorithm are verified by simulations and actual vehicle tests. [ABSTRACT FROM PUBLISHER]
- Published
- 2011
- Full Text
- View/download PDF
49. Hybrid modeling of homogenous gas-phase combustion reactions.
- Author
-
Brumback, Terry E. and Chen, Chien-Pin
- Subjects
MATHEMATICAL models ,COMBUSTION ,ALGORITHMS ,METHANE ,STOCHASTIC analysis ,SIMULATION methods & models - Abstract
This paper presents a hybrid model (stochastic/deterministic) that describes the time evolution of chemical species in a homogenous gas-phase combustion reaction process at constant volume. First, the paper briefly introduces currently employed stochastic algorithms. Next, the development of the hybrid algorithm is detailed. The model is then validated and tested using a reduced reaction mechanism for methane combustion. The effect of user-input performance parameters on stochastic behavior and computational time is studied. The computational time of the algorithm compared to the stochastic simulation algorithm is then compared, and finally, the effect of multiple runs on auto-ignition time is investigated. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
50. Challenges in Merger Simulation Analysis.
- Author
-
Knittel, Christopher R and Metaxoglou, Konstantinos
- Subjects
MERGERS & acquisitions ,SIMULATION methods & models ,MULTILEVEL models ,LOGITS ,GAME theory ,SUPPLY & demand ,ALGORITHMS ,MATHEMATICAL models ,INDUSTRIAL organization (Economic theory) - Abstract
In this paper, we share our experience with merger simulations using a Random Coefficient Logit model on the demand side and assuming a static Bertrand game on the supply side. Drawing largely from our work in Knittel and Metaxoglou (2008), we show that different demand estimates obtained from different combinations of optimization algorithms and starting values lead to substantial differences in post-merger market outcomes using metrics such as industry profits, and change in consumer welfare and prices. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.