全文获取类型
收费全文 | 11068篇 |
免费 | 1482篇 |
国内免费 | 1169篇 |
专业分类
电工技术 | 1046篇 |
综合类 | 1194篇 |
化学工业 | 101篇 |
金属工艺 | 60篇 |
机械仪表 | 487篇 |
建筑科学 | 69篇 |
矿业工程 | 108篇 |
能源动力 | 54篇 |
轻工业 | 78篇 |
水利工程 | 36篇 |
石油天然气 | 49篇 |
武器工业 | 78篇 |
无线电 | 3124篇 |
一般工业技术 | 172篇 |
冶金工业 | 60篇 |
原子能技术 | 24篇 |
自动化技术 | 6979篇 |
出版年
2024年 | 33篇 |
2023年 | 73篇 |
2022年 | 130篇 |
2021年 | 146篇 |
2020年 | 173篇 |
2019年 | 146篇 |
2018年 | 181篇 |
2017年 | 258篇 |
2016年 | 294篇 |
2015年 | 414篇 |
2014年 | 706篇 |
2013年 | 672篇 |
2012年 | 961篇 |
2011年 | 1026篇 |
2010年 | 886篇 |
2009年 | 851篇 |
2008年 | 977篇 |
2007年 | 1185篇 |
2006年 | 873篇 |
2005年 | 869篇 |
2004年 | 682篇 |
2003年 | 605篇 |
2002年 | 438篇 |
2001年 | 316篇 |
2000年 | 227篇 |
1999年 | 165篇 |
1998年 | 99篇 |
1997年 | 75篇 |
1996年 | 63篇 |
1995年 | 62篇 |
1994年 | 34篇 |
1993年 | 32篇 |
1992年 | 25篇 |
1991年 | 10篇 |
1990年 | 8篇 |
1989年 | 6篇 |
1988年 | 3篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 3篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1981年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
82.
在互联网和移动互联网支付领域,SET协议起着至关重要的作用。它通过对用户、商家、支付网关、收单行、发卡行关系的合理处理,为整个网络支付过程提供了安全、可靠的保障。但是,SET协议自身由于设计时代的局限,存在一定的效率和应用障碍的问题。文中对SET协议在移动支付中的安全性进行了研究,在保证原SET协议安全性的基础上,提出了一个改进方案。该方案的最大特点在于,通过将动态口令技术应用于SET协议的流程中,改进了SET协议的执行状况。通过分析,改进后的方案不仅是安全的,同时也是高效的,从而更好地保证了网上支付的安全性。 相似文献
83.
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 相似文献
84.
IEC 60870-5-103规约是应用于继电保护设备的信息接口配套标准,传输的主要内容是与继电保护有关的信息.该报文进行的是明文传输,缺乏加密措施和数字签名机制,安全性较低.为了验证以太网传输的103规约存在安全隐患和风险,搭建了主站与配电网自动化DTU终端的通信实验环境.运用ARP欺骗手段对系统进行了中间人攻击测试,实验的结果表明以太网传输的103规约具有中间人攻击的风险.为了提高协议的安全性,提出了一种基于非对称密码算法的双向身份认证机制,并采用对称加密机制、数字签名技术确保传输报文的机密性和完整性,最后通过仿真测试验证该方法的有效性. 相似文献
85.
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。 相似文献
86.
针对无线传感器网络(WSN)路由协议设计需首要解决的节能问题,提出一种将元胞自动机(CA)用于无线传感器网络的高效节能机制。该机制在路由层设置元胞处理模块,通过路由报文捎带CA信息网络节点自组织形成以sink节点为中心的多级元胞自动机区域,决策节点根据通信过程中携带的元胞信息切换传感节点的工作状态以实现节能。仿真结果验证了该机制能降低网络整体能量消耗,提高能量利用率,延长整个网络生存周期。 相似文献
87.
分析了目前基于多Agent技术的Job Shop调度研究所存在的问题,对Job Shop调度问题进行了形式化描述,给出了基于多Agent的总体调度结构和调度过程,提出了基于柔性工艺路线的虚拟制造单元和Agent的反、正向招投标调度机制,描述了具体实现过程,给出了招标、投标、评标的参数和指标,通过示例验证了该方法的有效性。所提方法在Agent招投标中直接考虑了工序任务间的约束和联系,即充分发挥了多Agent系统分散决策的优势,又从根本上避免了任务分配的冲突,提高了调度效率。 相似文献
88.
微机与数控机床远程通信软件开发 总被引:5,自引:0,他引:5
文章对与数控机床远程通信有关的内容进行了研究,从而确定了微机与其通信的体系机构,利用Visual C 语言编写程序实现Microsoft Windows平台与数控机床远程通信。通过对AT命令和串行通信协议进行详细的分析,采用多线程来控制数据的发送和接收,能够提高数控程序的传输效率,并可及时反馈数控机床的状态信息,利用调制解调器和拨号连接方式将数字信号转换成模拟信号,通过电话线传递给数控机床,最终实现数控程序远程加工过程的自动化。 相似文献
89.
90.