Buscar
Mostrando ítems 31-40 de 36738
Representation of metamodels using inductive types in a type-theoretic framework for MDE
(UR. FI – INCO., 2010)
We present discussions on how to apply a type-theoretic framework composed out by the Calculus of Inductive Constructions and its associated tool the Coq proof assistant to the formal treatment of model transformations in ...
Proposta de modelo de maturidade Lean Quality para construtoras
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Engenharia Civil - PPGECivCâmpus São Carlos, 2021-09-13)
The Brazilian construction industry has been intensifying the adoption of management systems based on quality. It has advanced in studying its processes in search of improved productivity, delivering higher-value products ...
Methods and variations of creating organizational and technological model of renovation objects
(Universidad del Zulia, 2019)
Transmission expansion planning via a constructive heuristic algorithm in restructured electricity industry
(2013-12-01)
The transmission expansion planning problem in modern power systems is a large-scale, mixed-integer, nonlinear and non-convex problem. this paper presents a new mathematical model and a constructive heuristic algorithm ...
Seismic assessment of irregular masonry macro-elements through a nonlinear framed model: a case study
(Springer Netherlands, 2019)
© 2019, Springer Nature B.V.The seismic assessment of heritage structures with complex architecture, such as masonry churches, remains a challenging task. In most cases, an accurate and reliable assessment of this type of ...
Construction duration predictive model based on factorial analysis and fuzzy logic
(ANTAC - Associação Nacional de Tecnologia do Ambiente Construído, 2019)
Transmitter location for maximum coverage and constructive-destructive interference management
(PERGAMON-ELSEVIER SCIENCE LTD, 2012)
Covering location models consider a demand "covered" if there is at least one facility sited within a preset threshold distance. If more than one facility satisfies this criterion, it is implicitly assumed that one of these ...
Constructing common-factor portfolios
(Fundação Getulio Vargas. Escola de Pós-graduação em Economia, 2012-04-19)
In this paper we construct common-factor portfolios using a novel linear transformation of standard factor models extracted from large data sets of asset returns. The simple transformation proposed here keeps the basic ...
Modeling, Construction and Control of Quadrotors
(2021-01-01)
Flight stabilization control of UAVs (Unmanned Aerial Vehicles) quadrotors covers several areas of engineering knowledge, such as mechanics, electronics and computing. The aim of this work is the development of different ...