全文获取类型
收费全文 | 1990篇 |
免费 | 67篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 20篇 |
化学工业 | 338篇 |
金属工艺 | 51篇 |
机械仪表 | 102篇 |
建筑科学 | 54篇 |
矿业工程 | 4篇 |
能源动力 | 80篇 |
轻工业 | 75篇 |
水利工程 | 5篇 |
石油天然气 | 9篇 |
无线电 | 254篇 |
一般工业技术 | 463篇 |
冶金工业 | 252篇 |
原子能技术 | 61篇 |
自动化技术 | 299篇 |
出版年
2023年 | 30篇 |
2022年 | 46篇 |
2021年 | 60篇 |
2020年 | 54篇 |
2019年 | 42篇 |
2018年 | 47篇 |
2017年 | 46篇 |
2016年 | 56篇 |
2015年 | 34篇 |
2014年 | 71篇 |
2013年 | 149篇 |
2012年 | 78篇 |
2011年 | 109篇 |
2010年 | 104篇 |
2009年 | 81篇 |
2008年 | 82篇 |
2007年 | 73篇 |
2006年 | 66篇 |
2005年 | 41篇 |
2004年 | 39篇 |
2003年 | 46篇 |
2002年 | 38篇 |
2001年 | 27篇 |
2000年 | 29篇 |
1999年 | 21篇 |
1998年 | 41篇 |
1997年 | 36篇 |
1996年 | 32篇 |
1995年 | 32篇 |
1994年 | 29篇 |
1993年 | 25篇 |
1992年 | 20篇 |
1991年 | 29篇 |
1990年 | 31篇 |
1989年 | 19篇 |
1988年 | 22篇 |
1987年 | 21篇 |
1986年 | 16篇 |
1985年 | 18篇 |
1984年 | 26篇 |
1983年 | 20篇 |
1982年 | 25篇 |
1981年 | 21篇 |
1980年 | 14篇 |
1979年 | 17篇 |
1978年 | 11篇 |
1977年 | 19篇 |
1976年 | 30篇 |
1975年 | 6篇 |
1973年 | 9篇 |
排序方式: 共有2067条查询结果,搜索用时 156 毫秒
41.
Jayita Bandyopadhyay Caroline Mekoa Dimakatso Makwakwa Sifiso Skosana Suprakas Sinha Ray 《Polymer Engineering and Science》2021,61(4):1195-1208
The development of a reactively processed polypropylene nanocomposite (PPNC) with consequential improvements in the heat deflection temperature (HDT), Vicat softening temperature (VST), and crystallization peak temperature (Tc) is reported herein. Neat PP without nanoclay was also reactively processed to elucidate the effects of fillers on the improvement in physical properties. The results show a considerable improvement in the HDT of PPNC (77.9 °C) compared to those of neat PP (62.6 °C) and reactively processed branched PP (BPP; 69.2 °C). Moreover, the Tc of PP in PPNC improved by ~14% compared to that of neat PP. Various models of nonisothermal crystallization kinetics were employed to elucidate the nucleation and crystal growth mechanisms, and to correlate them with the observed HDT improvement in PPNC. Thermal transitions investigated by modulated differential scanning calorimetry explained the changes observed in the VSTs of all the samples. To the best of our knowledge, this is the first report on a significant improvement in HDT along with a marked increase in Tc. Such simultaneous improvements in HDT, VST, and Tc are highly desirable for applications involving the use of PP-based materials in rigid packaging. 相似文献
42.
Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster 《International Journal on Software Tools for Technology Transfer (STTT)》2013,15(5-6):497-518
Program verification is the task of automatically generating proofs for a program’s compliance with a given specification. Program synthesis is the task of automatically generating a program that meets a given specification. Both program verification and program synthesis can be viewed as search problems, for proofs and programs, respectively. For these search problems, we present approaches based on user-provided insights in the form of templates. Templates are hints about the syntactic forms of the invariants and programs, and help guide the search for solutions. We show how to reduce the template-based search problem to satisfiability solving, which permits the use of off-the-shelf solvers to efficiently explore the search space. Template-based approaches have allowed us to verify and synthesize programs outside the abilities of previous verifiers and synthesizers. Our approach can verify and synthesize difficult algorithmic textbook programs (e.g., sorting and dynamic programming-based algorithms) and difficult arithmetic programs. 相似文献
43.
Abstract: Pedestrian detection techniques are important and challenging especially for complex real world scenes. They can be used for ensuring pedestrian safety, ADASs (advance driver assistance systems) and safety surveillance systems. In this paper, we propose a novel approach for multi-person tracking-by-detection using deformable part models in Kalman filtering framework. The Kalman filter is used to keep track of each person and a unique label is assigned to each tracked individual. Based on this approach, people can enter and leave the scene randomly. We test and demonstrate our results on Caltech Pedestrian benchmark, which is two orders of magnitude larger than any other existing datasets and consists of pedestrians varying widely in appearance, pose and scale. Complex situations such as people occluded by each other are handled gracefully and individual persons can be tracked correctly after a group of people split. Experiments confirm the real-time performance and robustness of our system, working in complex scenes. Our tracking model gives a tracking accuracy of 72.8% and a tracking precision of 82.3%. We can further reduce false positives by 2.8%, using Kalman filtering. 相似文献
44.
Detailed Real-Time Urban 3D Reconstruction from Video 总被引:2,自引:0,他引:2
M. Pollefeys D. Nistér J.-M. Frahm A. Akbarzadeh P. Mordohai B. Clipp C. Engels D. Gallup S.-J. Kim P. Merrell C. Salmi S. Sinha B. Talton L. Wang Q. Yang H. Stewénius R. Yang G. Welch H. Towles 《International Journal of Computer Vision》2008,78(2-3):143-167
The paper presents a system for automatic, geo-registered, real-time 3D reconstruction from video of urban scenes. The system
collects video streams, as well as GPS and inertia measurements in order to place the reconstructed models in geo-registered
coordinates. It is designed using current state of the art real-time modules for all processing steps. It employs commodity
graphics hardware and standard CPU’s to achieve real-time performance. We present the main considerations in designing the
system and the steps of the processing pipeline. Our system extends existing algorithms to meet the robustness and variability
necessary to operate out of the lab. To account for the large dynamic range of outdoor videos the processing pipeline estimates
global camera gain changes in the feature tracking stage and efficiently compensates for these in stereo estimation without
impacting the real-time performance. The required accuracy for many applications is achieved with a two-step stereo reconstruction
process exploiting the redundancy across frames. We show results on real video sequences comprising hundreds of thousands
of frames. 相似文献
45.
Sagar Chaki Edmund Clarke Natasha Sharygina Nishant Sinha 《Formal Methods in System Design》2008,32(3):235-266
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two
techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations
obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove
or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution
generates constructive feedback to developers showing how to improve the components. The substitutability approach has been
implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark.
This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the
same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547,
and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no.
DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly
from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views
and conclusions contained in this document are those of the authors and should not be interpreted as representing the official
policies, either expressed or implied, of any sponsoring institution, the US government or any other entity. 相似文献
46.
Xiaonan Lu Saurabh Kataria William J. Brouwer James Z. Wang Prasenjit Mitra C. Lee Giles 《International Journal on Document Analysis and Recognition》2009,12(2):65-81
Authors use images to present a wide variety of important information in documents. For example, two-dimensional (2-D) plots
display important data in scientific publications. Often, end-users seek to extract this data and convert it into a machine-processible
form so that the data can be analyzed automatically or compared with other existing data. Existing document data extraction
tools are semi-automatic and require users to provide metadata and interactively extract the data. In this paper, we describe
a system that extracts data from documents fully automatically, completely eliminating the need for human intervention. The
system uses a supervised learning-based algorithm to classify figures in digital documents into five classes: photographs,
2-D plots, 3-D plots, diagrams, and others. Then, an integrated algorithm is used to extract numerical data from data points
and lines in the 2-D plot images along with the axes and their labels, the data symbols in the figure’s legend and their associated
labels. We demonstrate that the proposed system and its component algorithms are effective via an empirical evaluation. Our
data extraction system has the potential to be a vital component in high volume digital libraries. 相似文献
47.
Creep experiments were conducted on ice crystals in compression to investigate the effects of boundary conditions on a single-slip system deformed in plane strain. Friction at the platens of the deformation apparatus introduces a bending moment which causes a variation in the amount of lattice rotation across the specimen. This is shown to occur in mechanically constrained crystals observed through plane polarized light. Relieving the constraints and minimizing friction at the ice-platen contact leads to the widening of the sample near the specimen-platen interface and the production of tails symmetrically disposed about the longitudinal axis of the deformed crystals. This is interpreted to originate from a bending moment in the opposite sense from that obtained in the constrained crystals, resulting from a progressive increase in slip displacement towards the platens where the segments of the slip plane become shorter. When the crystal ends were constrained but allowed to move sideways, a simple shear regime was established in which lattice slip was concentrated in the centre of the crystal. 相似文献
48.
Ranjan Prakash Mahto Santosh Kumar Choubey Arvind Sinha Rashmi Peraza-Vázquez Hernán Barde Chetan Peña-Delgado Adrián Roy Komal 《Microsystem Technologies》2022,28(11):2467-2485
Microsystem Technologies - In this paper synthesis of two wideband Metamaterial Cross Polarizer (MCPs) is proposed. The synthesis of proposed MCPs is done by using Binary Wind Driven Optimization... 相似文献
49.
Zahid Farzana Tanveer Awais Kuo Matthew M. Y. Sinha Roopak 《Journal of Intelligent Manufacturing》2022,33(6):1603-1638
Journal of Intelligent Manufacturing - The requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of... 相似文献
50.
Supply chain managers are responsible for making decisions regarding supply chain risk in order to mitigate the impact of supply chain disruptions. This study develops and tests a theoretical model that leverages the individual-level knowledge-based view perspective to understand the process through which risk mitigation orientation of the supply chain manager contributes to his/her absorptive capacity. A supply chain manager’s absorptive capacity, in turn, enhances his/her ability to effectively mitigate supply chain risk. Study findings demonstrate that supply chain managers with high-risk mitigation orientation have greater level of absorptive capacity which enhances their risk mitigation competency. This study represents the first development and testing of a model that examines individual-level knowledge management factors that affect supply chain risk mitigation competency. This research emphasises the importance of the individual supply chain manager in managing risk and illustrates how theoretical perspectives from the knowledge management, supply chain risk and organisational behaviour literature can be fruitfully adopted to explain behaviour in the field of supply chain risk management. 相似文献