全文获取类型
收费全文 | 13085篇 |
免费 | 1767篇 |
国内免费 | 1360篇 |
专业分类
电工技术 | 1176篇 |
综合类 | 1361篇 |
化学工业 | 142篇 |
金属工艺 | 73篇 |
机械仪表 | 582篇 |
建筑科学 | 87篇 |
矿业工程 | 129篇 |
能源动力 | 66篇 |
轻工业 | 97篇 |
水利工程 | 54篇 |
石油天然气 | 78篇 |
武器工业 | 93篇 |
无线电 | 4020篇 |
一般工业技术 | 228篇 |
冶金工业 | 69篇 |
原子能技术 | 73篇 |
自动化技术 | 7884篇 |
出版年
2024年 | 38篇 |
2023年 | 97篇 |
2022年 | 176篇 |
2021年 | 199篇 |
2020年 | 222篇 |
2019年 | 184篇 |
2018年 | 218篇 |
2017年 | 317篇 |
2016年 | 354篇 |
2015年 | 501篇 |
2014年 | 869篇 |
2013年 | 822篇 |
2012年 | 1143篇 |
2011年 | 1231篇 |
2010年 | 1033篇 |
2009年 | 985篇 |
2008年 | 1164篇 |
2007年 | 1377篇 |
2006年 | 1055篇 |
2005年 | 1015篇 |
2004年 | 775篇 |
2003年 | 673篇 |
2002年 | 501篇 |
2001年 | 362篇 |
2000年 | 242篇 |
1999年 | 172篇 |
1998年 | 107篇 |
1997年 | 87篇 |
1996年 | 72篇 |
1995年 | 69篇 |
1994年 | 37篇 |
1993年 | 36篇 |
1992年 | 27篇 |
1991年 | 11篇 |
1990年 | 11篇 |
1989年 | 7篇 |
1988年 | 6篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 4篇 |
1984年 | 2篇 |
1983年 | 3篇 |
1982年 | 3篇 |
1981年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
71.
How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively. 相似文献
72.
提出了一种基于6LoWPAN的物联网总体方案,同时对协议中的Mesh字段进行了改进,然后在网络模拟环境下对本协议平均传输成功率、平均延迟时间的性能进行了比较分析,并在仿真环境中进行了实验验证工作。实验数据表明,改进后的协议具有更好的性能。 相似文献
73.
越来越多的自动化设备自身配置有串行通信接口(如自动化仪表、变频器、伺服驱动器等),在工业控制现场与可编程逻辑控制(PLC)之间需要进行大量的数据传输,包括现场数据采集、设备的远程控制等。本文以欧姆龙中型CJ2系列PLC协议宏功能为例,比较以往串行通信功能,在可靠性、程序繁琐程度、调试方便性等几方面的优越性。 相似文献
74.
75.
Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析。协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程。本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标。 相似文献
76.
银行尾箱智能交接系统是以RFID射频技术、有线网络和无线网络技术为依托而建立的。实现银行尾箱交接业务链信息的实时快速采集和上传,尾箱信息随时读取,提供安全可靠的押运人员身份认证,运钞押运节点过程动态监控、审计与监督管理,实现银行尾箱管理的自动化和电子智能化。 相似文献
77.
无线自组织网络是一种完全由无线节点或终端自主构成的通信网络,常用于需要紧急或临时搭建网络环境下应用,具有独立于固定基础设施、带宽有限和拓扑结构易变等特点.本文以Ad-HOC网络为研究内容,重点介绍了Ad-HOC网络的组网关键技术——路由协议,以网络仿真器NS2作为仿真平台,对比在不同移动节点数目和节点不同停留时间两种情... 相似文献
78.
79.
80.
AFDX网络协议研究 总被引:1,自引:0,他引:1
介绍了AFDX网络的产生背景及发展历程;解析了ARINC664规范各个部分的功能及与开放式系统参考模型的关系;总结了AFDX网络相对于商用以太网的特点和AFDX网络与机载系统的关系,通过对AFDX在A380等飞机上的应用研究,归纳了基于AFDX网络的航空电子系统的特点;AFDX网络已成功应用于工程实践,该网络具有完整的协议结构,具有高实时性、高确定性和高可靠性的特点,是一种新型的机载网络总线。 相似文献