全文获取类型
收费全文 | 32247篇 |
免费 | 4350篇 |
国内免费 | 2825篇 |
专业分类
电工技术 | 3015篇 |
综合类 | 3687篇 |
化学工业 | 3441篇 |
金属工艺 | 2084篇 |
机械仪表 | 2345篇 |
建筑科学 | 2687篇 |
矿业工程 | 1468篇 |
能源动力 | 867篇 |
轻工业 | 4077篇 |
水利工程 | 1353篇 |
石油天然气 | 1131篇 |
武器工业 | 366篇 |
无线电 | 3455篇 |
一般工业技术 | 2637篇 |
冶金工业 | 1350篇 |
原子能技术 | 646篇 |
自动化技术 | 4813篇 |
出版年
2024年 | 236篇 |
2023年 | 658篇 |
2022年 | 1393篇 |
2021年 | 1743篇 |
2020年 | 1248篇 |
2019年 | 844篇 |
2018年 | 944篇 |
2017年 | 1061篇 |
2016年 | 974篇 |
2015年 | 1527篇 |
2014年 | 1941篇 |
2013年 | 2264篇 |
2012年 | 2814篇 |
2011年 | 2930篇 |
2010年 | 2714篇 |
2009年 | 2556篇 |
2008年 | 2673篇 |
2007年 | 2654篇 |
2006年 | 2141篇 |
2005年 | 1711篇 |
2004年 | 1169篇 |
2003年 | 772篇 |
2002年 | 714篇 |
2001年 | 746篇 |
2000年 | 519篇 |
1999年 | 179篇 |
1998年 | 37篇 |
1997年 | 28篇 |
1996年 | 28篇 |
1995年 | 19篇 |
1994年 | 23篇 |
1993年 | 18篇 |
1992年 | 14篇 |
1991年 | 12篇 |
1990年 | 12篇 |
1989年 | 14篇 |
1988年 | 6篇 |
1987年 | 5篇 |
1986年 | 3篇 |
1985年 | 3篇 |
1983年 | 7篇 |
1982年 | 4篇 |
1981年 | 7篇 |
1980年 | 18篇 |
1979年 | 5篇 |
1978年 | 4篇 |
1977年 | 4篇 |
1976年 | 2篇 |
1959年 | 9篇 |
1951年 | 10篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
101.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的. 相似文献
102.
干法合成阳离子淀粉絮凝剂的初步研究 总被引:3,自引:0,他引:3
研究了干法合成阳离子淀粉絮凝剂的方法。结果表明,制备阳离子淀粉絮凝剂的最佳工艺条件为:在反应体系中水的质量分数为35%、阳离子醚化剂与NaOH混合温度低于110℃的条件下,阳离子醚化剂与淀粉物质的量比为0.35,NaOH与阳离子醚化剂物质的量比为1.4,反应温度90℃,反应时间4h。在此条件下合成的阳离子淀粉相对黏度为2.0。 相似文献
103.
提出一种基于统一计算设备架构(Compute Unified Device Architecture,CUDA)的快速鲁棒特征(Speed-up Robust Feature,SURF)图像匹配算法。分析了SURF算法的并行性,在图像处理单元(Graphics Processing Unit,GPU)的线程映射和内存模型方面对算法的构建尺度空间、特征点提取、特征点主方向的确定、特征描述子的生成及特征匹配5个步骤进行CUDA加速优化。实验表明,相比适用于CPU的SURF算法,文中提出的适用于GPU的SURF算法在处理30MB的图片时性能提高了33倍。适用于GPU的SURF算法拓展了SURF算法在遥感等领域的快速应用,尤其是大影像的快速配准。 相似文献
104.
105.
目前,自然语言处理已从句法、词法层面走向轻量级语义层面。针对中文陈述句的自然语言处理,传统Lambek演算无法解决中文陈述句灵活语序的问题,而现有的方法加入模态词、新连接词等后,又进一步增加了已经是NP-hard的Lambek演算的复杂性,因此并不适合计算机的相关处理。基于此,采用加标动词匹配的Lambek演算对中文陈述句灵活语序进行处理。加标动词匹配算法的时间复杂度低,使得计算机及其程序能有效地对中文陈述句灵活语序进行处理,并能通过Curry-Howard对应理论与λ-演算引入轻量级语义处理。 相似文献
106.
我国的节能减排问题日趋突出。本文从文献梳理角度对我国节能减排的现状、存在的问题以及解决路径进行了述评。研究显示,我国节能减排潜力巨大,节能减排效率低下。直接原因是由于我国产业结构、外贸结构、FDI 结构以及技术结构不合理造成的,但其背后更深层次的原因主要体现在:(1)GDP锦标赛下政治晋升制度的不合理导致了环境的负外部性;(2)激励与约束机制不完善导致政府缺乏节能减排的动力;(3)分税制的不完善导致了我国产业结构的不合理。为此,我们需要从优化产业结构、调整外贸结构、弱化 FDI的“污染避难所”效应以及增强技术进步效应入手,通过改革 GDP 锦标赛下政治晋升制度、完善激励与约束机制、调整财税体制等途径解决我国节能减排问题。 相似文献
107.
邓雯雯 《数码设计:surface》2014,(7):57-58
水在自然界中,是重要的存在物质之一,也是人与自然之间互相联系的纽带。而水景元素,是现代景观设计中非常重要的组成,也是最富有表现魅力的艺术形式。水景元素在景观设计中的运用是十分广泛的,而且水具有很强的灵活性,变化形式丰富多样,在现代景观设计中是不可缺少的一部分。加强对于水景元素在现代景观设计中的研究与探讨,能够更好的促进现代景观设计的水平,催生出更多优秀的景观设计作品。文章介绍了景观设计中水景元素的一般类型以及特征,并阐述了水景元素在景观设计中的具体运用,以便在以后的景观设计中,更好的优化水景元素的设计。 相似文献
108.
“里特罗”风格的设计流派的特点是强调历史风格的复古和重构,是对欧洲20世纪上半叶的平面设计风格的复兴。“里特罗”风格既是对这个时期的风格特点的偏爱和认可,又是对当时的现代主义和国际主义中的沉闷、刻板、乏味以及过分理性的反对。由于这个风格是对20世纪20年代至30年代流行的某些平面风格的复兴及演绎,对于今天的平面设计依然有着重要的影响。 相似文献
109.
基于事件触发和静态优先级的CAN网络在网络负载较大时,通信的实时性难以保证.为此研究了时分信息和优先级晋升信息实时调度策略,并给出了相关策略在应用中的改进和算法实现. 相似文献
110.