全文获取类型
收费全文 | 1684篇 |
免费 | 48篇 |
国内免费 | 10篇 |
专业分类
电工技术 | 19篇 |
化学工业 | 283篇 |
金属工艺 | 44篇 |
机械仪表 | 91篇 |
建筑科学 | 49篇 |
矿业工程 | 4篇 |
能源动力 | 60篇 |
轻工业 | 64篇 |
水利工程 | 5篇 |
石油天然气 | 9篇 |
无线电 | 215篇 |
一般工业技术 | 393篇 |
冶金工业 | 236篇 |
原子能技术 | 60篇 |
自动化技术 | 210篇 |
出版年
2023年 | 18篇 |
2022年 | 31篇 |
2021年 | 37篇 |
2020年 | 34篇 |
2019年 | 29篇 |
2018年 | 33篇 |
2017年 | 30篇 |
2016年 | 35篇 |
2015年 | 23篇 |
2014年 | 48篇 |
2013年 | 104篇 |
2012年 | 60篇 |
2011年 | 92篇 |
2010年 | 88篇 |
2009年 | 70篇 |
2008年 | 73篇 |
2007年 | 63篇 |
2006年 | 59篇 |
2005年 | 34篇 |
2004年 | 37篇 |
2003年 | 41篇 |
2002年 | 34篇 |
2001年 | 27篇 |
2000年 | 28篇 |
1999年 | 21篇 |
1998年 | 39篇 |
1997年 | 35篇 |
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篇 |
排序方式: 共有1742条查询结果,搜索用时 31 毫秒
91.
B.P. Sinha 《Building Research & Information》2013,41(4)
Reinforced and grouted cavity brickwork offers possibilies of a monolithic form of construction in which the brickwork provides a permanent and acceptable formwork; but there is little researchbased data on this development. Within a research programme in the UK, the author has carried out extensive tests on such reinforced slabs and beams, with spans ranging from 1.3 to 6.3 m. 相似文献
92.
In the context of IEEE 802.11b network testbeds, we examine the differences between unicast and broadcast link properties, and we show the inherent difficulties in precisely estimating unicast link properties via those of broadcast beacons even if we make the length and transmission rate of beacons be the same as those of data packets. To circumvent the difficulties in link estimation, we propose to estimate unicast link properties directly via data traffic itself without using periodic beacons. To this end, we design a data-driven routing protocol Learn-on-the-Fly (LOF). LOF chooses routes based on ETX/ETT-type metrics, but the metrics are estimated via MAC feedback for unicast data transmission instead of broadcast beacons. Using a realistic sensor network traffic trace and an 802.11b testbed of ~195 Stargates, we experimentally compare the performance of LOF with that of beacon-based protocols, represented by the geography-unaware ETX and the geography-based PRD. We find that LOF reduces end-to-end MAC latency by a factor of 3, enhances energy efficiency by a factor up to 2.37, and improves network throughput by a factor up to 7.78, which demonstrate the feasibility and the potential benefits of data-driven link estimation and routing. 相似文献
93.
High strain rate deformation and cracking of AA 2219 aluminium alloy welded propellant tank 总被引:1,自引:0,他引:1
Abhay K. Jha S.V.S.N. Murty K. Sreekumar P.P. Sinha 《Engineering Failure Analysis》2009,16(7):2209-2216
Aluminium alloy AA 2219 (Al–6.6Cu–1Mn) is the candidate material for the fabrication of propellant storage tank of launch vehicle. Cold rolled sheets of 6.5 mm thickness are used to make the cylindrical shell, while sheets of 4.5 mm thickness are used for the construction of dome through petal forming technique. Petals, formed through cone rolling, treated to T87 temper condition are welded together by TIG welding to configure the dome. Such domes are joined to the cylindrical shell through a ring by TIG welding.The upper stage consists of two tanks, one oxidizer tank (liq. O2) and other fuel tank (liq. H2). After completing various developmental qualification tests, propellant flow rate test of one of the system was carried out. Almost all the liquid oxygen of the tank was removed and only a little quantity remained at the bottom. During one of the subsequent tests; when dry nitrogen gas was purged to evaporate the remaining liquid oxygen, the oxidizer tank dome catastrophically fractured with an audible sound. Fracture of oxidizer tank dome, placed at lower part of the system caused excessive deformation and subsequently it also caused fracture of fuel tank dome placed just over it.Detailed metallurgical investigations were carried out on the failed components and it was found that the tank failed under very high strain rate deformation. This paper brings out the details of the investigation carried out. 相似文献
94.
Aseem Grover Reshma Sinha Divya Jyoti Caterina Faggio 《Microscopy research and technique》2022,85(5):1976-1989
Electron microscope (EM) was developed in 1931 and since then microscopical examination of both the biological and non-biological samples has been revolutionized. Modifications in electron microscopy techniques, such as scanning EM and transmission EM, have widened their applicability in the various sectors such as understanding of drug toxicity, development of mechanism, criminal site investigation, and characterization of the nano-molecule. The present review summarizes its role in important aspects such as toxicity assessment and disease diagnosis in special reference to SARS-COV2. In the biological system, EM studies have elucidated the impact of toxicants at the ultra-structural level in various tissue in conformity to physiological alterations. Thus, EM can be concluded as an important tool in toxicity assessment and disease prognosis. 相似文献
95.
96.
We have investigated laser action in a binary mixture of dyes, Rh-6G and DCM, resulting in tunable laser emission over an extended frequency region. The two dyes absorb the same pump radiation but fluoresce over frequency ranges that are shifted with respect to each other, thereby resulting in extended tunability. Following a time-dependent analysis of a rate-equation model that describe the operation of such a laser, theoretical estimates for optimum dye concentrations and the corresponding extension of the laser tuning range have been obtained. 相似文献
97.
Abstract
We derive a priori error estimates in the finite element method for nonselfadjoint elliptic and parabolic interface problems
in a two-dimensional convex polygonal domain. Optimal H
1-norm and sub-optimal L
2-norm error estimates are obtained for elliptic interface problems. For parabolic interface problems, the continuous-time
Galerkin method is analyzed and an optimal order error estimate in the L
2(0,T;H
1)-norm is established. Further, a discrete-in-time discontinuous Galerkin method is discussed and a related optimal error
estimate is obtained.
Keywords: Elliptic and parabolic interface problems, finite element method, spatially discrete scheme, discontinuous Galerkin method,
error estimates
Mathematics Subject Classification (1991): 65N15, 65N20 相似文献
98.
Sagar Chaki Edmund Clarke Joël Ouaknine Natasha Sharygina Nishant Sinha 《Formal Aspects of Computing》2005,17(4):461-483
We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary
to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction
refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and
allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic
LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large
body of research on efficient LTL verification.
We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an
important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm.
Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm
employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting
framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found
in the literature.
We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set
of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important
gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be
verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework.
We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new
abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which
we discovered during our experiments.
This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office
of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office
(ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components
(PACC) project at the Software Engineering Institute (SEI).
This article combines and builds upon the papers (CCO+04) and (CCOS04).
Received December 2004
Revised July 2005
Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes 相似文献
99.
100.
AA Sinha BJ Quast MJ Wilson PK Reddy DF Gleason BF Sloane 《Canadian Metallurgical Quarterly》1998,252(2):281-289
Ascorbic acid can recycle alpha-tocopherol from the tocopheroxyl free radical in lipid bilayers and in micelles, but such recycling has not been demonstrated to occur across cell membranes. In this work the ability of intracellular ascorbate to protect and to recycle alpha-tocopherol in intact human erythrocytes and erythrocyte ghosts was investigated. In erythrocytes that were 80% depleted of intracellular ascorbate by treatment with the nitroxide Tempol, both 2,2'-azobis(2-amidinopropane) dihydrochloride (AAPH) and ferricyanide oxidized alpha-tocopherol to a greater extent than in cells not depleted of ascorbate. In contrast, in erythrocytes in which the intracellular ascorbate concentration had been increased by loading with dehydroascorbate, loss of alpha-tocopherol was less with both oxidants than in control cells. Protection against AAPH-induced oxidation of alpha-tocopherol was not prevented by extracellular ascorbate oxidase, indicating that the protection was due to intracellular and not to extracellular ascorbate. Incubation of erythrocytes with lecithin liposomes also generated an oxidant stress, which caused lipid peroxidation in the liposomes and depleted erythrocyte alpha-tocopherol, leading to hemolysis. Ascorbate loading of the erythrocytes delayed liposome oxidation and decreased loss of alpha-tocopherol from both cells and from alpha-tocopherol-loaded liposomes. When erythrocyte ghosts were resealed to contain ascorbate and challenged with free radicals generated by AAPH outside the ghosts, intravesicular ascorbate was totally depleted over 1 h of incubation, whereas alpha-tocopherol decreased only after ascorbate was substantially oxidized. These results suggest that ascorbate within the erythrocyte protects alpha-tocopherol in the cell membrane by a direct recycling mechanism. 相似文献