首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   233919篇
  免费   35425篇
  国内免费   22410篇
电工技术   21784篇
技术理论   10篇
综合类   22690篇
化学工业   22796篇
金属工艺   6952篇
机械仪表   14364篇
建筑科学   11773篇
矿业工程   5372篇
能源动力   4548篇
轻工业   10070篇
水利工程   3856篇
石油天然气   5277篇
武器工业   2309篇
无线电   40857篇
一般工业技术   16738篇
冶金工业   6485篇
原子能技术   1794篇
自动化技术   94079篇
  2024年   1728篇
  2023年   4959篇
  2022年   10564篇
  2021年   11543篇
  2020年   9492篇
  2019年   7855篇
  2018年   7201篇
  2017年   8818篇
  2016年   10377篇
  2015年   11800篇
  2014年   16150篇
  2013年   15152篇
  2012年   16790篇
  2011年   16933篇
  2010年   13563篇
  2009年   14010篇
  2008年   14447篇
  2007年   16683篇
  2006年   14825篇
  2005年   13149篇
  2004年   10412篇
  2003年   9301篇
  2002年   7320篇
  2001年   5945篇
  2000年   4828篇
  1999年   3797篇
  1998年   2866篇
  1997年   2335篇
  1996年   1899篇
  1995年   1437篇
  1994年   1152篇
  1993年   813篇
  1992年   628篇
  1991年   445篇
  1990年   439篇
  1989年   346篇
  1988年   226篇
  1987年   156篇
  1986年   181篇
  1985年   173篇
  1984年   141篇
  1983年   119篇
  1982年   119篇
  1981年   83篇
  1980年   64篇
  1979年   39篇
  1966年   27篇
  1964年   40篇
  1962年   68篇
  1959年   34篇
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
2.
3.
介绍了目前最炙手可热的REST架构风格,该风格顺应Web2.0的兴起,完美的匹配了云计算时代来临的可扩展要求,在各种应用场景中都得到了充分的表现。根据其技术特点,分析了该风格的API在移动通信网络管理中的应用,从网管系统内部、网管系统之间以及网管系统与上层APP应用之间等多方面对是否适用于REST风格以及如何在合适的位置使用REST API进行了分析。  相似文献   
4.
The aim of the research is evaluating the classification performances of eight different machine-learning methods on the antepartum cardiotocography (CTG) data. The classification is necessary to predict newborn health, especially for the critical cases. Cardiotocography is used for assisting the obstetricians’ to obtain detailed information during the pregnancy as a technique of measuring fetal well-being, essentially in pregnant women having potential complications. The obstetricians describe CTG shortly as a continuous electronic record of the baby's heart rate took from the mother's abdomen. The acquired information is necessary to visualize unhealthiness of the embryo and gives an opportunity for early intervention prior to happening a permanent impairment to the embryo. The aim of the machine learning methods is by using attributes of data obtained from the uterine contraction (UC) and fetal heart rate (FHR) signals to classify as pathological or normal. The dataset contains 1831 instances with 21 attributes, examined by applying the methods. In the paper, the highest accuracy displayed as 99.2%.  相似文献   
5.
In this paper, novel computing approach using three different models of feed-forward artificial neural networks (ANNs) are presented for the solution of initial value problem (IVP) based on first Painlevé equation. These mathematical models of ANNs are developed in an unsupervised manner with capability to satisfy the initial conditions exactly using log-sigmoid, radial basis and tan-sigmoid transfer functions in hidden layers to approximate the solution of the problem. The training of design parameters in each model is performed with sequential quadratic programming technique. The accuracy, convergence and effectiveness of the proposed schemes are evaluated on the basis of the results of statistical analyses through sufficient large number of independent runs with different number of neurons in each model as well. The comparisons of these results of proposed schemes with standard numerical and analytical solutions validate the correctness of the design models.  相似文献   
6.
Although greedy algorithms possess high efficiency, they often receive suboptimal solutions of the ensemble pruning problem, since their exploration areas are limited in large extent. And another marked defect of almost all the currently existing ensemble pruning algorithms, including greedy ones, consists in: they simply abandon all of the classifiers which fail in the competition of ensemble selection, causing a considerable waste of useful resources and information. Inspired by these observations, an interesting greedy Reverse Reduce-Error (RRE) pruning algorithm incorporated with the operation of subtraction is proposed in this work. The RRE algorithm makes the best of the defeated candidate networks in a way that, the Worst Single Model (WSM) is chosen, and then, its votes are subtracted from the votes made by those selected components within the pruned ensemble. The reason is because, for most cases, the WSM might make mistakes in its estimation for the test samples. And, different from the classical RE, the near-optimal solution is produced based on the pruned error of all the available sequential subensembles. Besides, the backfitting step of RE algorithm is replaced with the selection step of a WSM in RRE. Moreover, the problem of ties might be solved more naturally with RRE. Finally, soft voting approach is employed in the testing to RRE algorithm. The performances of RE and RRE algorithms, and two baseline methods, i.e., the method which selects the Best Single Model (BSM) in the initial ensemble, and the method which retains all member networks of the initial ensemble (ALL), are evaluated on seven benchmark classification tasks under different initial ensemble setups. The results of the empirical investigation show the superiority of RRE over the other three ensemble pruning algorithms.  相似文献   
7.
The effect of SO2 gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH3) over a TiO2 photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO2 (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO2 gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N2 adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.  相似文献   
8.
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.  相似文献   
9.
CAN-BUS系统自问世以来,已将近30年,当代各品牌车辆纷纷采用,但大部分技术人员对CAN总线系统既熟悉又陌生。经常能听到,但具体操作又显得有些力不从心。本文通过对奇瑞A3品牌轿车CAN总线的巧妙应用,引导大家进一步理解和应用CAN总线。  相似文献   
10.
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.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号