Search

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.

In order to solve the problem of optimal aHocation of non-paper resource in chemical laboratories, a mathematical model is set up. We abstract the problem to find an optimal solution in a six-dimensional space. A constraint rule and an optimization rule are presnted, cost distance and equilibration value are given, wait time is defined based on open queuing network too. A fitness function is defined, optimal aHocation algorithm based on particle swarm algorithm is established. Simulation experiment on this algorithm shows that it is fast and efficient. [ABSTRACT FROM AUTHOR]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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 = (y1,…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]

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]

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]

The problem in this paper is motivated by physical problems concerned with the case when a class of continuous and equimeasurable densities of a string is given then how to find minimal frequencies among these given densities, that is, what kind of densities minimize the frequencies. By taking Dirichlet eigenvalues into account, given a certain weight function ω, we will show the minimizer of the mth eigenvalue is the m-degree continuous symmetrical decreasing rearrangement of ω. The main result of this paper can be viewed as complementary to Schwarz’s work (Schwarz in J. Math. Mech. 10:401-422, 1961). [ABSTRACT FROM AUTHOR]

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]

This paper considers "critical path" networks which are used for the planning and scheduling of projects that consist of well defined sequences of individual activities. When the number of activities is large, it becomes difficult to prepare a network for the project as one unit, and it may also be difficult to store the network in the high speed memory of a digital computer. Also, in the cases where there are two or more independent projects, which are weakly inter-related by common activities, the problem of efficient scheduling of all the projects becomes quite difficult. This paper presents a method to "tear" or "decompose" a project network into several subnetworks, schedule the subnetworks and then to put the subnetworks back together. A computational algorithm is first given for time-only networks; then two computational formulations are given for cost-time network of project subnetworks. The latter essentially generalize the algorithm due to Fulkerson, in order to handle piecewise linear, convex, cost-time curves for some or all of the activities. [ABSTRACT FROM AUTHOR]

This paper gives a detailed description of an algorithm for the solution of a specialized Linear Programming model, to be called the Machine Loading model. It is a generalization of the Transportation Problem, in that weighting factors are applied to the individual elements which form the row and column sums. For the Machine Loading model, the simplex method reduces to a specialized algorithm which generalizes the stepping stone method of the Transportation Problem [2], [3]. With the resulting generalized stepping stone method, it becomes practicable to solve many large-scale problems for which the direct application of the simplex method would be impracticable. The present paper is restricted to a discussion of the following topics: (I) the general characteristics of the model and its topological features; (ii) a detailed solution algorithm, including a consideration of degenerate cases and the use of a computer; (iii) a more restrictive capacitated model and the corresponding modifications to the solution algorithm; and (iv) the complete illustrative solution of a numerical example. The purpose is to aid interested readers in gaining familiarity with the algorithm and facility in the solution of numerical problems. No derivations or proofs will be included. [ABSTRACT FROM AUTHOR]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

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]

Traditional simulation methods that are based on some form of kriging are not sensitive to the presence of strings of connectivity of low or high values. They are particularly inappropriate in many earth sciences applications, where the geological structures to be simulated are curvilinear. In such cases, techniques allowing the reproduction of multiple-point statistics are required. The aim of this paper is to point out the advantages of integrating such multiple-statistics in a model in order to allow shape reproduction, as well as heterogeneity structures, of complex geological patterns to emerge. A comparison between a traditional variogram-based simulation algorithm, such as the sequential indicator simulation, and a multiple-point statistics algorithm (e.g., the single normal equation simulation) is presented. In particular, it is shown that the spatial distribution of limestone with meandering channels in Lecce, Italy is better reproduced by using the latter algorithm. The strengths of this study are, first, the use of a training image that is not a fluvial system and, more importantly, the quantitative comparison between the two algorithms. The paper focuses on different metrics that facilitate the comparison of the methods used for limestone spatial distribution simulation: both objective measures of similarity of facies realizations and high-order spatial cumulants based on different third- and fourth-order spatial templates are considered. [ABSTRACT FROM AUTHOR]

This correspondence paper presents an algorithm in which the independent components of link lengths are used as a medium to analyze the forward kinematics of a six-degree-of-freedom Stewart platform. The link lengths are firstly transformed into independent components through independent component analysis. Then, the value of positional variables is computed by using the Nelder–Mead algorithm by taking advantage of the relationships between the independent components and the positional variables. Simulations have been conducted to test the proposed algorithm. The experimental results show that the proposed algorithm can achieve a better performance than the other published algorithms. [ABSTRACT FROM PUBLISHER]

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]

This paper presents an improved mathematical model, to calculate power and energy losses within asynchronous machine(ASM) which operates in harmonic regime(HR) and respectively the simulations done on presented model basis on technological lines(TL) composed by asynchronous motors with known characteristics, made in Romania. After a brief review of some aspects regarding operation of ASM in HR, in the second part of the paper is presented the algorithm and mathematical model applied on energetic performances simulation of ASM which operates in HR. The third part presents the result of simulations done based on mathematical model to a known structure power consumer, respectively S.C. „CONGIPS" S.A. from city of Oradea. The last part of the paper expresses the resulted conclusions of the analysis. [ABSTRACT FROM AUTHOR]

A large corpus of data obtained by means of empirical study of neuromuscular adaptation is currently of limited use to athletes and their coaches. One of the reasons lies in the unclear direct practical utility of many individual trials. This paper introduces a mathematical model of adaptation to resistance training, which derives its elements from physiological fundamentals on the one side, and empirical findings on the other. The key element of the proposed model is what is here termed the athlete's capability profile. This is a generalization of length and velocity dependent force production characteristics of individual muscles, to an exercise with arbitrary biomechanics. The capability profile, a two-dimensional function over the capability plane, plays the central role in the proposed model of the training-adaptation feedback loop. Together with a dynamic model of resistance the capability profile is used in the model's predictive stage when exercise performance is simulated using a numerical approximation of differential equations of motion. Simulation results are used to infer the adaptational stimulus, which manifests itself through a fed back modification of the capability profile. It is shown how empirical evidence of exercise specificity can be formulated mathematically and integrated in this framework. A detailed description of the proposed model is followed by examples of its application-new insights into the effects of accommodating loading for powerlifting are demonstrated. This is followed by a discussion of the limitations of the proposed model and an overview of avenues for future work. [ABSTRACT FROM AUTHOR]

A trimming mean eliminates the extreme observations by removing observations from each end of the ordered sample. In this paper, we adopted the Hogg's and Brys's tail weight measures. In addition, a new algorithm was proposed as a linear estimator based on the quartile; we used a quartile to divide the data into three and four groups. Then two new estimators were proposed. These classes of linear estimators were examined via simulation method over a variety of asymmetric distributions. Sample sizes 50, 100, 150, and 200 were generated using R program. The results of 50 were tabulated, since we have similar results for the other sizes. These results were tabulated for 7 asymmetric distributions with total trimmed proportions 0.10 and 0.20 on both sides, respectively. The results for these estimators were ordered based on their relative efficiency. [ABSTRACT FROM AUTHOR]