Effective Use of Simulation Means in Collective Mission Simulation

Mission training and rehearsal are vital to successful operations. Advances in modeling and simulation (M&S) technology now allow for Collective Mission Simulation (CMS). The Royal Netherlands Armed Forces have exploited CMS through participation in a number of virtual exercises. The potential of collective mission simulation has been recognized and the requirement for a CMS capability was formalized. Such a capability is characterized by effective realism, interoperable systems across domains, and seamless information flow. Within the next few years the Royal Netherlands Armed Forces want to establish a validated, reusable, interoperable mission simulation environment that will support the distributed simulation of tactical and operational missions at varying degrees of security classification

Prosthetic overhang is the most effective way to prevent scapular conflict in a reverse total shoulder prosthesis

Methods An average and a "worst case scenario" shape in A-P view in a 2-D computer model of a scapula was created, using data from 200 "normal" scapulae, so that the position of the glenoid and humeral component could be changed as well as design features such as depth of the polyethylene insert, the size of glenosphere, the position of the center of rotation, and downward glenoid inclination. The model calculated the maximum adduction (notch angle) in the scapular plane when the cup of the humeral component was in conflict with the scapula. Results A change in humeral neck shaft inclination from 155 degrees to 145 degrees gave a 10 degrees gain in notch angle. A change in cup depth from 8 mm to 5 mm gave a gain of 12 degrees. With no inferior prosthetic overhang, a lateralization of the center of rotation from 0 mm to 5 mm gained 16 degrees. With an inferior overhang of only 1 mm, no effect of lateralizing the center of rotation was noted. Downward glenoid inclination of 0 boolean OR to 10 boolean OR gained 10 degrees. A change in glenosphere radius from 18 mm to 21 mm gained 31 degrees due to the inferior overhang created by the increase in glenosphere. A prosthetic overhang to the bone from 0 mm to 5 mm gained 39 degrees. Interpretation Of all 6 solutions tested, the prosthetic overhang created the biggest gain in notch angle and this should be considered when designing the reverse arthroplasty and defining optimal surgical technique

Particle convection in thermonuclear plasmas

XIX+174hlm.;24c

„ACCOUNTING PRINCIPLES” IN DE BRANDING

"ACCOUNTING PRINCIPLES" IN DE BRANDIN

A framework for formal component-based software architecting

The assessment of quality attributes of software-intensive systems is a challenging issue. This paper describes a method aimed at quantitative evaluation of certain quality attributes that are important design parameters for embedded systems; timeliness, performance and memory consumption. The following principles are important starting points for building a formal model for evaluating quality attributes: (1) Dependability constraints are specified in an end-to-end fashion; (2) Components are attributed with resource demands; (3) Specification of component interaction is separated from specification of component behavior. Furthermore, the method is aimed to be applicable in practice. Therefore we investigate combining of widely used software modeling notations with existing formal methods. In particular, the proposed approach combines Message Sequence Charts and Timed Automata. We illustrate the approach with an example

A framework for formal component-based software architecting

The assessment of quality attributes of software-intensive systems is a challenging issue. This paper describes a method aimed at quantitative evaluation of certain quality attributes that are important design parameters for embedded systems; timeliness, performance and memory consumption. The following principles are important starting points for building a formal model for evaluating quality attributes: (1) Dependability constraints are specified in an end-to-end fashion; (2) Components are attributed with resource demands; (3) Specification of component interaction is separated from specification of component behavior. Furthermore, the method is aimed to be applicable in practice. Therefore we investigate combining of widely used software modeling notations with existing formal methods. In particular, the proposed approach combines Message Sequence Charts and Timed Automata. We illustrate the approach with an example