全文获取类型
收费全文 | 252篇 |
免费 | 4篇 |
专业分类
电工技术 | 1篇 |
化学工业 | 27篇 |
金属工艺 | 2篇 |
建筑科学 | 38篇 |
能源动力 | 4篇 |
轻工业 | 23篇 |
水利工程 | 3篇 |
无线电 | 5篇 |
一般工业技术 | 22篇 |
冶金工业 | 120篇 |
自动化技术 | 11篇 |
出版年
2022年 | 3篇 |
2021年 | 3篇 |
2018年 | 3篇 |
2016年 | 2篇 |
2015年 | 4篇 |
2014年 | 4篇 |
2013年 | 13篇 |
2012年 | 9篇 |
2011年 | 10篇 |
2010年 | 5篇 |
2009年 | 8篇 |
2008年 | 13篇 |
2007年 | 9篇 |
2006年 | 7篇 |
2004年 | 6篇 |
2003年 | 3篇 |
2002年 | 6篇 |
2001年 | 7篇 |
1999年 | 10篇 |
1998年 | 38篇 |
1997年 | 17篇 |
1996年 | 22篇 |
1995年 | 8篇 |
1994年 | 8篇 |
1993年 | 7篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1989年 | 1篇 |
1986年 | 2篇 |
1984年 | 2篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1977年 | 7篇 |
1976年 | 6篇 |
1971年 | 1篇 |
1954年 | 1篇 |
排序方式: 共有256条查询结果,搜索用时 15 毫秒
71.
72.
Mario Schirmer 《Grundwasser》1999,83(6):95-102
Das überwachte Selbstreinigungsverm?gen (monitored natural attenuation) des Untergrundes wird seit einigen Jahren als m?gliche und kostengünstige L?sung bei Schadensf?llen mit Benzin angesehen. Methylterti?rbutylether (MTBE) wird in Nordamerika seit den 70er Jahren dem Benzin zugesetzt, um die Oktanzahl zu erh?hen und die Luftverschmutzung zu senken. MTBE ist wasserl?slich (ca. 50 g/l), wird mit Grundwasserflie?geschwindigkeit transportiert, ist schwer biologisch abbaubar und hat einen unangenehmen Geruch und Geschmack, sogar bei Konzentrationen von weniger als 100 μg/l. Die toxische Wirkung von MTBE ist nur unzureichend untersucht, und es existieren nur wenige Daten über die potentielle Gefahr, die dieser Stoff für die Grundwasserressourcen darstellt. In Europa existieren fast keine Daten zu MTBE-Konzentrationen in der Umwelt. Der weitverbreitete Einsatz von MTBE, seine physikalisch-chemischen Eigenschaften und die unzureichende biologische Abbaubarkeit machen diesen Stoff zu einem problematischen Grundwasserkontaminanten. Aus diesen Gründen wird es schwierig sein, das Selbstreinigungsverm?gen des Untergrundes als Sanierungsstrategie einzusetzen, wenn MTBE als Schadstoff auftritt. 相似文献
73.
Some practical arrangements in assembly lines necessitate set-up times between consecutive tasks. To create more realistic models of operations, set-up times must be considered. In this study, a sequence-dependent set-up times approach for two-sided u-type assembly line (TUAL) structures is proposed for the first time. Previous studies on TUAL have not included set-up times in their analyses. Furthermore, an algorithm based on the Ant Colony Optimization (ACO) algorithm, which is using a heuristic priority rule based procedure has been proposed in order to solve this new approach. In this paper, we look at the sequence-dependent set-up times between consecutive tasks and consecutive cycles, called the “forward set-up time” and the “backward set-up time”, respectively. Additionally, we examine the “crossover set-up time”, which arises from a new sequence of tasks in a crossover station. In order to model more realistic assembly line configurations, it is necessary to include sequence-dependent set-up times when computing all of the operational times such as task starting times and finishing times as well as the total workstation time. In this study, the proposed approach aims to minimize the number of mated-stations as the primary objective and to minimize the number of total workstations as a secondary objective. In order to evaluate the efficiency of the proposed algorithm, a computational study is performed. As can be seen from the experimental results the proposed approach finds promising results for all literature-test problems. 相似文献
74.
Thallium-201 (201Tl) late reinjection after stress-redistribution imaging improves the detection of viable myocardium. Recently, early reinjection of 201Tl immediately after stress imaging was proposed as a new method for distinguishing ischemic myocardium, hibernating myocardium, and myocardial scar. However, there are no data on the influence of the timing of reinjection on "fill-in." This study was designed to assess whether the reinjection time influences "fill-in" in chronic coronary artery disease. Thirty-three patients with chronic coronary artery disease were studied. All patients underwent exercise 201Tl tomography. Immediately after stress imaging, 37 MBq of thallium was reinjected earlier than usual and early reinjection delayed image (ERDI) was acquired 3 h later. With the same protocol, all patients also underwent a second study involving late reinjection of 201Tl within 1 week. An additional 37 MBq of thallium was reinjected 3 h after stress imaging, and late reinjection delayed image (LRDI) was obtained 10 min later. All images were analyzed qualitatively using a 4-point grading uptake score. Of the 72 hypoperfused segments on stress images, 66 segments showed fill-in and 6 showed persistent defects on ERDI, and of the same 72 segments 55 segments displayed fill-in and the remaining 17 showed persistent defects on LRDI (p<0.05). The delta uptake score (the uptake score of the delayed image minus that of stress image) in early reinjection was 1.60+/-0.80, which was significantly higher than that in late reinjection (1.24+/-0.94, p<0.01). A small dose of thallium reinjected immediately after stress imaging with delayed images obtained 3 h later is convenient and might provide another technique for determining myocardial viability. 相似文献
75.
Eyad Alkassar Mark A. Hillebrand Dirk C. Leinenbach Norbert W. Schirmer Artem Starostin Alexandra Tsyban 《Journal of Automated Reasoning》2009,42(2-4):389-454
We have developed a stack of semantics for a high-level C-like language and low-level assembly code, which has been carefully crafted to support the pervasive verification of system software. It can handle mixed-language implementations and concurrently operating devices, and permits the transferral of properties to the target architecture while obeying its resource restrictions. We demonstrate the applicability of our framework by proving the correct virtualization of user memory in our microkernel, which implements demand paging. This verification target is of particular interest because it has a relatively simple top-level specification and it exercises all parts of our semantics stack. At the bottom level a disk driver written in assembly implements page transfers via a swap disk. A page-fault handler written in C uses the driver to implement the paging algorithm. It guarantees that a step of the currently executing user can be simulated at the architecture level. Besides the mere theoretical and technical difficulties the project also bore the social challenge to manage the large verification effort, spread over many sites and people, concurrently contributing to and maintaining a common theory corpus. We share our experiences and elaborate on lessons learned. 相似文献
76.
Ninja Marnau Norbert Schirmer Eva Schlehahn Matthias Schunter 《Datenschutz und Datensicherheit - DuD》2011,35(5):333-337
Das von der Europ?ischen Kommission gef:orderte Projekt „TClouds“ hat die Entwicklung einer sicheren und datenschutzkonformen
Cloud-Infrastruktur zum Ziel. Dieser Beitrag beschreibt die Herausforderungen und die ersten L?sungsideen. 相似文献
77.
Ninja Marnau Norbert Schirmer Eva Schlehahn Matthias Schunter 《Datenschutz und Datensicherheit - DuD》2011,35(2):145-152
Schwerpunkt
Report 相似文献78.
79.
80.