1,721,092 research outputs found
The Politics of the Nuclear Fuel Cycle. The Carter Administration, Italy and the INFCE Program (1977-1980)|La politica del combustibile nucleare L’Italia, l’amministrazione di Jimmy Carter e il programma INFCE (1977-1980)
No full textThe International Nuclear Fuel Cycle Evaluation (INFCE) program was a US-sponsored initiative launched in October 1977. It gathered more than 60 countries among both nuclear suppliers and recipients and dealt with the risks involved in the spreading of nuclear technologies. Intended as a technical study rather than as a negotiation, it was presented as a unique opportunity to promote a multilateral dialogue on the control of nuclear proliferation that would escape the quagmires of other, more politicized, non-proliferation fora. Filling the gap of the existing scarce and mostly outdated scholarship, this essay stresses how INFCE originally represented an attempt to streamline the Western European suppliers’ ambitions with US non-proliferation policy. Based on US and Italian archival material, it will be focused on the interaction between the United States and Italy, in the contest of the INFCE program. The essay shows how Italy’s own aspiration to discuss the acquisition of the most advanced nuclear technologies through INFCE conflicted with the US’s early intention to sponsor the program as an instrument to enforce a universal denial of the spread of the fuel cycle. It also follows the successive shift of the Carter Administration to a less rigid, case-by-case approach. Dissatisfied with the uncertain results of its initial policy, the Administration reconsidered the INFCE dialogue as a chance to trade off looser restrictions of nuclear technology transfers to US allies with selective cooperation on the most dangerous proliferation cases
A note on cut-elimination for classical propositional logic
Full text linkIn Schwichtenberg (Studies in logic and the foundations of mathematics, vol 90, Elsevier, pp 867-895, 1977), Schwichtenberg fine-tuned Tait's technique (Tait in The syntax and semantics of infinitary languages, Springer, pp 204-236, 1968) so as to provide a simplified version of Gentzen's original cut-elimination procedure for first-order classical logic (Gallier in Logic for computer science: foundations of automatic theorem proving, Courier Dover Publications, London, 2015). In this note we show that, limited to the case of classical propositional logic, the Tait-Schwichtenberg algorithm allows for a further simplification. The procedure offered here is implemented on Kleene's sequent system G4 (Kleene in Mathematical logic, Wiley, New York, 1967; Smullyan in First-order logic, Courier corporation, London, 1995). The specific formulation of the logical rules for G4 allows us to provide bounds on the height of cut-free proofs just in terms of the logical complexity of their end-sequent
Modeling of increasing age- and state-dependent degradation processes: a new closed form Markovian solution
No full text
A condition-based maintenance policy for deteriorating units. An application to the cylinder liners of marine engine
No full textThis paper proposes a condition-based maintenance policy for deteriorating units, which are to be considered failed when their wear
exceeds a critical threshold level, even if this exceeding is not associated to a sudden breakdown of the unit but only to degraded
performance. Thus, the failure occurrence can be detected only at periodic inspections. In such a framework, given the unit age
and state at inspection, a decision-making rule is proposed to choose the maintenance action to be taken, in order to extend the
used life of the unit without significantly increasing its failure probability, so to reduce the life cycle cost. Both the case when all
inspection times are planned and the case when an additional maintenance can be scheduled before the next planned inspection are
considered. An application to a real case study referring to the wearing process of cylinder liners of some marine diesel engines is
illustrated, with the further aim of highlighting the need to correctly model the degradation process
A noisy Gamma degradation process with degradation dependent non-gaussian measurement error
No full textManuale di illuminotecnica
No full textManuale di illuminotecnica con software Tecnolumina.Handbook lighting and software Tecnolumina
- …
