全文获取类型
收费全文 | 791篇 |
免费 | 40篇 |
国内免费 | 2篇 |
专业分类
电工技术 | 18篇 |
化学工业 | 191篇 |
金属工艺 | 8篇 |
机械仪表 | 18篇 |
建筑科学 | 26篇 |
矿业工程 | 5篇 |
能源动力 | 30篇 |
轻工业 | 99篇 |
水利工程 | 5篇 |
石油天然气 | 1篇 |
无线电 | 67篇 |
一般工业技术 | 157篇 |
冶金工业 | 48篇 |
原子能技术 | 3篇 |
自动化技术 | 157篇 |
出版年
2024年 | 3篇 |
2023年 | 14篇 |
2022年 | 19篇 |
2021年 | 34篇 |
2020年 | 20篇 |
2019年 | 30篇 |
2018年 | 21篇 |
2017年 | 23篇 |
2016年 | 24篇 |
2015年 | 25篇 |
2014年 | 37篇 |
2013年 | 42篇 |
2012年 | 41篇 |
2011年 | 55篇 |
2010年 | 44篇 |
2009年 | 34篇 |
2008年 | 45篇 |
2007年 | 37篇 |
2006年 | 26篇 |
2005年 | 19篇 |
2004年 | 17篇 |
2003年 | 14篇 |
2002年 | 18篇 |
2001年 | 17篇 |
2000年 | 10篇 |
1999年 | 8篇 |
1998年 | 6篇 |
1997年 | 12篇 |
1996年 | 8篇 |
1995年 | 7篇 |
1994年 | 5篇 |
1993年 | 11篇 |
1992年 | 10篇 |
1991年 | 12篇 |
1990年 | 6篇 |
1989年 | 10篇 |
1988年 | 6篇 |
1987年 | 6篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1984年 | 3篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1981年 | 3篇 |
1978年 | 4篇 |
1977年 | 3篇 |
1976年 | 6篇 |
1974年 | 5篇 |
1972年 | 2篇 |
1964年 | 2篇 |
排序方式: 共有833条查询结果,搜索用时 15 毫秒
21.
Bounded Model Checking Using Satisfiability Solving 总被引:10,自引:1,他引:9
Edmund Clarke Armin Biere Richard Raimi Yunshan Zhu 《Formal Methods in System Design》2001,19(1):7-34
The phrase model checking refers to algorithms for exploring the state space of a transition system to determine if it obeys a specification of its intended behavior. These algorithms can perform exhaustive verification in a highly automatic manner, and, thus, have attracted much interest in industry. Model checking programs are now being commercially marketed. However, model checking has been held back by the state explosion problem, which is the problem that the number of states in a system grows exponentially in the number of system components. Much research has been devoted to ameliorating this problem.In this tutorial, we first give a brief overview of the history of model checking to date, and then focus on recent techniques that combine model checking with satisfiability solving. These techniques, known as bounded model checking, do a very fast exploration of the state space, and for some types of problems seem to offer large performance improvements over previous approaches. We review experiments with bounded model checking on both public domain and industrial designs, and propose a methodology for applying the technique in industry for invariance checking. We then summarize the pros and cons of this new technology and discuss future research efforts to extend its capabilities. 相似文献
22.
Sobhani AM Amini SR Tyndall JD Azizi E Daneshtalab M Khalaj A 《Journal of molecular graphics & modelling》2006,25(4):459-469
Azolylalkylquinolines (AAQs) are a family of quinolines with varying degrees of cytotoxic activity (comparable or moderately superior to adriamycin in some cases) developed in the past decade in our group where their exact mode of action is still unclear. In this study the most probable DNA binding mode of AAQs was investigated employing a novel flexible ligand docking approach by using AutoDock 3.0. Forty-nine AAQs with known experimental inhibitory activity were docked onto d(CGCAAATTTGCG)(2), d(CGATCG)(2) and d(CGCG)(2) oligonucleotides retrieved from the Protein Data Bank (PDB IDs: 102D, 1D12 and 1D32, respectively) as the representatives of the three plausible models of interactions between chemotherapeutic agents and DNA (groove binding, groove binding plus intercalation and bisintercalation, respectively). Good correlation (r(2)=0.64) between calculated binding energies and experimental inhibitory activities was obtained using groove binding plus intercalation model for phenyl-azolylalkylquinoline (PAAQ) series. Our findings show that the most probable mode of action of PAAQs as DNA binding agents is via intercalation of quinolinic moiety between CG base pairs with linker chain and azole moiety binding to the minor groove. 相似文献
23.
Illustrative context-preserving exploration of volume data 总被引:2,自引:0,他引:2
Bruckner S Grimm S Kanitsar A Gröller ME 《IEEE transactions on visualization and computer graphics》2006,12(6):1559-1569
In volume rendering, it is very difficult to simultaneously visualize interior and exterior structures while preserving clear shape cues. Highly transparent transfer functions produce cluttered images with many overlapping structures, while clipping techniques completely remove possibly important context information. In this paper, we present a new model for volume rendering, inspired by techniques from illustration. It provides a means of interactively inspecting the interior of a volumetric data set in a feature-driven way which retains context information. The context-preserving volume rendering model uses a function of shading intensity, gradient magnitude, distance to the eye point, and previously accumulated opacity to selectively reduce the opacity in less important data regions. It is controlled by two user-specified parameters. This new method represents an alternative to conventional clipping techniques, sharing their easy and intuitive user control, but does not suffer from the drawback of missing context information 相似文献
24.
The weak form of the Efficient Market Hypothesis (EMH) states that current market price reflects fully the information from past prices and rules out prediction based on price data alone. No recent test of time series of stock returns rejects this weak-form hypothesis. This research offers another test of the weak form of the EHM that leads to different conclusions for some time series.The stochastic complexity of a time series is a measure of the number of bits needed to represent and reproduce the information in the time series. In an efficient market, compression of the time series is not possible, because there are no patterns and the stochastic complexity is high. In this research, Rissanen's context tree algorithm is used to identify recurring patterns in the data, and use them for compression. The weak form of the EMH is tested for 13 international stock indices and for all the stocks that comprise the Tel-Aviv 25 index (TA25), using sliding windows of 50, 75, and 100 consecutive daily returns. Statistically significant compression is detected in ten of the international stock index series. In the aggregate, 60% to 84% of the TA25 stocks tested demonstrate compressibility beyond randomness. This indicates potential market inefficiency. 相似文献
25.
A survey of recent advances in SAT-based formal verification 总被引:2,自引:0,他引:2
Mukul R. Prasad Armin Biere Aarti Gupta 《International Journal on Software Tools for Technology Transfer (STTT)》2005,7(2):156-173
Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows. 相似文献
26.
Norbert Eisenreich Armin KeßlerAndreas Koleczko Volker Weiser 《International Journal of Hydrogen Energy》2014
Metal hydrides are used for hydrogen storage. AlH3 shows a capacity to store about 10 wt% hydrogen. Its hydrogen is split-off in the temperature interval of 400–500 K. On dehydrogenation a nano-structured Al material emerges with specific surfaces up to 15–20 m2/g. The surface areas depend on the heating rate because of a temperature dependent crystallite growth. The resulting Al oxidizes up to 20–25% weight on air access forming an alumina passivation layer of 3–4 nm thickness on all exposed surfaces. The heat released from this Al oxidation induces a high risk to this type of hydrogen storage if the containment might be destroyed, accidentally. The kinetics of the dehydrogenation and the subsequent oxidation is investigated by methods of thermal analysis. A reaction scheme is confirmed which consists of a starting Avrami-Erofeev mechanism followed by formal 1st order oxidation on unlimited air access. The kinetic parameters, activation energies and pre-exponentials are evaluated and can be used to calculate the reaction progress. Together with the heat of the Al oxidation the overall heat release and the related rate can be estimated. 相似文献
27.
28.
29.
30.
Partial oxidation of methane in hollow‐fiber membrane reactors based on alkaline‐earth metal‐free CO2‐tolerant oxide 下载免费PDF全文
Yanying Wei Qing Liao Zhong Li Haihui Wang Armin Feldhoff Juergen Caro 《American Institute of Chemical Engineers》2014,60(10):3587-3595
The U‐shaped alkaline‐earth metal‐free CO2‐stable oxide hollow‐fiber membranes based on (Pr0.9La0.1)2(Ni0.74Cu0.21Ga0.05)O4+δ (PLNCG) are prepared by a phase‐inversion spinning process and applied successfully in the partial oxidation of methane (POM) to syngas. The effects of temperature, CH4 concentration and flow rate of the feed air on CH4 conversion, CO selectivity, H2/CO ratio, and oxygen permeation flux through the PLNCG hollow‐fiber membrane are investigated in detail. The oxygen permeation flux arrives at approximately 10.5 mL/min cm2 and the CO selectivity is higher than 99.5% with a CH4 conversion of 97.0% and a H2/CO ratio of 1.8 during 140 h steady operation. The spent hollow‐fiber membrane still maintains a dense microstructure and the Ruddlesden‐Popper K2NiF4‐type structure, which indicates that the U‐shaped alkaline‐earth metal‐free CO2‐tolerant PLNCG hollow‐fiber membrane reactor can be steadily operated for POM to syngas with good performance. © 2014 American Institute of Chemical Engineers AIChE J, 60: 3587–3595, 2014 相似文献