A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Oxidational wear of low alloy steel in gases other than air

A pin on disc wear machine has been used to study the oxidational wear of low alloy steel in a series of experiments which were carried out under dry wear sliding conditions at range of loads from 11.28 to 49.05 N and three sliding speeds of 2 m/s, 3.5 m/s and 5 m/s, in atmosphere of air, Ar, CO2, 100% O2, 20% O2-80% Ar and 2% O2-98% Ar. Also, the experiments were conducted to study frictional force, surface and contact temperatures and surface parameters of the wearing pins. The wear debris was examined using x-ray diffraction technique for the identification of compounds produced by the wear process. Scanning electron microscopy was employed to study the topographical features of worn pins and to measure the thickness of the oxide films. Microhardness tests were carried out to investigate the influence of the sub-surface microhardness in tribological conditions. Under all loads, speeds and atmospheres parabolic oxidation growth was observed on worn surfaces, although such growth is dependent on the concentration of oxygen in the atmospheres employed. These atmospheres are shown to influence wear rate and coefficient of friction with change in applied load. The nature of the atmosphere also has influence on surface and contact temperatures as determined from heat flow analysis. Unlubricated wear debris was found to be a mixture of αFe2O3, Fe3O4 and FeO oxide. A model has been proposed for tribo-oxide growth demonstrating the importance of diffusion rate and oxygen partial pressure, in the oxidation processes and thus in determination of wear rates.

An investigation of the emerging system of host government participation in the international oil industry with particular reference to Libyan participation arrangements

This study has been conceived with the primary objective of identifying and evaluating the financial aspects of the transformation in country/company relations of the international oil industry from the traditional concessionary system to the system of governmental participation in the ownership and operation of oil concessions. The emphasis of the inquiry was placed on assembling a case study of the oil exploitation arrangements of Libya. Through a comprehensive review of the literature, the sociopolitical factors surrounding the international oil business were identified and examined in an attempt to see their influence on contractual arrangements and particularly to gauge the impact of any induced contractual changes on the revenue benefit accruing to the host country from its oil operations. Some comparative analyses were made in the study to examine the viability of the Libyan participation deals both as an investment proposal and as a system of conducting oil activities in the country. The analysis was carried out in the light of specific hypotheses to assess the relative impact of the participation scheme in comparison with the alternative concessionary model on the net revenue resulting to the government from oil operations and the relative effect on the level of research and development within the industry. A discounted cash flow analysis was conducted to measure inputs and outputs of the comparative models and judge their revenue benefits. Then an empirical analysis was carried out to detect any significant behavioural changes in the exploration and development effort associated with the different oil exploitation systems. Results of the investigation of revenues support the argument that the mere introduction of the participation system has not resulted in a significant revenue benefit to the host government. Though there has been a significant increase in government revenue, associated with the period following the emergence of the participation agreements, this increase was mainly due to socio-economic factors other than the participation scheme. At the same time the empirical results have shown an association of the participation scheme with a decline of the oil industry's research and development efforts.

Cost effectiveness of production control systems

This thesis deals with the problems associated with the planning and control of production, with particular reference to a small aluminium die casting company. The main problem areas were identified as: (a) A need to be able to forecast the customers demands upon the company's facilities. (b) A need to produce a manufacturing programme in which the output of the foundry (or die casting section) was balanced with the available capacity in the machine shop. (c) The need to ensure that the resultant system enabled the company's operating budget to have a reasonable chance of being achieved. At the commencement of the research work the major customers were members of the automobile industry and had their own system of forecasting, from which they issued manufacturing schedules to their component suppliers, The errors in the forecast were analysed and the distributions noted. Using these distributions the customer's forecast was capable of being modified to enable his final demand to be met with a known degree of confidence. Before a manufacturing programme could be developed the actual manufacturing system had to be reviewed and it was found that as with many small companies there was a remarkable lack of formal control and written data. Relevant data with regards to the component and the manufacturing process had therefore to be collected and analysed. The foundry process was fixed but the secondary machining operations were analysed by a technique similar to Component Flow Analysis and as a result the machines were arranged in a series of flow lines. A system of manual production control was proposed and for comparison, a local computer bureau was approached and a system proposed incorporating the production of additional management information. These systems are compared and the relative merits discussed and a proposal made for implementation.

Computer Networks Security Models - A New Approach for Denial-of-Services Attacks Mitigation

Computer networks are a critical factor for the performance of a modern company. Managing networks is as important as managing any other aspect of the company’s performance and security. There are many tools and appliances for monitoring the traffic and analyzing the network flow security. They use different approaches and rely on a variety of characteristics of the network flows. Network researchers are still working on a common approach for security baselining that might enable early watch alerts. This research focuses on the network security models, particularly the Denial-of-Services (DoS) attacks mitigation, based on a network flow analysis using the flows measurements and the theory of Markov models. The content of the paper comprises the essentials of the author’s doctoral thesis.

