全文获取类型
收费全文 | 2261篇 |
免费 | 74篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 20篇 |
综合类 | 2篇 |
化学工业 | 351篇 |
金属工艺 | 34篇 |
机械仪表 | 40篇 |
建筑科学 | 181篇 |
矿业工程 | 4篇 |
能源动力 | 47篇 |
轻工业 | 192篇 |
水利工程 | 38篇 |
石油天然气 | 8篇 |
武器工业 | 1篇 |
无线电 | 139篇 |
一般工业技术 | 411篇 |
冶金工业 | 480篇 |
原子能技术 | 28篇 |
自动化技术 | 360篇 |
出版年
2022年 | 13篇 |
2021年 | 39篇 |
2020年 | 28篇 |
2019年 | 37篇 |
2018年 | 33篇 |
2017年 | 43篇 |
2016年 | 53篇 |
2015年 | 46篇 |
2014年 | 65篇 |
2013年 | 156篇 |
2012年 | 118篇 |
2011年 | 131篇 |
2010年 | 109篇 |
2009年 | 103篇 |
2008年 | 138篇 |
2007年 | 109篇 |
2006年 | 88篇 |
2005年 | 84篇 |
2004年 | 59篇 |
2003年 | 63篇 |
2002年 | 61篇 |
2001年 | 34篇 |
2000年 | 37篇 |
1999年 | 37篇 |
1998年 | 57篇 |
1997年 | 43篇 |
1996年 | 34篇 |
1995年 | 36篇 |
1994年 | 38篇 |
1993年 | 25篇 |
1992年 | 19篇 |
1991年 | 16篇 |
1990年 | 23篇 |
1989年 | 26篇 |
1988年 | 28篇 |
1987年 | 16篇 |
1986年 | 18篇 |
1985年 | 20篇 |
1984年 | 33篇 |
1983年 | 19篇 |
1982年 | 23篇 |
1981年 | 16篇 |
1980年 | 17篇 |
1979年 | 11篇 |
1978年 | 18篇 |
1977年 | 13篇 |
1976年 | 21篇 |
1975年 | 15篇 |
1974年 | 19篇 |
1973年 | 9篇 |
排序方式: 共有2336条查询结果,搜索用时 31 毫秒
41.
Mohammad H. S. Amin Neil G. Dickson Peter Smith 《Quantum Information Processing》2013,12(4):1819-1829
Most realistic solid state devices considered as qubits are not true two-state systems. If the energy separation of the upper energy levels from the lowest two levels is not large, then these upper states may affect the evolution of the ground state over time and therefore cannot be neglected. In this work, we study the effect of energy levels beyond the lowest two energy levels on adiabatic quantum optimization in a device with a double-well potential as the basic logical element. We show that the extra levels can be modeled by adding additional ancilla qubits coupled to the original logical qubits, and that the presence of upper levels has no effect on the final ground state. We also study the influence of upper energy levels on the minimum gap for a set of 8-qubit spin glass instances. 相似文献
42.
Sven Lautenbach Neil Graf Ralf Seppelt Michael Matthies 《Environmental Modelling & Software》2009,24(1):26-43
We developed a decision support system (DSS) for sustainable river basin management in the German Elbe catchment (~100,000 km2), called Elbe-DSS. The system integrates georeferenced simulation models and related data sets with a user friendly interface and includes a library function. Design and content of the DSS have been developed in close cooperation with end users and stakeholders. The user can evaluate effectiveness of management actions like reforestation, improvement of treatment plant technology or the application of buffer strips under the influence of external constraints on climate, demographic and agro-economic changes to meet water management objectives such as water quality standards and discharge control. The paper (i) describes the conceptual design of the Elbe-DSS, (ii) demonstrates the applicability of the integrated catchment model by running three different management options for phosphate discharge reduction (reforestation, erosion control and ecological-farming) under the assumption of regional climate change based on IPCC scenarios, (iii) evaluates the effectiveness of the management options, and (iv) provides some lessons for the DSS-development in similar settings. The georeferenced approach allows the identification of local inputs in sub-catchments and their impact on the overall water quality, which helps the user to prioritize his management actions in terms of spatial distribution and effectiveness. 相似文献
43.
Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive
data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar
foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion
over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant
foundation for programming with nested types in Haskell. 相似文献
44.
Jenkins RE Meng X Elliott VL Kitteringham NR Pirmohamed M Park BK 《Proteomics. Clinical applications》2009,3(6):720-729
Flucloxacillin is a synthetic penicillin used in the treatment of Staphylococcal infections. Adverse reactions to the drug are believed to arise through covalent modification of proteins, with tissue damage occurring secondary to an immune reaction. Serum proteins have been shown by adduct-specific antibodies to be modified by flucloxacillin, but the nature and sites of modification have not been characterised. Here, in vitro studies on HSA have shown by MS that the modification of protein lysine residues occurs in a dose-, time- and site-dependent manner. Affinity, cation exchange and reversed phase chromatography prior to MS revealed in vivo modification of HSA with flucloxacillin in tolerant patients, with up to nine modified lysine residues being detected in each patient, and with modification of Lys190 and Lys212 being detected in 8/8 patients. It was also revealed for the first time that plasma proteins could be modified with the 5-hydroxymethyl metabolite of flucloxacillin, and that essentially the same Lys residues were targeted by both the parent drug and its metabolite. This study provides a detailed characterisation of sites of chemical modification of an endogenous target and reveals candidate peptides for T-cell and antibody assays of flucloxacillin hypersensitivity. 相似文献
45.
H. Tatsuno W. B. Doriese D. A. Bennett C. Curceanu J. W. Fowler J. Gard F. P. Gustafsson T. Hashimoto R. S. Hayano J. P. Hays-Wehle G. C. Hilton M. Iliescu S. Ishimoto K. Itahashi M. Iwasaki K. Kuwabara Y. Ma J. Marton H. Noda G. C. O’Neil S. Okada H. Outa C. D. Reintsema M. Sato D. R. Schmidt H. Shi K. Suzuki T. Suzuki J. Uhlig J. N. Ullom E. Widmann S. Yamada J. Zmeskal D. S. Swetz 《Journal of Low Temperature Physics》2016,184(3-4):930-937
46.
Highly Efficient Perovskite Nanocrystal Light‐Emitting Diodes Enabled by a Universal Crosslinking Method 下载免费PDF全文
47.
Partitioning large networks without breaking communities 总被引:1,自引:1,他引:0
Anand Narasimhamurthy Derek Greene Neil Hurley Pádraig Cunningham 《Knowledge and Information Systems》2010,25(2):345-369
The identification of cohesive communities is a key process in social network analysis. However, the algorithms that are effective
for finding communities do not scale well to very large problems, as their time complexity is worse than linear in the number
of edges in the graph. This is an important issue for those interested in applying social network analysis techniques to very
large networks, such as networks of mobile phone subscribers. In this respect, the contributions of this paper are twofold.
First, we demonstrate these scaling issues using a prominent community-finding algorithm as a case study. Then, we show that
a two-stage process, whereby the network is first decomposed into manageable subnetworks using a multilevel graph partitioning
procedure, is effective in finding communities in networks with more than 106 nodes. 相似文献
48.
Efficient monitoring of parametric context-free patterns 总被引:1,自引:0,他引:1
Patrick O’Neil Meredith Dongyun Jin Feng Chen Grigore Roşu 《Automated Software Engineering》2010,17(2):149-180
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications
can be efficiently monitored against large programs. However, these logics reduce to ordinary finite automata, limiting their
expressivity. For example, neither can specify structured properties that refer to the call stack of the program. While context-free
grammars (CFGs) are expressive and well-understood, existing techniques for monitoring CFGs generate large runtime overhead
in real-life applications. This paper demonstrates that monitoring parametric CFGs is practical (with overhead on the order of 12% or lower in most cases). We present a monitor synthesis algorithm for CFGs based on an
LR(1) parsing algorithm, modified to account for good prefix matching. In addition, a logic-independent mechanism is introduced
to support matching against the suffixes of execution traces. 相似文献
49.
Neil D. Christensen 《Computer Physics Communications》2009,180(9):1614-1641
In this paper we present FeynRules, a new Mathematica package that facilitates the implementation of new particle physics models. After the user implements the basic model information (e.g., particle content, parameters and Lagrangian), FeynRules derives the Feynman rules and stores them in a generic form suitable for translation to any Feynman diagram calculation program. The model can then be translated to the format specific to a particular Feynman diagram calculator via FeynRules translation interfaces. Such interfaces have been written for CalcHEP/CompHEP, FeynArts/FormCalc, MadGraph/MadEvent and Sherpa, making it possible to write a new model once and have it work in all of these programs. In this paper, we describe how to implement a new model, generate the Feynman rules, use a generic translation interface, and write a new translation interface. We also discuss the details of the FeynRules code.
Program summary
Program title: FeynRulesCatalogue identifier: AEDI_v1_0Program summary URL::http://cpc.cs.qub.ac.uk/summaries/AEDI_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 15 980No. of bytes in distributed program, including test data, etc.: 137 383Distribution format: tar.gzProgramming language: MathematicaComputer: Platforms on which Mathematica is availableOperating system: Operating systems on which Mathematica is availableClassification: 11.1, 11.2, 11.6Nature of problem: Automatic derivation of Feynman rules from a Lagrangian. Implementation of new models into Monte Carlo event generators and FeynArts.Solution method: FeynRules works in two steps:1. derivation of the Feynman rules directly form the Lagrangian using canonical commutation relations among fields and creation operators. 2. implementation of the new physics model into FeynArts as well as various Monte Carlo programs via interfaces. - Full-size table
50.
Mehdi Dastani Leendert van der Torre Neil Yorke-Smith 《Autonomous Agents and Multi-Agent Systems》2017,31(2):207-249
In an organisational setting such as an online marketplace, an entity called the ‘organisation’ or ‘institution’ defines interaction protocols, monitors agent interaction, and intervenes to enforce the interaction protocols. The organisation might be a software system that thus regulates the marketplace, for example. In this article we abstract over application-specific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, such that we can operationalise the enforcement of protocols by means of norm enforcement, and we can analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, semantics, and analysis are illustrated by a running example from a vehicle insurance domain. 相似文献