In flight critical, software intensive, avionics systems, a major technical and managerial component is the testing and analysis of the developed software. In many of these systems the software must be “ultra-reliable” (work the first time and every time) and produced within schedule and budget. In this paper, we will examine how an existing successful software verification and validation proje...

in this paper, a systematic approach is presented for optimal design of tunnel support lining using two-dimensional finite element analysis models of soil-structure interaction developed in abaqus software and the modified colliding bodies optimization (mcbo) algorithm implemented in matlab environment. this approach is then employed to study the influence of variable geometrical and geo-mechan...

introduction: raising the knowledge of skeletal and soft tissue changes with aging has been highly essential due to an increasing demand for aesthetic facial surgery following aging. the aim of this study is to evaluate the three dimensional computed tomographic images and process of changes in mandible with aging. materials and methods: in this descriptive study, the facial ct scans were obtai...

the aim of the present study was to introduce the methods to extract and to interpret cinematic data in order to explain movement pattern changes via joint coupling and freezing/freeing phenomena in a healthy right-dominant college male (age:26, height: 172 cm, weight: 80 kg) who practiced balance maintenance on a stabilometer. data were gathered using a three-dimensional registration system wh...

We provide software tools for displaying and publishing interactive 3-dimensional (3D) and 4-dimensional (4D) figures to html webpages, with examples of high-resolution brain imaging. Our framework is based in the R statistical software using the rgl package, a 3D graphics library. We build on this package to allow manipulation of figures including rotation and translation, zooming, coloring of...