全文获取类型
收费全文 | 1273篇 |
免费 | 39篇 |
国内免费 | 15篇 |
专业分类
电工技术 | 13篇 |
综合类 | 4篇 |
化学工业 | 241篇 |
金属工艺 | 47篇 |
机械仪表 | 46篇 |
建筑科学 | 19篇 |
能源动力 | 66篇 |
轻工业 | 83篇 |
水利工程 | 6篇 |
石油天然气 | 20篇 |
无线电 | 164篇 |
一般工业技术 | 260篇 |
冶金工业 | 135篇 |
原子能技术 | 10篇 |
自动化技术 | 213篇 |
出版年
2024年 | 9篇 |
2023年 | 30篇 |
2022年 | 51篇 |
2021年 | 60篇 |
2020年 | 47篇 |
2019年 | 59篇 |
2018年 | 68篇 |
2017年 | 51篇 |
2016年 | 43篇 |
2015年 | 29篇 |
2014年 | 39篇 |
2013年 | 92篇 |
2012年 | 52篇 |
2011年 | 71篇 |
2010年 | 54篇 |
2009年 | 39篇 |
2008年 | 35篇 |
2007年 | 34篇 |
2006年 | 44篇 |
2005年 | 29篇 |
2004年 | 21篇 |
2003年 | 18篇 |
2002年 | 20篇 |
2001年 | 22篇 |
2000年 | 13篇 |
1999年 | 16篇 |
1998年 | 27篇 |
1997年 | 23篇 |
1996年 | 22篇 |
1995年 | 24篇 |
1994年 | 18篇 |
1993年 | 16篇 |
1992年 | 9篇 |
1991年 | 18篇 |
1990年 | 4篇 |
1989年 | 11篇 |
1988年 | 14篇 |
1987年 | 7篇 |
1986年 | 6篇 |
1985年 | 5篇 |
1984年 | 8篇 |
1983年 | 10篇 |
1981年 | 6篇 |
1980年 | 5篇 |
1978年 | 3篇 |
1977年 | 9篇 |
1976年 | 7篇 |
1975年 | 8篇 |
1974年 | 5篇 |
1970年 | 4篇 |
排序方式: 共有1327条查询结果,搜索用时 15 毫秒
21.
Marriwala Nikhil Punj Himanshu Panda Sunita Kaur Inderjeet Rathore Deepak 《Wireless Personal Communications》2022,124(1):119-145
Wireless Personal Communications - This is the era of Intelligent Cognitive Radio Network (CRN) technology that provides the available spectrum with efficient utilization. Cognitive Radio (CR)... 相似文献
22.
Journal of Automated Reasoning - The word problem for a finite set of ground identities is known to be decidable in polynomial time using congruence closure, and this is also the case if some of... 相似文献
23.
Sahebrao B. Kashid Jaya R. Lakkakula Deepak S. Chauhan Rohit Srivastava Rajesh W. Raut 《IET nanobiotechnology / IET》2017,11(8):1046
Cotton fibres coated with biogenically fabricated silver nanoparticles (SNPs) are most sought material because of their enhanced activity and biocompatibility. After successful synthesis of SNPs on cotton fibres using leaf extract of Vitex negundo Linn, the fibres were studied using diffuse reflectance spectroscopy, scanning electron microscopy, nanoparticle tracking analysis, energy dispersive X‐ray, and inductively coupled plasma atomic emission spectrometry. The characterisation revealed uniformly distributed spherical agglomerates of SNPs having individual particle size around 50 nm with the deposition load of 423 μg of silver per gram of cotton. Antimicrobial assay of cotton–SNPs fibres showed effective performance against pathogenic bacteria and fungi. The method is biogenic, environmentally benign, rapid, and cost‐effective, producing highly biocompatible antimicrobial coating required for the healthcare industry.Inspec keywords: cotton, health care, nanoparticles, coatings, silver, fibres, nanofabrication, scanning electron microscopy, X‐ray chemical analysis, atomic emission spectroscopy, plasma applications, microorganisms, biotechnologyOther keywords: biocompatible antimicrobial cotton fibre coating, healthcare industry, bioorganic‐coated silver nanoparticle synthesis, biogenically fabricated silver nanoparticle, SNP, leaf extraction, Vitex negundo Linn, diffuse reflectance spectroscopy, scanning electron microscopy, nanoparticle tracking analysis, energy dispersive X‐ray spectrometry, inductively coupled plasma atomic emission spectrometry, uniformly distributed spherical agglomerate, antimicrobial assay, pathogenic bacteria, fungi, Ag 相似文献
24.
Bhim Bali Prasad Deepak Kumar Rashmi Madhuri Mahavir Prasad TiwariAuthor vitae 《Sensors and actuators. B, Chemical》2011,160(1):418
A new kind of molecularly imprinted polymer-modified graphite electrode was fabricated by “grafting-to” approach, incorporating sol–gel technique, for the detection of acute deficiency in serum ascorbic acid level (SAAL), manifesting hypovitaminosis C. The modified electrode exhibited ascorbic acid (AA) oxidation at less positive potential (0.0 V) than the earlier reported methods, resulting in a limit of detection as low as 6.13 ng mL−1 (RSD = 1.2%, S/N = 3). The diffusion coefficient (1.096 × 10−5 cm2 s−1), rate constant (7.308 s−1), and Gibb's free energy change (−12.59 kJ mol−1) due to analyte adsorption, were also calculated to explore the kinetics of AA oxidation. The proposed sensor was found to enhance sensitivity substantially so as to detect ultra trace level of AA in the presence of other biologically important compounds (dopamine, uric acid, etc.), without any cross interference and matrix complications from biological fluids and pharmaceutical samples. 相似文献
25.
Deepak Kumar Patel Devashree Tripathy Chitaranjan Tripathy 《Engineering with Computers》2016,32(2):173-188
Grid computing has emerged a new field, distinguished from conventional distributed computing. It focuses on large-scale resource sharing, innovative applications and in some cases, high performance orientation. The Grid serves as a comprehensive and complete system for organizations by which the maximum utilization of resources is achieved. The load balancing is a process which involves the resource management and an effective load distribution among the resources. Therefore, it is considered to be very important in Grid systems. For a Grid, a dynamic, distributed load balancing scheme provides deadline control for tasks. Due to the condition of deadline failure, developing, deploying, and executing long running applications over the grid remains a challenge. So, deadline failure recovery is an essential factor for Grid computing. In this paper, we propose a dynamic distributed load-balancing technique called “Enhanced GridSim with Load balancing based on Deadline Failure Recovery” (EGDFR) for computational Grids with heterogeneous resources. The proposed algorithm EGDFR is an improved version of the existing EGDC in which we perform load balancing by providing a scheduling system which includes the mechanism of recovery from deadline failure of the Gridlets. Extensive simulation experiments are conducted to quantify the performance of the proposed load-balancing strategy on the GridSim platform. Experiments have shown that the proposed system can considerably improve Grid performance in terms of total execution time, percentage gain in execution time, average response time, resubmitted time and throughput. The proposed load-balancing technique gives 7 % better performance than EGDC in case of constant number of resources, whereas in case of constant number of Gridlets, it gives 11 % better performance than EGDC. 相似文献
26.
Deepak Kapur Victor L. Winter Raymond S. Berg 《Electronic Notes in Theoretical Computer Science》2001,50(1)
The use of formal methods for analyzing and synthesizing a controller for a multi-train multi-track railway system is discussed. The research was motivated by a case study involving the Bay Area Rapid Transit (BART) system. The overall goal is to design a train acceleration control function that enables trains to be safely placed but also increases system throughput. The use of a modeling language for specifying safety properties and a control function is illustrated. The program transformation methodology supported in the HATS system is employed to generate an efficient implementation from a high-level specification of a controller. This implementation can then be used to simulate the controller behavior, thus further enhancing confidence in the design. Properties of optimization transformations can be verified using an rewrite-rule based induction theorem prover Rewrite Rule Laboratory (RRL). 相似文献
27.
Syed Suhaib Deepak Mathaikutty Sandeep Shukla 《Electronic Notes in Theoretical Computer Science》2008,200(1):33
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on the channels. KPN provides a semantic model of computation, where a computation can be expressed as a set of asynchronously communicating processes. However, the unbounded FIFO based asynchrony is not realizable in practice and hence requires refinement in real hardware. In this work, we start with KPN as the model of computation for GALS, and discuss how different GALS architectures can be realized. We borrow some ideas from existing dataflow architectures for our GALS designs. 相似文献
28.
Deepak Kapur Mahadevan Subramaniam 《International Journal on Software Tools for Technology Transfer (STTT)》2000,3(1):32-65
We show that existing theorem proving technology can be used effectively for mechanically verifying a family of arithmetic
circuits. A theorem prover implementing: (i) a decision procedure for quantifier-free Presburger arithmetic with uninterpreted
function symbols; (ii) conditional rewriting; and (iii) heuristics for carefully selecting induction schemes from terminating
recursive function definitions; and (iv) well integrated with backtracking, can automatically verify number-theoretic properties
of parameterized and generic adders, multipliers and division circuits. This is illustrated using our theorem prover Rewrite Rule Laboratory (RRL). To our knowledge, this is the first such demonstration of the capabilities of a theorem prover mechanizing induction.
The above features of RRL are briefly discussed using illustrations from the verification of adder, multiplier and division
circuits. Extensions to the prover likely to make it even more effective for hardware verification are discussed. Furthermore,
it is believed that these results are scalable, and the proposed approach is likely to be effective for other arithmetic circuits
as well. 相似文献
29.
30.