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...

In this paper we propose a new strati cation test for linear time temporal logic programs More speci cally we extend the cycle sum test Ron to take into account negatively signed edges in the cycle sum graph In this way we broaden the class of temporal logic programs which are acceptable by the test Moreover we demonstrate that the cycle sum test can be used to decide local stati cation for a b...

Human T-lymphotropic virus type 1 (HTLV-1) infection causes adult T-cell leukemia/lymphoma (ATL) and is associated with a variety of lymphocyte-mediated disorders. HTLV-1 transmission occurs by transmission of infected cells via breast-feeding by infected mothers, sexual intercourse, and contaminated blood products. The route of exposure and early virus replication events are believed to be key...

The European Commission is examining test procedures to ensure that light-duty vehicle emissions are well controlled both in real use and over the legislative test cycle. At the same time, the UN Working Party on Pollution and Energy (GRPE) has developed a Worldwide harmonised Light vehicles Test Procedure (WLTP) that is expected to be used for Type Approval in the EU in the future. To identify...

hydraulic conductivity variations around the boreholes in uniformly graded sands for cyclic water injection pressure have been evaluated by laboratory tests. prototype laboratory devices have been designed and constructed for this research. the cell has a capability to model the well, the boundary condition and to measure the hydraulic conductivity. while increasing water injection pressure, hy...