921 resultados para Requirements Engineering, Requirement Specification


Relevância:

30.00% 30.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Sponsered by Office of Nuclear Material Safety and Safeguards, U.S. Nuclear Regulatory Commission, Washington, D.C. and Oak Ridge National Laboratory, Oak Ridge, TN.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

"EE 61-4. Research project PRF 30. Contract no. AF 29(600)-1933."

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

"Project IHR-517, Illinois Cooperative Highway Research Program."

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The indicator amino acid oxidation (IAAO) method allows the determination of amino acid requirements under conditions of low growth rate as found in pre-laying broiler breeder pullets. Cobb 500 breeder pullets (20 wk old; 2290 +/- 280 g, n = 4) were adapted (6 d) to a pelleted, purified control diet containing all nutrients at greater than or equal to 110% of NRC recommendations. After recovery from surgery for implantation of a jugular catheter, each bird was fed, in random order, test diets containing one of nine levels of lysine (0.48, 0.96, 1.92, 2.88, 3.84, 4.80, 7.68, 9.60 and 14.40 g/kg of diet). Indicator oxidation was determined during 4-h primed (74 kBq/kg body), constant infusions (44 kBq (.) h(-1) (.) kg body(-1)) of L-[1-C-14]phenylalanine. Using the breakpoint of a one-slope broken-line model, the lysine requirement was determined to be 4.88 +/- 0.96 g/kg of diet or 366 +/- 72 mg (.) hen(-1) (.) d(-1) with an upper 95% Cl of 6.40 g/kg of diet or 480 mg (.) hen(-1) (.) d(-1). IAAO allows determination of individual bird amino acid requirements for specific ages and types of birds over short periods of time and enables more accurate broiler breeder pullet diet formulation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper highlights the importance of design expertise, for designing liquid retaining structures, including subjective judgments and professional experience. Design of liquid retaining structures has special features different from the others. Being more vulnerable to corrosion problem, they have stringent requirements against serviceability limit state of crack. It is the premise of the study to transferring expert knowledge in a computerized blackboard system. Hybrid knowledge representation schemes, including production rules, object-oriented programming, and procedural methods, are employed to express engineering heuristics and standard design knowledge during the development of the knowledge-based system (KBS) for design of liquid retaining structures. This approach renders it possible to take advantages of the characteristics of each method. The system can provide the user with advice on preliminary design, loading specification, optimized configuration selection and detailed design analysis of liquid retaining structure. It would be beneficial to the field of retaining structure design by focusing on the acquisition and organization of expert knowledge through the development of recent artificial intelligence technology. (C) 2003 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: There is limited information available on the requirement for postoperative analgesic drugs in patients submitted to total laparoscopic hysterectomy (TLH) compared with patients undergoing vaginal hysterectomy (VH). Aim: To compare the postoperative analgesic requirements in patients who underwent a TLH with patients who had a VH. Methods: Chart review of 53 patients who had TLH and 47 who had VH and were seen postoperatively by an acute pain management service in order to assess postoperative analgesic requirements. Patient controlled analgesia (PCA) was part of the standard protocol for postoperative pain management. Analgesic requirement was recorded as the mean doses of morphine and number of days that patients used non-steroidal anti-inflammatory drugs (NSAIDs), oxycodone and tramadol. Results: The requirement for total morphine was approximately half the dose in patients who had a TLH (10.8 +/- 12.6 mg) compared with patients who had a VH (19.4 +/- 21.9 mg) (P 0.017). The length of use of NSAIDs was significantly reduced in patients who had undergone a TLH (2.0 +/- 0.95 days) as compared with patients who had a VH (2.85 +/- 1.1 days) (P < 0.0001). Conclusions: Patients submitted to TLH require less postoperative analgesic drugs when compared with patients who had VH. Prospective randomised trials are warranted to compare analgesic requirements between patients submitted to TLH and VH.