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.

Cardicola Short, 1953 and Braya n. gen. (Digenea : Sanguinicolidae) from five families of tropical Indo-Pacific fishes

A survey of Pacific coral reef fishes for sanguinicolids revealed that two species of Lutjanidae (Lutjanus argentimaculatus, L. bohar), six species of Siganidae (Siganus corallinus, S. fuscescens, S. lineatus, S. margaritiferus, S. punctatus, S. vulpinus), seven species of Chaetodontidae (Chaetodon aureofasciatus, C. citrinellus, C. flavirostris, C. lineolatus, C. reticulatus, C. ulietensis, C. unimaculatus), three species of Scombridae (Euthynnus affinis, Scomberomorus commerson, S. munroi) and three species of Scaridae (Chlorurus microrhinos, Scarus frenatus, S. ghobban) were infected with morphologically similar sanguinicolids. These flukes have a flat elliptical body, a vestigial oral sucker, a single testis, separate genital pores and a post-ovarian uterus. However, these species clearly belong in two genera based on the position of the testis and genital pores. Sanguinicolids from Lutjanidae, Siganidae, Chaetodontidae and Scombridae belong in Cardicola Short, 1953; the testis originates anteriorly to, or at the anterior end of, the intercaecal field and does not extend posteriorly to it, the male genital pore opens laterally to the sinistral lateral nerve chord and the female pore opens near the level of the ootype ( may be anterior, lateral or posterior to it) antero-dextral to the male pore. Those from Scaridae are placed in a new genus, Braya; the testis originates near the posterior end of the intercaecal field and extends posteriorly to it, the male pore opens medially at the posterior end of the body and the female pore opens posterior to the ootype, antero-sinistral to the male pore. The second internal transcribed spacer (ITS2) of ribosomal DNA from these sanguinicolids and a known species, Cardicola forsteri Cribb, Daintith & Munday, 2000, were sequenced, aligned and analysed to test the distinctness of the putative new species. Results from morphological comparisons and molecular analyses suggest the presence of 18 putative species; 11 are described on the basis of combined morphological and molecular data and seven are not because they are characterised solely by molecular sequences or to few morphological specimens (n= one). There was usually a correlation between levels of morphological and genetic distinction in that pairs of species with the greatest genetic separation were also the least morphologically similar. The exception in this regard was the combination of Cardicola tantabiddii n. sp. from S. fuscescens from Ningaloo Reef ( Western Australia) and Cardicola sp. 2 from the same host from Heron Island ( Great Barrier Reef). These two parasite/ host/location combinations had identical ITS2 sequences but appeared to differ morphologically ( however, this could simply be due to a lack of morphological material for Cardicola sp. 2). Only one putative species ( Cardicola sp. 1) was found in more than one location; most host species harboured distinct species in each geographical location surveyed ( for example, S. corallinus from Heron and Lizard Islands) and some ( for example, S. punctatus, S. fuscescens and Chlorurus microrhinos) harboured two species at a single location. Distance analysis of ITS2 showed that nine species from siganids, three from scombrids and five from scarids formed monophyletic clades to the exclusion of sanguinicolids from the other host families. Cardicola milleri n. sp. and C. chaetodontis Yamaguti, 1970 from lutjanids and chaetodontids, respectively, were the only representatives from those families that were sequenced. Within the clade formed by sanguinicolids from Siganidae there wasa further division of species; species from the morphologically similar S. fuscescens and S. margaritiferus formed a monophyletic group to the exclusion of sanguinicolids from all other siganid species.

Further evidence of linkage at 7p22 with familial hyperaldosteronism type II

