A numerical model for induction heating processes coupling electromagnetism and thermomechanics

This paper presents a mathematical and numerical model developed for coupling the various physical phenomena (electromagnetic, thermal and mechanical) taking place in axisymmetrical induction heating processes. All three electromagnetic, thermal and mechanical models are time dependent and take full account of the electromagnetic and thermal non‐linear effect especially with magnetic materials. The electromagnetic problem is discretized and solved in the workpiece, air and inductors. The heat transfer equation and the mechanical equilibrium equations are solved in the workpiece only, both using a finite element method. The mechanical model can take into account thermoelastic–plastic behaviour for the part. The model has been successfully applied to several cases of induction heating. Comparisons between numerical and experimental results show an excellent agreement. Copyright © 2003 John Wiley & Sons, Ltd.     

The hierarchies of knowledge and the mathematics of discovery

Rather than attempting to characterize a relation of confirmation between evidence and theory, epistemology might better consider which methods of forming conjectures from evidence, or of altering beliefs in the light of evidence, are most reliable for getting to the truth. A logical framework for such a study was constructed in the early 1960s by E. Mark Gold and Hilary Putnam. This essay describes some of the results that have been obtained in that framework and their significance for philosophy of science, artificial intelligence, and for normative epistemology when truth is relative.I am indebted to Kevin Kelly for several years of happy conversation from which the perspective and views of this paper grew, for comments on a draft of the paper, and for constructing some of the illustrations. A fellowship from the John Simon Guggenheim Memorial Foundation provided the liberty to write this paper. It was first presented in the Turing Colloquium, 1990.     

压缩弯曲小半径中频弯管工艺的研究

在分析了感应加热小半径弯管形变机理的基础上，提出了压缩弯曲的成型工艺，研制出了小半径中频弯管设备，并进行了大量的工艺实验和实验研究，取得了满意的结果。     

Chromatic induction: Opponent color or complementary color process?

In present convention, chromatic induction (simultaneous and successive contrast) is usually held to be an opponent color process. Fifty years ago, it was an accepted complementary color process. The latter was never disputed yet apparently overlooked, and is here shown to be the more accurate account by inspecting afterimages and published data on simultaneous and successive hue induction. © 2007 Wiley Periodicals, Inc. Col Res Appl, 33, 77–81, 2008     

感应电机内部物理过程的框图描述

给出了感应电机内部物理过程的框图描述。这种描述准确地反映了电机学中主、漏磁路分别处理的一般方法，感应电机内部各物理量之间的数量关系和电机学所基于的若干基本电磁定律，感应电机内部物理量之间的关系。     

同心球所夹空间电场的电像法求解

采用电像法分析研究了二同心导体球所夹空间的静电场分布。     

The determinants of heat-shock element-directed lacZ expression in Saccharomyces cerevisiae.

Heat-shock induction of heat-shock protein genes is due to a specific promoter element (the heat-shock element, HSE). This study used lacZ under HSE control (HSE-lacZ) to characterize HSE activity in Saccharomyces cerevisiae cells of different physiological states and differing genetic backgrounds. In batch fermentations HSE-lacZ induction by heat shock was maximal in exponential growth, and showed marked decline with the approach to stationary phase. Expression in the absence of heat shock was unaffected by growth phase, indicating that the growth-dependent expression of many yeast heat-shock genes uses promoter elements in addition to the HSE. Heat-induced expression was strongly influenced by the temperature at which cultures were grown. While basal, uninduced expression was constant during growth at different temperatures to 30 degrees C, induction by transfer to 39 degrees C was reduced by increases in growth temperature as low as 18-24 degrees C. Maximal HSE-lacZ induction (30- to 50-fold) was in cultures grown at low temperatures (18-24 degrees C), then heat shocked at 39 degrees C. Ethanol was a poor inducer. Mutations having little effect on HSE-lacZ expression included a respiratory petite; ubi4 (which inactivates the poly-ubiquitin gene); also ubc4 and ubc5 (which each inactivate one of the ubiquitin ligases involved in degradation of aberrant protein). pep4-3 increased both basal and induced beta-galactosidase about two-fold, probably because of slower turnover of this enzyme in pep4-3 strains.     

微波感应式电力线防盗在线监测系统

研制了一种微波感应式配电线路防盗在线监测系统，简述了其系统构成、技术特点和应用效果。整个系统由监测分机、监控中心、巡检人员组成，借助该系统进行了一系列实验。结果表明，当有大型移动物体靠近或攀登杆塔时，安装在杆塔上10 m左右的微波感应监测分机感应到移动物体信号，一方面进行语音警示，另一方面通过短信服务及时向监控中心发送短信，监控中心及时通知巡检人员，赶到事故现场，以最大限度地保证输电线路的安全。     

Modelling of induced aeration in turbine aerators by use of radial basis function neural networks

Gas induction in agitated vessels with turbine impellers can be modelled accurately by means of radial basis function neural nets. The results obtained with the radial basis neural net were significantly better than those obtained by multivariate regression models or standard back propagation neural nets. Moreover, by using the radial basis function neural net model, it was possible to conduct a sensitivity analysis of the variables affecting aeration. Increased medium density showed a strong adverse effect, while variation of the viscosity can cause an increase or a decrease in the rate of aeration, depending on the prevailing process conditions.     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001