UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

A distributed energy system integrating SOFC-MGT with mid-and-low temperature solar thermochemical hydrogen fuel production

Solar thermochemical hydrogen production with energy level upgraded from solar thermal to chemical energy shows great potential. By integrating mid-and-low temperature solar thermochemistry and solid oxide fuel cells, in this paper, a new distributed energy system combining power, cooling, and heating is proposed and analyzed from thermodynamic, energy and exergy viewpoints. Different from the high temperature solar thermochemistry (above 1073.15 K), the mid-and-low temperature solar thermochemistry utilizes concentrated solar thermal (473.15–573.15 K) to drive methanol decomposition reaction, reducing irreversible heat collection loss. The produced hydrogen-rich fuel is converted into power through solid oxide fuel cells and micro gas turbines successively, realizing the cascaded utilization of fuel and solar energy. Numerical simulation is conducted to investigate the system thermodynamic performances under design and off-design conditions. Promising results reveal that solar-to-hydrogen and net solar-to-electricity efficiencies reach 66.26% and 40.93%, respectively. With the solar thermochemical conversion and hydrogen-rich fuel cascade utilization, the system exergy and overall energy efficiencies reach 59.76% and 80.74%, respectively. This research may provide a pathway for efficient hydrogen-rich fuel production and power generation.     

从7-ADCA生产过程中环境友好的回收苯乙酸

采用新工艺回收7-氨基-3-脱乙酰氧基头孢烷酸(7-ADCA)生产中产生的苯乙酸,并对苯乙酸回收过程中产生的废硫酸进行处理。采用硫酸(9 8%)洗涤二氯甲烷,硫酸与二氯甲烷适宜的体积比为1∶50,洗涤好的二氯甲烷中含苯乙酸4%。蒸馏出二氯甲烷,趁热向熔融苯乙酸中加入母液,降温析出苯乙酸。晾干的苯乙酸为白色鳞片状,含量大于99%,苯乙酸母液补充部分清水套用到下一批析出苯乙酸。废浓硫酸用芬顿试剂氧化,控制80℃氧化4h,双氧水和七水硫酸亚铁重量比为6∶1,废浓硫酸COD下降85%以上。氧化结束后向废硫酸中加入铁粉和双氧水,制得聚合硫酸铁。