Search results for "CONSTRUCTION"
showing 10 items of 2670 documents
Recursive modeling for completed code generation
2009
Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL.This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements …
Mesh connectivity compression using convection reconstruction
2007
International audience; During a highly productive period running from 1995 to about 2002, the research in lossless compression of 3D meshes mainly consisted in a hard battle for the best bitrates. But for a few years, compression rates seem stabilized around 1.5 bit per vertex for the connectivity coding of usual meshes, and more and more work is dedicated to remeshing, lossy compression, or gigantic mesh compression, where memory and CPU optimizations are the new priority. However, the size of 3D models keeps growing, and many application fields keep requiring lossless compression. In this paper, we present a new contribution for single-rate lossless connectivity compression, which first …
Automata and forbidden words
1998
Abstract Let L ( M ) be the (factorial) language avoiding a given anti-factorial language M . We design an automaton accepting L ( M ) and built from the language M . The construction is effective if M is finite. If M is the set of minimal forbidden words of a single word ν, the automaton turns out to be the factor automaton of ν (the minimal automaton accepting the set of factors of ν). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a nontrivial upper bound on the number of minimal forbidden words of a word.
Minimal forbidden words and factor automata
1998
International audience; Let L(M) be the (factorial) language avoiding a given antifactorial language M. We design an automaton accepting L(M) and built from the language M. The construction is eff ective if M is finite. If M is the set of minimal forbidden words of a single word v, the automaton turns out to be the factor automaton of v (the minimal automaton accepting the set of factors of v). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a non-trivial upper bound on the number of minimal forbidden words of a word.
On the classification of large residential buildings stocks by sample typologies for energy planning purposes
2014
Local and central administrations are often called to properly allocate economic resources intended for the territorial energy planning, on the basis of the performances achieved by implementing energy conservation measures. Particularly in the residential sector, that represents one of the most relevant sector for the energy demand, effective and reliable evaluation tools are required for this aim. Unfortunately, building stocks are characterized by a very large number of buildings that are referred to different construction periods and are equipped with a variety of appliances and tools, other than with different heating and cooling systems. This means that the whole energy consumption of…
Architectural technologies for life environment: Spent coffee ground reuse in lime-based mortars. A preliminary assessment for innovative green therm…
2022
Spent coffee ground, the residue obtained from the brewing process, is the primary unavoidable (inedible) waste from the coffee consumption. As coffee production and beverage consumption are increasing worldwide, a more sustainable waste management is required since the usual disposal in landfill is a liability to both humans and the environment. This paper is aimed at showing a possible alternative reuse of coffee ground wastes in novel green building materials intended for thermo-plastering applications in construction, in a circular economy context. Coffee waste was used in various percentages (up to 17.5%) to assess the engineering performance of the produced bio-composite mortars. The …
Criteria for validity of thermodynamic equations from non-equilibrium molecular dynamics simulations
2008
Abstract The assumption of local equilibrium is validated in four different systems where heat and mass are transported. Mass fluxes up to 13 kmol / m 2 s and temperature gradients up to 10 12 K / m were used. A two-component mixture, two vapor–liquid interfaces, a chemical reaction in a temperature gradient and gas adsorbed in zeolite were studied using non-equilibrium molecular dynamics simulations. In all cases, we verified that thermodynamic variables obeyed normal thermodynamic relations, with an accuracy better than 5%. The heat and mass fluxes, and the reaction rate were linearly related to the driving forces. Onsager's reciprocal relations were validated for two systems. Equipartiti…
The role of nanoparticles in decreased washout of underwater concrete
2019
Abstract The paper presents research results of the influence of SiO2 nanoparticles on the washout of underwater concrete and hardened concrete. Based on infrared spectroscopy (FTIR) and thermogravimetric (TGA) analyses of the applied anti-washout admixture (AWA), its chemical structure was determined. A beneficial effect of SiO2 nanoparticles on the reduction of the mix washout was demonstrated and the most probable reason for that phenomenon was given, taking into account the AWA chemical structure and its behaviour in the concrete mix environment. It was found that a dosing method of AWA and nanoparticles to the concrete influenced the washout.
Thermal and hygrometric properties of traditional calcarenite stones in the area of Palermo
2017
Il contributo espone le misure di conducibilità termica svolte su tre conci di calcarenite conchiliare e la caratterizzazione igrometrica di uno di essi. I risultati sono confrontati con i dati termici e igrometrici riportati dalle norme tecniche esistenti (UNI 10351, UNI EN ISO 10456, UNI EN 1745). The energy improvement of historic buildings requires detailed knowledge of the thermal and hygrometric properties of traditional materials and components. These data should be collected for specific local contexts, where the features of historic constructions are comparable. For the purpose of developing this tool for the architectural heritage of Palermo, this research focuses on calcarenite s…
Equivalent Non-Linearization of Hysteretic Systems by Means of RPS
2018
BackgroundThe analysis of elastoplastic systems with hardening (Bouc-Wen systems) under stochastic (seismic) loads needs the evaluation of higher order statistics even in the simplest case of normal distributed input. ObjectiveIn this paper, a non-linearization technique is proposed in order to evaluate the moments of any order of the response. MethodThis technique is developed by means of a nonlinear class of systems whose statistics are a priori known. The parameters of such systems can be chosen in such a way that the two systems are equivalent in a wide sense. Result & ConclusionIn the paper, the strategy to obtain the equivalence and the reliability of the results are discussed.