全文获取类型
收费全文 | 5667篇 |
免费 | 123篇 |
国内免费 | 306篇 |
专业分类
系统科学 | 236篇 |
丛书文集 | 248篇 |
教育与普及 | 77篇 |
理论与方法论 | 102篇 |
现状及发展 | 46篇 |
综合类 | 5387篇 |
出版年
2024年 | 43篇 |
2023年 | 116篇 |
2022年 | 145篇 |
2021年 | 147篇 |
2020年 | 92篇 |
2019年 | 105篇 |
2018年 | 67篇 |
2017年 | 76篇 |
2016年 | 90篇 |
2015年 | 112篇 |
2014年 | 260篇 |
2013年 | 258篇 |
2012年 | 255篇 |
2011年 | 297篇 |
2010年 | 344篇 |
2009年 | 365篇 |
2008年 | 439篇 |
2007年 | 376篇 |
2006年 | 301篇 |
2005年 | 255篇 |
2004年 | 237篇 |
2003年 | 215篇 |
2002年 | 219篇 |
2001年 | 195篇 |
2000年 | 127篇 |
1999年 | 123篇 |
1998年 | 108篇 |
1997年 | 129篇 |
1996年 | 107篇 |
1995年 | 100篇 |
1994年 | 83篇 |
1993年 | 65篇 |
1992年 | 60篇 |
1991年 | 47篇 |
1990年 | 39篇 |
1989年 | 44篇 |
1988年 | 28篇 |
1987年 | 16篇 |
1986年 | 4篇 |
1985年 | 4篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有6096条查询结果,搜索用时 78 毫秒
31.
模式语义链元建模及其应用 总被引:1,自引:1,他引:0
大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持. 相似文献
32.
33.
34.
知道者悖论产生的根源在于“知道”一词的意义的模糊性。现代逻辑追求对“知道”的明晰表达,但对于“知道”本身缺乏深入的反省。本文从语义分析的角度出发给出了一个相对稳定的“知道模型”,此模型可以作为认识论逻辑的语义基础。在这个模型中,“时间秩序”是核心概念。 相似文献
35.
本文拟以现代科学思想的核心要素为参考系察考萌芽状态的中国科学思想,主要分五个部分:科学诞生的前提———自然客体化,科学实现的途径———观察和实验,科学活动的灵魂———抽象及科学的两种表达方式———逻辑和数学. 相似文献
36.
SU Xiang ZHU Guo-jin WANG Zong- wei 《武汉大学学报:自然科学英文版》2006,11(1):63-67
0 IntroductionAsneim mapnotircta nWte pbre i-sco tnhdieti oabnilfiotry r etaoli zainnngotthatee go aWle obf trhe-esources with semanticinformation[1]. However ,annotationtools so far basically allowthe user to annotate with plaintext using the method of information extraction.In manycases ,one can hardly extract semantics from Web docu-ments ,such as problemset archivesinthe Web.Massive problemset archives are availableinthe Web,for example,http://acm.uva.es, while each problemsetarchives pr… 相似文献
37.
38.
杨福 《长春师范学院学报》2002,21(4):86-87
语法学的核心任务在于揭示语义内容和语法形式之间的对应关系,因此英语语法教学在英语教学中起着举足轻重的作用。从客观实际来说,专业思想要求学习语法,教学现状要求学习语法,在实际交际过程中也要求学习语法。所以,在英语教学中要强调学习语法的重要性,注重语法的教授与学习。 相似文献
39.
针对寄存器传输级(register transfer level,RTL)行为的抽象,提出了一种层次化的带条件的表示,这种抽象的行为是面向测试的,它不仅表达简单,而且能很方便地进行蕴含操作,通过抽象,电路可以规范为行为集,并代替电路本身进行功能测试向量的生成,在测试生成过程中,大量地应用蕴含操作何以使其中的行为得到简化,并极大地提高了系统的效率。 相似文献
40.