942 resultados para Program analysis techniques


Relevância:

40.00% 40.00%

Publicador:

Resumo:

"April 1, 1975."

Relevância:

40.00% 40.00%

Publicador:

Resumo:

sect. 1. Old-age pensions, federal old-age benefits, aid to dependent children, maternal and child welfare, aid to crippled children, vocational rehabilitation, aid to the blind, public health, unemployment compensation.--sect. 2. Unemployment compensation, federal old-age benefits.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Thesis (Master's)--University of Washington, 2016-06

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This paper introduces a method for power system modeling during the earth fault. The possibility of using this method for selection and adjustment of earth fault protection is pointed out. The paper also contains the comparison of results achieved by simulation with the experimental measurements.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

An analysis of thermal degradation products evolved during the melt processing of organo-layered silicates (OLS) was carried out via the use of a solid phase microextraction (SPME) technique. Two commerical OLSs and one produced in-house were prepared for comparision. The solid phase microextraction technique proved to be a very effective technique for investigating the degradation of the OLS at a specific processing temperature. The results showed that most available OLSs will degrade under typical conditions required for the melt processing of many polymers, including thermoplastic polyurethanes. It is suggested that these degradation products may lead to changes in the structure and properties of the final polymer, particularly in thermoplastic polyurethanes, which seem significantly succeptable to the presence of these products. It is also suggested that many commercially available OLSs are produced in such a way that results in an excess of unbound organic modifier, giving rise to a greater quantity of degradation products. All OLSs where compared and characterised by TGA and GC-MS. (c) 2004 Elsevier B.V. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The objective of the study was to assess, from a health service perspective, whether a systematic program to modify kidney and cardiovascular disease reduced the costs of treating end-stage kidney failure. The participants in the study were 1,800 aboriginal adults with hypertension, diabetes with microalbuminuria or overt albuminuria, and overt albuminuria, living on two islands in the Northern Territory of Australia during 1995 to 2000. Perindopril was the primary treatment agent, and other medications were also used to control blood pressure. Control of glucose and lipid levels were attempted, and health education was offered. Evaluation of program resource use and costs for follow-up periods was done at 3 and 4.7 years. On an intention-to-treat basis, the number of dialysis starts and dialysis-years avoided were estimated by comparing the fate of the treatment group with that of historical control subjects, matched for disease severity, who were followed in the before the treatment program began. For the first three years, an estimated 11.6 person-years of dialysis were avoided, and over 4.7 years, 27.7 person-years of dialysis were avoided. The net cost of the program was $1,210 more per person per year than status quo care, and dialyses avoided gave net savings of $1.0 million at 3 years and $3.4 million at 4.6 years. The treatment program provided significant health benefit and impressive cost savings in dialysis avoided. (C) 2005 by the National Kidney Foundation, Inc.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Current initiatives in the field of Business Process Management (BPM) strive for the development of a BPM standard notation by pushing the Business Process Modeling Notation (BPMN). However, such a proposed standard notation needs to be carefully examined. Ontological analysis is an established theoretical approach to evaluating modelling techniques. This paper reports on the outcomes of an ontological analysis of BPMN and explores identified issues by reporting on interviews conducted with BPMN users in Australia. Complementing this analysis we consolidate our findings with previous ontological analyses of process modelling notations to deliver a comprehensive assessment of BPMN.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.