The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline of the first implementation of the core Cforall language. An effective implementation of Cforall requires complete support for new language constructs while preserving the behaviour and efficiency of existing C programs. Analyzing the meaning of Cforall programs requires significantly more sophisticated techniques than are necessary for C programs; existing techniques for the analysis of overloading and polymorphism are adapted and extended to apply to Cforall. Three strategies for generating code for polymorphic programs are compared, using plain C as an intermediate representation. Finally, a realistic Cforall program is presented and characteristics of the generated C code are examined.

The programming language Cforall extends the C language with, among other things, overloading, parametric polymorphism, and functions that can return multiple values from a single call. This thesis presents an outline of the first implementation of the core Cforall language. An effective implementation of Cforall requires complete support for new language constructs while preserving the behaviour and efficiency of existing C programs. Analyzing the meaning of Cforall programs requires significantly more sophisticated techniques than are necessary for C programs; existing techniques for the analysis of overloading and polymorphism are adapted and extended to apply to Cforall. Three strategies for generating code for polymorphic programs are compared, using plain C as an intermediate representation. Finally, a realistic Cforall program is presented and characteristics of the generated C code are examined.

abstract: The lifetime of a transformer is essentially determined by the life of its insulation system which is a time function of the temperature defined by its thermal class. A large quantity of studies and international standards have been published indicating the possibility of increasing the thermal class of cellulose based materials when immersed in natural esters which are superior to traditional mineral oils. Thus, a transformer having thermally upgraded Kraft paper and natural ester dielectric fluid can be classified as a high temperature insulation system. Such a transformer can also operate at temperatures 20C higher than its mineral oil equivalent, holding additional loading capability without losing life expectancy. This thesis focuses on evaluating the use of this feature as an additional capability for enhancing the loadability and/or extending the life of the distribution transformers for the Phoenix based utility - SRP using FR3 brand natural ester dielectric fluid. Initially, different transformer design options to use this additional loadability are compared allowing utilities to select an optimal FR3 filled transformer design for their application. Yearlong load profiles for SRP distribution transformers, sized conventionally on peak load demands, are analyzed for their oil temperatures, winding temperatures and loss of insulation life. It is observed that these load profiles can be classified into two types: 1) Type-1 profiles with high peak and high average loads, and 2) Type-2 profiles with comparatively low peak and low average load. For the Type 1 load profiles, use of FR3 natural ester fluid with the same nominal rating showed 7.4 times longer life expectation. For the Type 2 load profiles, a new way of sizing ester filled transformers based on both average and peak load, instead of only peak load, called “Sustainable Peak Loading” showed smaller size transformers can handle the same yearly peak loads while maintaining superior insulation lifespan. It is additionally possible to have reduction in the total energy dissipation over the year. A net present value cost savings up to US$1200 per transformer quantifying benefits of the life extension and the total ownership cost savings up to 30% for sustainable peak loading showed SRP distribution transformers can gain substantial economic savings when the distribution transformer fleet is replaced with FR3 ester filled units. / Dissertation/Thesis / Envirotemp FR3 Fluid Brochure / Envirotempe FR3 Fluid Data Sheet / Masters Thesis Electrical Engineering 2018

