As the embedded devices has become more and more generalized and as their product cycles keeps shrinking the field has opened up for the Application Specific Instruction set Processor. A mix between the classic generalized microcontroller and the specialized ASIC the ASIP keeps a set of general processing instructions for executing embedded software but combines that with a set of heavily specialized instructions for speeding up the data intense application core algorithms. One important aspect of the ASIP design flow research is cutting design time and cost. One way of that is automation of the instruction set design. In order to do so a process is needed where the algorithm to be ASIPed is analyzed and critical operations are found and exposed so that they can be implemented in special hardware. This process is called profiling. This thesis describes an implementation of a fine grained source code profiler for use in an ASIP design flow. The profiler software is based on a static-dynamic workflow where data is assembled from both static analysis and dynamic execution of the program and then analyzed together in an specially made analysis software.

Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. The result of the points-to analysis is traditionally used to perform optimizations in compilers, such as static resolution of polymorphic calls, and dead-code elimination. More advanced optimizations have been suggested specifically for Java, such as synchronization removal and stack-allocation of objects. Recently, software engineering tools using points-to analysis have appeared aiming to help the developer to understand and to debug software. Altogether, there is a great variety of tools that use or could use points-to analysis, both from academia and from industry. We aim to construct a framework that supports the development of new and the improvement of existing clients to points-to analysis result. We present two client analyses and investigate the similarities and differences they have. The client analyses are the escape analysis and the side-effects analysis. The similarities refer to data structures and basic algorithms that both depend on. The differences are found in the way the two analyses use the data structures and the basic algorithms. In order to reuse these in a framework, a specification language is needed to reflect the differences. The client analyses are implemented, with shared data-structures and basic algorithms, but do not use a separate specification language. The framework is evaluated against three goal criteria, development speed, analysis precision, and analysis speed. The development speed is ranked as most important, and the two latter are considered equally important. Thereafter we present related work and discuss it with respect to the goal criteria. The evaluation of the framework is done in two separate experiments. The first experiment evaluates development speed and shows that the framework enables higher development speed compared to not using the framework. The second experiment evaluates the precision and the speed of the analyses and it shows that the different precisions in the points-to analysis are reflected in the precisions of the client analyses. It also shows that there is a trade-off between analysis precision and analysis speed to consider when choosing analysis precision. Finally, we discuss four alternative ways to continue the research towards a doctoral thesis.

Abstract The aim of this work was to study systematically the effects of composition and processing on austenite grain growth and static recrystallization (SRX) kinetics, austenite decomposition under controlled cooling as well as microstructures, mechanical properties and weldability of hot rolled low carbon bainitic (LCB) steels. The results showed that the coarsening of austenite grain structure is influenced by the chemical composition. Steels with Nb-Ti alloying exhibited fine and uniform austenite grain size up to 1125 °C, whereas higher temperatures led to formation of the bimodal grain structures. However, with Nb-Ti-B microalloying, the abnormal grain growth was already observed at 1050 °C. SRX rate at roughing temperatures, determined by the stress relaxation method, was found to be retarded markedly by Mo, Nb and B alloying. For the test conditions investigated, the decomposition of austenite started in the temperature range from 780 °C to below 550 °C. All alloying elements with the exception of Nb (0.04–0.10 wt-%) decreased the phase transformation temperatures and increased the hardness of dilatometric specimens. Detailed microstructural examinations enabled the identification of 4 different ferrite morphologies: polygonal ferrite, quasi-polygonal ferrite (QF), granular bainitic ferrite (GB) and bainitic ferrite (BF), generally as a mixed microstructure consisting of 2–3 types morphologies. Consistent with the microstructures detected in dilatometric experiments, the microstructures of rolled plates comprise various combinations of low C ferrite morphologies. These microstructure types provided the yield strengths from 500 MPa up to 850 MPa in hot rolled condition and from 500 MPa to 950 MPa in heat-treated condition (600 °C/1h). The yield strengths from 500 MPa to 570 MPa were mainly related to QF microstructures in as-rolled condition, while the steels with the yield strength from 570 to 700 MPa had GB-QF microstructures. Steels with the yield strengths above 700 MPa consisted of BF. The most effective alloying element regarding the strength properties is B. Also C, Mn, Cr, Mo and Ni have strong influences, but Nb in the range of 0.05–0.10 wt-% is ineffective. Strengthening with B and Mo was detrimental to toughness. Alloying with Ni and Mn is beneficial to good strength and toughness combination. Mn, Mo, Nb and B contents mainly dictate CGHAZ toughness.

Magister Artium (Social Work) - MA(SW) / The aim of this study was to explore and describe the factors that contribute to recidivism with incarcerated sexual offenders. A qualitative research approach was used and ten incarcerated recidivist sexual offenders in the prisons were selected through purposive sampling. The researcher used semi-structured interview guides and a voice recorder to conduct as data collection tools during the interviews with the participants. The information gathered was transcribed, translated and analyzed using interpretive analysis.

