The Advanced Liquid Metal Reactor (ALMR) Actinide Recycle System is being developed in the United States for application early in the 21st century. The ALMR is a major part of this system and has missions beginning with near-term (10 years), medium term (15-20 years), and long-term (beyond 20 years) horizons. These missions use the same reactor design with modifications only to the reactor core...

One of the Grand Challenges in Computer Science is to verify railway interlocking systems [1]. We give a generic datatype of control tables and ladder logic (2,3), and extract from these verification conditions (4). A proof of the correctness of these conditions is performed using induction and a datatype of reachable states (5). Finally, some concluding remarks are presented (6). This specific...

in this paper, a new combined power and refrigeration cycle is proposed, which combines the rankin power cycle and the ejector refrigeration cycle. this combined cycle produces both power output and refrigeration output simultaneously. this cycle is driven by the flue gas of gas turbines, industrial waste heats, solar energy and geothermal energy. an exergy analysis is performed to guide the th...

Glavne značajke reaktora IRIS (International Reactor Innovative and Secure) date su u ovom članku. je integralni, modularni, lakovodni reaktor srednje snage (335 MWe). Projekt razvija međunarodni konzorcij od dvadesetak organizacija iz deset zemalja predvođenih kompanijom Westinghouse. Primarni cilj projekta razviti siguran, pouzdan i ekonomičan male do snage. U članku opisana integralna reakto...

Do Former College Athletes Earn More at Work? A Nonparametric Assessment This paper investigates how students’ collegiate athletic participation affects their subsequent labor market success. It uses newly developed distributional tests to establish that the wage distribution of former college athletes is significantly different from non-athletes and that athletic participation is a significant...