全文获取类型
收费全文 | 629篇 |
免费 | 44篇 |
专业分类
电工技术 | 3篇 |
综合类 | 4篇 |
化学工业 | 179篇 |
金属工艺 | 10篇 |
机械仪表 | 7篇 |
建筑科学 | 31篇 |
矿业工程 | 1篇 |
能源动力 | 6篇 |
轻工业 | 72篇 |
水利工程 | 6篇 |
无线电 | 24篇 |
一般工业技术 | 102篇 |
冶金工业 | 130篇 |
原子能技术 | 4篇 |
自动化技术 | 94篇 |
出版年
2023年 | 11篇 |
2022年 | 7篇 |
2021年 | 24篇 |
2020年 | 20篇 |
2019年 | 10篇 |
2018年 | 23篇 |
2017年 | 17篇 |
2016年 | 22篇 |
2015年 | 13篇 |
2014年 | 30篇 |
2013年 | 23篇 |
2012年 | 28篇 |
2011年 | 43篇 |
2010年 | 29篇 |
2009年 | 25篇 |
2008年 | 29篇 |
2007年 | 25篇 |
2006年 | 25篇 |
2005年 | 21篇 |
2004年 | 11篇 |
2003年 | 6篇 |
2002年 | 9篇 |
2001年 | 7篇 |
2000年 | 8篇 |
1999年 | 8篇 |
1998年 | 24篇 |
1997年 | 24篇 |
1996年 | 13篇 |
1995年 | 7篇 |
1994年 | 16篇 |
1993年 | 11篇 |
1992年 | 6篇 |
1991年 | 4篇 |
1987年 | 3篇 |
1986年 | 4篇 |
1985年 | 3篇 |
1984年 | 3篇 |
1983年 | 4篇 |
1982年 | 5篇 |
1981年 | 5篇 |
1980年 | 9篇 |
1979年 | 3篇 |
1977年 | 4篇 |
1976年 | 3篇 |
1974年 | 3篇 |
1973年 | 5篇 |
1972年 | 3篇 |
1971年 | 6篇 |
1963年 | 4篇 |
1960年 | 3篇 |
排序方式: 共有673条查询结果,搜索用时 31 毫秒
1.
Dr. Kathrin Schindl Dr. Deepika Sharma Prof. Dr. Dieter Spiteller 《Chembiochem : a European journal of chemical biology》2020,21(21):3151-3157
When Streptomyces violaceoruber grows together with Streptomyces sp. MG7-G1, it reacts with strongly induced droplet production on its aerial mycelium. Initially the metabolite profile of droplets from S. violaceoruber in co-culture with Streptomyces sp. MG7-G1 was compared to samples from S. violaceoruber in single-culture by using high-performance liquid chromatography-mass spectrometry (HPLC-MS). Then, the exudate from agar plates of co-cultures and single cultures (after freezing and thawing) was also analysed. Several compounds were only observed when S. violaceoruber was grown in co-culture. Based on their high-resolution ESI mass spectra and their comparable retention times to the calcium-dependent antibiotics (CDAs) produced by S. violaceoruber, the new compounds were suspected to be deacylated calcium-dependent antibiotics (daCDAs), lacking the 2,3-epoxyhexanoyl residue of CDAs. This was verified by detailed analysis of the MS/MS spectra of the daCDAs in comparison to the CDAs. The major CDA compounds present in calcium ion-supplemented agar medium of co-cultures were daCDAs, thus suggesting that Streptomyces sp. MG7-G1 expresses a deacylase that degrades CDAs. 相似文献
2.
G. Kirchner Mag. 《e & i Elektrotechnik und Informationstechnik》2002,119(10):353-354
Ohne Zusammenfassung
Kurzfassung eines Vortrags der 40. Fachtagung der ?sterreichischen Gesellschaft für Energietechnik (OGE) im OVE, die am 7.
und 8. November 2002 in Wien stattfindet 相似文献
3.
4.
Jan Behmann Kathrin Hendriksen Ute Müller Wolfgang Büscher Lutz Plümer 《GeoInformatica》2016,20(4):693-714
Tracking the spatio-temporal activity is highly relevant for domains like security, health, and quality management. Since animal welfare became a topic in politics and legislation locomotion patterns of livestock have received increasing interest. In contrast to the monitoring of pedestrians cattle activity tracking poses special challenges to both sensors and data analysis. Interesting states are not directly observable by a single sensor. In addition, sensors must be accepted by cattle and need to be robust enough to cope with a rough environment. In this article, we introduce the novel combination of heart rate and positioning sensors. Attached to neck and chest they are less interfering than accelerometers at the ankles. Exploiting the potential of such combined sensor system that records locomotion and non-spatial information from the heart rate sensor however is challenging. We introduce a novel two level method for the activity tracking focused on the duration and sequence of activity states. We combine Support Vector Machine (SVM) with Conditional Random Field (CRF) and extend Conditional Random fields by an explicit representation of duration. The SVM characterizes local activity states, whereas the CRF addresses sequences of local states to sequences incorporating spatial and non-spatial contextual knowledge. This combination provides a reliable and comprehensive identification of defined activity patterns, as well as their chronology and durations, suitable for the integration in an activity data base. This data base is used to extract physiological parameters and promises insights into internal states such as fitness, well-being and stress. Interestingly we were able to demonstrate a significant correlation between resting pulse rate and the day of pregnancy. 相似文献
5.
Degradation of the lower chlorinated ethenes is crucial to the application of natural attenuation or in situ bioremediation on chlorinated ethene contaminated sites. Recently, within mixtures of several chloroethenes as they can occur in contaminated groundwater inhibiting effects on aerobic chloroethene degradation have been shown. The current study demonstrated that metabolic vinyl chloride (VC) degradation by an enrichment culture originating from groundwater was not affected by an equimolar concentration (50 μM) of cis-1,2-dichloroethene (cDCE). Only cDCE concentrations at a ratio of 2.4:1 (initial cDCE to VC concentration) caused minor inhibition of VC degradation. Furthermore, the degradation of VC was not affected by the presence of trans-1,2-dichloroethene (tDCE), 1,1-dichloroethene (1,1-DCE), trichloroethene (TCE), and tetrachloroethene (PCE) in equimolar concentrations (50 μM). Only cDCE and tDCE were cometabolically degraded in small amounts. The VC-degrading culture demonstrated a broad pH tolerance from 5 to 9 with an optimum between 6 and 7. Results also showed that the culture could degrade VC concentrations up to 1,800 μM (110 mg/L). 相似文献
6.
Duc-Khanh Tran Christophe Ringeissen Silvio Ranise Hélène Kirchner 《Journal of Symbolic Computation》2010
Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories. 相似文献
7.
Deduction modulo is a way to combine computation and deduction in proofs, by applying the inference rules of a deductive system (e.g. natural deduction or sequent calculus) modulo some congruence that we assume here to be presented by a set of rewrite rules. Using deduction modulo is equivalent to proving in a theory corresponding to the rewrite rules, and leads to proofs that are often shorter and more readable. However, cuts may be not admissible anymore.We define a new system, the unfolding sequent calculus, and prove its equivalence with the sequent calculus modulo, especially w.r.t. cut-free proofs. It permits to show that it is even undecidable to know if cuts can be eliminated in the sequent calculus modulo a given rewrite system.Then, to recover the cut admissibility, we propose a procedure to complete the rewrite system such that the sequent calculus modulo the resulting system admits cuts. This is done by generalizing the Knuth–Bendix completion in a non-trivial way, using the framework of abstract canonical systems.These results enlighten the entanglement between computation and deduction, and the power of abstract completion procedures. They also provide an effective way to obtain systems admitting cuts, therefore extending the applicability of deduction modulo in automated theorem proving. 相似文献
8.
9.
Objective: Objective and subjective methods have been used in the past to assess workplace fatigue, but little is known about correlations between them. We examine correlations between subjective and objective measures, including measures collected in a workplace scenario. Methods: 15 young and 17 older participants were assessed before and after work with four types of fatigue measure: objective physical (posturography), objective mental (psychomotor vigilance task), subjective physical and mental (self-assessment), objective and subjective realistic (oculomotor behaviour, observer-rated facial expression, typing performance). Results: Pre- and post-test scores were analysed with an ANOVA, significant differences were submitted to a factor analysis. It yielded three factors: one representing posturography, the second self-rated mental and physical fatigue and the third observer-rated facial expression. Conclusions: Results advocate the existence of three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue.
Practitioner Summary: This study analyses correlations between different subjective and objective fatigue markers to better understand the complex nature of workplace fatigue. Measurements were conducted directly at the workplace. Results reveal that fatigue comprises three independent fatigue components: Objective physical fatigue, introspective and extrospective fatigue. 相似文献
10.
Process models describe someone’s understanding of processes. Processes can be described using unstructured, semi-formal or diagrammatic representation forms. These representations are used in a variety of task settings, ranging from understanding processes to executing or improving processes, with the implicit assumption that the chosen representation form will be appropriate for all task settings. We explore the validity of this assumption by examining empirically the preference for different process representation forms depending on the task setting and cognitive style of the user. Based on data collected from 120 business school students, we show that preferences for process representation formats vary dependent on application purpose and cognitive styles of the participants. However, users consistently prefer diagrams over other representation formats. Our research informs a broader research agenda on task-specific applications of process modeling. We offer several recommendations for further research in this area. 相似文献