全文获取类型
收费全文 | 28496篇 |
免费 | 4023篇 |
国内免费 | 3679篇 |
专业分类
电工技术 | 3466篇 |
综合类 | 2941篇 |
化学工业 | 1413篇 |
金属工艺 | 572篇 |
机械仪表 | 2523篇 |
建筑科学 | 1232篇 |
矿业工程 | 328篇 |
能源动力 | 736篇 |
轻工业 | 365篇 |
水利工程 | 420篇 |
石油天然气 | 487篇 |
武器工业 | 454篇 |
无线电 | 4668篇 |
一般工业技术 | 1712篇 |
冶金工业 | 512篇 |
原子能技术 | 145篇 |
自动化技术 | 14224篇 |
出版年
2024年 | 208篇 |
2023年 | 566篇 |
2022年 | 773篇 |
2021年 | 883篇 |
2020年 | 1024篇 |
2019年 | 986篇 |
2018年 | 927篇 |
2017年 | 1091篇 |
2016年 | 1195篇 |
2015年 | 1329篇 |
2014年 | 1864篇 |
2013年 | 2015篇 |
2012年 | 1999篇 |
2011年 | 2477篇 |
2010年 | 1756篇 |
2009年 | 1771篇 |
2008年 | 1877篇 |
2007年 | 2033篇 |
2006年 | 1823篇 |
2005年 | 1537篇 |
2004年 | 1341篇 |
2003年 | 1241篇 |
2002年 | 911篇 |
2001年 | 802篇 |
2000年 | 622篇 |
1999年 | 553篇 |
1998年 | 493篇 |
1997年 | 416篇 |
1996年 | 334篇 |
1995年 | 290篇 |
1994年 | 205篇 |
1993年 | 173篇 |
1992年 | 167篇 |
1991年 | 106篇 |
1990年 | 93篇 |
1989年 | 83篇 |
1988年 | 57篇 |
1987年 | 19篇 |
1986年 | 22篇 |
1985年 | 22篇 |
1984年 | 29篇 |
1983年 | 20篇 |
1982年 | 15篇 |
1981年 | 13篇 |
1980年 | 9篇 |
1979年 | 6篇 |
1978年 | 5篇 |
1977年 | 3篇 |
1976年 | 3篇 |
1960年 | 3篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
2.
This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency. 相似文献
3.
Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC+). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC+ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC+ model into an ARCTL model and CTLKC+ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC+ to another logic of action called GCTL1, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up. 相似文献
4.
Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities. 相似文献
5.
《Planning》2015,(3)
为了培养青年医师运用医学科普语言传播医学知识的能力,向社会提供更优质、可及的健康知识,改善医患关系,促进社会和谐;同时出于向社区、媒体推送一批优秀青年医学科普人才的考虑,本文在总结北京协和医院培养青年医务人员医学科普能力经验的基础上,尝试构建一套适合大型公立医院(尤其是教学医院)培养青年医务人员医学科普能力的新模式——“科普训练营”。本文旨在系统介绍该模式的产生背景、实践经验及初期效果,阐释实施后的重要意义,及实施过程中的挑战与应对策略。 相似文献
6.
为了减小传统的最差情况设计方法引入的电压裕量,提出了一种变化可知的自适应电压缩减(AVS)技术,通过调整电源电压来降低电路功耗.自适应电压缩减技术基于检测关键路径的延时变化,基于此设计了一款预错误原位延时检测电路,可以检测关键路径延时并输出预错误信号,进而控制单元可根据反馈回的预错误信号的个数调整系统电压.本芯片采用SMIC180 nm工艺设计验证,仿真分析表明,采用自适应电压缩减技术后,4个目标验证电路分别节省功耗12.4%,11.3%,10.4%和11.6%. 相似文献
7.
Innumerable casualties due to intrauterine hypoxia are a major worry during prenatal phase besides advanced patient monitoring with latest science and technology. Hence, the analysis of foetal electrocardiogram (fECG) signals is very vital in order to evaluate the foetal heart status for timely recognition of cardiac abnormalities. Regrettably, the latest technology in the cutting edge field of biomedical signal processing does not seem to yield the desired quality of fECG signals required by physicians, which is the major cause for the pathetic condition. The focus of this work is to extort non-invasive fECG signal with highest possible quality with a motive to support physicians in utilizing the methodology for the latest intrapartum monitoring technique called STAN (ST analysis) for forecasting intrapartum foetal hypoxia. However, the critical quandary is that the non-invasive fECG signals recorded from the maternal abdomen are affected by several interferences like power line interference, baseline drift interference, electrode motion interference, muscle movement interference and the maternal electrocardiogram (mECG) being the dominant interference. A novel hybrid methodology called BANFIS (Bayesian adaptive neuro fuzzy inference system) is proposed. The BANFIS includes a Bayesian filter and an adaptive neuro fuzzy filter for mECG elimination and non-linear artefacts removal to yield high quality fECG signal. Kalman filtering frame work has been utilized to estimate the nonlinear transformed mECG component in the abdominal electrocardiogram (aECG). The adaptive neuro fuzzy filter is employed to discover the nonlinearity of the nonlinear transformed version of mECG and to align the estimated mECG signal with the maternal component in the aECG signal for annulment. The outcomes of the investigation by the proposed BANFIS system proved valuable for STAN system for efficient prediction of foetal hypoxia. 相似文献
8.
Namyong Kim 《ETRI Journal》2006,28(2):155-161
In this paper, we introduce an escalator (ESC) algorithm based on the least squares (LS) criterion. The proposed algorithm is relatively insensitive to the eigenvalue spread ratio (ESR) of an input signal and has a faster convergence speed than the conventional ESC algorithms. This algorithm exploits the fast adaptation ability of least squares methods and the orthogonalization property of the ESC structure. From the simulation results, the proposed algorithm shows superior convergence performance. 相似文献
9.
10.
根据Flether等人的研究,基于感知独立性假设的子带识别方法被用于抗噪声鲁棒语音识别。本文拓展子带方法,采用基于噪声污染假定的多带框架来减少噪声影响。论文不仅从理论上分析了噪声污染假定多带框架在识别性能上的潜在优势,而且提出了多带环境下的鲁棒语音识别算法。研究表明:多带框架不仅回避了独立感知假设要求,而且与子带方法相比,多带方法能更好的减少噪声影响,提高系统识别性能。 相似文献