One the most serious health hazards of aging and of long term space flight is the loss of bone. The most important determinant of the debilitation due to bone loss is the peak bone mass achieved during late adolescence, which itself may be influenced by gender and environmental factors such as mineral balance. Sodium intake is considered a risk factor for both hypertension and osteoporosis. It is estimated that 30-60% of the population is hypertensive and 30-40% of the population is salt sensitive. The primary purpose of the present studies was to both delineate and combine the effects between salt intake and salt sensitive hypertensive genotype on bone. Our hypothesis was that hypertensive rats would have more severely affected bone than normotensive rats due to salt supplementation and/or genotype. In addition, how these effects might be altered by immobilization/overloading stress was examined as this further burdens NASA space pioneers. This study investigated the possible effects of an ad libidum 1% or 2% saline instead of water on the normotensive (W) and salt sensitive hypertensive (SS) young female rats. A total of 46 weight-matched female rats (7 weeks old) were used. Treated rats in the 1% study drank 1% saline ad libitum for a 42 day salt supplementation period, beginning at day 7 (after arrival) to day 49. Treated rats in the 2% study drank 2% saline ad libitum for a 42 day salt supplementation period, beginning at day 7 (after arrival) to day 49. The right hindlimb of each animal was immobilized by binding to the abdomen with 4 layers of elastic bandage tape, the hip joint in flexion and the knee and ankle joint in extension for the 42 day salt experimental period. Body weight and urine volume was measured biweekly. Food and fluid intake was monitored daily. After sacrifice, three sites (both the underloaded and the overloaded tibiae, as well as the L-2 vertebrae) were processed for histomorphometric analysis. The wet weight (g) and length (mm) of the excised right immobilized and left overloaded femur and the ulna were measured. A 3-point bending test was applied to femurs only. Immediately after the femur breaking strength measurements, bone was cut transversely, one mm from breaking point (fracture location), and a 1.0 mm cross-section was cut for morphological measurement. In addition, a 5 mm high cylinder section from each femur was cut and used for bone composition measurements along with the right ulna bone. A number of elements were analyzed at one time with Induced Coupled Plasma (ICP) spectrometry. The systolic blood pressure and heart rate were measured in the 6th week of study by the tail-cuff sphygmomanometer method. A more robust result was seen with increased concentration of saline treatment from a 1% saline threshold level, to the 2% saline level. Using two-way ANOVA, both hypertensive genotype and 2% saline treatment significantly increased blood pressure and heart rate, and decreased femur magnesium. The SS rat had significant reductions in bone mass, femur cross-sectional area and zinc concentrations with simultaneous elevations in femur stiffness, strength and calcium concentrations. Two percent saline treatment markedly increased both blood pressure and heart rate and decreased both femurs magnesium and cancellous bone in the weight-bearing tibia bone. After 6 weeks of immobilization (to simulate space weightlessness), reductions in cancellous tibia bone volume, with elevations in femur bone stiffness, mineral concentration (calcium and phosphorus) and in trace elements (zinc and manganese) were found in the underloaded femur. Our findings suggest genotype, and saline treatment, and immobilization adversely affect bone in adolescent female rats. In addition, the deleterious bone effects are site specific, affecting each site differently.

Overloading truck traffic is an untenable problem around the world. The occurrence of overloaded truck traffic can be evidence of rapid development of an economy. Most of the developing countries emphasize the development of economy, thus supporting reform of infrastructure is limited. This research investigates the relationship between truck overloading and the condition of road damage. The objective of this research is to determine the amount of economic loss due to overloaded truck traffic is. Axle load will be used to calculate the total ESAL to pavement. This study intends to provide perspective on the relationship between change in axle load due to overloading and the resultant service life of pavement. It can then be used in the estimation of pavement damage in other developing countries facing the problem of truck overloading. In conclusion, economical loss was found, which include reduction of pavement life and increase in maintenance and rehabilitation (M&R) cost. As a result, net present value (NPV) of pavement investment with overloading truck traffic is higher than normal truck traffic.

Darmstadt, Techn. Univ., Diss., 2005.

The casualty rate of road vehicle accidents in South Africa is one of the highest in the world. This trend has persisted with little variation over the years, despite the efforts of local road safety organisations and research institutions to decrease them. Some of these road vehicle accidents are due to a mechanical failure of the vehicle. The main goal of this study is to establish how high the incidence of mechanical failure is in these accidents. And further to assess if these percentages of mechanical failures do coincide with trends already indicated nationally as well as internationally. Detailed information on the condition of vehicles was collected in and around the Pretoria area. Surveys were conducted to obtain local road and traffic information about vehicle conditions. The one survey was defined as Potential Mechanical Defect Tests (PMDT) where vehicles were stopped and given a brief mechanical inspection, and the other was a Minibus Survey where information was obtained about the age of the vehicle and the overall condition and pressure of tyres. Additional information was obtained from the Accident Response Unit (ARU) and the Forensic Sciences Laboratories, both of the South African Police Services in Pretoria. The findings of the study are that according to the data collected by the ARU over a period of 2,5 years, on average 3,3% of the accidents reported per year in the region were caused by mechanical failures. These identified percentages correspond with values obtained for international countries. The PMDT data indicate that 40% of the vehicles surveyed in suburban areas and 29% of the vehicles surveyed on the highway had mechanical defects that contravened current road and traffic regulations. The difference between the percentages indicates that the condition of vehicles inspected in the suburban area differs significantly from the condition of those using the highway. In the Minibus Survey, large irregularities in tyre pressure were identified as cause for concern. In general, all of the above findings indicated that maintenance on older vehicles seemed to receive less attention. It is proposed that annual vehicle inspections should be introduced, especially for vehicles carrying fare-paying passengers, to improve road safety standards on South African roads. / Dissertation (M Eng (Mechanical Engineering))--University of Pretoria, 2006. / Mechanical and Aeronautical Engineering / unrestricted

