Avaliação mecânica in vitro utilizando miniplacas quadradas e retangulares do sistema 2.0 mm em fraturas da região anterior de mandíbula

The aim of this study was to comparatively evaluate the mechanical strength of squared and rectangular 2.0 mm system miniplates comparing them to the standard configuration with 2 straight miniplates in stabilizing fractures in the anterior mandible. Ninety synthetic polyurethane mandible replicas were used in mechanical test. The samples were divided into six groups of three different methods for fixation. Groups 1, 2 and 3 showed complete fractures in symphysis, characterized by a linear separation between the medial incisor, and groups 4, 5 and 6 showed complete fractures in parasymphysis with oblique design. Groups 1 and 4 were represented by the standard technique with two straight miniplates parallel to each other. Groups 2 and 5 were stabilized by squared miniplates and groups 3 and 6 were fixed by rectangular design. Each group was subjected to a mechanical test at a displacement speed of 10 mm/min on a universal testing machine, receiving linear vertical load on the region of the left first molar. The values of the maximum load and when displacements reached 5 mm were obtained and statistically analyzed by calculating the confidence interval of 95%. Fixation systems using squared (G2) and rectangular (G3) miniplates obtained similar results. No statistically significant differences with respect to the maximum load and the load at 5 mm displacement were found when compared to standard method in symphyseal fractures (G1). In parasymphysis the fixation method using squared miniplates (G5) obtained results without significant differences regarding the maximum load and the load at 5 mm when compared to the standard configuration (G4). The fixation method using rectangular miniplates (G6) showed inferior results which were statistically significant when compared to the standard configuration (G4) for parasymphysis fractures. The mechanical behavior of the fixation methods was similar, except when rectangular miniplates were used. The fixation methods showed better results with statistical significance in symphyseal fractures

A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.