全文获取类型
收费全文 | 911篇 |
免费 | 61篇 |
国内免费 | 3篇 |
专业分类
电工技术 | 22篇 |
综合类 | 1篇 |
化学工业 | 243篇 |
金属工艺 | 10篇 |
机械仪表 | 25篇 |
建筑科学 | 27篇 |
矿业工程 | 5篇 |
能源动力 | 36篇 |
轻工业 | 106篇 |
水利工程 | 13篇 |
石油天然气 | 7篇 |
无线电 | 71篇 |
一般工业技术 | 182篇 |
冶金工业 | 49篇 |
原子能技术 | 5篇 |
自动化技术 | 173篇 |
出版年
2023年 | 16篇 |
2022年 | 21篇 |
2021年 | 42篇 |
2020年 | 25篇 |
2019年 | 40篇 |
2018年 | 44篇 |
2017年 | 31篇 |
2016年 | 30篇 |
2015年 | 29篇 |
2014年 | 43篇 |
2013年 | 65篇 |
2012年 | 55篇 |
2011年 | 64篇 |
2010年 | 48篇 |
2009年 | 39篇 |
2008年 | 47篇 |
2007年 | 40篇 |
2006年 | 27篇 |
2005年 | 19篇 |
2004年 | 19篇 |
2003年 | 14篇 |
2002年 | 18篇 |
2001年 | 19篇 |
2000年 | 11篇 |
1999年 | 9篇 |
1998年 | 6篇 |
1997年 | 12篇 |
1996年 | 8篇 |
1995年 | 7篇 |
1994年 | 5篇 |
1993年 | 11篇 |
1992年 | 10篇 |
1991年 | 14篇 |
1990年 | 6篇 |
1989年 | 10篇 |
1988年 | 6篇 |
1987年 | 6篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1984年 | 3篇 |
1983年 | 5篇 |
1982年 | 4篇 |
1981年 | 3篇 |
1978年 | 4篇 |
1977年 | 3篇 |
1976年 | 6篇 |
1974年 | 5篇 |
1973年 | 2篇 |
1972年 | 2篇 |
1964年 | 2篇 |
排序方式: 共有975条查询结果,搜索用时 31 毫秒
21.
Vasileios Belagiannis Xinchao Wang Horesh Beny Ben Shitrit Kiyoshi Hashimoto Ralf Stauder Yoshimitsu Aoki Michael Kranzfelder Armin Schneider Pascal Fua Slobodan Ilic Hubertus Feussner Nassir Navab 《Machine Vision and Applications》2016,27(7):1035-1046
Multiple human pose estimation is an important yet challenging problem. In an operating room (OR) environment, the 3D body poses of surgeons and medical staff can provide important clues for surgical workflow analysis. For that purpose, we propose an algorithm for localizing and recovering body poses of multiple human in an OR environment under a multi-camera setup. Our model builds on 3D Pictorial Structures and 2D body part localization across all camera views, using convolutional neural networks (ConvNets). To evaluate our algorithm, we introduce a dataset captured in a real OR environment. Our dataset is unique, challenging and publicly available with annotated ground truths. Our proposed algorithm yields to promising pose estimation results on this dataset. 相似文献
22.
Armin Pobitzer Ronald Peikert Raphael Fuchs Benjamin Schindler Alexander Kuhn Holger Theisel Krešimir Matković Helwig Hauser 《Computer Graphics Forum》2011,30(6):1789-1811
Vector fields are a common concept for the representation of many different kinds of flow phenomena in science and engineering. Methods based on vector field topology are known for their convenience for visualizing and analysing steady flows, but a counterpart for unsteady flows is still missing. However, a lot of good and relevant work aiming at such a solution is available. We give an overview of previous research leading towards topology‐based and topology‐inspired visualization of unsteady flow, pointing out the different approaches and methodologies involved as well as their relation to each other, taking classical (i.e. steady) vector field topology as our starting point. Particularly, we focus on Lagrangian methods, space–time domain approaches, local methods and stochastic and multifield approaches. Furthermore, we illustrate our review with practical examples for the different approaches. 相似文献
23.
Armin Biere Edmund M. Clarke Yunshan Zhu 《Electronic Notes in Theoretical Computer Science》2001,23(2):34-45
The verification process of reactive systems in local model checking [1,7] and in explicit state model checking is[13,15] on-the-fly. Therefore only those states of a system have to be traversed that are necessary to prove a property. In addition, if the property does not hold, than often only a small subset of the state space has to be traversed to produce a counterexample. Global model checking [6,23] and, in particular, symbolic model checking [4,22] can utilize compact representations of the state space, e.g. BDDs [3], to handle much larger designs than what is possible with local and explicit model checking. We present a new model checking algorithm for LTL that combines both approaches. In essence, it is a generalization of the tableau construction of [1] that enables the use of BDDs but still is on-the-fly. 相似文献
24.
A new fuzzy decision-making procedure applied to emergency electric power distribution scheduling 总被引:1,自引:0,他引:1
S. Khan Mohammadi I. Hassanzadeh R. M. Mathur K. V. Patil 《Engineering Applications of Artificial Intelligence》2000,13(6):731-740
In this paper a new fuzzy decision-making procedure is developed. Two levels of weightings, called upper and lower weights, are proposed to calculate the fuzzy weightings of different criteria. The preference table is introduced to calculate the upper and lower weights. Also a new method is developed to determine the expected preference values of different alternatives. These values are used for generating the priority list of alternatives. The procedure is applied for providing an emergency electric power distribution, scheduling time table. The IEEE 14-bus standard system and a 14-bus system with four power plants are considered as case studies. Using fuzzy decision-making procedure, the regions with more priorities are more connected to the distribution net, while the maximum consumption criterion is also reasonably respected. 相似文献
25.
Offshore outsourcing to vendors in foreign countries causes unique challenges which need to be understood and managed effectively.
This paper explores cultural differences in IS offshoring arrangements involving German client organizations that outsource
application development activities to Indian vendors. For this purpose, a research framework is developed based on both theoretical
considerations and specific empirical observations from multiple case studies. The goal is to (1) explore the nature of cultural
differences in offshore outsourcing arrangements in depth and to (2) analyze the relationship between those cultural differences
and offshore outsourcing success. Based on the case findings, implications and practices for the management of offshore development
projects are outlined. The results indicate that cultural differences in terms of power distance, IS designer values, and
an active versus passive working attitude critically affect several dimensions of relationship quality, thereby influencing
offshore outsourcing success. A clear definition of roles and mechanisms, strong leadership, and an active management of culture
by adapting to either the client’s or the vendor’s national culture appeared to be effective ways to manage cultural differences.
相似文献
Armin HeinzlEmail: |
26.
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. 相似文献
27.
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. 相似文献
28.
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 相似文献
29.
Determining the Main Factors in Declining the Urmia Lake Level by Using System Dynamics Modeling 总被引:6,自引:2,他引:4
Urmia Lake in Iran is the second largest saline lake in the world. This ecosystem is the home for different species. Due to
various socio-economical and ecological criteria, Urmia Lake has important role in the Northwestern part of the country but
it has faced many problems in recent years. Because of droughts, overuse of surface water resources and dam constructions,
water level has decreased in such a way that one quarter of the lake has changed to saline area in the last 10 years. The
purpose of this research is to determine the main factors which reduce the lake’s water level. To this end, a simulation model,
based on system dynamics method, is developed for the Urmia Lake basin to estimate the lake’s level. After successful verification
of the model, results show that (among the proposed factors) changes in inflows due to the climate change and overuse of surface
water resources is the main factor for 65% of the effect, constructing four dams is responsible for 25% of the problem, and
less precipitation on lake has 10% effect on decreasing the lake’s level in the recent years. In the future, the model also
can be used by managers as a decision support system to find the effects of building new dams or other infrastructures. 相似文献
30.
Farzad Hashemzadeh Iraj Hassanzadeh Mahdi Tavakoli Ghasem Alizadeh 《Journal of Intelligent and Robotic Systems》2012,68(3-4):245-259
In this paper, we introduce a new adaptive controller design scheme for nonlinear telerobotic systems with varying time delays where the delays and their variation rates are unknown. The designed controller has the ability to synchronize the state behaviors of the local and the remote robots. In this paper, asymptotic stability in the presence of varying time delays is of interest. Using the proposed controller, asymptotic stability of the bilateral telerobotic system subject to any bounded yet unknown varying delay with a bounded yet unknown rate of change can be guaranteed. Besides the varying time delay, the proposed adaptive controller has the ability to adapt to the parameter variations in the local and the remote robots’ dynamics. It is shown that position and velocity errors between the local and the remote manipulators converge to the zero asymptotically, thus ensuring teleoperation transparency. Experimental and simulation results with a pair of PHANToM haptic devices and a pair of planar manipulators under varying time delays in the communication channel demonstrate the effectiveness of the proposed scheme. 相似文献