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,μ）的分类情况。     

内核移植及其保护方法

内核移植工作是一项具有实际应用价值和各项配置较为复杂的工作,故提出一种依据内核本身特性实现内核更新的方法.现有大部分内核移植的方法需要利用module-init-atools、mkinitrd、lvm2和device-mapper等工具进行,而该文提出的移植方法摒弃了外部工具,依据内核自身特点实现新内核更新及其策略保护.首先,进行内核的配置,对必要模块进行分析配置;然后利用内核特性进行的模块化编译和grub界面分析;再次,鉴于对内核的健壮性要求,采用改进后MD5算法机制实现对内核的保护.最后实验研究表明,该内核移植方法便捷实用,优化的保护机制对内核具有重要的应用价值.