首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9403篇
  免费   1412篇
  国内免费   828篇
电工技术   608篇
综合类   809篇
化学工业   125篇
金属工艺   116篇
机械仪表   535篇
建筑科学   257篇
矿业工程   100篇
能源动力   98篇
轻工业   119篇
水利工程   142篇
石油天然气   90篇
武器工业   61篇
无线电   1051篇
一般工业技术   618篇
冶金工业   375篇
原子能技术   115篇
自动化技术   6424篇
  2025年   142篇
  2024年   358篇
  2023年   376篇
  2022年   499篇
  2021年   486篇
  2020年   472篇
  2019年   354篇
  2018年   289篇
  2017年   316篇
  2016年   385篇
  2015年   385篇
  2014年   539篇
  2013年   499篇
  2012年   656篇
  2011年   653篇
  2010年   585篇
  2009年   579篇
  2008年   637篇
  2007年   651篇
  2006年   500篇
  2005年   499篇
  2004年   337篇
  2003年   261篇
  2002年   206篇
  2001年   161篇
  2000年   140篇
  1999年   107篇
  1998年   71篇
  1997年   65篇
  1996年   62篇
  1995年   60篇
  1994年   50篇
  1993年   44篇
  1992年   39篇
  1991年   27篇
  1990年   18篇
  1989年   24篇
  1988年   12篇
  1987年   7篇
  1986年   16篇
  1985年   16篇
  1984年   5篇
  1983年   3篇
  1982年   5篇
  1980年   5篇
  1979年   6篇
  1964年   7篇
  1962年   3篇
  1961年   4篇
  1960年   5篇
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
1.
幽默产品和幽默语言、动作、漫画等一样能使人在心理上达到一种愉悦状态,因此,幽默化产品的特征与汉语中的幽默语义在本质上是相同的。本文从幽默一词的语义入手,总结幽默语言的特征和技巧,然后把这些特征应用于幽默产品,借助语言学、文学和心理学等方面的知识,总结幽默产品之所以幽默的语义特征。  相似文献   
2.
3.
This paper describes the evaluation of a WSD method withinSENSEVAL. This method is based on Semantic Classification Trees (SCTs)and short context dependencies between nouns and verbs. The trainingprocedure creates a binary tree for each word to be disambiguated. SCTsare easy to implement and yield some promising results. The integrationof linguistic knowledge could lead to substantial improvement.  相似文献   
4.
A new visual language, which is called ER-QBE and uses a conceptual model semantics, is proposed for the development of XML views. ER-QBE is based on graph queries that are trees of parametric SQL queries. The ER-QBE language is characterized by formally proved completeness, its expressiveness is higher than that of well-known alternatives, and it supports both relational and object-relational databases. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 171–183, March–April 2008.  相似文献   
5.
《国际计算机数学杂志》2012,89(3-4):201-212
This paper is the second of a two-part series exploring the subtle correctness criterion of the absence of livelocks in parallel programs. In this paper we are concerned with the issue of proving this correctness criterion. It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks. Two applicable proof techniques are also presented. One is based on the notion of establishing sufficient conditions for livelock-freedom; the other is an extension of the well-founded set method for proving termination in sequential programs.  相似文献   
6.
由于文化差异的存在,文化阻隔和语义差异随处可见,存在于世界的每个角落,这就为翻译工作者造成了很大的障碍。通过对文化阻隔和语义差异的分析、研究,指出翻译时应当注意避免的问题。  相似文献   
7.
Word sense disambiguation automatically determines the appropriate senses of a word in context. We have previously shown that self-organized document maps have properties similar to a large-scale semantic structure that is useful for word sense disambiguation. This work evaluates the impact of different linguistic features on self-organized document maps for word sense disambiguation. The features evaluated are various qualitative features, e.g. part-of-speech and syntactic labels, and quantitative features, e.g. cut-off levels for word frequency. It is shown that linguistic features help make contextual information explicit. If the training corpus is large even contextually weak features, such as base forms, will act in concert to produce sense distinctions in a statistically significant way. However, the most important features are syntactic dependency relations and base forms annotated with part of speech or syntactic labels. We achieve 62.9% ± 0.73% correct results on the fine grained lexical task of the English SENSEVAL-2 data. On the 96.7% of the test cases which need no back-off to the most frequent sense we achieve 65.7% correct results.  相似文献   
8.
介绍了一个将参考模板存放在智能卡上的与相关的话者确认系统及其工作原理、相关算法和参数设置。  相似文献   
9.
An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.  相似文献   
10.
随着Web服务的发展,Web服务组合越来越显示出其必要性。文章分析了语义Web服务组合的特点,着重阐述了基于AI规划的语义Web服务组合方案。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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