The aim of orthodontic treatment is to provide the patient with a good static and functional occlusion. During research that was conducted to complete a seminar on the static and functional aspects of occlusion, the author discovered that there might be a discrepancy between the goals of an ideal static occlusion, and the goals of an ideal functional occlusion. An ideal static occlusion seemed to require a flat mandibular plane and a minimal amount of overbite after active orthodontic treatment, whereas an ideal functional occlusion required a curved mandibular plane and an overbite of 4 mm to prevent cusp interferences during functional mandibular movements. The rationale behind the excessively flat mandibular plane and minimal overbite after orthodontic treatment is to compensate for the tendency of the bite to deepen during the period following orthodontic treatment. This tendency to relapse causes uncertainty about the stability of orthodontic treatment. Little research has been dedicated to examining the long-term stability of the leveled curve of Spee. In addition, there seems to be a considerable amount of controversy surrounding the long-term stability of overbite correction after orthodontic treatment. The aim of this study was to evaluate the stability of the curve of Spee and the overbite following orthodontic treatment. In addition, the relationship between the curve of Spee and the presence of anterior guidance after a period of orthodontic retention, was examined. The relationship between the overbite and the presence of anterior guidance was also examined, and the results were used to predict an ideal value for the overbite to avoid possible dental cusp interferences. Standardized digital photographs of the dental casts of 40 subjects were taken at three different stages: before treatment (T1), after orthodontic treatment (T2), and three years (mean) post-treatment. Accurate electronic measurement of the curve of Spee, using computer software, was completed for all three stages. The overbite was measured with a dial caliper. Clinical evaluation of the functional occlusion, with special reference to anterior guidance, was performed on all the subjects. Statistical analysis was carried out in search of statistical significant changes between the various stages, and possible correlations between the different variables. The results indicated that the leveling of the curve of Spee is a stable treatment procedure. The overbite was less stable than the curve of Spee, and nearly half the amount of overbite correction obtained during treatment, relapsed in the three years (mean) post-treatment. No relationship was found between the curve of Spee and the presence of anterior guidance at T3. A highly significant relationship was found between the overbite and the presence of anterior guidance. Subjects with a small overbite seemed to be predisposed to posterior interferences during mandibular protrusion. An overbite of not less than 3mm was found to be a desirable feature after orthodontic retention in order to reduce potentially interfering contacts. More research is necessary to clarify the relationship between dental interferences and temporomandibular disorders (TMD). / Dissertation (MChD (Orthodontics))--University of Pretoria, 2004. / Orthodontics / unrestricted

The aim of this study was to compare online child pornography offenders and contact offenders along the predictive items of the Static-2002 actuarial risk assessment tool, as well as, several other items and scales predictive of recidivism. In addition, the study wished to determine if the Static-2002 was a well-equipped to assess online offenders. 120 subjects were assessed in this study, 53 online child pornography offenders, 53 child molesters, and 7 offenders who committed both a contact and online offense. The research identified a number of similarities between the two groups of offenders, including a finding that the two groups did not significantly differ in age. The most pronounced differences were found on the several measures of criminality used in the study where contact offenders scored significantly higher. The Static-2002 was found to not be well suited for use with online offenders as the tool had difficulty assessing their sexual deviancy.

Performance is an aspect of software quality that is often not considered at early stages of software design. Common approaches to performance analysis include utilizing profiling tools after the software has been developed to find bottlenecks and executing simulation models that are either manually constructed or derived from UML design diagrams. Many projects attempt to correct performance issues by adding more powerful hardware instead of attacking the root cause. Software metrics have been used to predict many aspects of software quality such as maintainability and fault-tolerance by correlation and regression analysis. Metrics proposed by Chidamber and Kemerer, also known as the CK metric suite, have been studied extensively in software quality model analyses. These studies examined maintainability, fault tolerance, error proneness, and scalability of the software as it evolved through time. Correlations were made between metrics and the likely quality models they represented. Other metrics such as Cyclomatic Complexity by McCabe and class couplings by Martin have also been used in quality predictions. No research has been conducted to analyze relationship between performance and metrics. The goal of this research was to construct a decision tree that used software metrics to forecast performance characteristics. The relationship between metrics and performance was derived by correlation between static code metrics and three runtime variables: number of objects, method call frequency, and average method call lengths on selected software benchmarks. The decision tree was constructed using the C4.5 algorithm implemented in the WEKA software. Pearson correlation coefficients were obtained for the combined datasets from all benchmarks. The decision trees and Pearson statistics showed that weighted methods per class (WMC), total lines of code (TLOC), and coupling between objects (CBO) have significant correlation with software performance. WMC showed positive correlation with number of objects and calls. CBO correlated positively with average method call lengths and negatively with number of objects. TLOC correlated positively with number of calls.

The diploma thesis is focused on the assessment and verification dimensions of the existing supporting steel structure for the K5 boiler in the locality of Olomouc. The ground dimensions of the existing main supporting structure are 24.4 x 12.2 m. The clear construction height is approx. 44 m. The main supporting columns are made of welded box cross sections. The spacing of the individual cross-links is 7.6-8.9 m. The structural stiffness of the structure is secured by transverse and longitudinal bracing. Stainless steel S235 and S355 are used as the main material of the supporting elements. The design has been assessed according to valid EN ISO standards. Part of the thesis is a technical report, a static calculation containing the assessment of the main structural elements of the structure and joints and the drawing documentation.

This work describes the creation of detailed FEM models of the selected area. Primarily is focused on the process of creating a detailed FEM model of the part of airplane using the static condensation. This work also contains a description of the process stress analysis of part of the fuselage of the airplane EV-55 Outback.

This thesis proposes a methodology for an acquisition of dependencies between outputs and inputs in Java programs by using static program analysis on bytecode of Java programs. JaBSSA methodology designed by the author is presented in the thesis. The methodology is based on a construction of context-sensitive call graph of the analyzed program and subsequent construction of directed data flow graph, where nodes containing particular metadata represent inputs and outputs of the analyzed program and edges represent data flows amongst them present in the analyzed program. The program on added CD contains JaBSSA's implemen- tation, which serves as a proof of the proposed concept. Java program examples together with test suite generating results of JaBSSA's implementation upon pre- pared Java program examples are part of the program. These generated results are used for demonstration of capabilities and flaws of the proposed concept. 1