132 resultados para Requirements Engineering, Requirement Specification
Resumo:
BP Refinery (Bulwer Island) Ltd (BP) located on the eastern Australian coast is currently undergoing a major expansion as a part of the Queensland Clean Fuels Project. The associated wastewater treatment plant upgrade will provide a better quality of treated effluent than is currently possible with the existing infrastructure, and which will be of a sufficiently high standard to meet not only the requirements of imposed environmental legislation but also BP's environmental objectives. A number of challenges were faced when considering the upgrade, particularly; cost constraints and limited plot space, highly variable wastewater, toxicity issues, and limited available hydraulic head. Sequencing Batch Reactor (SBR) Technology was chosen for the lagoon upgrade based on the following; SBR technology allowed a retro-fit of the existing earthen lagoon without the need for any additional substantial concrete structures, a dual lagoon system allowed partial treatment of wastewaters during construction, SBRs give substantial process flexibility, SBRs have the ability to easily modify process parameters without any physical modifications, and significant cost benefits. This paper presents the background to this application, an outline of laboratory studies carried out on the wastewater and details the full scale design issues and methods for providing a cost effective, efficient treatment system using the existing lagoon system.
Resumo:
This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.
Resumo:
This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.
Resumo:
Although it is the best characterized in vitro model of GH action, the mechanisms used by GH to induce differentiation of murine 3T3-F442A preadipocytes remain unclear. Here we have examined the role of three transcriptional regulators in adipogenesis. These regulators are either rapidly induced in response to GH [Stra13, signal transducer and activator of transcription (Stat) 3] or of central importance to GH signaling (Stat5). Retroviral transfection of 3T3-F442A preadipocytes was used to increase expression of Stra13, Stat3, and Stat5a. Only Stat5a transfection increased the expression of adipogenic markers peroxisome proliferator-activated receptor gamma, CCAAT enhancer binding protein (C/EBP)alpha, and adipose protein 2/fatty acid-binding protein in response to GH, as determined by quantitative RT-PCR. Transfection with constitutively active Stat3 and Stat5a revealed that constitutively active Stat5a but not Stat3 was able to replace the GH requirement for adipogenesis. Constitutively active Stat5a but not Stat3 was able to increase the formation of lipid droplets and expression of alpha-glycerol phosphate dehydrogenase toward levels seen in mature adipocytes. Constitutively active Stat5a was also able to increase the expression of transcripts for C/EBPalpha to similar levels as GH, and of C/EBPbeta, peroxisome proliferator-activated receptor gamma, and adipose protein 2/fatty acid-binding protein transcripts to a lesser extent. An in vivo role for GH in murine adipogenesis is supported by significantly decreased epididymal fat depot size in young GH receptor-deleted mice, before manifestation of the lipolytic actions of GH. We conclude that Stat5 is a critical factor in GH-induced, and potentially prolactin-induced, murine adipogenesis.
Resumo:
A method is presented for calculating the currents and winding patterns required to design independent zonal and tesseral shim coils for magnetic resonance imaging. Both actively shielded and unshielded configurations are considered, and the region of interest can be located asymmetrically with respect to the coil's length. Streamline, target-field and Fourier-series methods are utilized. The desired target-field is specified at two cylindrical radii, on and inside a circular conducting cylinder of length 2L and radius a. The specification is over some asymmetric portion pL < z < qL of the coil's length (-1 < p < q < 1). Arbitrary functions are used in the outer sections, -L < z < pL and qL < z < L, to ensure continuity of the magnetic field across the entire length of the coil. The entire field is then periodically extended as a half-range cosine Fourier series about either end of the coil. The resultant Fourier coefficients are then substituted into the Fourier-series expressions for the internal and external magnetic fields, and current densities and stream functions on both the primary coil and shield. A contour plot of the stream function directly gives the required coil winding patterns. Spherical harmonic analysis and shielding analysis on field calculations from a ZX shim coil indicate that example designs and theory are well matched.
Resumo:
A growing demand for efficient air quality management calls for the development of technologies capable of meeting the stringent requirements now being applied in areas of chemical, biological and medical activities. Currently, filtration is the most effective process available for removal of fine particles from carrier gases. Purification of gaseous pollutants is associated with adsorption, absorption and incineration. In this paper we discuss a new technique for highly efficient simultaneous purification of gaseous and particulate pollutants from carrier gases, and investigate the utilization of Nuclear Magnetic Resonance (NMR) imaging for the study of the dynamic processes associated with gas-liquid flow in porous media. Our technique involves the passage of contaminated carrier gases through a porous medium submerged into a liquid, leading to the formation of narrow and tortuous pathways through the medium. The wet walls of these pathways result in outstanding purification of gaseous, liquid and solid alien additives. NMR imaging was successfully used to map the gas pathways inside the porous medium submerged into the liquid layer. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.
Resumo:
This paper describes the buckling phenomenon of a tubular truss with unsupported length through a full-scale test and presents a practical computational method for the design of the trusses allowing for the contribution of torsional stiffness against buckling, of which the effect has never been considered previously by others. The current practice for the design of a planar truss has largely been based on the linear elastic approach which cannot allow for the contribution of torsional stiffness and tension members in a structural system against buckling. The over-simplified analytical technique is unable to provide a realistic and an economical design to a structure. In this paper the stability theory is applied to the second-order analysis and design of the structural form, with detailed allowance for the instability and second-order effects in compliance with design code requirements. Finally, the paper demonstrates the application of the proposed method to the stability design of a commonly adopted truss system used in support of glass panels in which lateral bracing members are highly undesirable for economical and aesthetic reasons.
Resumo:
The integrated control of nitrate recirculation and external carbon addition in a predenitrification biological wastewater treatment system is studied. The proposed control structure consists of four feedback control loops, which manipulate the nitrate recirculation and the carbon dosage flows in a highly coordinated manner such that the consumption of external carbon is minimised while the nitrate discharge limits (based on both grab and composite samples) are met. The control system requires the measurement of the nitrate concentrations at the end of both the anoxic and the aerobic zones. Distinct from ordinary control systems, which typically minimise the variation in the controlled variables, the proposed control system essentially maximises the diurnal variation of the effluent nitrate concentration and through this maximises the use of influent COD for denitrification, thus minimising the requirement for external carbon source. Simulation studies using a commonly accepted simulation benchmark show that the controlled system consistently achieves the designated effluent quality with minimum costs.