全文获取类型
收费全文 | 17009篇 |
免费 | 1408篇 |
国内免费 | 1072篇 |
专业分类
电工技术 | 1263篇 |
技术理论 | 1篇 |
综合类 | 2028篇 |
化学工业 | 472篇 |
金属工艺 | 397篇 |
机械仪表 | 1325篇 |
建筑科学 | 1491篇 |
矿业工程 | 491篇 |
能源动力 | 206篇 |
轻工业 | 220篇 |
水利工程 | 292篇 |
石油天然气 | 488篇 |
武器工业 | 169篇 |
无线电 | 2546篇 |
一般工业技术 | 570篇 |
冶金工业 | 582篇 |
原子能技术 | 200篇 |
自动化技术 | 6748篇 |
出版年
2024年 | 34篇 |
2023年 | 96篇 |
2022年 | 175篇 |
2021年 | 214篇 |
2020年 | 235篇 |
2019年 | 178篇 |
2018年 | 154篇 |
2017年 | 307篇 |
2016年 | 364篇 |
2015年 | 483篇 |
2014年 | 1054篇 |
2013年 | 827篇 |
2012年 | 1426篇 |
2011年 | 1507篇 |
2010年 | 1378篇 |
2009年 | 1161篇 |
2008年 | 1309篇 |
2007年 | 1555篇 |
2006年 | 1249篇 |
2005年 | 1146篇 |
2004年 | 868篇 |
2003年 | 727篇 |
2002年 | 510篇 |
2001年 | 427篇 |
2000年 | 381篇 |
1999年 | 288篇 |
1998年 | 203篇 |
1997年 | 212篇 |
1996年 | 160篇 |
1995年 | 152篇 |
1994年 | 97篇 |
1993年 | 99篇 |
1992年 | 76篇 |
1991年 | 59篇 |
1990年 | 33篇 |
1989年 | 49篇 |
1988年 | 30篇 |
1987年 | 29篇 |
1986年 | 24篇 |
1985年 | 25篇 |
1984年 | 18篇 |
1982年 | 10篇 |
1981年 | 11篇 |
1980年 | 9篇 |
1979年 | 16篇 |
1975年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 9篇 |
1959年 | 8篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
31.
嵌入式实时操作系统μC/OS-Ⅱ在C8051F020上的移植 总被引:2,自引:0,他引:2
通过对嵌入式实时操作系统应用背景的分析,论述了在嵌入式控制系统中采用嵌入式实时操作系统的必要性.简略介绍了源代码开放的嵌入式实时操作系统μC/OS-Ⅱ及微控制器C8051F020的特点,重点阐述了μC/OS-Ⅱ在以微控制器C8051F020为运行平台的移植.对μC/OS-Ⅱ的移植条件及各个组成模块进行说明,讨论了移植过程中遇到的问题,并对需要编写的底层硬件的相关函数进行了深入细致的分析,提出了相应的示意性代码.在此基础上,根据实际系统的要求优化改进了原有的任务堆栈结构. 相似文献
32.
Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步. 相似文献
33.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
34.
35.
本文介绍了大坝施工混凝土质量的评价系统软件的设计思路和设计成果。它利用现代计算机技术和应用模糊数学理论评价混凝土重力坝和拱坝单块和整体的质量。在采用模糊综合评价工程质量中,对不同工艺环节,对坝体不同部位,鉴于其质量要求的差异应赋予不同的权重,在权重的取值上采用了专家调查排序,定量转化的方法是比较适宜的。在程序设计中,评价数学模型采用了BASIC程序,访膜块通过*TXT文件实现了与整个大坝混凝土质量微机管理系统的接口及数据传递。操作运行方便灵活。 相似文献
36.
37.
热敏绘图仪驱动模块由状态诊断、表头输出、曲线输出三部分组成。曲线输出的核心是曲线输出通用算法,它分三步进行:超界判断,填充字节和线型处理。该算法能完成对离散值的曲线处理、线型变换和超界处理。它不仅适用于热敏绘图仪的曲线记录,也适用于曲线的屏幕显示。 相似文献
38.
牛哲成.一种自制硬件诊断磁带的方法.测并技术,1994,18(2):149~154硬件诊断磁带是由用于对计算机硬件系统各组成部分进行功能检查、状态测试和故障检测的诊断测试程序集构成的一种专用工具磁带。本文提出了一种用户在PE3200系列计算机裸机环境下自己制作硬件诊断磁带的方法,井涉及到具体的程序实现。用该方法制作的硬件诊断磁带操作简单。对进一步搞好PE3200系列计算机的维护,开发完善PE3200系列计算机硬件诊断系统具有实际意义。 相似文献
39.
陈金强 《数字社区&智能家居》2007,(9):1460-1461
中等职业学校一般开设VB、VC及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。 相似文献
40.
就工程项目管理企业知识管理建设框架进行了理论的阐述,从建立支持企业知识共享、创新的平台和促进该平台运作的机制提出了知识管理中最重要的两点,指出进行企业知识管理建设对企业未来发展具有重要的影响。 相似文献