全文获取类型
收费全文 | 1939篇 |
免费 | 36篇 |
国内免费 | 6篇 |
专业分类
电工技术 | 12篇 |
综合类 | 1篇 |
化学工业 | 243篇 |
金属工艺 | 22篇 |
机械仪表 | 43篇 |
建筑科学 | 90篇 |
矿业工程 | 6篇 |
能源动力 | 55篇 |
轻工业 | 193篇 |
水利工程 | 14篇 |
石油天然气 | 4篇 |
无线电 | 209篇 |
一般工业技术 | 265篇 |
冶金工业 | 625篇 |
原子能技术 | 26篇 |
自动化技术 | 173篇 |
出版年
2023年 | 15篇 |
2022年 | 19篇 |
2021年 | 26篇 |
2020年 | 25篇 |
2019年 | 28篇 |
2018年 | 21篇 |
2017年 | 22篇 |
2016年 | 34篇 |
2015年 | 16篇 |
2014年 | 35篇 |
2013年 | 74篇 |
2012年 | 53篇 |
2011年 | 78篇 |
2010年 | 54篇 |
2009年 | 36篇 |
2008年 | 55篇 |
2007年 | 69篇 |
2006年 | 62篇 |
2005年 | 51篇 |
2004年 | 42篇 |
2003年 | 47篇 |
2002年 | 48篇 |
2001年 | 46篇 |
2000年 | 36篇 |
1999年 | 47篇 |
1998年 | 155篇 |
1997年 | 119篇 |
1996年 | 72篇 |
1995年 | 42篇 |
1994年 | 43篇 |
1993年 | 30篇 |
1992年 | 22篇 |
1991年 | 20篇 |
1990年 | 20篇 |
1989年 | 17篇 |
1988年 | 20篇 |
1987年 | 15篇 |
1986年 | 22篇 |
1985年 | 24篇 |
1984年 | 27篇 |
1983年 | 13篇 |
1982年 | 19篇 |
1981年 | 18篇 |
1980年 | 25篇 |
1979年 | 15篇 |
1978年 | 13篇 |
1977年 | 33篇 |
1976年 | 42篇 |
1975年 | 14篇 |
1974年 | 18篇 |
排序方式: 共有1981条查询结果,搜索用时 15 毫秒
41.
Eva Rose 《Journal of Automated Reasoning》2003,31(3-4):303-334
In this paper, we provide a theoretical foundation for and improvements to the existing bytecode verification technology, a critical component of the Java security model, for mobile code used with the Java “micro edition” (J2ME), which is intended for embedded computing devices. In Java, remotely loaded “bytecode” class files are required to be bytecode verified before execution, that is, to undergo a static type analysis that protects the platform's Java run-time system from so-called type confusion attacks such as pointer manipulation. The data flow analysis that performs the verification, however, is beyond the capacity of most embedded devices because of the memory requirements that the typical algorithm will need. We propose to take a proof-carrying code approach to data flow analysis in defining an alternative technique called “lightweight analysis” that uses the notion of a “certificate” to reanalyze a previously analyzed data flow problem, even on poorly resourced platforms. We formally prove that the technique provides the same guarantees as standard bytecode safety verification analysis, in particular that it is “tamper proof” in the sense that the guarantees provided by the analysis cannot be broken by crafting a “false” certificate or by altering the analyzed code. We show how the Java bytecode verifier fits into this framework for an important subset of the Java Virtual Machine; we also show how the resulting “lightweight bytecode verification” technique generalizes and simulates the J2ME verifier (to be expected as Sun's J2ME “K-Virtual machine” verifier was directly based on an early version of this work), as well as Leroy's “on-card bytecode verifier,” which is specifically targeted for Java Cards. 相似文献
42.
Rose Nathan S.; Rendell Peter G.; McDaniel Mark A.; Aberle Ingo; Kliegel Matthias 《Canadian Metallurgical Quarterly》2010,25(3):595
Young (ages 18–22 years) and older (ages 61–87 years) adults (N = 106) played the Virtual Week board game, which involves simulating common prospective memory (PM) tasks of everyday life (e.g., taking medication), and performed working memory (WM) and vigilance tasks. The Virtual Week game includes regular (repeated) and irregular (nonrepeated) PM tasks with cues that are either more or less focal to other ongoing activities. Age differences in PM were reduced for repeated tasks, and performance improved over the course of the week, suggesting retrieval was more spontaneous or habitual. Correlations with WM within each age group were reduced for PM tasks that had more regular or focal cues. WM (but not vigilance) ability was a strong predictor of irregular PM tasks with less focal cues. Taken together, these results support the hypothesis that habitual and focally cued PM tasks are less demanding of attentional resources (specifically, WM), whereas tasks that are more demanding of controlled attentional processes produce larger age differences, which may be attributable to individual differences in WM. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
43.
Gerald Nwosu Shilpa B. Reddy Heather Rose Mead Riordan Jing-Qiong Kang 《International journal of molecular sciences》2022,23(17)
Mutations in GABAA receptor subunit genes (GABRs) are a major etiology for developmental and epileptic encephalopathies (DEEs). This article reports a case of a genetic abnormality in GABRG2 and updates the pathophysiology and treatment development for mutations in DEEs based on recent advances. Mutations in GABRs, especially in GABRA1, GABRB2, GABRB3, and GABRG2, impair GABAergic signaling and are frequently associated with DEEs such as Dravet syndrome and Lennox–Gastaut syndrome, as GABAergic signaling is critical for early brain development. We here present a novel association of a microdeletion of GABRG2 with a diagnosed DEE phenotype. We characterized the clinical phenotype and underlying mechanisms, including molecular genetics, EEGs, and MRI. We then compiled an update of molecular mechanisms of GABR mutations, especially the mutations in GABRB3 and GABRG2 attributed to DEEs. Genetic therapy is also discussed as a new avenue for treatment of DEEs through employing antisense oligonucleotide techniques. There is an urgent need to define treatment targets and explore new treatment paradigms for the DEEs, as early deployment could alleviate long-term disabilities and improve quality of life for patients. This study highlights biomolecular targets for future therapeutic interventions, including via both pharmacological and genetic approaches. 相似文献
44.
Schlosser W Hogue A Ebel E Rose B Umholtz R Ferris K James W 《International journal of food microbiology》2000,58(1-2):107-111
In July 1996, the US Department of Agriculture (USDA), Food Safety and Inspection Service (FSIS), published the Pathogen Reduction; Hazard Analysis and Critical Control Point (HACCP) Systems final rule to improve food safety of meat and poultry products. The final rule established, among other requirements, pathogen reduction performance standards for Salmonella for food animal carcasses and raw ground products. The final rule is to be fully implemented in three stages in successively smaller federally inspected meat and poultry slaughter and processing establishments. Implementation began in January 1998 and was completed in January 2000. Samples of carcasses of four species of food animals (cattle, swine, chickens, turkeys), and raw ground product from each of these species, were collected by FSIS from establishments prior to implementation of the final rule and cultured for Salmonella. This paper reports Salmonella serotype results of samples collected from June 1997 through August 1998. These results represent a baseline for future comparisons. 相似文献
45.
Traoré SG Bonfoh B Krabi R Odermatt P Utzinger J Rose KN Tanner M Frey J Quilici ML Koussémon M 《Journal of food protection》2012,75(6):1004-1011
The purpose of this study was to assess the risk of Vibrio spp. transmission from crustaceans to humans in two coastal towns of C?te d'Ivoire. Bacteriologic analysis was performed on 322 crustacean samples obtained from six markets in Abidjan and one in Dabou. Suspected Vibrio colonies were identified by morphological, cultural, biochemical, and molecular tests and matrix-assisted laser desorption ionization-time-of-flight mass spectrometry. PCR assays were used to further characterize Vibrio strains. A survey on consumption of crustaceans was conducted among 120 randomly selected households in Abidjan. Overall, Vibrio spp. were isolated from 7.8% of the crustacean samples studied, at levels as high as 6.3 log CFU/g. Of the Vibrio strains identified, 40% were V. alginolyticus, 36% were V. parahaemolyticus, and 24% were nontoxigenic V. cholerae; the latter two species can cause mild to severe forms of seafood-associated gastroenteritis. Among interviewed households, 11.7% reported daily consumption of crustaceans, confirming the high probability of exposure of human population to Vibrio spp., and 7.5% reported symptoms of food poisoning after consumption of crustaceans. The absence of genes encoding major virulence factors in the studied strains, i.e., cholera toxin (ctxA and ctxB) in V. cholerae and thermostable direct hemolysin (tdh) and thermostable direct hemolysin-related hemolysin (trh) in V. parahaemolyticus, does not exclude the possibility of exposure to pathogenic strains. However, human infections are not common because most households (96.7%) boil crustaceans, usually for at least 45 min (85.9% of households) before consumption. 相似文献
46.
47.
Today parametric associative CAD systems must help companies to create more efficient virtual development processes. While dealing with complex parts (e.g. the number of surfaces of the solid) no CAD modeling methodology is existing. Based on the analysis of industrial designers' practices as well as student practices on CAD, we identified key factors that lead to better performance. Our objective in this article is to propose a practical method for complex parts modeling in parametric CAD system. An illustration of the performances and the results obtained by this method are presented comparing the traditional method with the proposed one while using an academic case and then an industrial case. 相似文献
48.
Joseph Godrich Peter Rose Molly Muleya Joanne Gould 《International Journal of Food Science & Technology》2023,58(1):279-289
This study was conducted to determine the effect that a popping head (like a rice cake machine), a low-shear and low-water processing technology, has on the concentration of antinutritional factors in chickpeas and red kidney beans. Seeds were popped under several parameters (popping time, sample format and equipment type) and analysed against soaking (1:5 w/v in reverse osmosis water for 24 h), roasting (100 g at 180 °C for 20 min) and boiling (1:5 w/v in reverse osmosis water at 100 ± 1 °C for 1 h) processes. Popping and roasting significantly reduced phytic acid content in chickpeas (6%–22%) and red kidney beans (16%–39%). In contrast, phytic acid content after soaking and boiling was not significantly different to raw seeds. Condensed tannins were significantly reduced in red kidney beans after soaking (74%), boiling (100%) and 4 s popping (28%–42%) treatments and increased in both pulses after roasting (137%) and 8 s popping (21%–47%). Further analysis showed that the soluble phenolic content increased with popping, but total and bound phenolic content was reduced. These results demonstrate that the high temperatures and pressures applied during the popping process effectively reduce antinutritional factors in pulses, compared to conventional processing methods. 相似文献
49.
Fernandes A Dicks P Mortimer D Gem M Smith F Driffield M White S Rose M 《Molecular nutrition & food research》2008,52(2):238-249
The most commonly consumed shellfish species produced in Scotland - mussels, oysters and scallops - were investigated for the occurrence of a range of brominated and chlorinated contaminants in order to establish current levels and estimate human dietary exposure. Flesh from individual sub-samples was representatively pooled and 35 composites were analysed for brominated and chlorinated dioxins (PBDD/Fs, PCDD/Fs), brominated and chlorinated biphenyls (PBBs, PCBs), polybrominated diphenyl ethers (PBDEs), hexabromocyclododecanes (HBCDs) and tetrabromobisphenol A (TBBPA). The analytical methodology used (13)C(12) labelled surrogates of the target compounds, with GC coupled to (usually) high resolution MS, and LC-MS/MS for HBCD and TBBPA analysis. Positive identifications were made in the majority of samples for most analytes with the exception of TBBPA and most PBDD congeners measured. None of the levels detected for PCDD/F and PCB were above the maximum permitted levels specified in European Union regulations. The levels of brominated furans predominated over brominated dioxins, reflecting the environmental distribution and source emission profiles of these contaminants, and relatively high levels of the tri-brominated congeners were observed. Levels of the flame retardant chemicals reflected current and legacy use, with appreciable concentrations of PBDEs and HBCDs (predominantly alpha-HBCD) but far lower levels of PBBs. TBBPA was not detected in any of the species. In general, mussels and oysters displayed relatively higher levels of contamination than scallops, although the gonad tissue of the latter showed significant levels of brominated dioxins. The estimated adult dietary intakes of PCDD/Fs and PCBs arising from the consumption of a typical portion of these foods in combination with an otherwise average UK diet were in the range 0.5-0.6 pg World Health Organisation (WHO)-toxic equivalent (TEQ)(2005)/kg bodyweight per day. These estimated dietary intakes are well within the Tolerable Daily Intake for dioxins and dioxin-like PCBs of 2 pg WHO-TEQ(2005)/kg bodyweight/day endorsed by the independent expert Committee on Toxicology of Chemicals in Food, Consumer Products and the Environment. The corresponding intakes for sumPBDEs and sumHBCDs were 5.6-6.1 and 5.9-7.9 ng/kg bodyweight/day respectively. 相似文献
50.
Lars Mönch John W. Fowler Stéphane Dauzère-Pérès Scott J. Mason Oliver Rose 《Journal of Scheduling》2011,14(6):583-599
In this paper, we discuss scheduling problems in semiconductor manufacturing. Starting from describing the manufacturing process,
we identify typical scheduling problems found in semiconductor manufacturing systems. We describe batch scheduling problems,
parallel machine scheduling problems, job shop scheduling problems, scheduling problems with auxiliary resources, multiple
orders per job scheduling problems, and scheduling problems related to cluster tools. We also present important solution techniques
that are used to solve these scheduling problems by means of specific examples, and report on known implementations. Finally,
we summarize some of the challenges in scheduling semiconductor manufacturing operations. 相似文献