Primary aldosteronism (PAL) is caused by the autonomous over-production of aldosterone. Once thought rare, it is now reported to be responsible for 5–10% of hypertension. Familial hyperaldosteronism type II (FH-II), unlike familial hyperaldosteronism type I, is not glucocorticoid-remediable and not associated with the hybrid CYP11B1/CYP11B2 gene mutation. At least five times more common than FH-I, FH-II is clinically, biochemically and morphologically indistinguishable from apparently sporadic PAL, suggesting that its incidence maybe even higher. Studies performed in collaboration with C Stratakis (NIH, Bethesda) on our largest Australian FH-II family (eight affected members) demonstrated linkage at chromosome 7p22. Similar linkage at this region was also found in a South American FH-II family (DNA provided by MI New, Presbyterian Hospital, New York). Mutations in the exons and intron/exon boundaries of the PRKARIB gene (which resides at 7p22 and is closely related to PRKARIA gene mutated in Carney complex) have been excluded in our largest Australian FH-II family. Using more finely spaced markers, we have confirmed linkage at 7p22 in these 2 families, and identified a second Australian family with evidence of linkage at this locus. The combined multipoint LOD score for these 3 families is 4.87 (θ=0) with markers D7S462 and D7S2424, which exceeds the critical threshold for genome-wide significance suggested by Lander and Kruglyak (1995), providing strong support for this locus harbouring mutations responsible for FH-II. A newly identified recombination event in our largest Australian family has narrowed the region of linkage by 1.8 Mb, permitting exclusion of approximately half the genes residing in the original reported 5Mb linked locus. In addition, we have strongly excluded linkage to these key markers in two Australian families (maximum multipoint LOD scores −3.51 and −2.77), supporting the notion that FH-II may be genetically heterogeneous. In order to identify candidate genes at 7p22, more closely spaced markers will be used to refine the locus, as well as single nucleotide polymorphism analysis.

Using the Amazon metric to construct an image database based on what people do, not what they say

Current image database metadata schemas require users to adopt a specific text-based vocabulary. Text-based metadata is good for searching but not for browsing. Existing image-based search facilities, on the other hand, are highly specialised and so suffer similar problems. Wexelblat's semantic dimensional spatial visualisation schemas go some way towards addressing this problem by making both searching and browsing more accessible to the user in a single interface. But the question of how and what initial metadata to enter a database remains. Different people see different things in an image and will organise a collection in equally diverse ways. However, we can find some similarity across groups of users regardless of their reasoning. For example, a search on Amazon.com returns other products also, based on an averaging of how users navigate the database. In this paper, we report on applying this concept to a set of images for which we have visualised them using traditional methods and the Amazon.com method. We report on the findings of this comparative investigation in a case study setting involving a group of randomly selected participants. We conclude with the recommendation that in combination, the traditional and averaging methods would provide an enhancement to current database visualisation, searching, and browsing facilities.

Instantaneous RRMI of iron rods in reduced gravity

Standard upward-burning promoted ignition tests (“Standard Test Method for Determining the Combustion Behavior of Metallic Materials in Oxygen-Enriched Atmospheres,” ASTM G4-124 [1] or “Flammability, Odor, Offgassing, and Compatibility Requirements and Test Procedures for Materials in Environments that Support Combustion,” NASA-STD-6001, NASA Test 17 [2]) were performed on cylindrical iron (99.95% pure) rods in various oxygen purities (95.0–99.98%) in reduced gravity onboard NASA JSC's KC-135 to investigate the effect of gravity on the regression rate of the melting interface. Visual analysis of experiments agrees with previous published observations showing distinct motions of the molten mass attached to the solid rod during testing. Using an ultrasonic technique to record the real-time rod length, comparison of the instantaneous regression rate of the melting interface and visual recording shows a non-steady-state regression rate of the melting interface for the duration of a test. Precessional motion is associated with a higher regression rate of the melting interface than for test periods in which the molten mass does not show lateral motion. The transition between the two types of molten mass motion during a test was accompanied by a reduced regression rate of the melting interface, approximately 15–50% of the average regression rate of the melting interface for the entire test.

Coalescence of secondary dispersions in fibrous beds

