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.     

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.     

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

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

NCD－环上模的理论探讨

研究了ＮＣＤ－环上模Ｍ，在模半理想的条件下，可得到一些有趣的结果。     

RAFNet: RGB-D attention feature fusion network for indoor semantic segmentation

Semantic segmentation based on the complementary information from RGB and depth images has recently gained great popularity, but due to the difference between RGB and depth maps, how to effectively use RGB-D information is still a problem. In this paper, we propose a novel RGB-D semantic segmentation network named RAFNet, which can selectively gather features from the RGB and depth information. Specifically, we construct an architecture with three parallel branches and propose several complementary attention modules. This structure enables a fusion branch and we add the Bi-directional Multi-step Propagation (BMP) strategy to it, which can not only retain the feature streams of the original RGB and depth branches but also fully utilize the feature flow of the fusion branch. There are three kinds of complementary attention modules that we have constructed. The RGB-D fusion module can effectively extract important features from the RGB and depth branch streams. The refinement module can reduce the loss of semantic information and the context aggregation module can help propagate and integrate information better. We train and evaluate our model on NYUDv2 and SUN-RGBD datasets, and prove that our model achieves state-of-the-art performances.     

基于国家电网的财务管理系统的开发与研究

随着社会生产力的不断发展,越来越多的企业认识到了财务工作的重要性。企业要利用现代高效的运作方式来开发和管理组织中最重要、最昂贵的资源,实现财务管理的精细化、自动化,提高财务资源的利用率,促进企业的发展。     

与李代数A2相关的顶点算子代数N（k,0）及不可约模

介绍了仿射李代数A2的构造,并研究和构造了A2上Z＋-分次的顶点算子代数N（k,0）。再由A（V）理论算出了顶点算子代数L（1,0）不可约模L（1,μ）的分类情况。     

基于LSM的轻量级透明加密设计与实现

为了防止数据失窃需要对敏感数据进行加解密处理,提出一种基于Linux安全模块框架的轻量级透明加密方法。该方法主要是对文件进行写操作时,使用LSM钩子实现对文件的加密操作;当用户试图读取文件时触发内核读系统调用服务例程并在该例程中实现文件的解密操作。测试结果发现基于LSM的透明加密在确保数据安全的情况下对读写性能影响不大。