全文获取类型
收费全文 | 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.
J. Barnat L. Brim P. Ročkai 《International Journal on Software Tools for Technology Transfer (STTT)》2010,12(2):139-153
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.
Patrick O’Neil Meredith Dongyun Jin Dennis Griffith Feng Chen Grigore Ro?u 《International Journal on Software Tools for Technology Transfer (STTT)》2012,14(3):249-289
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.
Kang S. Cho W. Y. Cho B.-H. Lee K.-J. Lee C.-S. Oh H.-R. Choi B.-G. Wang Q. Kim H.-J. Park M.-H. Ro Y. H. Kim S. Ha C.-D. Kim K.-S. Kim Y.-R. Kim D.-E. Kwak C.-K. Byun H.-G. Jeong G. Jeong H. Kim K. Shin Y. 《Solid-State Circuits, IEEE Journal of》2007,42(1):210-218
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.
Design and implementation of a fault-tolerant magnetic bearing system for turbo-molecular vacuum pump 总被引:2,自引:0,他引:2
Noh M.D. Seong-Rak Cho Jin-Ho Kyung Seung-Kook Ro Jong-Kweon Park 《Mechatronics, IEEE/ASME Transactions on》2005,10(6):626-631
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.
Srdan Petrović Tatjana Novaković Ljiljana Rožić 《Journal of chemical technology and biotechnology (Oxford, Oxfordshire : 1986)》2009,84(2):176-179
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.