全文获取类型
收费全文 | 11228篇 |
免费 | 1308篇 |
国内免费 | 1398篇 |
专业分类
电工技术 | 573篇 |
综合类 | 1267篇 |
化学工业 | 211篇 |
金属工艺 | 88篇 |
机械仪表 | 790篇 |
建筑科学 | 473篇 |
矿业工程 | 70篇 |
能源动力 | 33篇 |
轻工业 | 621篇 |
水利工程 | 34篇 |
石油天然气 | 178篇 |
武器工业 | 16篇 |
无线电 | 1550篇 |
一般工业技术 | 554篇 |
冶金工业 | 87篇 |
原子能技术 | 2篇 |
自动化技术 | 7387篇 |
出版年
2024年 | 189篇 |
2023年 | 586篇 |
2022年 | 520篇 |
2021年 | 530篇 |
2020年 | 398篇 |
2019年 | 473篇 |
2018年 | 222篇 |
2017年 | 265篇 |
2016年 | 298篇 |
2015年 | 383篇 |
2014年 | 800篇 |
2013年 | 660篇 |
2012年 | 816篇 |
2011年 | 915篇 |
2010年 | 906篇 |
2009年 | 968篇 |
2008年 | 1020篇 |
2007年 | 930篇 |
2006年 | 698篇 |
2005年 | 592篇 |
2004年 | 467篇 |
2003年 | 303篇 |
2002年 | 180篇 |
2001年 | 145篇 |
2000年 | 125篇 |
1999年 | 90篇 |
1998年 | 79篇 |
1997年 | 81篇 |
1996年 | 61篇 |
1995年 | 58篇 |
1994年 | 31篇 |
1993年 | 31篇 |
1992年 | 28篇 |
1991年 | 30篇 |
1990年 | 18篇 |
1989年 | 21篇 |
1988年 | 3篇 |
1987年 | 3篇 |
1986年 | 10篇 |
1982年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
131.
自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。 相似文献
132.
农业生产管理决策支持系统对提高相关农产品的产量与质量起到越来越重要的作用。针对柑橘生产中土壤环境影响柑橘生长的问题,提出了基于语义技术的柑橘园土壤环境判定决策支持系统,重点讨论了该决策支持系统的系统结构、土壤语义数据库的建立以及推理规则的定义等,并应用语义数据库软件AllegroGraph实现了柑橘土壤语义数据库。 相似文献
133.
如果将2014年称之为智能家居爆发年,可能没有多少人会反对。在这一年中,记者曾拜访过国内多家智能家居团队和厂商,在他们身上,我几乎看到了整个移动互联网的缩影——自信、专注、注重细分市场、对行业的了解程度超过任何时代。但在这其中,有一家厂商给我的印象最为深刻,那就是将智能家居融入自己DNA中的BroadLink。 相似文献
134.
135.
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。 相似文献
136.
本体映射是解决本体异构问题的重要途径和手段,中文知识是网络开放知识库的重要组成部分,但现有的中文本体映射系统在面对大规模本体映射任务时,显得效率较低且可用性不高,目前仍缺乏针对中文大规模本体映射的相关系统。为了解决中文大规模本体的映射问题,设计并实现了一个面向中文的大规模本体映射系统。首先,提出了一种基于拟核力场势函数的大规模本体压缩方法;其次,提出了一种基于同义词词林的中文概念等价关系确定算法;再次,实现了大规模中文本体映射的原型系统;最后,将本系统与相似度计算相关典型算法进行比较,证明其具备一定的可用性和较高的总体性能。 相似文献
137.
在上一期中,我们详细讲解了ARM Mali GPU架构的发展历程,以及最新的Midgard架构的设计方向、架构概览、无固定硬件单元的曲面细分功能设计等内容。而在本期中,我们将继续带你深入ARM Midgard架构的内部,去进一步地探索这个非常重要的移动GPU架构的方方面面。 相似文献
138.
由于同志群体不同于普通有社交需求的用户群,他们有着强烈的跨越单纯地理位置的社交需求,要想把握这个细分市场,就要了解他们的真实想法,做有“同志基因”的产品。 相似文献
139.
140.
作战文书关键信息抽取是实现自动标图系统的关键。现有研究多以文书处理流程设计为主,未深入分析军标用法,信息抽取不完整。为完整提取信息,提出了基于分词处理与语义角色标注(SRL)相结合的文书关键信息抽取方法,实验证明方法有效、可行。基于文中方法所设计的信息抽取系统,已在某集团军内推广、应用。 相似文献