Performance of a Single-Family Heat Pump at Different Working Conditions Using Small Quantity of Propane as Refrigerant

The performance of a domestic heat pump that uses a low quantity of propane as refrigerant has been experimentally investigated. The heat pump consists of two minichannel aluminium heat exchangers, a scroll compressor, and an electronic expansion valve. It was charged with the minimum amount of refrigerant propane required for the stable operation of the heat pump without permitting refrigerant vapor into the expansion valve at incoming heat source fluid temperature to the evaporator of +10°C. The inlet temperature of the heat source fluid passing through the evaporator was varied from +10°C to ?10°C while holding the condensing temperature constant at 35°C, 40°C, 50°C, and 60°C, respectively. The minimum refrigerant charges required at above-tested condensing temperatures were found to decrease when the condensing temperature increased and were recorded as 230 g, 224 g, 215 g, and 205 g, respectively. The results confirm that a heat pump with 5 kW capacity can be designed with less than 200 g charge of refrigerant propane in the system. Due to the high solubility of propane in compressor lubrication oil, the amount of refrigerant which may escape rapidly in case of accident or leakage is less than 150 g.     

磁光材料Verdet常数贡献性的讨论

Verdet常数是表征材料磁光性能的重要参数,具有波长和温度依赖性.为了更好地分析入射光波长、温度等对Verdet常数的影响机理,从基础理论切入,分析了现有理论的优缺点.结合光的波粒二象性特性,提出了波动跃迁性贡献理论,即法拉第效应是光的波动性作用以及电偶极跃迁作用带来的贡献之和,波动性对偏转角的贡献为正,跃迁性贡献为负.在抗磁性材料中,波动性贡献大于跃迁性贡献,Verdet常数为正;顺磁性材料中,跃迁性贡献远大于波动性贡献,Verdet常数为负.进而分别以典型抗磁性材料重火石玻璃ZF1和顺磁性材料铽镓石榴石为例,并结合相关数据、参数、模型,对理论进行了验证.试验结果表明,在精确描述材料Verdet常数方面,波动跃迁性贡献理论具有一定的优越性.     

Symmetry-improved CJT effective action

The formalism introduced by Cornwall, Jackiw and Tomboulis (CJT) provides a systematic approach to consistently resumming non-perturbative effects in Quantum Thermal Field Theory. One major limitation of the CJT effective action is that its loopwise expansion introduces residual violations of possible global symmetries, thus giving rise to massive Goldstone bosons in the spontaneously broken phase of the theory. In this paper we develop a novel symmetry-improved CJT formalism for consistently encoding global symmetries in a loopwise expansion. In our formalism, the extremal solutions of the fields and propagators to a loopwise truncated CJT effective action are subject to additional constraints given by the Ward Identities due to global symmetries. By considering a simple O(2)$\mathbb{O}(2)$ scalar model, we show that, unlike other methods, our approach satisfies a number of important field-theoretic properties. In particular, we find that the Goldstone boson resulting from spontaneous symmetry breaking of O(2)$\mathbb{O}(2)$ is massless and the phase transition is a second-order one, already in the Hartree–Fock approximation. After taking the sunset diagrams into account, we show how our approach properly describes the threshold properties of the massless Goldstone boson and the Higgs particle in the loops. Finally, assuming minimal modifications to the Hartree–Fock approximated CJT effective action, we calculate the corresponding symmetry-improved CJT effective potential and discuss the conditions for its uniqueness for scalar-field values away from its minimum.     

Sparsity-constrained SENSE reconstruction: An efficient implementation using a fast composite splitting algorithm

