992 resultados para industrial modelling
Resumo:
Tese de Doutoramento em Ciências (Especialidade em Matemática)
Resumo:
Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.
Resumo:
Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.
Resumo:
Dissertação de mestrado em Direito dos Contratos e das Empresas
Resumo:
Several types of internally reinforced thin-walled beams are subjected to a feasibility evaluation of its mechanical behavior for industrial applications. The adapting of already existing efficient sandwich geometries to hollow-box beams of larger dimensions may reveal promising results. Novel types of sandwich beams under bending and torsion uncoupled loadings are studied in terms of stiffness behavior in static analysis. For the analysis of the solutions, the models are built using the Finite Element Method (FEM) software ANSYS Mechanical APDL. The feasibility of the novel beams was determined by the comparison of the stiffness behavior of the novel hollow-box beams with conventional hollow-box beams. An efficiency parameter was defined in order to determine the feasibility. It is found that the novel geometries represent an excellent improvement under bending loadings, better than under torsion loadings. Nevertheless, for bending and torsion combined loadings, if bending loads are predominant, the beams can still be interesting for some applications, in particular those with mobile parts.
Resumo:
Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"
Resumo:
The main purpose of the poster is to present how the Unified Modeling Language (UML) can be used for diagnosing and optimizing real industrial production systems. By using a car radios production line as a case study, the poster shows the modeling process that can be followed during the analysis phase of complex control applications. In order to guarantee the continuity mapping of the models, the authors propose some guidelines to transform the use cases diagrams into a single object diagram, which is the main diagram for the next phases of the development.
Resumo:
In this work, oil mill wastewater (OMW), a residue generated during olive oil extraction, was evaluated as an inducer of rhamnolipid production. Using a medium containing as sole ingredients corn steep liquor (10%, v/v), sugarcane molasses (10%, w/v) and OMW (25%, v/v), Pseudomonas aeruginosa #112 produced 4.5 and 5.1 g of rhamnolipid per liter in flasks and reactor, respectively, with critical micelle concentrations as low as 13 mg/l. Furthermore, in the medium supplemented with OMW, a higher proportion of more hydrophobic rhamnolipid congeners was observed comparing with the same medium without OMW. OMW is a hazardous waste which disposal represents a serious environmental problem; therefore, its valorization as a substrate for the production of added-value compounds such as rhamnolipids is of great interest. This is the first report of rhamnolipid production using a mixture of these three agro-industrial by-products, which can be useful for the sustainable production of rhamnolipids.
Resumo:
This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.
Resumo:
In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão Industrial
Resumo:
O presente estudo teve por objetivo analisar os possíveis efeitos do trabalho por turnos, incluindo o turno noturno, a nível da saúde, vida familiar e social, numa empresa do sector da indústria. Foi construído um questionário que abordava questões relativas aos dados sociodemográficos, organização temporal do trabalho, qualidade do sono, exigências da tarefa e envolvimento, saúde, vida familiar e social, e posteriormente foi aplicado a uma amostra de 24 trabalhadores com idades entre os 29 e os 52 anos (41,58±5,79 anos). Os resultados mostram uma tendência para doenças como a obesidade, colesterol elevado e manifestação de sintomas relacionados com problemas digestivos nos trabalhadores que trabalham por turnos à [sic] mais anos. Antes do primeiro turno noturno o tempo de sono é bastante reduzido e fica aquém do tempo que os trabalhadores sentem que necessitam dormir para se sentirem bem. O turno da tarde é o que permite os trabalhadores ficarem com um tempo de sono mais próximo desse “ideal”. Em relação à idade, todos os trabalhadores do grupo etário mais velho manifestam interrupções do sono diurno. Também se verifica um maior descontentamento destes trabalhadores com o tempo livre para realizar atividades que tragam bem-estar. Este estudo contribui para o conhecimento da realidade do trabalho por turnos na indústria e espera-se que desperte a procura de soluções que otimizem a vida destes trabalhadores.