相似理论在真空灭弧室研究和设计中的应用

本文应用相似理论得出,真空灭弧室中电弧运动速度与电流强度成线性关系的相似准则,和极限开断电流与触头直径、开距间的经验公式。认为用小电流模型来研究大电流真空灭弧室是可行的。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

清代皇家园林规划设计控制的量化研究——以圆明三园、清漪园为例

本文通过量化分析探索了清代皇家园林规划设计的控制规律及相关理论。     

Evolutionary design of dynamic neural networks for evaporator control

This paper presents a novel neural network (NN) to control an ammonia refrigerant evaporator. Inspired by the latest findings on the biological neuron, a dynamic synaptic unit (DSU) is proposed to enhance the information processing capacity of artificial neurons. Treating the dynamic synaptic activity after the nonlinear somatic activity helps to capture the dynamics demarcated by the Gaussian activation pertaining to the input space. This practice leads to a remarkable reduction in curse of dimensionality. The proposed NN architecture has been compared with two other conventional architectures; one with dynamic neural units (DNUs) and the other with nonlinear static functions as perceptrons. The objective is to control evaporator heat flow rate and secondary fluid outlet temperature while keeping the degree of refrigerant superheat in the range 4–7 K at the evaporator outlet by manipulating refrigerant and evaporator secondary fluid flow rates. The drawbacks of conventional approaches to this problem are discussed, and how the novel method can overcome them are presented. An evolutionary approach is adopted to optimize the parameters of the NN controllers. Then evaporator process model is accomplished as a combination of governing equations and a sub NN resulting in a simple and sufficiently accurate model. The effectiveness of the proposed dynamic NN controller for the evaporator system model is validated using experimental data from the ammonia refrigeration plant.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

太原市城南地区汾河与东岸防洪隐患与出路

本文对当前城南地区汾河以东防洪存在的诸多隐患进行了阐述，并提出了相应的见解与措施。     

Development of an undergraduate course – Internet-based instrumentation and control

The objective, strategy, and implementation details of a new undergraduate course, Internet-based Instrumentation and Control, are presented. The course has a companion laboratory that is supported by the National Science Foundation and industry. The combination is offered to senior-level undergraduate engineering students interested in sensing, instrumentation, control, and web programming that want to learn more about the integration of these technologies for solving real-world engineering problems. The course will also be offered to gifted high school seniors with similar interests and can serve as a vehicle to attract them to engineering disciplines. Preliminary assessment of the first offering of the course is encouraging and has shown that the course has achieved success in helping students understand concepts and master basic technologies for developing Internet-based automatic systems.     

Hardware and software architecture for power quality analysis

This paper presents a novel concept for power quality hardware and software architecture. Software tools related to detection, classification and characterization of power quality events can be integrated into a Distribution Control Center in which the interconnection between different subsystems is being carried out through the Internet allowing flexibility to the system. This system is implemented using wavelet analysis applied in all proposed algorithms. Different power quality events are taken as examples to illustrate the capabilities of the proposed method. The obtained results reveal that the proposed architecture is feasible to be implemented as an integral part of a control center system.The proposed system has the property of fast and accurate detection and classification of any power quality disturbance event and introduces a new PQ index determination that allows characterizing any type of disturbance including the non-periodic signals.     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

水浴法加温液氧泵

1　故障现象一次 ,我们用KL -1 5型制氧制氮车开机制氮 ,给一只容积为 40升、最高工作压力为1 4 7MPa的气瓶灌充氮气 ,当气瓶充气压力升高到一定值时不再上升。反复开泵 ,压力基本不变。液氧泵停止时 ,出口压力无明显下降。经分析判断导致气瓶压力升高到一定值时不再上升的原因是由于液氧泵被冻结所致。2　排除方法首先关闭液氧泵。拧开制冷机氢气放气阀 ,使压力下降到 1 0MPa。开大放气阀 ,使二级压力保持在 0 3 5MPa左右。调整正流空气调节阀 ,调节好中部温度。关闭液氮进液氧泵阀和气氮出液氧泵阀。戴棉布手套 ,拆开液氮进口接头、…