Parallel imaging and compressed sensing have been arguably the most successful and widely used techniques for fast magnetic resonance imaging (MRI). Recent studies have shown that the combination of these two techniques is useful for solving the inverse problem of recovering the image from highly under-sampled k-space data. In sparsity-enforced sensitivity encoding (SENSE) reconstruction, the optimization problem involves data fidelity (L2-norm) constraint and a number of L1-norm regularization terms (i.e. total variation or TV, and L1 norm). This makes the optimization problem difficult to solve due to the non-smooth nature of the regularization terms. In this paper, to effectively solve the sparsity-regularized SENSE reconstruction, we utilize a new optimization method, called fast composite splitting algorithm (FCSA), which was developed for compressed sensing MRI. By using a combination of variable splitting and operator splitting techniques, the FCSA algorithm decouples the large optimization problem into TV and L1 sub-problems, which are then, solved efficiently using existing fast methods. The operator splitting separates the smooth terms from the non-smooth terms, so that both terms are treated in an efficient manner. The final solution to the SENSE reconstruction is obtained by weighted solutions to the sub-problems through an iterative optimization procedure. The FCSA-based parallel MRI technique is tested on MR brain image reconstructions at various acceleration rates and with different sampling trajectories. The results indicate that, for sparsity-regularized SENSE reconstruction, the FCSA-based method is capable of achieving significant improvements in reconstruction accuracy when compared with the state-of-the-art reconstruction method.     

Higher-Order (F,α,β,ρ,d,E)-Convexity in Fractional Programming

In this paper we define higher order (F,α,β,ρ,d,E)-convex function with respect to E-differentiable function K and obtain optimality conditions for nonlinear programming problem (NP) from the concept of higher order (F,α,β,ρ,d)-convexity. Here, we establish Mond-Weir and Wolfe duality for (NP) and utilize these duality in nonlinear fractional programming problem.     

The minimal excludant and Schmidt's partition theorem

In this work, we study Schmidt's partition theorem in a combinatorial manner, and find a strong refinement which connects the minimal excludant of ordinary partitions to the length of Schmidt's partitions. As a byproduct, we obtain a bivariate form of an identity recorded in Ramanujan's lost notebook.     

Quantaloids Describing Causation and Propagation of Physical Properties

A general principle of causal duality for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded in a quantaloidal setting. Other particular examples of quantaloids and quantaloidal morphisms appear naturally within this setting; as in the case of causal duality, they originate from primitive physical reasonings on the lattices of properties of physical systems. Furthermore, an essentially dynamical operational foundation for studying physical systems is outlined; complementary as it is to the existing static operational foundation, it leads to the natural axiomatization of causal duality in operational quantum logic.     

相对性原理及其对自然界定律的协变性要求--机械能守恒定律协变性疑难的解答

阐明狭义相对性原理的准确含义,批出它并不要求自然界每条定律都单独协变,但要求每条定律至少属于一个协变集合,给出最小协变集的求法。表明机械能守恒定律满足狭义相对性原理及其对自然界定律的协变性要求,还指出一切社会科学定律也都满足狭义相对性原理。     

HOW REYE'S CONFIGURATION HELPS IN PROVING THE BELL–KOCHEN–SPECKER THEOREM: A CURIOUS GEOMETRICAL TALE

It is shown that the 24 quantum states or rays used by Peres (J. Phys. A 24, 174-8 (1991)) to give a proof of the Bell–Kochen–Specker (BKS) theorem have a close connection with Reye's configuration, a system of twelve points and sixteen lines known to projective geometers for over a century. The interest of this observation stems from the fact that it provides a ready explanation for many of the regularities exhibited by the Peres rays and also permits a systematic construction of all possible non-coloring proofs of the BKS theorem based on these rays. An elementary exposition of the connection between the Peres rays and Reye's configuration is given, following which its applications to the BKS theorem are discussed.     

动力系统的正则量子对称性质

分别从正规和奇异拉氏量系统的相空间生成泛函出发,导出了增广相空间中整体对称下的正则形式Ward恒等式.考虑对应的定域交换,得到了量子水平的守恒荷,给出了正则形式的量子Noether定理.讨论了在核子和π介子相互作用中的初步应用.