全文获取类型
收费全文 | 1420篇 |
免费 | 26篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 60篇 |
综合类 | 1篇 |
化学工业 | 378篇 |
金属工艺 | 85篇 |
机械仪表 | 34篇 |
建筑科学 | 56篇 |
矿业工程 | 2篇 |
能源动力 | 32篇 |
轻工业 | 185篇 |
水利工程 | 6篇 |
无线电 | 86篇 |
一般工业技术 | 194篇 |
冶金工业 | 232篇 |
原子能技术 | 5篇 |
自动化技术 | 93篇 |
出版年
2021年 | 10篇 |
2020年 | 13篇 |
2019年 | 11篇 |
2018年 | 15篇 |
2017年 | 19篇 |
2016年 | 35篇 |
2014年 | 27篇 |
2013年 | 50篇 |
2012年 | 40篇 |
2011年 | 67篇 |
2010年 | 39篇 |
2009年 | 47篇 |
2008年 | 43篇 |
2007年 | 45篇 |
2006年 | 39篇 |
2005年 | 43篇 |
2004年 | 48篇 |
2003年 | 25篇 |
2002年 | 33篇 |
2001年 | 22篇 |
2000年 | 34篇 |
1999年 | 26篇 |
1998年 | 53篇 |
1997年 | 42篇 |
1996年 | 30篇 |
1995年 | 28篇 |
1994年 | 27篇 |
1993年 | 29篇 |
1992年 | 23篇 |
1991年 | 19篇 |
1990年 | 16篇 |
1989年 | 20篇 |
1988年 | 16篇 |
1987年 | 11篇 |
1986年 | 14篇 |
1985年 | 25篇 |
1984年 | 16篇 |
1983年 | 25篇 |
1982年 | 23篇 |
1981年 | 22篇 |
1980年 | 21篇 |
1979年 | 17篇 |
1978年 | 9篇 |
1977年 | 20篇 |
1976年 | 25篇 |
1974年 | 14篇 |
1972年 | 9篇 |
1970年 | 8篇 |
1968年 | 11篇 |
1926年 | 7篇 |
排序方式: 共有1449条查询结果,搜索用时 15 毫秒
31.
Michael Leuschel J��r?me Falampin Fabian Fritz Daniel Plagge 《Formal Aspects of Computing》2011,23(6):683-709
In this paper we describe the successful application of the ProB tool for data validation in several industrial applications. The initial case study centred on the San Juan metro system
installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain
assumptions about the actual rail network topology which have to be validated separately in order to ensure safe operation.
For this task, Siemens has developed custom proof rules for Atelier B. Atelier B, however, was unable to deal with about 80
properties of the deployment (running out of memory). These properties thus had to be validated by hand at great expense,
and they need to be revalidated whenever the rail network infrastructure changes. In this paper we show how we were able to
use ProB to validate all of the about 300 properties of the San Juan deployment, detecting exactly the same faults automatically in
a few minutes that were manually uncovered in about one man-month. We have repeated this task for three ongoing projects at
Siemens, notably the ongoing automatisation of the line 1 of the Paris Métro. Here again, about a man month of effort has
been replaced by a few minutes of computation. This achievement required the extension of the ProB kernel for large sets as well as an improved constraint propagation algorithm. We also outline some of the effort and features
that were required in moving from a tool capable of dealing with medium-sized examples towards a tool able to deal with actual
industrial specifications. We also describe the issue of validating ProB, so that it can be integrated into the SIL4 development chain at Siemens. 相似文献
32.
Fritz Schwarz 《Computing》2000,65(2):155-167
The largest group of Lie symmetries that a third-order ordinary differential equation (ode) may allow has seven parameters.
Equations sharing this property belong to a single equivalence class with a canonical representative v
′′′(u)=0. Due to this simple canonical form, any equation belonging to this equivalence class may be identified in terms of certain
constraints for its coefficients. Furthermore a set of equations for the transformation functions to canonical form may be
set up for which large classes of solutions may be determined algorithmically. Based on these steps a solution algorithm is described for any equation with this symmetry type which resembles a similar
scheme for second order equations with projective symmetry group.
Received March 9, 2000; revised June 8, 2000 相似文献
33.
Acevedo D Jackson CD Drury F Laidlaw DH 《IEEE transactions on visualization and computer graphics》2008,14(4):877-884
We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously recorded experimental results; these findings support that using artists, visual designers and illustrators to critique scientific visualizations can be faster and more productive than quantitative user studies. Our participants successfully evaluated how well the given methods would let users complete a given set of tasks. Our results show a statistically significant correlation with a previous objective study: designers' subjective predictions of user performance by these methods match users measured performance. The experts improved the evaluation by providing insights into the reasons for the effectiveness of each visualization method and suggesting specific improvements. 相似文献
34.
Keefe DF Acevedo D Miles J Drury F Swartz SM Laidlaw DH 《IEEE transactions on visualization and computer graphics》2008,14(4):835-847
We present four studies investigating tools and methodologies for artist-scientist-technologist collaboration in designing multivariate, virtual reality (VR) visualizations. Design study 1 identifies the promise of 3D drawing-style interfaces for VR design and also establishes limitations of these tools with respect to precision and support for animation. Design study 2 explores animating artist-created visualization designs with scientific 3D fluid flow data. While results captured an accurate sense of flow that was advantageous as compared to the results of study 1, the potential for visual exploration using the design tools tested was limited. Design study 3 reveals the importance of a new 3D interface that overcomes the precision limitation found in study 1 while remaining accessible to artist collaborators. Drawing upon previous results, design study 4 engages collaborative teams in a design process that begins with traditional paper sketching and moves to animated, interactive, VR prototypes "sketched" by designers in VR using interactive 3D tools. Conclusions from these four studies identify important characteristics of effective artist-accessible VR visualization design tools and lead to a proposed formalized methodology for successful collaborative design that we expect to be useful in guiding future collaborations. We call this proposed methodology Scientific Sketching. 相似文献
35.
Hadwiger M Laura F Rezk-Salama C Höllt T Geier G Pabel T 《IEEE transactions on visualization and computer graphics》2008,14(6):1507-1514
This paper presents a novel method for interactive exploration of industrial CT volumes such as cast metal parts, with the goal of interactively detecting, classifying, and quantifying features using a visualization-driven approach. The standard approach for defect detection builds on region growing, which requires manually tuning parameters such as target ranges for density and size, variance, as well as the specification of seed points. If the results are not satisfactory, region growing must be performed again with different parameters. In contrast, our method allows interactive exploration of the parameter space, completely separated from region growing in an unattended pre-processing stage. The pre-computed feature volume tracks a feature size curve for each voxel over time, which is identified with the main region growing parameter such as variance. A novel 3D transfer function domain over (density, feature size, time) allows for interactive exploration of feature classes. Features and feature size curves can also be explored individually, which helps with transfer function specification and allows coloring individual features and disabling features resulting from CT artifacts. Based on the classification obtained through exploration, the classified features can be quantified immediately. 相似文献
36.
I. Lazoglu K. Buyukhatipoglu H. Kratz F. Klocke 《Machining Science and Technology》2013,17(2):157-179
In precision machining, due to the recent developments in cutting tools, machine tool structural rigidity and improved CNC controllers, hard turning is an emerging process as an alternative to some of the grinding processes by providing reductions in costs and cycle-times. In industrial environments, hard turning is established for geometry features of parts with low to medium requirements on part quality. Better understanding of cutting forces, stresses and temperature fields, temperature gradients created during the machining are very critical for achieving highest quality products and high productivity in feasible cycle times. To enlarge the capability profile of the hard turning process, this paper introduces prediction models of mechanical and thermal loads during turning of 51CrV4 with hardness of 68 HRC by a CBN tool. The shear flow stress, shear and friction angles are determined from the orthogonal cutting tests. Cutting force coefficients are determined from orthogonal to oblique transformations. Cutting forces, temperature field for the chip and tool are predicted and compared with experimental measurements. The experimental temperature measurements are conducted by the advanced hardware device FIRE-1 (Fiberoptic Ratio Pyrometer). 相似文献
37.
38.
This article considers the cost dependent construction of linear and piecewise linear classifiers. Classical learning algorithms from the fields of artificial neural networks and machine learning consider either no costs at all or allow only costs that depend on the classes of the examples that are used for learning. In contrast to class dependent costs, we consider costs that are example, i.e. feature and class dependent. We present a cost sensitive extension of a modified version of the well-known perceptron algorithm that can also be applied in cases, where the classes are linearly non-separable. We also present an extended version of the hybrid learning algorithm DIPOL, that can be applied in the case of linear non-separability, multi-modal class distributions, and multi-class learning problems. We show that the consideration of example dependent costs is a true extension of class dependent costs. The approach is general and can be extended to other neural network architectures like multi-layer perceptrons and radial basis function networks. 相似文献
39.
Kiho Bae Kyung Sik Son Jun Woo Kim Suk Won Park Jihwan An Fritz B. Prinz Joon Hyung Shim 《International Journal of Hydrogen Energy》2014
This work elucidated the proton-incorporation mechanism in ALD YSZ1. Isotope 2H2O was used as an oxidant to trace proton incorporation. The ratio of ZrO2 to Y2O3 ALD cycles was varied from 1:1 to 5:1. TEM confirmed that the ALD YSZ films grew as fully crystallized columnar grains in the cubic ZrO2 phase. SIMS indicated that the Y3+ and 2H+ concentrations were linearly correlated, indicating yttria-deposition-induced proton incorporation. XPS confirmed an appreciable amount of Y(OH)3 proportional to the 2H+ content in the ALD YSZ, as was also detected by SIMS. Oxide ion vacancies created by the replacement of ZrO2 with relatively small amounts of Y2O3 provided additional vacancies for proton incorporation, resulting in steeper [2H+]/[Y3+] slopes. 相似文献
40.