全文获取类型
收费全文 | 903篇 |
免费 | 38篇 |
专业分类
电工技术 | 12篇 |
化学工业 | 203篇 |
金属工艺 | 14篇 |
机械仪表 | 23篇 |
建筑科学 | 59篇 |
能源动力 | 32篇 |
轻工业 | 141篇 |
水利工程 | 13篇 |
石油天然气 | 3篇 |
无线电 | 73篇 |
一般工业技术 | 106篇 |
冶金工业 | 80篇 |
原子能技术 | 3篇 |
自动化技术 | 179篇 |
出版年
2023年 | 5篇 |
2022年 | 10篇 |
2021年 | 24篇 |
2020年 | 8篇 |
2019年 | 14篇 |
2018年 | 14篇 |
2017年 | 20篇 |
2016年 | 21篇 |
2015年 | 23篇 |
2014年 | 22篇 |
2013年 | 54篇 |
2012年 | 56篇 |
2011年 | 81篇 |
2010年 | 71篇 |
2009年 | 63篇 |
2008年 | 65篇 |
2007年 | 58篇 |
2006年 | 36篇 |
2005年 | 41篇 |
2004年 | 29篇 |
2003年 | 26篇 |
2002年 | 28篇 |
2001年 | 13篇 |
2000年 | 5篇 |
1999年 | 15篇 |
1998年 | 23篇 |
1997年 | 15篇 |
1996年 | 13篇 |
1995年 | 9篇 |
1994年 | 5篇 |
1993年 | 10篇 |
1992年 | 7篇 |
1991年 | 5篇 |
1990年 | 4篇 |
1989年 | 4篇 |
1988年 | 3篇 |
1987年 | 9篇 |
1986年 | 3篇 |
1985年 | 4篇 |
1984年 | 5篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 5篇 |
1976年 | 3篇 |
1975年 | 1篇 |
1974年 | 2篇 |
1963年 | 1篇 |
排序方式: 共有941条查询结果,搜索用时 15 毫秒
1.
Many media processing applications create a load that varies significantly over time. Hence, if such an application is assigned a lower processing-time budget than needed in its worst-case load situation, deadline misses are likely to occur. This problem can be dealt with by designing media processing applications in a scalable fashion. A scalable media processing application can run in multiple qualities, leading to correspondingly different resource demands. The problem we consider is to find an accompanying quality control strategy, which minimizes both the number of deadline misses and the number of quality changes, while maximizing the quality of processing. We present an initial approach to the above problem by modeling it as a Markov decision process (MDP). Our model is based on measuring relative progress at milestones. Solving the MDP results in a quality control strategy that can be applied during runtime with only little overhead. We evaluate our approach by means of a practical example, which concerns a scalable MPEG-2 decoder. 相似文献
2.
Wouter Bergmann Tiest Marcel Bruijn Henk Hoevers Piet de Korte Jan van der Kuur Wim Mels 《Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment》2004,520(1-3):329-332
We have performed numerical calculations of the noise in voltage-biased superconducting transition edge-based X-ray microcalorimeters, using a finite-element model. Details of the model are discussed, as well as results for different absorber geometries. The results are in agreement with an analytical model and show that the amount of internal thermal fluctuation noise can be reduced by using a segmented absorber. The simulation also agrees well with experimental data, which, for our detectors, contain no major unidentified noise sources. Furthermore, the discrepancy between the (small-signal) theoretical and the measured energy resolutions for 5.9 keV X-rays, for our sensors typically a factor of 2, is explained by a more accurate modelling of the sensor responsivity, taking into account the large signal behaviour. 相似文献
3.
Here, we report on the application of corroles as analytically active compounds in liquid membrane electrodes (ISE) that are sensitive towards salicylic acid and salicylate.The potentiometric signals generated by corrole-incorporated ISEs strongly depend on the pH of the aqueous sample solution and the membrane composition, such as the presence of lipophilic sites. Corrole incorporating ISEs are characterised by a low detection limit (4.0 × 10−5 M) and a wide linear range (4.0 × 10−5 to 5.3 × 10−3 M). Also, they are free from interference versus other organic anions.The mechanism of the generation of the potentiometric signals of corrole incorporating ISEs in the presence of salicylate anion, as well salicylic acid, will be discussed. 相似文献
4.
Marcela Brugnach Andrew Tagg Florian Keil Wim J. de Lange 《Water Resources Management》2007,21(7):1075-1090
The use of computer models offers a general and flexible framework that can help to deal with some of the complexities and
difficulties associated with the development of water management plans as prescribed by the Water Framework Directive. However,
despite the advantages modelling presents, the integration of information derived from models into policy is far away from
being trivial or the norm. Part of the difficulties of this integration is rooted in the lack of confidence policy makers
have on the incorporation of modelling information into policy formulation. In this paper we examine the reasons for this
apparent lack of confidence and explore how some tools, presently in use, address this problem. We conclude that public confidence
in models is highly dependent on the way uncertainties are addressed and suggest possible directions of action to improve
the current situation. Four real case studies illustrate how computer models have been used in The Netherlands for carrying
out management plans at regional and national scale. We suggest that the solution to integrate modelling information into
policy formulation lies on both the modelling and the policy-making communities. 相似文献
5.
Wim H. Hesselink 《Acta Informatica》2007,44(2):123-151
Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a
natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives
are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness
of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated
as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables
are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation
needs fewer steps than the abstract specification. 相似文献
6.
7.
8.
Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument. 相似文献
9.
A sensitive HPLC method for the determination of furazolidone residues in eggs (10-1,000 micrograms/kg) is described. Recovery is about 86%. With the aid of a UV/Vis Diode-Array detector confirmation up to the 15-ppb level was possible. In order to test this method with "real" samples, three laying hens received 30 mg each of furazolidone in feed (single dose). The eggs were collected for five days. After five days traces of furazolidone (5 micrograms/kg) could still be detected. 相似文献
10.
Martijn J. C. van der Lienden Jan Aten Andr R. A. Marques Ingeborg S. E. Waas Per W. B. Larsen Nike Claessen Nicole N. van der Wel Roelof Ottenhoff Marco van Eijk Johannes M. F. G. Aerts 《International journal of molecular sciences》2021,22(5)
The lysosomal storage disease Niemann–Pick type C (NPC) is caused by impaired cholesterol efflux from lysosomes, which is accompanied by secondary lysosomal accumulation of sphingomyelin and glucosylceramide (GlcCer). Similar to Gaucher disease (GD), patients deficient in glucocerebrosidase (GCase) degrading GlcCer, NPC patients show an elevated glucosylsphingosine and glucosylated cholesterol. In livers of mice lacking the lysosomal cholesterol efflux transporter NPC1, we investigated the expression of established biomarkers of lipid-laden macrophages of GD patients, their GCase status, and content on the cytosol facing glucosylceramidase GBA2 and lysosomal integral membrane protein type B (LIMP2), a transporter of newly formed GCase to lysosomes. Livers of 80-week-old Npc1−/− mice showed a partially reduced GCase protein and enzymatic activity. In contrast, GBA2 levels tended to be reciprocally increased with the GCase deficiency. In Npc1−/− liver, increased expression of lysosomal enzymes (cathepsin D, acid ceramidase) was observed as well as increased markers of lipid-stressed macrophages (GPNMB and galectin-3). Immunohistochemistry showed that the latter markers are expressed by lipid laden Kupffer cells. Earlier reported increase of LIMP2 in Npc1−/− liver was confirmed. Unexpectedly, immunohistochemistry showed that LIMP2 is particularly overexpressed in the hepatocytes of the Npc1−/− liver. LIMP2 in these hepatocytes seems not to only localize to (endo)lysosomes. The recent recognition that LIMP2 harbors a cholesterol channel prompts the speculation that LIMP2 in Npc1−/− hepatocytes might mediate export of cholesterol into the bile and thus protects the hepatocytes. 相似文献