首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   429篇
  免费   6篇
电工技术   4篇
化学工业   75篇
金属工艺   10篇
机械仪表   3篇
建筑科学   24篇
矿业工程   2篇
能源动力   9篇
轻工业   31篇
水利工程   1篇
石油天然气   10篇
无线电   31篇
一般工业技术   55篇
冶金工业   100篇
原子能技术   10篇
自动化技术   70篇
  2023年   4篇
  2022年   7篇
  2021年   3篇
  2020年   2篇
  2019年   8篇
  2018年   4篇
  2017年   4篇
  2016年   5篇
  2015年   4篇
  2014年   8篇
  2013年   29篇
  2012年   8篇
  2011年   19篇
  2010年   20篇
  2009年   18篇
  2008年   20篇
  2007年   21篇
  2006年   24篇
  2005年   22篇
  2004年   23篇
  2003年   16篇
  2002年   11篇
  2001年   11篇
  2000年   5篇
  1999年   7篇
  1998年   11篇
  1997年   7篇
  1996年   7篇
  1995年   4篇
  1994年   12篇
  1993年   6篇
  1992年   6篇
  1991年   10篇
  1990年   12篇
  1989年   2篇
  1988年   2篇
  1987年   2篇
  1986年   4篇
  1985年   6篇
  1984年   3篇
  1983年   5篇
  1982年   3篇
  1981年   4篇
  1980年   3篇
  1979年   6篇
  1978年   2篇
  1977年   2篇
  1976年   5篇
  1971年   2篇
  1970年   2篇
排序方式: 共有435条查询结果,搜索用时 15 毫秒
1.
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)  相似文献   
2.
Non-deterministic exponential time has two-prover interactive protocols   总被引:2,自引:1,他引:1  
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:  相似文献   
3.
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.  相似文献   
4.
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.  相似文献   
5.
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.  相似文献   

6.
7.

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.

  相似文献   
8.
ABSTRACT

A 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.  相似文献   
9.
Gaming Prediction Markets: Equilibrium Strategies with a Market Maker   总被引:1,自引:0,他引:1  
We study the equilibrium behavior of informed traders interacting with market scoring rule (MSR) market makers. One attractive feature of MSR is that it is myopically incentive compatible: it is optimal for traders to report their true beliefs about the likelihood of an event outcome provided that they ignore the impact of their reports on the profit they might garner from future trades. In this paper, we analyze non-myopic strategies and examine what information structures lead to truthful betting by traders. Specifically, we analyze the behavior of risk-neutral traders with incomplete information playing in a dynamic game. We consider finite-stage and infinite-stage game models. For each model, we study the logarithmic market scoring rule (LMSR) with two different information structures: conditionally independent signals and (unconditionally) independent signals. In the finite-stage model, when signals of traders are independent conditional on the state of the world, truthful betting is a Perfect Bayesian Equilibrium (PBE). Moreover, it is the unique Weak Perfect Bayesian Equilibrium (WPBE) of the game. In contrast, when signals of traders are unconditionally independent, truthful betting is not a WPBE. In the infinite-stage model with unconditionally independent signals, there does not exist an equilibrium in which all information is revealed in a finite amount of time. We propose a simple discounted market scoring rule that reduces the opportunity for bluffing strategies. We show that in any WPBE for the infinite-stage market with discounting, the market price converges to the fully-revealing price, and the rate of convergence can be bounded in terms of the discounting parameter. When signals are conditionally independent, truthful betting is the unique WPBE for the infinite-stage market with and without discounting.  相似文献   
10.
We apply results on extracting randomness from independent sources to “extract” Kolmogorov complexity. For any α,?>0, given a string x with K(x)>α|x|, we show how to use a constant number of advice bits to efficiently compute another string y, |y|=Ω(|x|), with K(y)>(1-?)|y|. This result holds for both unbounded and space-bounded Kolmogorov complexity.We use the extraction procedure for space-bounded complexity to establish zero-one laws for the strong dimensions of complexity classes within ESPACE. The unbounded extraction procedure yields a zero-one law for the constructive strong dimensions of Turing degrees.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号