132 resultados para Requirements Engineering, Requirement Specification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

A number of theoretical and experimental investigations have been made into the nature of purlin-sheeting systems over the past 30 years. These systems commonly consist of cold-formed zed or channel section purlins, connected to corrugated sheeting. They have proven difficult to model due to the complexity of both the purlin deformation and the restraint provided to the purlin by the sheeting. Part 1 of this paper presented a non-linear elasto plastic finite element model which, by incorporating both the purlin and the sheeting in the analysis, allowed the interaction between the two components of the system to be modelled. This paper presents a simplified version of the first model which has considerably decreased requirements in terms of computer memory, running time and data preparation. The Simplified Model includes only the purlin but allows for the sheeting's shear and rotational restraints by modelling these effects as springs located at the purlin-sheeting connections. Two accompanying programs determine the stiffness of these springs numerically. As in the Full Model, the Simplified Model is able to account for the cross-sectional distortion of the purlin, the shear and rotational restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The model requires no experimental or empirical input and its validity is shown by its goon con elation with experimental results. (C) 1997 Elsevier Science Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Plant transformation is now a core research tool in plant biology and a practical tool for cultivar improvement. There are verified methods for stable introduction of novel genes into the nuclear genomes of over 120 diverse plant species. This review examines the criteria to verify plant transformation; the biological and practical requirements for transformation systems; the integration of tissue culture, gene transfer, selection, and transgene expression strategies to achieve transformation in recalcitrant species; and other constraints to plant transformation including regulatory environment, public perceptions, intellectual property, and economics. Because the costs of screening populations showing diverse genetic changes can far exceed the costs of transformation, it is important to distinguish absolute and useful transformation efficiencies. The major technical challenge facing plant transformation biology is the development of methods and constructs to produce a high proportion of plants showing predictable transgene expression without collateral genetic damage. This will require answers to a series of biological and technical questions, some of which are defined.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a systematic approach to proving temporal properties of arbitrary Z specifications. The approach involves (i) transforming the Z specification to an abstract temporal structure (or state transition system), (ii) applying a model checker to the temporal structure, (iii) determining whether the temporal structure is too abstract based on the model checking result and (iv) refining the temporal structure where necessary. The approach is based on existing work from the model checking literature, adapting it to Z.