广义准正则格形码距离谱的计算

本文讨论了格形码距离谱的计算问题，定义了度量空间意义下的广义准正则格形码，对具有Ｉｍａｉ与Ｈｉｒａｋａｗａ［２］和Ｕｎｇｅｒｂｏｅｃｋ［３］定义的典型的时不变网格结构的广义准正则格形码，证明了其距离谱可用全零信息序列对应的码字进行计算。在理论上推广了Ｍ．Ｒｏｕａｎｃｅ与Ｄ．Ｊ．Ｃｏｓｔｅｌｏ的结果，解决了非平方欧几里德度量意义下一类ＴＣＭ信号序列的距离谱计算问题     

Cellular neural network with trapezoidal activation function

This paper presents a cellular neural network (CNN) scheme employing a new non‐linear activation function, called trapezoidal activation function (TAF). The new CNN structure can classify linearly non‐separable data points and realize Boolean operations (including eXclusive OR) by using only a single‐layer CNN. In order to simplify the stability analysis, a feedback matrix W is defined as a function of the feedback template A and 2D equations are converted to 1D equations. The stability conditions of CNN with TAF are investigated and a sufficient condition for the existence of a unique equilibrium and global asymptotic stability is derived. By processing several examples of synthetic images, the analytically derived stability condition is also confirmed. Copyright © 2005 John Wiley & Sons, Ltd.     

An adaptive non‐conforming finite‐element method for Reissner–Mindlin plates

Adaptive algorithms are important tools for efficient finite‐element mesh design. In this paper, an error controlled adaptive mesh‐refining algorithm is proposed for a non‐conforming low‐order finite‐element method for the Reissner–Mindlin plate model. The algorithm is controlled by a reliable and efficient residual‐based a posteriori error estimate, which is robust with respect to the plate's thickness. Numerical evidence for this and the efficiency of the new algorithm is provided in the sense that non‐optimal convergence rates are optimally improved in our numerical experiments. Copyright © 2003 John Wiley & Sons, Ltd.     

Implicit integration and consistent tangent modulus of a time‐dependent non‐unified constitutive model

This paper describes the implicit integration and consistent tangent modulus of an inelastic constitutive model with transient and steady strain rates, both of which are time‐ and temperature‐dependent; the transient rate is influenced by the evolution of back stress decomposed into parts, while the steady rate depends only on applied stress and temperature. Such a non‐unified model is useful for high‐temperature structural analysis and is practical owing to the ease in determining material constants. The implicit integration is shown to result in two scalar‐valued coupled equations, and the consistent tangent modulus is derived in a quite versatile form by introducing a set of fourth‐rank constitutive parameters into the discretized evolution rule of back stress. The constitutive model is, then, implemented in a finite element program and applied to a lead‐free solder joint analysis. It is demonstrated that the implicit integration is very accurate if the multilinear kinematic hardening model of Ohno and Wang is employed, and that the consistent tangent modulus certainly affords quadratic convergence to the Newton–Raphson iteration in solving nodal force equilibrium equations. Copyright © 2003 John Wiley & Sons, Ltd.     

轴测投影非轴向伸缩系数及与轴测轴的夹角

导出了正轴测图中投影面平行线的伸缩系数及其与轴测投影轴的夹角计算公式,使得各种形状形体的轴测投影画法更简单、尺寸量取更精确.     

时移地震非一致性影响研究与互均衡效果验证

用地震子波对时移地震非一致性造成影响进行了模拟。将影响因素概括为4种形式，即时移、相位变化、振幅量级不一致，频宽不一致。采用互均衡技术对以上4种情况进行校正，达到了理想的效果。为实际资料的处理和方法研究奠定了理论基础。     

A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

电解铝侧插自焙槽技术改造与环境保护

电解铝侧插自焙槽属于落后的生产工艺，由于其能耗高、物料消耗大、劳动强度大、环境污染严重，在国内电解铝中已开始进行大规模的淘汰改造。采用先进的预焙电解槽生产技术，降耗节能、改善生产劳动强度，环境污染得到有效治理，各项环境指标达标排放，经济技术指标提高，食业面貌发生了巨大大变化。     

螺栓球网架杆件在非节点横向荷载作用下承载力的有限元分析

运用ANSYS有限元程序 ,研究了在轴向力与非节点横向力共同作用下网架螺栓球节点杆件的受力性能 ,得出其应力分布状况及弹性极限承载力 ,并提出了螺栓球网架杆件在非节点横向力作用下承载力的计算公式。     

Creativity in non‐routine jobs: The role of transformational leadership and organizational identification

An increasing number of individuals work in jobs with little standardization and repetition, that is, with high levels of job non‐routinization. At the same time, demands for creativity are high, which raises the question of how employees can use job non‐routinization to develop creativity. Acknowledging the importance of social processes for creativity, we propose that transformational leaders raise feelings of organizational identification in followers and that this form of identification then helps individuals to develop creativity in jobs with little routinization. This is because organizational members evaluate and promote those ideas as more creative, which are in line with a shared understanding of creativity within the organization. To investigate these relationships, we calculated a mediated moderation model with 173 leader–follower dyads from China. Results confirm our hypotheses that transformational leadership moderates the relationship between job non‐routinization on employee creativity through organizational identification. We conclude that raising feelings of social identity is a key task for leaders today, especially when working in uncertain and fast developing environments with little repetition and the constant need to develop creative ideas.