Modeling parallel and distributed systems with finite workloads

In studying or designing parallel and distributed systems one should have available a robust analytical model that includes the major parameters that determine the system performance. Jackson networks have been very successful in modeling computer systems. However, the ability of Jackson networks to predict performance with system changes remains an open question, since they do not apply to systems where there are population size constraints. Also, the product-form solution of Jackson networks assumes steady-state and exponential service centers or certain specialized queueing discipline. In this paper, we present a transient model for Jackson networks that is applicable to any population size and any finite workload (no new arrivals). Using several non-exponential distributions we show to what extent the exponential distribution can be used to approximate other distributions and transient systems with finite workloads. When the number of tasks to be executed is large enough, the model approaches the product-form solution (steady-state solution). We also, study the case where the non-exponential servers have queueing (Jackson networks cannot be applied). Finally, we show how to use the model to analyze the performance of parallel and distributed systems.     

Modeling physical systems using finite element Cell-DEVS

We propose a method to analyze complex physical systems using two-dimensional Cell-DEVS models. These problems are usually modeled with one or more Partial Differential Equations and solved using numerical methods. Our goal is to improve the definition of such problems by mapping them into the Cell-DEVS formalism, which permits easy integration with models defined with other formalisms, and its definition using advanced modeling and simulation tools. To show this, we used two methods for solving PDEs, and deduced the updating rules for their mapping to Cell-DEVS. As our simulation results show, the accuracy of the Cell-DEVS solution is the same of these previous methods, showing that we can use Cell-DEVS as a tool to obtain numerical solution for systems of PDEs. Simultaneously, this method provides us with a simpler mechanism for model definition, automated parallelism, and faster execution.     

Modeling and simulation of large-scale,linear, multiport systems

A large number of physical and engineering systems may be represented directly in terms of component energy characteristics and their power interactions. When the system elements are modeled as energetic multiports, and their interconnections by power bonds, then the bond graph language is a natural one for describing the entire system. Bond graphs may be written for dynamic systems involving various energy types, such as electrical, mechanical, fluid and thermal; all energy types may be coexistent. Useful modeling elements include multiport storages, dissipators, and junction elements and transducers, as well as sources.Bond graph models of linear multiport systems may be transformed to state-space form by a powerful algorithm based upon operational causality. From the state-space equations, dynamic responses may be obtained by the matrix exponential technique, thereby allowing the direct digital simulation of linear multiport models.The ENPORT program is a realization of the bond graph reduction algorithm. It is a principal purpose of this paper to describe the procedure upon which ENPORT is based, and to present some results. Important features of ENPORT are its choice of physically significant state variables, its use of operational causality to obtain an orderly formulation of system equations, and its ability to handle systems containing static storage subfields.     

Modeling and simulation of chaotic phenomena in electrical power systems

Modeling and simulation of nonlinear systems under chaotic behavior is presented. Nonlinear systems and their relation to chaos as a result of nonlinear interaction of different elements in the system are presented. Application of chaotic theory for power systems is discussed through simulation results. Simulation of some mathematical equations, e.g. Vander Pol's equation, Lorenz's equation, Duffing's equation and double scroll equations are presented. Theoretical aspects of dynamical systems, the existence of chaos in power system and their dependency on system parameters and initial conditions using computer simulations are discussed. From the results one can easily understand the strange attractor and transient stages to voltage collapse, angle instability or voltage collapse and angle divergence simultaneously. Important simulation results of chaos for a model three bus system are presented and discussed.     

Stress analysis of perforated graphene nano-electro-mechanical (NEM) contact switches by 3D finite element simulation

Microsystem Technologies - In this article, we report the finite element method (FEM) simulation of the suspended double-clamped graphene beam-based NEM switches with standard and perforated beam...     

Modeling and simulation of structural components in recursive closed-loop multibody systems

