发展中的ATCA顺从设备技术

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

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.     

Luminescent Amphiphilic Aminoglycoside Probes to Study Transfection

We report the characterization of amphiphilic aminoglycoside conjugates containing luminophores with aggregation-induced emission properties as transfection reagents. These inherently luminescent transfection vectors are capable of binding plasmid DNA through electrostatic interactions; this binding results in an emission “on” signal due to restriction of intramolecular motion of the luminophore core. The luminescent cationic amphiphiles effectively transferred plasmid DNA into mammalian cells (HeLa, HEK 293T), as proven by expression of a red fluorescent protein marker. The morphologies of the aggregates were investigated by microscopy as well as ζ-potential and dynamic light-scattering measurements. The transfection efficiencies using luminescent cationic amphiphiles were similar to that of the gold-standard transfection reagent Lipofectamine® 2000.     

Comments on “Necessary and sufficient stability condition of fractional-order interval linear systems” [Automatica 44 (2008), 2985–2988]

This paper shows that the main thesis of the article “Necessary and sufficient stability condition of fractional-order interval linear systems” by Ahn and Chen (Automatica, vol. 44, pp. 2985–2988) is only a sufficient (and not a necessary) condition for the robust stability of fractional-order linear systems.