wide range of planar structures in new technologies has attracted special consideration. in this research vibration behavior of plates with non-linear edges is investigated by means of finite difference (fd) method. for this issue, classical and analytical solutions for plates with linear edges were analyzed and mutual equations, needed for numerical calculation were extracted. by expanding the...

This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I/O automata to extract a set of proof obligations for showing that the behaviors of one algorithm are among those of another, and it uses the Larch tools for speci cation and deduction to discharge these obligations in a natural and easy-to-read fashion. The approach is demonstrate...

Synthetic imagery has often been considered unsuitable for demonstrating the performance of vision algorithms and systems. We argue that (despite many remaining diiculties) simulation and computer graphics are at a point today that make them extremely useful for evaluation and training, even for complex outdoor applications. This is particularly valuable for autonomous and robotic applications,...

Mathematical modelling methods were used at Wheal Jane. to investigate the sensitivity of the Stokes hydrosizer to changes in the operating variables, with the view to improving the process efficiency. The major conclusion was that the hydrosizer was overloaded. The results indicated that throughput and spigot densities were the most sensitive variables. The model predictions demonstrated that ...

From Leonardo Da Vinci’s anatomical drawings to Wilhelm Roentgen’s first Xray of the human hand to today’s use of computer graphics and virtual reality to “fly through” three-dimensional reconstructions of magnetic resonance imaging (MRI) data, researchers and physicians have for centuries used visualization in their quest to understand human physiology. The goals of medical simulation and visu...

Abstract. Modelling and Simulation is a discipline for developing a level of understanding of the interaction of the parts of a system, and of the system as a whole. The level of understanding which may be developed via this discipline is seldom achievable via any other discipline. A simulation is the manipulation of a model in such a way that it operates on time or space to compress it, thus e...