发展中的ATCA顺从设备技术

设计一种新的系统底板涉及到很多准则,其中包括各种专用功能以及构成任何电信或数据系统一部分的通用模块.这些通用模块,如机械设计、EMI完整性、底板、电源和机架管理,是所有设计共有的.它们对设计的标新立异没有贡献,而且从研发角度来看,可以看作是额外开销.另一方面,与系统有关的特性则是设备专有的,也是实现方法所独有的,并会使系统厂商引入新颖而独特的功能,使其产品不同于竞争对手的产品.     

On the modelling of thermo-unelastic periodic composites: Microlocal parameter theory

Summary In this paper a new high efficiency C-O grid coupled with the potential flow solver based on the finite volume technique is given. It significantly reduces the CPU time and increases the computational efficiency. In order to improve the accuracy of traditional potential method a shock point operator is used to account for entropy correction. Some calculated results of 2D inviscid, viscous/inviscid interaction and 3D inviscid flow indicate that nonisentropic potential method produces results closer to Euler solution as well as experimental data, while its computational efforts are nearly the same as the usual isentropic potential method.With 9 Figures     

Biparametric Models for Elastic Wedge Foundation

In this paper, some biparametric models for an elastic foundation are proposed. It is assumed that the foundation has the shape of the wedge. The modeling procedure starts from the linear elasticity equations into which we introduce some simplifying assumptions based on the conceptions of decay functions. The simplified models are described by the ordinary differential equations. Stationary and nonstationary Green’s functions for the foundation considered are obtained by applying the Hankel and Laplace transform methods. An example of the interaction between the rigid plate and the elastic wedge foundation is studied.     

Flux Jumps and H-T Diagram of Instability for MgB2

We present a study of magneto-thermal instabilities in polycrystalline MgB₂ superconductor, by magnetic hysteresis loop measurements and by investigations of magnetic flux dynamics with a miniature Hall probe. Temperature and magnetic field ranges where the flux jumps may be observed have been determined. On the basis of measurements of the magnetic flux dynamics, an average magnetic diffusivity describing the process of the flux jump is estimated. This parameter is compared with the thermal and magnetic diffusivities calculated on the basis of available data for thermal conductivity, heat capacity and resistivity. It is shown that the estimated value of the field of the first flux jump is influenced significantly by the field dependence of specific heat. In order to explain the observed phenomenon, the temperature reached by the sample during the flux jump at different magnetic fields is calculated.     

Does social dominance generate prejudice? Integrating individual and contextual determinants of intergroup cognitions.

Social dominance orientation (SDO) has been proposed as an important variable in the explanation of prejudice. We distinguish between three conceptualizations of SDO: SDO as a personality trait (personality model), SDO as a moderator of the effects of situational variables (Person X Situation model), and SDO as a mediator of the effect of social position on prejudice (group socialization model [GSM]). Four studies (N = 1,657) looking at the relations between social positions, SDO, and prejudice in a natural setting and in a laboratory setting provide strong support for the GSM. In contrast to previous correlational findings, there is evidence of a cause (dominant social position), an effect (prejudice increases), and a mediator (SDO). These results suggest new perspectives on the integration of individual and contextual determinants of prejudice. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Expressing the equivalence of non‐isothermal and isothermal heat sterilization processes

Currently, the sterility of heat‐processed food and pharmaceuticals is assessed in terms of an F₀ value, based on the equivalence of the heat treatment to an isothermal process at a reference temperature. This F₀ value, however, has a meaning if, and only if, the inactivation kinetics of the targeted spores (or cells) follow a first‐order relationship and the temperature dependence of the D value, the reciprocal of the rate constant, is log‐linear. There is growing evidence that these conditions are not satisfied by many spores, including those of Clostridium botulinum and vegetative cells. Consequently, a replacement for the F₀ value is proposed in the form of a momentary equivalent time at the reference temperature based on the actual survival pattern of the spores, which need not be log‐linear. This equivalent time can be calculated together with the theoretical survival ratio in real time, thus enabling an operator to monitor the lethality of ongoing industrial heat processes. The concept is demonstrated with published survival data of C. botulinum, for which the Weibullian and log‐logistic models served as primary and secondary models, respectively. The safety factor according to the proposed method is in the number of added minutes of processing, beyond the theoretical time needed to reduce the survival ratio of the targeted spores or cells to a level that would produce practical (or commercial) sterility. Copyright © 2006 Society of Chemical Industry     

Implicit induction in conditional theories

We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993).     

Human attributes from 3D pose tracking

It is well known that biological motion conveys a wealth of socially meaningful information. From even a brief exposure, biological motion cues enable the recognition of familiar people, and the inference of attributes such as gender, age, mental state, actions and intentions. In this paper we show that from the output of a video-based 3D human tracking algorithm we can infer physical attributes (e.g., gender and weight) and aspects of mental state (e.g., happiness or sadness). In particular, with 3D articulated tracking we avoid the need for view-based models, specific camera viewpoints, and constrained domains. The task is useful for man–machine communication, and it provides a natural benchmark for evaluating the performance of 3D pose tracking methods (vs. conventional Euclidean joint error metrics). We show results on a large corpus of motion capture data and on the output of a simple 3D pose tracker applied to videos of people walking.