SUMMARY A study has been made of the coalescence of secondary dispersions in a fibrous bed. The literature pertaining to the formation, hydrodynamic behaviour and methods of separation of droplets less than one hundred micrometres in diameter has been reviewed with particular reference to fibrous bed coalescers. The main operating parameters were identified as inlet drop size distribution, phase ratio, superficial velocity and the thickness and voidage of the bed . A recirculatory rig with interchangeable fibrous bed pads was designed and operated with toluene-water dispersions generated by a combination of centrifugal pumps . Inlet drop sizes were analysed using a Coulter Counter and outlet drops were sized photographically. A novel technique, involving conductivity measur ements at different planes in the bed, was developed to measure hold up distribution. Single phase flow and two phase flow pressure drops were correlated by a Blake-Kozeny type equation. Exit drop size was independent of inlet drop size distribution and phase ratio but a function of superficialvelocity and packing thickness. Average bed hold up was independent of inlet drop size distribution and phase ratio, but decreased with increase in superficial velocity. Hold up was not evenly distributed in the bed, the highest value occurred at the inlet followed by a sharp -2 drop at approximately 1.2 x 10 m. Hold up remained constant throughout the rest of the bed until the exit plane, where it increased. From the results, a mechanism is postulated involving: (a) Capture of the inlet drops followed by interdrop coalescence until an equilibrium value is reached. (b) Equilibrium size droplets flowing as rivulets through the intermediate portion of the bed, and (c) Each rivulet forms droplets at the exit face, which detach by a 'drip point' mechanism.

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.

Coalescence of secondary dispersions in packed beds

A study has been made of the coalescence of secondary dispersions in beds of monosized glass ballotini. The variables investigated were superficial velocity, bed depth, ballotini size and dispersed phase concentration. Equipment was designed to generate a toluene ln water dispersion with phase ratios from 0.1 - 1.0 v/v % and whose mean drop size was determined using a Coulter Counter. The coalesced drops were sized by photography and the mean diameter of the effluent drops was determined using a Malvern Particle Size Analyser. Previous models describing single phase flow in porous media are reviewed and it was found that the experimental data obtained in this study is best represented by the Carman-Kozeny equations. Relative permeability correlations were used to predict the saturation profiles across the bed from measured two phase pressure drop data. Theoretical comparison of drop capture mechanisms indicated that direct and indirect interception are predominant. The total capture efficiency for the bed can also be evaluated using Spielman and Fitzpatrick's correlation.The resulting equation is used to predict the initial, local drop capture rate in a coalescer. A mathematical description of the saturation profiles is formulated and verified by the saturation profiles obtained by relative permeability. Based on the Carman-Kozeny equation, an expression is derived analytically to .predict the two phase pressure drop using the parameters which characterise the saturation profiles. By specifying the local saturation at the inlet face for a given velocity and phase ratio, good agreement between experimental pressure drop data and the model predictions was obtained. An attempt to predict the exit drop size has been made using an analogy for flow through non cylindrical channels.

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.

A novel detection method for determining a surgeon's fatigue and hand tremor

The thesis presents new methodology and algorithms that can be used to analyse and measure the hand tremor and fatigue of surgeons while performing surgery. This will assist them in deriving useful information about their fatigue levels, and make them aware of the changes in their tool point accuracies. This thesis proposes that muscular changes of surgeons, which occur through a day of operating, can be monitored using Electromyography (EMG) signals. The multi-channel EMG signals are measured at different muscles in the upper arm of surgeons. The dependence of EMG signals has been examined to test the hypothesis that EMG signals are coupled with and dependent on each other. The results demonstrated that EMG signals collected from different channels while mimicking an operating posture are independent. Consequently, single channel fatigue analysis has been performed. In measuring hand tremor, a new method for determining the maximum tremor amplitude using Principal Component Analysis (PCA) and a new technique to detrend acceleration signals using Empirical Mode Decomposition algorithm were introduced. This tremor determination method is more representative for surgeons and it is suggested as an alternative fatigue measure. This was combined with the complexity analysis method, and applied to surgically captured data to determine if operating has an effect on a surgeon’s fatigue and tremor levels. It was found that surgical tremor and fatigue are developed throughout a day of operating and that this could be determined based solely on their initial values. Finally, several Nonlinear AutoRegressive with eXogenous inputs (NARX) neural networks were evaluated. The results suggest that it is possible to monitor surgeon tremor variations during surgery from their EMG fatigue measurements.

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