Passenger cars, transit buses, railroad vehicles, off-highway trucks, earth moving equipment and construction machinery contain structural and light-fabrications (SALF) components that are prone to excessive vibration due to rough terrains and work-cycle loads’ excitations. SALF components are typically modeled as flexible components in the multibody system allowing the analysts to predict elastic deformation and hence the stress levels under different loading conditions. Including SALF component in the multibody system typically generates closed-kinematic loops. This paper presents an approach for integrating SALF modeling capabilities as a flexible body in a general-purpose multibody dynamics solver that is based on joint-coordinates formulation with the ability to handle closed-kinematic loops. The spatial algebra notation is employed in deriving the spatial multibody dynamics equations of motion. The system kinematic topology matrix is used to project the Cartesian quantities into the joint subspace, leading to a condensed set of nonlinear equations with minimum number of generalized coordinates. The proposed flexible body formulation utilizes the component mode synthesis approach to reduce the large number of finite element degrees of freedom to a small set of generalized modal coordinates. The resulting reduced flexible body model has two main characteristics: the stiffness matrix is constant while the mass matrix depends on the elastic modal coordinates. A consistent set of pre-computed inertia shape integrals are identified and used to update the modal mass matrix at each time step. The implementation of the component mode synthesis approach in a closed-loop recursive multibody formulation is presented. The kinematic equations are modified to include the effect of the flexible body modal elastic coordinates. Also, modified constraint equations that include the effect of flexibility at the joint connections and the necessary details of the Jacobian matrix are presented. Baumgarte stabilization approach is used to stabilize the constraint equations without using iterative schemes. A sample results for flexible body impeded in a closed system will be presented to demonstrate the above mentioned approach.     

Modeling and simulation of closed loop multibody systems with bodies-joints composite modules

Modular approaches are effective in improving the modeling efficiency in multibody system dynamics. A modular method, called bodies-joints composite simulation (BJCS) is presented in this paper. Two types of bodies-joints composite modules, i.e., f modules and 0 modules, are defined according to topology design rules of closed loop mechanisms. By this module partitioning, the differential-algebraic equations of motion of the system can be separated into purely algebraic and differential equations by structure decomposition. The stability criterion for the simulation is derived and a closed-form formulation to solve the algebraic loop problem is proposed. Simulation results of the forward dynamics of a 5R mechanism and a 6-UPS platform are presented to show the feasibility of the method. The CPU times of these two case studies are provided and compared with the generalized coordinate partitioning of Wehage and Haug and the modular simulation method of Kübler and Schiehlen, which indicate that the closed-form algebraic loop solver is more efficient than the numerical ones.     

Modeling and simulation of the nonsmooth planar rigid multibody systems with frictional translational joints

The main purpose of this paper is to present a modeling and simulation method for the rigid multibody system with frictional translational joints. The small clearance between a slider and guide is considered. The geometric constraints of the translational joints are treated as bilateral constraints and the impacts between sliders and guides are neglected when the clearance sizes of the translational joints are very small. The contact situations of the normal forces acting on the sliders are described by inequalities and complementarity conditions, while the frictional contacts are characterized by a set-valued force law of the type of Coulomb’s law for dry friction. The dynamic equations of the multibody systems with normal and tangential contact forces are written on the acceleration-force level using the Lagrange multiplier technique. The problem of the transitions of the contact situation of the normal forces acting on sliders and the transitions of the stick-slip of the sliders in the system is formulated as a horizontal linear complementarity problem (HLCP), which is solved by event-driven method. Baumgarte’s stabilization method is used to decrease the constraint drift. Finally, two typical mechanisms are considered as demonstrative application examples. The numerical results obtained show some dynamical behaviors of the systems with frictional translational joints and constraint stabilization effect.     

A compliant contact model with nonlinear damping for simulation ofrobotic systems

Contact modeling is an important aspect of simulation of many robotic tasks. In the paper, a compliant contact model with nonlinear damping is investigated, and many previously unknown characteristics of the model are developed. Compliance is used to eliminate many of the problems associated with using rigid body models with Coulomb friction, while the use of nonlinear damping eliminates the discontinuous impact forces and most sticky tensile forces which arise in Kelvin-Voigt linear models. Two of the most important characteristics of the model are the dependence of the coefficient of restitution on velocity and damping in a physically meaningful manner, and its computational simplicity. A full mathematical development for an impact response is given, along with the effects of the system and model parameters on energy loss. A quasistatic analysis gives results which are consistent with energy loss characteristics of a more complex distributed foundation model under sustained contact conditions. A foot contact example for a walking machine is given which demonstrates the applicability of the model for impact on foot placement, sustained contact during the support phase, and the breaking of the contact upon liftoff of the foot     

数字实现混沌系统的建模、仿真与实验

