CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.     

Majority gates vs. general weighted threshold gates

In this paper we study small depth circuits that contain threshold gates (with or without weights) and parity gates. All circuits we consider are of polynomial size. We prove several results which complete the work on characterizing possible inclusions between many classes defined by small depth circuits. These results are the following:

Overview of Tiber-II—Evolution toward an Engineering Test Reactor

TIBER II is designed to be a minimum size and cost candidate for an international Engineering Test Reactor. High-current density Nb₃Sn superconducting magnets with radiation-tolerant polymide insulation is combined with a minimum thickness tungsten inbored shield and a common, external vacuum boundary to minimize the inner radial build of the tokamak core. This results in a major radius of 3 m, compared to 5 m for previous ETR designs such as INTOR, with correspondingly lower costs expected. Cyclic stress fatigue limits the number of pulses so that steady-state current drive, based on a combination of neutral beams, lower hybrid and ECH, is designed to achieve reactor-relevant nuclear testing conditions (Fluence 3MW yr/m², rwall > 1 MW/m² in steady state).This report is abstracted from a more complete information document UCID-20863 with numerous authors. See Ref. l for complete credits.     

基于演化算法的奇偶校验器自动设计*

基于演化算法技术,提出一种新的设计思想,实现奇偶校验器的电路自动设计.实验证明,多目标演化算法具有较少的运算量和较高的效率,能自动设计出使用逻辑门数更少、延时更小的奇偶校验器.     

A helical drive in-pipe robot based on compound planetary gearing

The modern society is fuelled by very comprehensive grids of gas and liquid pipelines. In recent years, various in-pipe robots have been developed for inspection and maintenance tasks inside such pipes. In this paper, a novel in-pipe robot is proposed and developed for gas/oil well interventions at thousands of meters downhole. Due to the nature of such intervention, in-pipe robot design must be capable of carrying a very large payload, as large as 2500?N inside a pipe with diameter as small as 54?mm. The proposed design concept is based on a compound planetary gearing system. One of the major novelties of this design is the use of pipe wall as a ring gear for one stage of the compound planetary gear system; the other novelty is the generation of helical angle when the planetary gears are expanded to press on the pipe wall. The proposed concept is compact, efficient, and has never been reported before. In this paper, the helical angle, the velocity, and load capability of the proposed system will be analyzed. The load transportation capability of the proposed robot is also measured based on an experiment. Initial data have shown great potential in carrying large payloads.     

集成电路密封用高纯邻甲酚醛环氧树脂的制备

ECN树脂中的可水解氯含量是决定树脂质量的—个重要指标。本文研究了反应温度、ECH/OCN配比、反应时间和碱用量等因素的影响,取得了规律性的认识,并获得最佳配方,制备出高纯度的ECN树脂系列产品。     

压电双晶片型旋转精密驱动器动态特性和控制

提出了以自由端带有集中质量的悬臂式压电双晶片为驱动单元的新型冲击式旋转精密驱动器.制作了驱动器样机,建立了基于Lugre摩擦模型的驱动器动力学模型.对驱动器动态特性进行了仿真分析和实验对比研究.根据驱动器的动态特性,提出了冲击式压电双晶片型精密驱动器特定的定频调压控制方法.仿真分析结果和实验结果吻合较好,表明该动力学模型符合驱动器的动态特性,可用于对冲击式压电双晶片型旋转精密驱动器的理论分析.     

电路模拟中非线性方程的周期波形响应

用范数估计方法对非线性高阶微分方程的周期边值问题进行了讨论,通过对非线性二阶微分方程周期边值问题的详细讨论,给出了系统函数对某些变量偏导数的某种范数小于1时,非线性二阶微分方程的波形松弛算法产生的迭代序列收敛到该方程的周期解.用类似的方法给出了非线性高阶微分方程的波形松弛算法产生的迭代序列收敛到该方程周期解的充分性条件.     

副井提升系统安全回路及上位机优化改造

针对煤矿副井提升系统安全回路软硬件及上位机中存在的不足进行了优化改造,改进了过卷试验方式,将闸系统紧停信号引入安全回路,并将安全回路各节点状态信号引入RSView32人机界面,实时显示安全回路状态;根据现场检修需要,在上位机增加了复位显示功能及行程偏差大报警信号。实际应用表明,该优化改造可迅速定位故障节点,实现软硬件互查。