全文获取类型
收费全文 | 68篇 |
免费 | 4篇 |
专业分类
化学工业 | 36篇 |
机械仪表 | 6篇 |
矿业工程 | 1篇 |
轻工业 | 2篇 |
无线电 | 4篇 |
一般工业技术 | 12篇 |
冶金工业 | 2篇 |
自动化技术 | 9篇 |
出版年
2022年 | 5篇 |
2021年 | 3篇 |
2020年 | 4篇 |
2018年 | 1篇 |
2017年 | 3篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 8篇 |
2012年 | 5篇 |
2011年 | 3篇 |
2010年 | 4篇 |
2009年 | 7篇 |
2008年 | 3篇 |
2007年 | 5篇 |
2006年 | 1篇 |
2004年 | 2篇 |
2003年 | 1篇 |
2002年 | 1篇 |
2000年 | 1篇 |
1996年 | 1篇 |
1993年 | 1篇 |
1989年 | 1篇 |
1987年 | 1篇 |
1985年 | 2篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有72条查询结果,搜索用时 15 毫秒
61.
Swen Jacobs Viorica Sofronie-Stokkermans 《Electronic Notes in Theoretical Computer Science》2007,174(8):39
In this paper we show how hierarchical reasoning can be used to verify properties of complex systems. Chains of local theory extensions are used to model a case study taken from the European Train Control System (ETCS) standard, but considerably simplified. We show how testing invariants and bounded model checking (for safety properties expressed by universally quantified formulae, depending on certain parameters of the systems) can automatically be reduced to checking satisfiability of ground formulae over a base theory. 相似文献
62.
The goal of the present work was to examine the effects of bilingualism on adults’ ability to resolve cross-linguistic inconsistencies in orthography-to-phonology mappings during novel-word learning. English monolinguals and English–Spanish bilinguals learned artificially constructed novel words that overlapped with English orthographically but diverged from English phonologically. Native-language orthographic information presented during learning interfered with encoding of novel words in monolinguals but not in bilinguals. In general, bilinguals outperformed monolinguals on the word-learning task. These findings indicate that knowledge of 2 languages facilitates word learning and shields English–Spanish bilinguals from interference associated with cross-linguistic inconsistencies in letter-to-phoneme mappings. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
63.
Sean G. Deen Viorica F. Bondici Joseph Essilfie-Dughan M. Jim Hendry S. Lee Barbour 《Mine Water and the Environment》2018,37(4):825-838
Mobile selenium oxyanions (\({\text{S}}{{\text{e}}^{{\text{VI}}}}{\text{O}}_{4}^{{2 - }}\) and \({\text{S}}{{\text{e}}^{{\text{IV}}}}{\text{O}}_{3}^{{2 - }}\)) can be sequestered by biotic or abiotic reduction to non-mobile species or by adsorption to mineral surfaces. Microbial analyses and geochemical batch testing with samples collected from a coal waste rock dump in the Elk Valley, British Columbia, Canada were conducted to assess whether Se can be sequestered in anoxic, waste rock by these mechanisms. Bacteria that reduce Se(IV) and Se(VI) to Se(0) were isolated from the waste rock. Isolates that reduce Se(IV) to Se(0) were present in a water sample collected from an underlying rock drain. Three isolates were affiliated with Pseudomonas and Arthrobacter. One isolate was a putatively novel species. The production of Se(0) was confirmed by X-ray absorption near edge spectroscopy of a red precipitate isolated from a broth media containing rock-drain water. No adsorption or reduction of Se(VI) was observed in anoxic, abiotic (sterile) batch tests conducted with waste rock and a 1.0 mg/L Se(VI) solution, whereas Se(IV) was adsorbed by the waste rock and subsequently reduced to Se(0) in abiotic batch tests with a 0.7 mg/L Se(IV) solution. In non-sterile batch tests using waste rock and rock-drain water (0.39 mg/L Se(VI)), Se(VI) was biologically reduced to Se(IV), which was subsequently removed from solution by a combination of bioreduction, adsorption, and possibly abiotic reduction. This study suggests that, under anoxic conditions, Se sequestration in waste rock may occur via biotic reduction of Se(VI) to Se(IV) followed by adsorption of Se(IV) and abiotic and biotic reduction of Se(IV) to Se(0). 相似文献
64.
The purpose of this paper is to establish the experimental conditions for removal of several textile dyes from aqueous solutions by sorption on beech wood sawdust, an industrial waste lignocellulosic product. From the six dyes tested, the sorbent shows preference for three dyes: Direct Brown, Direct Brown 2 and Basic Blue 86. Sorption of dyes on the beech wood sawdust is dependent on the nature of dye, pH, dyes concentration, contact time, and amount of sorbent. By comparative kinetic studies, the rate of sorption was found to conform with good correlation to pseudo-second-order kinetics. The parameters that characterize the sorption were determined on the basis of Langmuir isotherms. The preference of beech sawdust for dyes increases as follows: Basic Blue 86相似文献
65.
Summary The utility of model rheological equations of state is now a well established question in case of polymeric materials. Using the viscoelastic operators method, we indicate the possibility to derive such equations on the basis of mechanical models to be used for polymeric composite materials. 相似文献
66.
Viorica Sofronie-Stokkermans 《Annals of Mathematics and Artificial Intelligence》2007,49(1-4):221-252
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem proving. We present several classes of non-classical logics, many of which are of great practical relevance in knowledge representation, which can be translated into tractable and relatively simple fragments of classical logic. In this context, we show that refinements of resolution can often be used successfully for automated theorem proving, and in many interesting cases yield optimal decision procedures. 相似文献
67.
New functional epoxy resins were prepared by the reaction of dialyldiglycicylbisphenol A (DADGBPA) with diaminodiphenylmethane. DADGBPA was prepared by reaction of o,o′-diallylbisphenol A with epichlorhydrine. By reaction of functional epoxy resins with bismaleimides, new epoxy-bismaleimide resins with good thermostability were obtained. The thermal properties of epoxy resins and epoxy-bismaleimide resins were determined by DSC and TGA measurements. 相似文献
68.
Constantin Gaina Oana Ursache Viorica Gaina 《Polymer-Plastics Technology and Engineering》2013,52(7):712-718
Novel re-mendable polyurethanes were prepared by the Diels-Alder cycloaddition reaction of urethane bismaleimides to bisfuryl monomers. The urethane bismaleimides were synthesized by an addition reaction of 4-maleimidophenylisocyanate to macrodiols, such as polycaprolactone diol (Mn ? 1250 and 2000), PEA-2000 and PBA-2000. The bisfuryl monomers were obtained by the reaction of 2-furfuryl alcohol with hexamethylene diisocyanate or by open-ring reaction of the oxirane ring from diglycidyl bisphenol A with furfuryl amine. 相似文献
69.
Airinei A Fifere N Homocianu M Gaina C Gaina V Simionescu BC 《International journal of molecular sciences》2011,12(9):6176-6193
Novel polythioetherimides bearing azobenzene moieties were synthesized from azobismaleimides and bis-2-mercaptoethylether. Kinetics of trans-cis photoisomerization and of thermal conversion of cis to trans isomeric forms were investigated in both polymer solution and poly(methyl methacrylate) doped films using electronic absorption spectroscopy. Thermal recovery kinetics is well described by a two-exponential relation both in solution and polymer matrix, while that of low molecular weight azobismaleimide fit a first-order equation. The photoinduced cis-trans isomerization by visible light of azobenzene chromophores was examined in solution and in polymer films. The rate of photoinduced recovery was very high for azobismaleimides. 相似文献
70.
Simona Cavalu Florin Banica Viorica Simon Ipek Akin Gultekin Goller 《International Journal of Applied Ceramic Technology》2014,11(2):402-411
The aim of this study was to prepare and to characterize the structure of Al2O3–3YSZ composites with 5% TiO2 addition as well as the surface modification upon treatments with SnF2 and NaBF4, respectively. SEM micrographs showed the controlled densification of the composites as an effect of 3YSZ and TiO2 addition to alumina matrix. By FTIR and XRD, the characteristics of Al‐O and Zr‐O vibrations, respectively, the diffractions lines related to α‐corundum and zirconia in tetragonal phase were discussed. Qualitative and quantitative results obtained by XPS and ATR FTIR demonstrated that the proposed materials are more sensitive to SnF2 than to NaBF4 treatment. 相似文献