全文获取类型
收费全文 | 6121篇 |
免费 | 806篇 |
国内免费 | 575篇 |
专业分类
电工技术 | 534篇 |
技术理论 | 1篇 |
综合类 | 398篇 |
化学工业 | 177篇 |
金属工艺 | 127篇 |
机械仪表 | 419篇 |
建筑科学 | 432篇 |
矿业工程 | 118篇 |
能源动力 | 128篇 |
轻工业 | 158篇 |
水利工程 | 195篇 |
石油天然气 | 101篇 |
武器工业 | 77篇 |
无线电 | 699篇 |
一般工业技术 | 558篇 |
冶金工业 | 149篇 |
原子能技术 | 124篇 |
自动化技术 | 3107篇 |
出版年
2024年 | 41篇 |
2023年 | 107篇 |
2022年 | 205篇 |
2021年 | 232篇 |
2020年 | 243篇 |
2019年 | 172篇 |
2018年 | 169篇 |
2017年 | 206篇 |
2016年 | 251篇 |
2015年 | 255篇 |
2014年 | 446篇 |
2013年 | 422篇 |
2012年 | 457篇 |
2011年 | 467篇 |
2010年 | 377篇 |
2009年 | 388篇 |
2008年 | 373篇 |
2007年 | 440篇 |
2006年 | 357篇 |
2005年 | 345篇 |
2004年 | 254篇 |
2003年 | 222篇 |
2002年 | 190篇 |
2001年 | 123篇 |
2000年 | 123篇 |
1999年 | 106篇 |
1998年 | 73篇 |
1997年 | 68篇 |
1996年 | 57篇 |
1995年 | 56篇 |
1994年 | 39篇 |
1993年 | 44篇 |
1992年 | 30篇 |
1991年 | 23篇 |
1990年 | 16篇 |
1989年 | 21篇 |
1988年 | 15篇 |
1987年 | 4篇 |
1986年 | 6篇 |
1985年 | 8篇 |
1984年 | 9篇 |
1983年 | 9篇 |
1982年 | 5篇 |
1980年 | 6篇 |
1979年 | 6篇 |
1963年 | 4篇 |
1961年 | 3篇 |
1956年 | 3篇 |
1955年 | 3篇 |
1954年 | 3篇 |
排序方式: 共有7502条查询结果,搜索用时 15 毫秒
61.
In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach. 相似文献
62.
苟兴功 《重庆电力高等专科学校学报》2010,15(5):100-102
我国旅游高职人才培养滞后行业需求,"供需错位"现象突出."2+1"模式彻底打破了旅游高职"由学校办学校"的传统模式,让旅游企业参与学校育人过程,完全按照行业标准打造合格"产品",实现了人才培养与旅游行业人才需求之间的"无缝对接",实现了企业、学校、教师、学生多方共赢,具有高职特色、适应旅游市场需求的旅游专业人才培养模式. 相似文献
63.
我国是世界上最大的水泥生产国和消费国.目前水泥工业进入了结构调整阶段.随着我国经济和社会发展水平的提高,人们对资源和环境问题的重视,水泥工业的结构调整出现了新的特点,对人才的需求也出现了新的变化. 相似文献
64.
为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性. 相似文献
65.
为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。 相似文献
66.
67.
符合IEEE1394协议的物理层IP主要完成总线连接检测、连接管理、仲裁、数据收发等功能,是一款集成高速Ser-des的数模混合SoC。由于在Serdes的测试芯片设计完成前无法对1394物理层IP进行全面验证,因此文中在介绍1394 PHY物理层IP各部分功能的基础上,提出了一种以Xilinx的GTP代替1394物理层Serdes,构建FPGA原型验证平台,采用专用硬件逻辑和软件结合的方式,对1394物理层IP进行充分验证的方法。使用该平台可在Serdes设计未完成前对数字逻辑进行验证,大大缩短物理层IP的开发周期;通过软件控制下的测试项生成、测试过程监控、测试结果判断,可显著提高验证效率。 相似文献
68.
多总线接口信号处理SoC芯片是以信号处理DSP为核心集成了多个总线接口的片上系统,该SoC涉及的总线协议众多,验证复杂、工作量大,验证将是该SoC芯片开发的瓶颈。为了缩短多总线接口信号处理SoC芯片的开发周期,提高该SoC芯片的一次流片成功率,必须采用更为可靠和有效的验证方案。以SoC验证流程及方法为指导,重点介绍了多总线接口信号处理SoC虚拟验证平台的构建和具体实施。验证结果表明,该验证平台能高效、全面验证芯片功能,提高了芯片验证效率,缩短了整个芯片开发周期,为芯片的成功投片提供了可靠保障。 相似文献
69.
70.
In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 (resp.PRKW0D),a Hoare triple of the form{X}c{Y}(resp.{X}c{KWp})means that all literals in Y become true(resp.p becomes known)after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems. 相似文献