Search results for "Constructive"
showing 10 items of 301 documents
Model of a Constructive Fuctional Optimization of the Cardan Cross
2015
This paper aims to establish an optimization model using the Ansys program, and taking into account the specific constraints depending on the functional role of the specific area. We present certain calculation parameters applied to the cardanic transmission of the Dacia, this cardanic transmission being considered an optimization model. The entire cardanic transmission was analyzed, resulting that the cardan crosses are parts which are strained the most, and that is why it will be here that the optimization will be focused, in terms of minimizing the Von Mises stress.
RILIEVO E ANALISI GEOMETRICA, DIMENSIONALE E COSTRUTTIVA DELLE VOLTE A MUQARNAS COSTRUITE A PALERMO NEL XII SECOLO
2020
Questa ricerca affronta lo studio delle caratteristiche geometriche e costruttive delle volte a muqarnas costruite a Palermo nel XII secolo, al fine di contribuire al dibattito ancora aperto sulle origini di questi apparati decorativi e la loro trasmissione. Gli assunti da cui la ricerca prende le mosse sono principalmente due: il Rilievo e il Disegno sono strumenti privilegiati per indagare, conoscere e comprendere l’architettura; la Sicilia nel XII secolo è un luogo di sperimentazione e non di sola ricezione di codici provenienti dall’Egitto. Lo studio proposto si prefigge pertanto due obiettivi: costituire, tramite il rilievo con laser scanner, un archivio digitale tridimensionale dei mu…
Finite Alphabet Control of Logistic Networks with Discrete Uncertainty
2014
We consider logistic networks in which the control and disturbance inputs take values in finite sets. We derive a necessary and sufficient condition for the existence of robustly control invariant (hyperbox) sets. We show that a stronger version of this condition is sufficient to guarantee robust global attractivity, and we construct a counterexample demonstrating that it is not necessary. Being constructive, our proofs of sufficiency allow us to extract the corresponding robust control laws and to establish the invariance of certain sets. Finally, we highlight parallels between our results and existing results in the literature, and we conclude our study with two simple illustrative exampl…
Constructive Dynamic Program Slicing Research
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the theory of slicing. However, slicing is still not widely applied in software industry. Therefore, there is a need to survey and characterize the conducted research and to analyze what problems hinder progress. This paper answers to that need by providing a survey of constructive dynamic program slicing research focusing on publication series with high visibility. The survey identified 12 dynamic slicers related to which 12 aspects were studied. The analysis revealed many issues which can be seen both as concerns and…
Amount of nonconstructivity in deterministic finite automata
2010
AbstractWhen D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P. Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L.E.J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was “nonconstructive arguments have no value for mathematics”. However, P. Erdös got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. The author (Freivalds, 2008) [10] showed that nonconstructive methods in coding theory are…
Finiteness in a Minimalist Foundation
2008
We analyze the concepts of finite set and finite subset from the perspective of a minimalist foundational theory which has recently been introduced by Maria Emilia Maietti and the second author. The main feature of that theory and, as a consequence, of our approach is compatibility with other foundational theories such as Zermelo-Fraenkel set theory, Martin-Lof's intuitionistic Type Theory, topos theory, Aczel's CZF, Coquand's Calculus of Constructions. This compatibility forces our arguments to be constructive in a strong sense: no use is made of powerful principles such as the axiom of choice, the power-set axiom, the law of the excluded middle.
Association of Gestational Weight Gain With Adverse Maternal and Infant Outcomes
2019
Importance: Both low and high gestational weight gain have been associated with adverse maternal and infant outcomes, but optimal gestational weight gain remains uncertain and not well defined for all prepregnancy weight ranges. Objectives: To examine the association of ranges of gestational weight gain with risk of adverse maternal and infant outcomes and estimate optimal gestational weight gain ranges across prepregnancy body mass index categories. Design, setting, and participants: Individual participant-level meta-analysis using data from 196 670 participants within 25 cohort studies from Europe and North America (main study sample). Optimal gestational weight gain ranges were estimated…
Impact of maternal body mass index and gestational weight gain on pregnancy complications: an individual participant data meta-analysis of European, …
2019
ObjectiveTo assess the separate and combined associations of maternal pre‐pregnancy body mass index (BMI) and gestational weight gain with the risks of pregnancy complications and their population impact.DesignIndividual participant data meta‐analysis of 39 cohorts.SettingEurope, North America, and Oceania.Population265 270 births.MethodsInformation on maternal pre‐pregnancy BMI, gestational weight gain, and pregnancy complications was obtained. Multilevel binary logistic regression models were used.Main outcome measuresGestational hypertension, pre‐eclampsia, gestational diabetes, preterm birth, small and large for gestational age at birth.ResultsHigher maternal pre‐pregnancy BMI and gesta…
Chirurgische Behandlung des hypoplastischen Linksherzsyndroms
1999
Kinder mit dem angeborenen Herzfehler eines hypoplastischen Linksherzsyndroms haben ohne fruhzeitige chirurgische Behandlung eine extrem ungunstige Prognose. Anhand einer retrospektiven Funf-Jahres-Analyse werden die Moglichkeiten und Ergebnisse der herzerhaltenden palliativen Rekonstruktion dargestellt.
Adjustable tourniquet to manipulate pulmonary blood flow after Norwood operations
2000
Abstract Background . Survival after first-stage palliative Norwood operations for single ventricle with systemic outflow obstruction is mainly dependent on a balanced ratio of pulmonary blood flow to systemic blood flow. Here we report the clinical results using a modified technique that allows a controlled systemic-to-pulmonary shunt flow to prevent pulmonary overcirculation. Methods . From 1995 to 1998, of 26 infants undergoing first-stage palliative Norwood operations, 7 had placement of an adjustable tourniquet around a modified right Blalock-Taussig shunt. Results . Hospital survival was 20 of 26 patients (77%). All 7 patients in whom snaring of the shunt was indicated survived. Two p…