The authors reanalyzed assessment center (AC) multitrait-multimethod (MTMM) matrices containing correlations among postexercise dimension ratings (PEDRs) reported by F. Lievens and J. M. Conway (2001). Unlike F. Lievens and J. M. Conway, who used a correlated dimension-correlated uniqueness model, we used a different set of confirmatory-factor-analysis-based models (1-dimension-correlated Exercise and 1-dimension-correlated uniqueness models) to estimate dimension and exercise variance components in AC PEDRs. Results of reanalyses suggest that, consistent with previous narrative reviews, exercise variance components dominate over dimension variance components after all. Implications for AC construct validity and possible redirections of research on the validity of ACs are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs: 相似文献
A logical design that describes the overall structure of proteins, together with a more detailed design describing secondary and some supersecondary structures, has been constructed using the computer-aided software engineering (CASE) tool, Auto-mate. Auto-mate embodies the philosophy of the Structured Systems Analysis and Design Method (SSADM) which enables the logical design of computer systems. Our design will facilitate the building of large information systems, such as databases and knowledgebases in the field of protein structure, by the derivation of system requirements from our logical model prior to producing the final physical system. In addition, the study has highlighted the ease of employing SSADM as a formalism in which to conduct the transferral of concepts from an expert into a design for a knowledge-based system that can be implemented on a computer (the knowledge-engineering exercise). It has been demonstrated how SSADM techniques may be extended for the purpose of modelling the constituent Prolog rules. This facilitates the integration of the logical system design model with the derived knowledge-based system. 相似文献
In this paper, we discuss the problem of quality control with an unreliable machine which produces defects at a rate of Λ0, per unit when in-control and a rate of Lambda; 1, when out-of-control (where Λ1 Λ 0). Every h time periods, we sample n units, count the number of defects, and (using a process based on a Shewart c-chart) test the hypothesis that the machine is in control by comparing the total number of defects to an upper control limit (UCL). More important, we introduce the concept that a buffer inventory which immediately follows the unreliable machine may reduce expected total costs. This buffer serves to delay the movement of items from the unreliable machine to the next stage of the production process. In this way, we can isolate and repair most defective items before they are embedded in a product downstream or sold to customers where repair is more costly. To search for the optimal control policy, we find bounds for n, h, and UCL; given values for these variables, we show how the optimal buffer size can be determined directly. Numerical results illustrate the magnitude of potential savings. 相似文献
Point counting represents a convenient and efficient technique for estimating the area of transects through multiple sclerosis (MS) lesions on magnetic resonance (MR) images obtained for sections through the brain. When sectioning has been performed according to the Cavalieri method, unbiased estimates of the total volume of MR-visible MS plaques can be obtained with a precision of 3–5% in 5–10 min. 相似文献
We cloned 17 different PCR fragments encoding VH genes of camel(Camelus dromedarius). These clones were derived from the camelheavy chain immunoglobulins lacking the light chain counterpartof normal immunoglobulins. Insight into the camel VH sequencesand structure may help the development of single domain antibodies.The most remarkable difference in the camel VH, consistent withthe absence of the VL interaction, is the substitution of theconserved Leu45 by an Arg or Cys. Another noteworthy substitutionis the Leu11 to Ser. This amino acid normally interacts withthe CH1 domain, a domain missing in the camel heavy chain immunoglobulins.The nature of these substitutions agrees with the increasedsolubility behavior of an isolated camel VH domain. The VH domainsof the camels are also characterized by a long CDR3, possiblycompensating for the absence of the VL contacts with the antigen.The CDR3 lacks the salt bridge between Arg94 and Asp101. However,the frequent occurrence of additional Cys residues in both theCDR1 and CDR3 might lead to the formation of a second internaldisulfide bridge, thereby stabilizing the CDR structure as inthe DAW antibody. Within CDRs of the camel VH domains we observea broad size distribution and a different amino acid patterncompared with the mouse or human VH. Therefore the camel hypervariableregions might adopt structures which differ substantially fromthe known canonical structures, thereby increasing the repertoireof the camel antigen binding sites within a VH. 相似文献
Performance data are presented for methane oxidation on alumina-supported Pd, Pt, and Rh catalysts under both fuel-rich and fuel-lean conditions. Catalyst activity was measured in a micro-scale isothermal reactor at temperatures between 300 and 800 °C. Non-isothermal (near adiabatic) temperature and reaction data were obtained in a full-length (non-differential) sub-scale reactor operating at high pressure (0.9 MPa) and constant inlet temperature, simulating actual reactor operation in catalytic combustion applications.
Under fuel-lean conditions, Pd catalyst was the most active, although deactivation occurred above 650 °C, with reactivation upon cooling. Rh catalyst also deactivated above 750 °C, but did not reactivate. Pt catalyst was active above 600 °C. Fuel-lean reaction products were CO2 and H2O for all three catalysts.
The same catalysts tested under fuel-rich conditions demonstrated much higher activity. In addition, a ‘lightoff’ temperature was found (between 450 and 600 °C), where a stepwise increase in reaction rate was observed. Following ‘lightoff’ partial oxidation products (CO, H2) appeared in the mixture, and their concentration increased with increasing temperature. All three catalysts exhibited this behavior.
High-pressure (0.9 MPa) sub-scale reactor and combustor data are shown, demonstrating the benefits of fuel-rich operation over the catalyst for ultra-low emissions combustion. 相似文献
If a trademark (“mark”) becomes a generic term, it may be cancelled under trademark law, a process known as genericide. Typically, in genericide cases, consumer surveys are brought into evidence to establish a mark’s semantic status as generic or distinctive. Some drawbacks of surveys are cost, delay, small sample size, lack of reproducibility, and observer bias. Today, however, much discourse involving marks is online. As a potential complement to consumer surveys, therefore, we explore an artificial intelligence approach based chiefly on word embeddings: mathematical models of meaning based on distributional semantics that can be trained on texts selected for jurisdictional and temporal relevance. After identifying two main factors in mark genericness, we first offer a simple screening metric based on the ngram frequency of uncapitalized variants of a mark. We then add two word embedding metrics: one addressing contextual similarity of uncapitalized variants, and one comparing the neighborhood density of marks and known generic terms in a category. For clarity and validation, we illustrate our metrics with examples of genericized, somewhat generic, and distinctive marks such as, respectively, DUMPSTER, DOBRO, and ROLEX.
ABSTRACTA primary goal for human-autonomy integration (HAI) is to balance the strengths of human and autonomy in order to achieve performance objectives more efficiently and robustly than either the human or autonomous agents would independently. This paper proposes the Privileged Sensing Framework (PSF) as a novel approach to HAI. This approach is based on the concept of dynamically ‘privileging’ information during the process of integration by dynamically bestowing special rights based on the characteristics of each individual agent, the task context, and the performance goals. The proposed framework is tested through a series of simulation experiments that provide a clear demonstration of increased accuracy and throughput of human-autonomy performance. These proof-of-concept simulations provide initial evidence of the utility of the PSF. Continued development of this approach has the potential to revolutionise capabilities of multi-agent cooperative teams across a broad range of applications. 相似文献