This paper presents the results of a complex three-dimensional reconstruction of the church of Nuestra Señora de la Asunción (Ávila, Spain) as an example of a successful process of verticalization from point clouds to a comprehensive computer-aided ...
Manuel Rodríguez-Martín +4 more
doaj +1 more source
Construction of problem-solving methods as parametric design [PDF]
The knowledge-engineering literature contains a number of approaches for constructing or selecting problem solvers. Some of these approaches are based on indexing and selecting a problem solver from a library, others are based on a knowledge acquisition process, or are based on search-strategies.
ten Teije, A. +3 more
openaire +3 more sources
Design of a Hybrid Electric Power-Split Transmission for Braking Energy Recovery in a Drilling Rig
Despite the promising potential of the hybrid electric power-split layout, its broader market penetration is prevented by the large number of feasible solutions and the constructive complexity, which overcomplicate the design process.
Antonella Castellano +2 more
doaj +1 more source
Design of circular flexible plates under of corrosion wear [PDF]
The problems of optimal design of metal structures are usually formulated as the problem of finding such values of the selected parameters of structures that provide the smallest (or largest) value of the selected optimality criterion in the area of ...
Mavzovin Vladimir, Ovchinnikov Igor
doaj +1 more source
Self-constructing compact parametric macromodels for efficient electronic design [PDF]
We propose a modeling technique able to generate very efficient parametric macromodels in an automated way. The design space samples needed to build the parametric macromodels are chosen automatically by means of a suitable adaptive sampling algorithm. The size of the parametric macromodels does not increase with the number of design parameters, which ...
Ferranti, Francesco +3 more
openaire +3 more sources
Generative design: information flow between genetic algorithm and parametric design in a steel structure construction [PDF]
Abstract This paper describes the construction of an information flow that combines parametric modelling and genetic algorithms to optimise both the total weight of a structured steel roof and the shape of its surface to maximise the generation potential of photovoltaic energy.
Renato Godoi da Cruz +3 more
openaire +3 more sources
Internal Parametricity for Cubical Type Theory [PDF]
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Cavallo, Evan, Harper, Robert
core +3 more sources
New Use of BIM-Origami-Based Techniques for Energy Optimisation of Buildings
Outstanding properties and advanced functionalities of thermal–regulatory by origami-based architecture materials have been shown at various scales. However, in order to model and manage its programmable mechanical properties by Building Information ...
Rubén Muñoz Pavón +6 more
doaj +1 more source
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]
A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri +6 more
core +7 more sources
Optimization under uncertainty with applications to personnel management problems in tourism [PDF]
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncertainty.
Nechval Nicholas A. +3 more
doaj +1 more source