为提高混沌信号源的稳定性和精确性,提出了数字实现混沌系统的方法.在综合新提出的三维混沌系统和四维超混沌系统的基础上,通过将它们的微分方程转化为积分方程,采用离散化累积运算方法,建立了基于数字实现的离散模型.在Matlab/Simulink下数值仿真观察到了系统参数变化时动力学行为的演变过程,并基于ATmega128L微控制器芯片实现了相应的混沌和超混沌系统.仿真和实验结果表明了混沌和超混沌现象的存在性以及数字实现的可行性.     

Modeling rule-based systems by stochastic programmed production systems

A new tool, the stochastic programmed production system (SPPS), is proposed for representing rules and control mechanisms in rule-based systems. This approach is based on the stochastic programmed grammars, and its peculiarity is both its well-formalized semantics and its ability to represent most reasoning and control methods used in expert systems today. Since the proposed method is not limited by the particular heuristic organization of the rule-based system it is modeling, the SPPS is more general than existing knowledge-domain-independent expert-system development languages and may help bring a better understanding of the theory of expert systems.     

Determining the directional contact range of two convex polyhedra

The directional contact range of two convex polyhedra is the range of positions that one of the polyhedra may locate in along a given straight line so that the two polyhedra are in collision. Using the contact range, one can quickly classify the positions along a line for a polyhedron as “safe” for free of collision with another polyhedron, or “unsafe” otherwise. This kind of contact detection between two objects is important in CAD, computer graphics and robotics applications. In this paper we propose a robust and efficient computation scheme to determine the directional contact range of two polyhedra. We consider the problem in its dual equivalence by studying the Minkowski difference of the two polyhedra under a duality transformation. The algorithm requires the construction of only a subset of the faces of the Minkowski difference, and resolves the directional range efficiently. It also computes the contact configurations when the boundaries of the polyhedra are in contact.     

壳聚糖分子链序列分布的Monte Carlo模拟

为了掌握不同脱乙酰度壳聚糖分子链上不同结构单元的序列分布以及不同糖苷键的相对含量,通过Monte Carlo方法, 对壳聚糖分子的序列分布进行了计算机模拟,求出了(GlcNac)i、(GlcN)i的数量分布,并求出了GlcNatc-GlcNac、GlcNac-GlcN、GlcN-GlcN糖苷键的相对含量及其关联式(均为DD≥55%):FA-A9=9.949 49-2.001 61×DD+O.010 02×DD2、FA·D= 0.336 29+1.996 44×DD-0.019 96×DD2、FD-D=-0.168 09+0.002 78×DD+0.009 97×DD2。结果表明,随着脱乙酰度的提高,(ClcNac)i和(GlcN),分布的差别越来越明显,并且(GlcNac)i分布越来越窄,而(GlcN)i的分布则越来越宽;GlcNac-Gl cNac糖苷键的相对含量(FA-A)、GlcNac-GlcN糖苷键的相对含量(FA-D)均随着脱乙酰度(DD)的增大而减小,而GlcN-GlcN糖苷键的相对含量(FD-D)则随着DD的增大而增大,但它们都不呈线性关系。通过与文献值对比,表明模拟具有很高的精度。该算法为壳聚糖降解动力学以及降解产物分子量分布的研究提供了相应的基础。     

Modeling and simulation of powered hip orthosis by pneumatic actuators

In this study, a simulation model for a powered hip orthosis (PHO) with air muscles to predict the gait of paraplegics is presented which can be used as a design tool for hip orthoses. Before simulation, mathematical models for a human dummy with an orthosis and a pneumatic muscle actuator were generated. For the air muscle, coefficients required were obtained by static and dynamic experiments of the air muscle and experiments for the valve controlling the air pressure. The computation was conducted on the ADAMS package together with MATLAB. Computer simulation of the flexion of hip joints by the pneumatic muscle results in similar values to those from gait analysis. With the development of a simulation model for a PHO, the gait simulation model using pneumatic muscles can be used to analyze and evaluate the characteristics and efficiency of a PHO by setting the input and boundary conditions.     

Modeling systems by means of artificial intelligence

This paper describes the methods of research to reveal the relationship between human mental disorders and the functional itch disorder. A hypothesis is suggested about the formation of a pathological system in a patient’s body (and the disease; we conventionally call the system “Psikhozud”). To test the hypothesis, it is suggested that a model of this system be built using artificial-intelligence methods. Some information from systems theory is presented. The problems of the simulation of multi-agent systems are considered. The potential for using intelligent data mining based on the JSM method for the automatic generation of the behavioral patterns of the Psikhozud system is discussed.