全文获取类型
收费全文 | 3157篇 |
免费 | 141篇 |
国内免费 | 195篇 |
专业分类
电工技术 | 136篇 |
综合类 | 283篇 |
化学工业 | 486篇 |
金属工艺 | 33篇 |
机械仪表 | 114篇 |
建筑科学 | 515篇 |
矿业工程 | 87篇 |
能源动力 | 14篇 |
轻工业 | 127篇 |
水利工程 | 77篇 |
石油天然气 | 87篇 |
武器工业 | 23篇 |
无线电 | 286篇 |
一般工业技术 | 283篇 |
冶金工业 | 38篇 |
原子能技术 | 8篇 |
自动化技术 | 896篇 |
出版年
2024年 | 19篇 |
2023年 | 56篇 |
2022年 | 82篇 |
2021年 | 82篇 |
2020年 | 67篇 |
2019年 | 53篇 |
2018年 | 43篇 |
2017年 | 85篇 |
2016年 | 72篇 |
2015年 | 94篇 |
2014年 | 186篇 |
2013年 | 200篇 |
2012年 | 177篇 |
2011年 | 214篇 |
2010年 | 175篇 |
2009年 | 205篇 |
2008年 | 248篇 |
2007年 | 200篇 |
2006年 | 204篇 |
2005年 | 170篇 |
2004年 | 139篇 |
2003年 | 108篇 |
2002年 | 95篇 |
2001年 | 80篇 |
2000年 | 61篇 |
1999年 | 57篇 |
1998年 | 52篇 |
1997年 | 36篇 |
1996年 | 51篇 |
1995年 | 34篇 |
1994年 | 33篇 |
1993年 | 31篇 |
1992年 | 16篇 |
1991年 | 26篇 |
1990年 | 13篇 |
1989年 | 22篇 |
1988年 | 1篇 |
1987年 | 4篇 |
1986年 | 2篇 |
排序方式: 共有3493条查询结果,搜索用时 15 毫秒
81.
82.
为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性. 相似文献
83.
主要研究有限时间域的H∞预演控制问题. 我们从传统的解决最优控制问题的思路入手, 发现了经典方法解决该问题的症结所在后, 寻找并通过一个适当的线性变换来排除之, 获得了问题可解的充要条件和一个简单的预演控制器. 最后使用一个数值例子演示了H∞预演控制器改进系统闭环性能的有效性. 相似文献
84.
85.
文章对空气质量自动监测系统的异构性问题进行了分析与研究,提出了"抽象设备、映射数据、虚拟协议"的解决方案,将物理设备屏蔽在驱动一级,将抽象设备屏蔽在转换程序一级,将数据按空气质量因子分类型打包传送到组态王对应的寄存器组,实现了不同数据接口、不同数据类型以及不同传送协议下的企业信息自动化。 相似文献
86.
公钥基础设施(PKI)利用公钥理论,为加密和数字签名等密码服务提供必需的密钥和证书管理.信任模型是PKI整体架构的抽象,其选取对PKI的构建至关重要.基于交叉认证的实现过程,介绍了五种典型的PKI信任模型的信任控制方法及模型特点,对模型进行了综合比较. 相似文献
87.
基于完备抽象解释的模型检验CTL公式研究 总被引:1,自引:0,他引:1
在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的. 相似文献
88.
传统的恶意代码检测方法通常以固定的指令或字节序列这些具体特征作为检测依据,因此难以检测变形恶意代码.使用抽象特征是解决该问题的一个思路.本文针对恶意代码常用的变形技术,即等价指令替换、垃圾代码插入以及指令乱序进行研究.定义了一种抽象特征,同时提出了依据该抽象特征检测变形恶意代码的方法.最后,以典型变形病毒Win32.Evol为对象进行了实验,将该方法与其它方法进行了对比.实验结果验证了该方法的有效性. 相似文献
89.
90.
为解决软件开发后期(维护/演化)程序代码与需求模型不一致的问题,本文面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法:首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N倍(N为路径数)的离散型双向并行检测算法。然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统(RMTS),使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体。最后,通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。 相似文献