873 resultados para Requirements engineering process
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:
This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.
Resumo:
The aim of this study was to compare the concentration of mast cells (MCs) in the healing process of incisions. Thirty rats were submitted to six linear incisions each, performed in the dorsal skin by carbon dioxide (CO(2)) and diode lasers, electrocautery and conventional scalpel. The animals were euthanized at intervals of 0 h, 24 h, 48 h, 72 h, 7 days and 14 days after the incisions had been made. Histological sections were obtained and stained with toluidine blue for identification of MCs, which were manually counted by conventional microscopy in 20 microscopic fields in the border of the incision, near the granulation tissue, or in the area of new collagen formation, depending on intervals. The concentration of MCs was significantly higher in the wounds made by scalpel than in those made by other techniques at 48 h and 72 h. After 72 h the number of MCs was also significantly higher after electrocautery than after incisions made by 4 W CO(2) laser. On days 7 and 14, there was no significant difference in the MC count among the different types of incisions. In summary, the MC concentration varied after different surgical incisions at early phases of wound healing. At the end of the healing process, however, there were similar MC concentrations around the incisions, suggesting that, in standard incisions in the surgical techniques studied, the wound healing process ultimately occurred in a similar pattern.
Resumo:
In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.
Resumo:
The impact of fluorine in copper flotation was relatively unknown until the introduction of skarn ores in the Ok Tedi concentrator. Fluorine in the copper concentrates reports to the gas phase during the smelting stage and forms a corrosive H2SO4-HCl-HF acid brine mixture which must be neutralised. This work was aimed at studying the mineralogy of the fluorosilicate minerals contained in the various oretypes present in the Ok Tedi porphyry copper deposit. The electron microprobe was used to analyse for fluorine and hence identify the fluorosilicate minerals in each oretype. This study revealed talc, phlogopite, biotite, clays, amphiboles, fluoroapatite and titanite to be the sources of fluorine in the orebody. Laboratory and plant investigations were conducted to study the flotation response of these minerals. Chemical assaying of the products of these tests was done to determine the bulk assay of fluorine, Using Rietveld analysis, quantitative estimates of the fluorosilicate minerals in these products were generated. Marrying of the bulk assay with the respective mineralogical assay enabled the understanding of the flotation behavior of fluorine and it's associated mineralogy. Talc and phlogopite were found to be the causes of the fluorine problem at Ok Tedi. (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:
Research on the stability of flavours during high temperature extrusion cooking is reviewed. The important factors that affect flavour and aroma retention during the process of extrusion are illustrated. A substantial number of flavour volatiles which are incorporated prior to extrusion are normally lost during expansion, this is because of steam distillation. Therefore, a general practice has been to introduce a flavour mix after the extrusion process. This extra operation requires a binding agent (normally oil), and may also result in a non-uniform distribution of the flavour and low oxidative stability of the flavours exposed on the surface. Therefore, the importance of encapsulated flavours, particularly the beta -cyclodextrin-flavour complex, is highlighted in this paper.
Resumo:
A numerical modelling strategy has been developed in order to quantify the magnitude of induced stresses at the boundaries of production level and undercut level drifts for various in situ stress environments and undercut scenarios. The results of the stress modelling were in line with qualitative experiential guidelines and a limited number of induced stress measurements documented from caving sites. A number of stress charts were developed which quantify the maximum boundary stresses in drift roofs for varying in situ stress regimes, depths and undercut scenarios. This enabled many of the experiential guidelines to be quantified and bounded. A limited number of case histories of support and support performance in cave mine drifts were compared to support recommendations using the NGI classification system, The stress charts were used to estimate the Stress Reduction Factor for this system. The back-analyses suggested that the NGI classification system might be able to give preliminary estimates of support requirements in caving mines with modifications relating to rock bolt length and the support of production level intersections. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.