全文获取类型
收费全文 | 441篇 |
免费 | 18篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 5篇 |
综合类 | 1篇 |
化学工业 | 114篇 |
金属工艺 | 15篇 |
机械仪表 | 16篇 |
建筑科学 | 9篇 |
能源动力 | 22篇 |
轻工业 | 53篇 |
水利工程 | 3篇 |
无线电 | 30篇 |
一般工业技术 | 81篇 |
冶金工业 | 50篇 |
原子能技术 | 4篇 |
自动化技术 | 57篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 14篇 |
2021年 | 21篇 |
2020年 | 18篇 |
2019年 | 14篇 |
2018年 | 19篇 |
2017年 | 26篇 |
2016年 | 19篇 |
2015年 | 3篇 |
2014年 | 22篇 |
2013年 | 45篇 |
2012年 | 22篇 |
2011年 | 21篇 |
2010年 | 16篇 |
2009年 | 16篇 |
2008年 | 18篇 |
2007年 | 19篇 |
2006年 | 16篇 |
2005年 | 9篇 |
2004年 | 6篇 |
2003年 | 6篇 |
2002年 | 5篇 |
2001年 | 4篇 |
2000年 | 5篇 |
1999年 | 4篇 |
1998年 | 10篇 |
1997年 | 6篇 |
1996年 | 7篇 |
1995年 | 4篇 |
1994年 | 7篇 |
1993年 | 9篇 |
1992年 | 2篇 |
1991年 | 7篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1986年 | 3篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1982年 | 1篇 |
1980年 | 7篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1976年 | 3篇 |
1973年 | 1篇 |
1970年 | 1篇 |
排序方式: 共有460条查询结果,搜索用时 11 毫秒
1.
Studies were made on the thermally stimulated discharge currents (TSDCs) in pure (undoped) and Fe-doped polystyrene films as a function of polarizing field, polarizing temperature and dopant concentration. While undoped films exhibited a single peak, doped films showed two peaks one at low temperatures and another at high temperatures. The low temperature peak, which exhibits a shift towards lower temperatures with increasing dopant concentration, is attributed to the relaxation of the main chain, while the high temperature peak, which shows a tendency to shift towards higher temperatures with dopant concentration, is due to space charge polarization. The TSDCs were higher for low dopant concentrations than their undoped counterparts, while for high concentrations of the dopant, the TSDCs decreased. Formation of charge transfer complexes at low dopant concentrations and molecular aggregates at higher dopant concentrations are suggested as the possible reasons for this behaviour. 相似文献
2.
Instrumental characterization of clay by XRF,XRD and FTIR 总被引:2,自引:0,他引:2
Instrumental characterizations of the clay were performed by different techniques such as XRF, XRD and FTIR. XRF shows the
chemical compositions of the clay where Al-oxide and silica oxide are present in major quantity whereas XRD confirms the presence
of these minerals in clay. FTIR studies show the presence of quartz, alumina, haematite and different mineral matters. 相似文献
3.
Yassine Slimani Sagar E. Shirsath Essia Hannachi Munirah A. Almessiere Moustafa M. Aouna Nouf E. Aldossary Ghulam Yasin Abdulhadi Baykal Bekir Ozçelik Ismail Ercan 《Journal of the American Ceramic Society》2021,104(11):5648-5658
Two phase-based nanocomposites consisting of dielectric barium titanate (BaTiO3 or BTO) and magnetic spinel ferrite Co0.5Ni0.5Nb0.06Fe1.94O4 (CNNFO) have been synthesized through solid state route. Series of (BaTiO3)1-x + (Co0.5Ni0.5Nb0.06Fe1.94O4)x nanocomposites with x content of 0.00, 0.25, 0.50, 0.75, and 1.00 were considered. The structure has been examined via X-rays diffraction (XRD) and indicated the occurrence of both perovskite BTO and spinel CNNFO phases in various nanocomposites. A phase transition from tetragonal BTO structure to cubic structure occurs with inclusion of CNNFO phase. The average crystallites size of BTO phase decreases, whereas that for the CNNFO phase increases with increasing x in various nanocomposites. The morphological observations revealed that the porosity is highly reduced, and the connectivity between grains is enhanced with increasing x content. The optical properties have been investigated by UV−vis diffuse reflectance spectroscopy. The deduced band gap energy (Eg) value is found to reduce with increasing the content of spinel ferrite phase. The magnetic as well as the dielectric properties were also investigated. The analysis showed that CNNFO ferrite phase greatly affects the magnetic properties and dielectric response of BTO material. The obtained findings can be useful to enhance the performances of magneto-dielectric composite-based systems. 相似文献
4.
Hot-corrosion attack on gas-turbine components has been a problem of practical importance for over two decades. The nature and the extent of corrosion are influenced by the type of contaminants, the alloy constituents, and temperature. The hot-corrosion process is quite complex. There is controversy regarding the role of alloying elements, and whether the process is chemical or electrochemical in nature. In this investigation, an attempt has been made to investigate the role of Al and Ti in influencing the hot-corrosion attack of Ni-20 wt. % Cr alloys in molten Na2SO4-NaCl mixtures. It was found that Ni-Cr-Al alloys undergo a localized, heavy-blister attack under certain experimental conditions which is electrochemical in nature. An electrochemical model has been proposed which can satisfatorily explain the nature and kinetics of the localized blister corrosion. 相似文献
5.
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. 相似文献
6.
Yuan Chenxi Li Guoyan Kamarthi Sagar Jin Xiaoning Moghaddam Mohsen 《Journal of Intelligent Manufacturing》2022,33(2):425-439
Journal of Intelligent Manufacturing - In recent years, driven by Industry 4.0 wave, academic research has focused on the science, engineering, and enabling technologies for intelligent and cyber... 相似文献
7.
Kwang-Jun Oh Young-Bong Ko Sagar Jaiswal In-Cheul Whang 《Journal of materials science. Materials in medicine》2016,27(12):179
The purpose of this study was to compare the osteoconductivity, and absorbability of hydroxyapatite or beta-tricalcium phosphate in clinical scenario of opening wedge high tibial osteotomy Total 41 knees of 40 patients with follow up period of more than 1 year were enrolled. These patients were divided into two groups, Group I (22 knees, 21 patients) used hydroxyapatite and Group II (19 knees, 19 patients) used beta-tricalcium phosphate as a substitute in the opening gap. According to proven method, the osteoconductivity was assessed radiographically by the extent of new bone formation at osteotomy space and absorbability was evaluated by measuring the area occupied by substitute at immediate postoperative, postoperative 6 months and 1 year. Regarding preoperative demographic data, no significant differences were found between two groups. No statistically significant differences were found between two groups regarding lower limb alignment (mechanical femorotibial angle, weight-bearing line%) and posterior tibial slope at postoperative and final follow up radiographs. Concerning the osteoconductivity, there were no significant differences between two groups in any zone. However, the absorption rate was significantly greater in the Group II than in Group I at 6 months (Group I: 13.7?±?6.8, group II: 35.3?±?15.8, P?=?0.001) and 1 year (Group I: 24.2?±?6.3, Group II: 49.6?±?14.3, P?<?0.0001). The complications related to bone substitutes were not observed. Both hydroxyapatite and beta-tricalcium phosphate showed satisfactory gap healing without complications and can be successfully used as alternative healing materials in opening wedge high tibial osteotomy. Our study showed that beta-tricalcium phosphate has superior absorbability than hydroxyapatite. But osteoconductivity showed no significant difference. 相似文献
8.
We present a framework, called air, for verifying safety properties of assembly language programs via software model checking. air extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification
of low-level software. By working at the assembly level, air allows verification of programs for which source code is unavailable—such as legacy and COTS software—and programs that use
features—such as pointers, structures, and object-orientation—that are problematic for source-level software verification
tools. In addition, air makes no assumptions about the underlying compiler technology. We have implemented a prototype of air and present encouraging results on several non-trivial examples. 相似文献
9.
10.
Sagar Chaki Joël Ouaknine Karen Yorav Edmund Clarke 《Electronic Notes in Theoretical Computer Science》2003,89(3):417
The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications. More specifically, we present a fully automated compositional framework which combines two orthogonal abstraction techniques (operating respectively on data and events) within a counterexample-guided abstraction refinement (CEGAR) scheme. In this way, our algorithm incrementally increases the granularity of the abstractions until the specification is either established or refuted. Our explicit use of compositionality delays the onset of state space explosion for as long as possible. To our knowledge, this is the first compositional use of CEGAR in the context of model checking concurrent C programs. We describe our approach in detail, and report on some very encouraging preliminary experimental results obtained with our tool MAGIC. 相似文献