The Master's Thesis "Stress evaluation, coping and reduction" deals with studying and analyzing stress in sample of employees from Slovenské elektrárne, a.s. The theoretical part analyzes psychological overloading and pressure, stress itself, theories of stress, pathological effects of stress in society, coping with stress and reduction of stress. The practical part deals with stresors, which have an influence on respondents, their (dis)satisfaction with work and dependence between them. Conclusion contains suggestions how to deal with stress and its economic analysis.

This thesis deals with some aspects of crack growth in the presence of cyclic loading, i.e. fatigue. The cyclic load cases studied here are primary of non-proportional mixed mode type. Under non-proportional loading the principal stress directions rotate and, generally, the ratio between the principal stresses vary. A new criterion has been presented for prediction of incipient crack path direction after changes in load from steady Mode I to non-proportional loading. The criterion is based on FE-simulations which are used to compute the actual elasto-plastic stress state in the vicinity of the crack tip. The predictions of the criterion capture several phenomena observed in the literature, which indicates that plasticity effects have to be included in a criterion for crack path predictions under non-proportional loading. The effects of Mode II overloads on subsequent Mode I crack growth have been studied relatively little in the literature. Also, the results deviates substantially. In the present thesis, this load case has been investigated in detail, both experimentally and analytically. The results show that the Mode I crack growth rate decreases after a single Mode II load, if the R-ratio is not as high as to keep the entire Mode I load cycle above the closure level. This is based on the fact, shown in this thesis, that the reduction is caused by crack closure due to tangential displacement of crack-surface irregularities. A new loading device is presented. With this device, it is possible to apply sequential loading in Mode I and Mode II in an automated way, without having to dismount the specimens. This loading device is used to study the influence of periodic Mode II loading on Mode I crack growth. The main parameters concerning the influence of periodic Mode II loading on Mode I crack growth are; (i) the Mode I R-ratio, (ii) the Mode II magnitude and (iii) the Mode II periodicity, M (number of Mode I loads for every Mode II load). The mechanisms involved are mainly RICC (Roughness-Induced Crack Closure) and a Mode II mechanism that increases the growth rate temporary at every Mode II load. Hence, the latter becomes more significant for low M-values. The higher the Mode I R-ratio the smaller is the reduction. / QC 20101004

In my diploma thesis, I have focused on relation concerning the weight of school bags and poor posture among the population of school children. The aim of my thesis was to chart the weight of school bags at the first grade of primary school in the region of České Budějovice and Český Krumlov in relation to overloading the children?s locomotive system. A partial objective of this research was charting the content of these school bags. In my diploma thesis, I have described the locomotive system, the function of its parts and I have further analysed the development of the locomotive apparatus in each term of child?s growth organism with the emphasis on term of the younger school age. In this thesis, I have described the right posture and the most common deviations of posture from a physiological point of view. I have considered the risk factors that lead to the rise of poor posture and basic diagnostic tests, which are connected to this issue. Part of my thesis has been dedicated to the inappropriate load of younger school age children in school and the ways that this can be avoided. I have also summarised the issue of school bags. I have described how should the right kind of school bag should look like and what is required by the Czech technical norm. An additional issue I have mentioned in my thesis was the content of these school bags. In the last unit of the theoretical part of my work, I have done some research regarding the moving regimen of children in school and the ways of avoiding rising muscle imbalance. For the researching part, I have used a method of objective measuring and weighing of pupils and their school bags in each class of the first grade of those chosen schools supplemented by the information from a questionnaire given to the parents of these children. The results were processed by means of Microsoft Excel. This research has confirmed two out of four of these hypotheses; the other two were disproved. According to the data from this research, it is possible to confirm that the children were overloaded by their school bags in all classes of the first grade of primary schools, where the research was held and this fact confirms the first hypothesis. Other confirmed hypothesis was the fact that children are not allowed to keep their school supplies in their respective schools. More than half of parents answered that their children have to carry their school equipment with them every day. A positive finding was that children prepare their school bags every day with some help of their parents. Parents sometimes prepare the bags themselves or at least they check a content of the bag. This fact disproved one of the hypotheses. The last hypothesis assumed that parents don?t know about any risks connected to overloaded school bags. This hypothesis was also disproved. The parents of these children were able to state at least one of possible risks in most of cases.