Theoretical study of a thermoelectric-assisted vapor compression cycle for air-source heat pump applications

This paper proposes a thermoelectric-assisted vapor compression cycle (TVCC) for applications in air-source heat pump systems which could enhance the heating capacity of the system. Performances of TVCC are calculated and then compared with that of basic vapor compression cycle (BVCC). The simulation results show that when coefficients of performance (COPs) of the two cycles are almost equal, the TVCC under maximum COP condition of the thermoelectric modules still performs better than BVCC by 13.0% in heating capacity through selecting the appropriate intermediate temperature. In addition, the TVCC can also achieve an improvement of 16.4%–21.7% in both the heating COP and capacity when compared with the BVCC with an assistant electric heater that is provided with the equivalent power input of thermoelectric heat exchanger. Thus, the TVCC could be beneficial to the applications in small heat pumps if there is always need for auxiliary electric heat.     

Peirce algebras

We present a two-sorted algebra, called aPeirce algebra, of relations and sets interacting with each other. In a Peirce algebra, sets can combine with each other as in a Boolean algebra, relations can combine with each other as in a relation algebra, and in addition we have both a set-forming operator on relations (the Peirce product of Boolean modules) and a relation-forming operator on sets (a cylindrification operation). Two applications of Peirce algebras are given. The first points out that Peirce algebras provide a natural algebraic framework for modelling certain programming constructs. The second shows that the so-calledterminological logics arising in knowledge representation have evolved a semantics best described as a calculus of relations interacting with sets.     

Mg-Si基热电化合物的研究现状

重点综述了Mg-Si基热电化合物的基本特性，该体系热电材料的制备方法与掺杂改性的研究进展，并提出了要重点解决的问题。     

纳米超晶格热电材料的研究进展

随着热电材料制备技术和性能研究的发展，纳米超晶格热电薄膜已受到人们的关注，简要介绍了有关纳米超晶格热电材料的结构、热电机理及制作技术，并指出了存在的问题和可能的发展方向。     

随机度量理论的最近进展及其应用

本文综述了随机度量理论在近十年来的重要进展及其具有代表性的某些应用。     

Novel miniature integrated optical goniometers

A new principle and arrangement for directly determining the angle of incidence of an optical beam on an object are proposed and demonstrated. The novelty of the approach lies in the realization of a ‘smart object’, which extracts a portion of the incident beam's power into an optical waveguide attached to the object's surface or embedded in its body for converting the angle of incidence into the position of a guided beam with finite lateral extent. This ‘integrated optical light pointer’ beam is accomplished by means of creating additional degrees of freedom on the target in two different ways. While a first type is based on introducing spatial variations of the waveguide thickness, a second type makes use of a chirp of the grating periodicity. The feasibility for practical applications has been experimentally demonstrated by a direct comparison with a commercial high-resolution encoder, resulting in an r.m.s. error of <30′'. Measurements have been performed for chips fabricated based on replicated polycarbonate substrates and with no external optics, showing the great potential of this approach for realizing low-cost yet high-performance miniature goniometers.     

IGBT无损吸收网络的设计

提出一种模块化IGBT无损吸收网络，介绍了其缓冲吸收原理、元件参数计算及一些注意事项。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.     

可编程序控制器在催化联锁系统的应用

随着工厂自动化程度的提高，对可编程控制器系统的可靠性要求越来越高，特别是炼油厂、化工厂、电站、钢铁厂以及环保项目中，停车将会给工厂带来的昂贵的代价。在这种情况下,冗余控制器能显著降低生产停滞的风险。简单介绍了可编程序控制器的冗余系统，并结合具体实例说明了冗余系统在其应用过程中的安全可靠性。