This paper discusses the use of the 3-dimensional panel method for dynamical system simulation. Specifically, the advantages and disadvantages of model exchange versus co-simulation of the aerodynamics and the dynamical system model are discussed. Based on a trade-off analysis, a set of recommendations for a panel method implementation and for a co-simulation environment is proposed. These reco...

As an alternative to traditional software debuggers and hardware logic simulators, hardware/software coverification tools have been introduced in novel design processes for the embedded systems market. The main idea behind co-verification is to reduce design time by enabling an early integration of hardware and software development. However, with this approach, several new aspects on software d...

The effect of coherency WC/Co phase boundaries on the fracture toughness of the nanocrystalline WC-Co cemented carbides is studied by MD simulation method. The simulation results show that the nanocrystalline WC-Co cemented carbides with coherency WC/Co phase boundaries has higher fracture toughness than that without coherency WC/Co phase boundaries. Moreover, the mechanism of why coherency WC/...

Comparisons of aircraft measurements of carbon monoxide (CO) to the retrievals of CO using observations from the Measurements of Pollution in The Troposphere (MOPITT) instrument onboard the Terra satellite are presented. Observations made as part of the NASA INTEXB and NSF MIRAGE field campaigns during March–May 2006 are used to validate the MOPITT CO retrievals, along with routine samples from...

We study the difference between the standard seeded model of tile self-assembly, and the “seedless” two-handed model of tile self-assembly. Most of our results suggest that the two-handed model is more powerful. In particular, we show how to simulate any seeded system with a two-handed system that is essentially just a constant factor larger. We exhibit finite shapes with a busy-beaver separati...

In this study, we have a research of the design and implementation of co-simulation platform for wireless networked control systems based on Simulink and OPNET. The real time simulation platform for wireless networked control systems were designed and realized by using Simulink and OPNET. Simulink and OPNET were adopted to simulate the real time control and network performance separately. The c...

abstract background: determination of transgenic embryos from non transgenic embryos sibling is an important step in producing homozygous transgenic mice. these steps need by pcr or southern blotting followed extraction of dna, but both techniques require skill and consume time. objective: the aim of this study was simulation of high accuracy method using novel enhanced green fluorescent protei...

In this paper, we develop a mathematical model to examine the transmission dynamics of curable malaria, curable mTB and non-curable HIV/AIDS and their co-infection. The size of population has been taken as varying due to the emigration of susceptible population. The total population is divided into five subclasses as susceptible, malaria infected, mTB infected, HIV infection and AIDS by assumin...

We present a generic co-simulation approach between discrete-event models, developed in the Event-B formal method, and continuous models, exported via the Functional Mock-up Interface for Co-simulation standard. The concept is implemented into a simulation extension for the Rodin platform, thus leveraging powerful capabilities of refinementbased modelling and deductive verification in Event-B w...