Retrofit energético em edifícios de interesse histórico estudos de casos - edifícios modernistas em Natal

This paper addresses the theme of retrotif applied to buildings that belong to the modernist architectural production of historical interest located in the urban area of Natal . The overall objective is to identify and harmonize procedures for retrofit and architectural heritage preservation using elements of constructive analysis of expression and Benefit Cost Ratio ( BCR ) parameters established by the National Electric Energy Agency - ANEEL . The hypothesis put forward is that by stimulating the projetual year analysis , retrofit interventions , it is possible to obtain better results with projects RCB addressing the issues of preservation of architectural heritage . For both flow analysis of process solutions and proposals for action of elements and systems that seek to improve the energy performance of the building , restoring or preserving the architectural elements were developed . The proposed interventions undergo performance through computer simulations of systems such as DesignBuilder, Solar and Sun Tool. The energy results were converted to the analysis of RCB parameter and compared to the constructive expression of the project because the prenatal and intervention. From the results , a plot was constructed which results in a comparison between the RCB and the constructive expression of the simulated interventions

Estudo da redução de arrasto induzido por polímeros em escoamentos internos turbulentos em dutos

The flows turbulent and laminar are present in various applications of engineering and one of the villain of energy loss big is the surface friction. Currently, there are several research aimed for the study of reducing drag (DR) with the objective of developing effective methods to reduce the friction. Regardless of numerous research carried out until today, the phenomenon DR still remains in study not it is fully understood. This paper studied the drag reduction by polymer induction in turbulent internal flows in ducts. We constructed a testing bench to perform the analysis of drag reduction, the bench has basically two manometers with a 8.5 psi full scale, a peripheral pump 0.5 HP, an acrylic tank, valves and tubes pvc and is situated in the Laboratory Fluid Mechanics UFRN. Were used as polymer additives to polyethylene glycol 4000, the Polyox WSR N60K, Polyox WSR 301 and Polyox WSR 205. The rationale for the choice of these polymers is their wide application in situations requiring greater energy efficiency, such as the addition reducing polymers for the jet used by the fire department to achieve greater distances. The induced drag reduction polymers is investigated from the turbulent flow analysis, with Reynolds number in a range between 2×104

Estudo da redução de arrasto induzido por polímeros em escoamentos internos turbulentos em dutos

The flows turbulent and laminar are present in various applications of engineering and one of the villain of energy loss big is the surface friction. Currently, there are several research aimed for the study of reducing drag (DR) with the objective of developing effective methods to reduce the friction. Regardless of numerous research carried out until today, the phenomenon DR still remains in study not it is fully understood. This paper studied the drag reduction by polymer induction in turbulent internal flows in ducts. We constructed a testing bench to perform the analysis of drag reduction, the bench has basically two manometers with a 8.5 psi full scale, a peripheral pump 0.5 HP, an acrylic tank, valves and tubes pvc and is situated in the Laboratory Fluid Mechanics UFRN. Were used as polymer additives to polyethylene glycol 4000, the Polyox WSR N60K, Polyox WSR 301 and Polyox WSR 205. The rationale for the choice of these polymers is their wide application in situations requiring greater energy efficiency, such as the addition reducing polymers for the jet used by the fire department to achieve greater distances. The induced drag reduction polymers is investigated from the turbulent flow analysis, with Reynolds number in a range between 2×104

Data on the biogeochemical cycle of methane in the ocean

Geological, mineralogical and microbiological aspects of the methane cycle in water and sediments of different areas in the oceans are under consideration in the monograph. Original and published estimations of formation- and oxidation rates of methane with use of radioisotope and isotopic methods are given. The role of aerobic and anaerobic microbial oxidation of methane in production of organic matter and in formation of authigenic carbonates is considered. Particular attention is paid to processes of methane transformation in areas of its intensive input to the water column from deep-sea hydrothermal sources, mud volcanoes, and cold methane seeps.

Primary wave energy conversions of oscillating water columns

This paper presents a study on the numerical simulation of the primary wave energy conversion in the oscillating water column (OWC) wave energy converters (WECs). The new proposed numerical approach consists of three major components: potential flow analysis for the conventional hydrodynamic parameters, such as added mass, damping coefficients, restoring force coefficients and wave excitations; the thermodynamic analysis of the air in the air chamber, which is under the assumptions of the given power take-off characteristics and an isentropic process of air flow. In the formulation, the air compressibility and its effects have been included; and a time-domain analysis by combining the linear potential flow and the thermodynamics of the air flow in the chamber, in which the hydrodynamics and thermodynamics/aerodynamics have been coupled together by the force generated by the pressurised and de-pressurised air in the air chamber, which in turn has effects on the motions of the structure and the internal water surface. As an example, the new developed approach has been applied to a fixed OWC device. The comparisons of the measured data and the simulation results show the new method is very capable of predicting the performance of the OWC devices.