130 resultados para goal-oriented requirements engineering
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.
Resumo:
In the design of lattice domes, design engineers need expertise in areas such as configuration processing, nonlinear analysis, and optimization. These are extensive numerical, iterative, and lime-consuming processes that are prone to error without an integrated design tool. This article presents the application of a knowledge-based system in solving lattice-dome design problems. An operational prototype knowledge-based system, LADOME, has been developed by employing the combined knowledge representation approach, which uses rules, procedural methods, and an object-oriented blackboard concept. The system's objective is to assist engineers in lattice-dome design by integrating all design tasks into a single computer-aided environment with implementation of the knowledge-based system approach. For system verification, results from design examples are presented.
Resumo:
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.
Resumo:
The primary purpose of this experiment was to determine if left hand reaction time advantages in manual aiming result from a right hemisphere attentional advantage or an early right hemisphere role in movement preparation. Right-handed participants were required to either make rapid goal-directed movements to small targets or simply lift their hand upon target illumination. The amount of advance information about the target for a particular trial was manipulated by precuing a subset of potential targets prior to the reaction time interval. When participants were required to make aiming movements to targets in left space, the left hand enjoyed a reaction advantage that was not present for aiming in right space: or simple finger lifts. This advantage was independent of the amount or type of advance information provided by the precue. This finding supports the movement planning hypothesis. With respect to movement execution, participants completed their aiming movements more quickly when aiming with their right hand, particularly in right space. This right hand advantage in right space was due to the time required to decelerate the movement and to make feedback-based adjustments late in the movement trajectory. (C) 2001 Academic Press.
Resumo:
Despite reports that boron (B) requirements differ among plant species there is a shortage of critical evidence to demonstrate unequivocally whether species differ in internal or external B requirements or both. The present research was conducted to establish the external and internal B requirements of three contrasting species, a woody dicot (marri), an herbaceous dicot (sunflower) and a monocot (wheat) using B-buffered solution culture. Boron-buffered solution culture provided satisfactory control of external B concentrations ranging from 0.04 to 30 muM throughout the 20- (sunflower and wheat) or 40-day (marri) growth period. At low external B concentrations (less than or equal to 0.13 muM), the growth of marri and sunflower was severely depressed but by contrast the vegetative growth of wheat plants was satisfactory and free of B deficiency symptoms. Marri and sunflower plants achieved total maximum shoot growth at greater than or equal to1.2 muM B in solutions while wheat plants did so at greater than or equal to 0.6 muM B. The critical B concentrations (mg kg(-1) dry matter) in the youngest open leaf blades of marri, sunflower and wheat plants were 17.9, 19.7 and 1.2 on 20, 10 and 10 days after transplanting (DAT), respectively. Lower internal and external B requirements of wheat were matched by a lower uptake rate of B compared to marri and sunflower.
Resumo:
Petrov-Galerkin methods are known to be versatile techniques for the solution of a wide variety of convection-dispersion transport problems, including those involving steep gradients. but have hitherto received little attention by chemical engineers. We illustrate the technique by means of the well-known problem of simultaneous diffusion and adsorption in a spherical sorbent pellet comprised of spherical, non-overlapping microparticles of uniform size and investigate the uptake dynamics. Solutions to adsorption problems exhibit steep gradients when macropore diffusion controls or micropore diffusion controls, and the application of classical numerical methods to such problems can present difficulties. In this paper, a semi-discrete Petrov-Galerkin finite element method for numerically solving adsorption problems with steep gradients in bidisperse solids is presented. The numerical solution was found to match the analytical solution when the adsorption isotherm is linear and the diffusivities are constant. Computed results for the Langmuir isotherm and non-constant diffusivity in microparticle are numerically evaluated for comparison with results of a fitted-mesh collocation method, which was proposed by Liu and Bhatia (Comput. Chem. Engng. 23 (1999) 933-943). The new method is simple, highly efficient, and well-suited to a variety of adsorption and desorption problems involving steep gradients. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
Composite clay nanostructures (CCNs) were observed in intercalating Laponite clay with alumina in the presence of alkyl polyether surfactants which contain hydrophobic alkyl chains and ether groups. Such nanostructured clays are highly porous solids consisting of randomly orientated clay platelets intercalated with alumina nanoparticles. The pores in the product solids are larger than the dimension of the surfactant molecules, ranging from 2 to 10 nm. This suggests that the micelles of the surfactant molecules, rather than the molecules, act as templates in the synthesis. Interestingly, it is found that the size of the framework pores was directly proportional to the amount of the surfactants in terms of moles, but shows no evident dependence on the size of the surfactant molecules. Broad pore size distributions were observed for the product CCNs. This study demonstrates that introducing surfactants in the pillaring process of clays is a powerful strategy for tailoring the pore structures of nanoporous clays. With this new technique, it is possible to design and engineer such composite clay nanostructures with desired pore and surface properties by the proper choice of surfactant amounts and preparation conditions.
Resumo:
Recent progress in the production, purification, and experimental and theoretical investigations of carbon nanotubes for hydrogen storage are reviewed. From the industrial point of view, the chemical vapor deposition process has shown advantages over laser ablation and electric-arc-discharge methods. The ultimate goal in nanotube synthesis should be to gain control over geometrical aspects of nanotubes, such as location and orientation, and the atomic structure of nanotubes, including helicity and diameter. There is currently no effective and simple purification procedure that fulfills all requirements for processing carbon nanotubes. Purification is still the bottleneck for technical applications, especially where large amounts of material are required. Although the alkali-metal-doped carbon nanotubes showed high H-2 Weight uptake, further investigations indicated that some of this uptake was due to water rather than hydrogen. This discovery indicates a potential source of error in evaluation of the storage capacity of doped carbon nanotubes. Nevertheless, currently available single-wall nanotubes yield a hydrogen uptake value near 4 wt% under moderate pressure and room temperature. A further 50% increase is needed to meet U.S. Department of Energy targets for commercial exploitation. Meeting this target will require combining experimental and theoretical efforts to achieve a full understanding of the adsorption process, so that the uptake can be rationally optimized to commercially attractive levels. Large-scale production and purification of carbon nanotubes and remarkable improvement of H-2 storage capacity in carbon nanotubes represent significant technological and theoretical challenges in the years to come.