首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   62929篇
  免费   7834篇
  国内免费   6248篇
电工技术   5300篇
技术理论   9篇
综合类   6732篇
化学工业   1546篇
金属工艺   919篇
机械仪表   3883篇
建筑科学   2946篇
矿业工程   1644篇
能源动力   839篇
轻工业   827篇
水利工程   1481篇
石油天然气   3054篇
武器工业   827篇
无线电   9429篇
一般工业技术   3086篇
冶金工业   1204篇
原子能技术   775篇
自动化技术   32510篇
  2024年   327篇
  2023年   901篇
  2022年   1850篇
  2021年   2253篇
  2020年   2404篇
  2019年   1882篇
  2018年   1682篇
  2017年   2087篇
  2016年   2336篇
  2015年   2698篇
  2014年   4306篇
  2013年   3850篇
  2012年   4630篇
  2011年   4975篇
  2010年   3875篇
  2009年   3813篇
  2008年   4285篇
  2007年   4857篇
  2006年   4128篇
  2005年   3723篇
  2004年   3176篇
  2003年   2677篇
  2002年   2075篇
  2001年   1547篇
  2000年   1346篇
  1999年   971篇
  1998年   759篇
  1997年   618篇
  1996年   522篇
  1995年   472篇
  1994年   368篇
  1993年   266篇
  1992年   187篇
  1991年   183篇
  1990年   134篇
  1989年   113篇
  1988年   90篇
  1987年   73篇
  1986年   62篇
  1985年   88篇
  1984年   62篇
  1983年   75篇
  1982年   64篇
  1981年   42篇
  1980年   21篇
  1979年   37篇
  1978年   12篇
  1977年   21篇
  1976年   14篇
  1959年   8篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
探索采用数据可视化技术分析儿童用品TBT通报数据,以可视化图形图像呈现通报热点并揭示趋势信息,提出对策与建议,助力为儿童用品产业升级、TBT预警数据分析和信息传播工作提供新思路,提高中小企业的国外市场准入机会。  相似文献   
2.
本文以云杉八齿小蠹Ips typographus Linnaeus为例,经标本选取,观察虫体整体形态,绘制整体结构草图,电子显微镜观察局部、得到局部数字图像,分别建立虫体每一部分的高精度细节。把模型每部分拼装在一起组成整体模型,构建出了云杉八齿小蠹三维虚拟昆虫数字化模型。  相似文献   
3.
4.
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.  相似文献   
5.
6.
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.  相似文献   
7.
针对谱聚类融合模糊C-means(FCM)聚类的蛋白质相互作用(PPI)网络功能模块挖掘方法准确率不高、执行效率较低和易受假阳性影响的问题,提出一种基于模糊谱聚类的不确定PPI网络功能模块挖掘(FSC-FM)方法。首先,构建一个不确定PPI网络模型,使用边聚集系数给每一条蛋白质交互作用赋予一个存在概率测度,克服假阳性对实验结果的影响;第二,利用基于边聚集系数流行距离(FEC)策略改进谱聚类中的相似度计算,解决谱聚类算法对尺度参数敏感的问题,进而利用谱聚类算法对不确定PPI网络数据进行预处理,降低数据的维数,提高聚类的准确率;第三,设计基于密度的概率中心选取策略(DPCS)解决模糊C-means算法对初始聚类中心和聚类数目敏感的问题,并对预处理后的PPI数据进行FCM聚类,提高聚类的执行效率以及灵敏度;最后,采用改进的边期望稠密度(EED)对挖掘出的蛋白质功能模块进行过滤。在酵母菌DIP数据集上运行各个算法可知,FSC-FM与基于不确定图模型的检测蛋白质复合物(DCU)算法相比,F-measure值提高了27.92%,执行效率提高了27.92%;与在动态蛋白质相互作用网络中识别复合物的方法(CDUN)、演化算法(EA)、医学基因或蛋白质预测算法(MGPPA)相比也有更高的F-measure值和执行效率。实验结果表明,在不确定PPI网络中,FSC-FM适合用于功能模块的挖掘。  相似文献   
8.
Saw-tooth chip changes from macroscopically continuous ribbon to separated segments with the increase of cutting speed. The aim of this study is to find the correlations between chip morphology and machined surface micro-topography at different chip serration stages encountered in high speed cutting. High strength alloy steel AerMet100 was employed in orthogonal cutting experiments to obtain chips at different serration stages and corresponding machined surfaces. The chips and machined surfaces obtained were then examined with optical microscope (OM), scanning electron microscope (SEM), and white light interferometer (WLI). The result shows that chip serration causes micro-waves on machined surface, which increases machined surface roughness. However, wave amplitudes (surface roughness) at different serration stages are different. The principal factor influencing wave amplitude is the thickness of the sawed segment (tooth) of saw-tooth chip. With cutting parameters in this study, surface roughness contributed by chip serration ranges from 0.39 μm to 1.85 μm. This may bring on serious problems in the case of trying to replace grinding with high-speed cutting in rough machining. Some suggestions have been proposed to control the chip serration-caused surface roughness in high-speed cutting based on the results of the current study.  相似文献   
9.
An engineered variant of the yeast Pichia pastoris was used to produce the potential malaria vaccine D1M1. This paper describes the implementation of an expanded bed adsorption chromatography step into a sequential cultivation process of the yeast in order to link protein expression, cell release, and product capture of the secreted protein in a fully automated plant. The process is operated with a semi-continuous strategy for an integrated production. Process improvements have been achieved using design of experiments. Resulting purities of product achieved up to 87% with recoveries of 51% in a single downstream operation. Furthermore, a multivariate analysis of historical batch data was used to develop a golden batch model for process monitoring.  相似文献   
10.
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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