首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   486篇
  免费   27篇
  国内免费   1篇
电工技术   3篇
综合类   1篇
化学工业   54篇
金属工艺   11篇
机械仪表   38篇
建筑科学   4篇
能源动力   20篇
轻工业   68篇
水利工程   1篇
石油天然气   1篇
武器工业   1篇
无线电   58篇
一般工业技术   91篇
冶金工业   69篇
原子能技术   7篇
自动化技术   87篇
  2023年   4篇
  2022年   9篇
  2021年   10篇
  2020年   3篇
  2019年   8篇
  2018年   14篇
  2017年   15篇
  2016年   16篇
  2015年   10篇
  2014年   18篇
  2013年   13篇
  2012年   26篇
  2011年   29篇
  2010年   18篇
  2009年   25篇
  2008年   19篇
  2007年   22篇
  2006年   12篇
  2005年   15篇
  2004年   14篇
  2003年   16篇
  2002年   13篇
  2001年   16篇
  2000年   15篇
  1999年   8篇
  1998年   24篇
  1997年   20篇
  1996年   9篇
  1995年   13篇
  1994年   6篇
  1993年   2篇
  1992年   2篇
  1985年   2篇
  1984年   2篇
  1983年   2篇
  1980年   2篇
  1978年   4篇
  1977年   2篇
  1976年   2篇
  1974年   2篇
  1956年   2篇
  1954年   5篇
  1944年   7篇
  1943年   9篇
  1940年   3篇
  1939年   4篇
  1938年   2篇
  1937年   4篇
  1935年   1篇
  1934年   1篇
排序方式: 共有514条查询结果,搜索用时 15 毫秒
131.
132.
Recent development in computer hardware has brought more widespread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various tasks—model checking and reachability analysis among others. In this paper, we present a design for a parallel shared memory LTL model checker that is based on a distributed memory algorithm. To improve the scalability of our tool, we have devised a number of implementation techniques which we present in this paper. We also report on a number of experiments we conducted to analyse the behaviour of our tool under different conditions using various models. We demonstrate that our tool exhibits significant speedup in comparison with sequential tools, which improves the workflow of verification in general.  相似文献   
133.
This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics with evaluation contexts, continuation-based semantics, and the chemical abstract machine. Each of these language definitional styles can be faithfully captured as an RLS theory, in the sense that there is a one-to-one correspondence between computational steps in the original language definition and computational steps in the corresponding RLS theory. A major goal of this paper is to show that RLS does not force or pre-impose any given language definitional style, and that its flexibility and ease of use makes RLS an appealing framework for exploring new definitional styles.  相似文献   
134.
This article gives an overview of the, monitoring oriented programming framework (MOP). In MOP, runtime monitoring is supported and encouraged as a fundamental principle for building reliable systems. Monitors are automatically synthesized from specified properties and are used in conjunction with the original system to check its dynamic behaviors. When a specification is violated or validated at runtime, user-defined actions will be triggered, which can be any code, such as information logging or runtime recovery. Two instances of MOP are presented: JavaMOP (for Java programs) and BusMOP (for monitoring PCI bus traffic). The architecture of MOP is discussed, and an explanation of parametric trace monitoring and its implementation is given. A comprehensive evaluation of JavaMOP attests to its efficiency, especially in comparison with similar systems. The implementation of BusMOP is discussed in detail. In general, BusMOP imposes no runtime overhead on the system it is monitoring.  相似文献   
135.
A 256-Mb phase-change random access memory has been developed, featuring 66-MHz synchronous burst-read operation. Using a charge pump system, write performance was characterized at a low supply voltage of 1.8 V. Measured initial read access time and burst-read access time are 62 and 10 ns, respectively. The write throughput was 0.5 MB/s with internal times2 write and can be increased to ~2.67 MB/s with times16 write. Endurance and retention characteristics are measured to be 107 cycles and ten years at 99 degC  相似文献   
136.
137.
One of the obstacles for a magnetic bearing for use in a wide range of industrial applications is the failure modes associated with magnetic bearings, which are not expected for conventional passive bearings. These failure modes include electric power outage, power amplifier faults, position sensor faults, and the malfunction of controllers. Fault tolerant magnetic bearing systems have been proposed so that the system can operate in spite of some faults in the system. In this paper, we describe the design and implementation of a fault tolerant magnetic bearing system for a turbo-molecular vacuum pump. The system can cope with actuator/amplifier faults, as well as faults in position sensors, which are the two major fault modes in a magnetic bearing system.  相似文献   
138.
139.
BACKGROUND: Serbian smectite clay has been activated using a response surface method with central composite design. Because, among the criteria of an edible oil, colour is the most important factor in the commercial value of the oil, and since the colour is due to the presence of pigments such as β‐carotene in the crude oil, acid‐activated clay was used for decolourisation of soybean oil. RESULTS: The effects of five parameters, namely, temperature, time, acid strength, solid/liquid ratio and stirring speed, on the process of acid activation of the clay and its bleaching capacity were determined using a statistical model. The results indicated that all parameters were significant factors in the bleaching capacity of acid‐activated clay, and a quadratic polynomial equation for bleaching capacity was obtained by multiple regression analysis. The optimal bleaching capacity was estimated to be 96.61% for an experimental run under the following conditions: activation temperature 80 °C, HCl concentration 4.78 mol L?1, stirring speed 450 rpm, solid/liquid ratio 1:4.5 and activation time 2.81 h. CONCLUSIONS: The central composite design, regression analysis and response surface method were effective in identifying the optimal conditions for bleaching capacity of acid‐activated smectite. Copyright © 2008 Society of Chemical Industry  相似文献   
140.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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