全文获取类型
收费全文 | 9265篇 |
免费 | 490篇 |
国内免费 | 525篇 |
专业分类
电工技术 | 576篇 |
技术理论 | 1篇 |
综合类 | 1269篇 |
化学工业 | 360篇 |
金属工艺 | 301篇 |
机械仪表 | 728篇 |
建筑科学 | 1101篇 |
矿业工程 | 350篇 |
能源动力 | 170篇 |
轻工业 | 170篇 |
水利工程 | 198篇 |
石油天然气 | 455篇 |
武器工业 | 99篇 |
无线电 | 769篇 |
一般工业技术 | 287篇 |
冶金工业 | 533篇 |
原子能技术 | 169篇 |
自动化技术 | 2744篇 |
出版年
2024年 | 12篇 |
2023年 | 42篇 |
2022年 | 80篇 |
2021年 | 110篇 |
2020年 | 97篇 |
2019年 | 92篇 |
2018年 | 69篇 |
2017年 | 129篇 |
2016年 | 147篇 |
2015年 | 175篇 |
2014年 | 523篇 |
2013年 | 388篇 |
2012年 | 631篇 |
2011年 | 691篇 |
2010年 | 649篇 |
2009年 | 535篇 |
2008年 | 541篇 |
2007年 | 659篇 |
2006年 | 603篇 |
2005年 | 571篇 |
2004年 | 459篇 |
2003年 | 453篇 |
2002年 | 369篇 |
2001年 | 346篇 |
2000年 | 319篇 |
1999年 | 244篇 |
1998年 | 173篇 |
1997年 | 196篇 |
1996年 | 144篇 |
1995年 | 143篇 |
1994年 | 94篇 |
1993年 | 96篇 |
1992年 | 69篇 |
1991年 | 57篇 |
1990年 | 33篇 |
1989年 | 48篇 |
1988年 | 30篇 |
1987年 | 29篇 |
1986年 | 24篇 |
1985年 | 24篇 |
1984年 | 17篇 |
1982年 | 10篇 |
1981年 | 11篇 |
1980年 | 9篇 |
1979年 | 15篇 |
1975年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 9篇 |
1959年 | 8篇 |
排序方式: 共有10000条查询结果,搜索用时 109 毫秒
51.
提高基于Windows工控软件实时性的策略研究 总被引:2,自引:0,他引:2
因为基于Windows的工控软件具有丰富的图形图像资源,可提供良好的人机界面,所以深受终端用户的欢迎,也成为工控软件开发的趋势.虽然Windows本身并非实时操作系统,基于Windows开发的工业控制软件在实时性能方面就相对较弱,但是对于工业软件只需要满足毫秒级的实时性要求,通过选用合适的方法,基于WindoW的工控软件还是可以满足要求的.基于工业软件的现实需求提出了基于Windows开发工控软件提高其实时性能的几种方案:多线程技术,上下位机技术,定时技术等,实践结果表明这些方法对提高工控软件的实时性是非常有效的方法. 相似文献
52.
53.
基于数学归纳法抽取循环程序研究 总被引:1,自引:0,他引:1
广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。 相似文献
54.
55.
程序:物理对象上的操作表达式(英文) 总被引:2,自引:2,他引:0
把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。 相似文献
56.
57.
58.
王琰 《自动化与仪器仪表》2008,(4)
根据洗衣机的控制要求,从功能要求、硬件设计、软件设计三个方面描述了一个以MCS-51单片机为控制核心的洗衣机控制系统。给出了硬件线路框图和相关的控制程序流程图。 相似文献
59.
近几十年来,计算机硬件性能和软件规模技术已不同以往,其承载了人类社会生活生产的方方面面.计算机技术的飞速发展,也带来了人们对程序安全问题的关注.由于市面上存在着较多的遗留软件,这些软件无人维护且缺乏源代码支持,其安全性令人担忧,而二进制分析技术被用来解决该类软件问题.二进制分析技术根据其检测方式不同可分为:基于静态的二进制代码分析技术、基于动态的二进制代码分析技术和动静态混合的二进制代码分析技术.本文调研了近年来的二进制代码安全分析领域上相关研究,分别详细阐述了这3类技术中的主要方法,并对其关键技术进行详细介绍. 相似文献
60.
表达式的覆盖、分解与划分 总被引:1,自引:1,他引:0
本文把简单表达式(项和原子)视为语言L的Herbrand域或Herbrand基中的集合.作者提出覆盖表达式的概念,得到2个表达式之间覆盖关系的判别准则.对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件.根据集合的划分公式,得到划分表达式的方法.最后定义1个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式.本文是作者提出的一种标记逻辑程序的过程语义的理论基础. 相似文献