全文获取类型
收费全文 | 113篇 |
免费 | 22篇 |
国内免费 | 30篇 |
专业分类
电工技术 | 5篇 |
综合类 | 10篇 |
化学工业 | 1篇 |
金属工艺 | 1篇 |
机械仪表 | 7篇 |
武器工业 | 1篇 |
无线电 | 23篇 |
一般工业技术 | 4篇 |
自动化技术 | 113篇 |
出版年
2022年 | 1篇 |
2021年 | 6篇 |
2020年 | 3篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 3篇 |
2016年 | 6篇 |
2015年 | 4篇 |
2014年 | 13篇 |
2013年 | 2篇 |
2012年 | 20篇 |
2011年 | 15篇 |
2010年 | 15篇 |
2009年 | 8篇 |
2008年 | 15篇 |
2007年 | 8篇 |
2006年 | 15篇 |
2005年 | 3篇 |
2004年 | 5篇 |
2003年 | 5篇 |
2001年 | 4篇 |
2000年 | 2篇 |
1999年 | 4篇 |
1997年 | 1篇 |
1996年 | 1篇 |
1995年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有165条查询结果,搜索用时 218 毫秒
91.
92.
安全协议的验证对确保网络通信安全极其重要,形式化分析方法使得安全协议的分析简单、规范和实用,成为信息安全领域的研究热点。针对802.1x/EAP-MD5认证协议,提出一种基于着色Petri网(CPN)的安全协议形式化验证方法,并给出具体的形式化分析过程。建立协议的CPN模型,分析协议执行过程中可能出现的不安全状态,利用CPN状态可达性判定这些不安全状态是否可达,从而验证协议的安全性。对于802.1x/EAP-MD5协议在中间人攻击下的安全漏洞问题,提出协议的改进方案,采用预共享密钥机制生成会话密钥加密交互信息,同时运用数字证书对服务器进行认证,以提升中间人攻击的难度及增强网络接入认证协议的安全性。 相似文献
93.
94.
面向 Web 服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。 相似文献
95.
在Petri网模型中,抑制弧用于表示除输入库所条件外,仅当指定库所为空时变迁才可以触发的情况,可以应用于各类Petri网中。在广泛使用的Petri网模型工具CPN Tools中没有直接提供抑制弧,仅给出了两种等价处理方法。通过对抑制弧的问题进行分析,提出在CPN Tools使用List解决抑制弧问题的改进方法。此方法具有良好的通用性和易用性,并且仅通过修改DropOneInList函数的内容就可以实现随机、栈方式、队列方式、优先级等各种令牌提取方法。 相似文献
96.
对于MAS而言,传统的UML已经无法满足建模的需求,必须找到一种更好的方式来对MAS建模,这里对UML进行了研究和扩展至AUML,以达到对建模的需求,还使用了CPN与Aalaadin元模型来弥补AUML的不足,CPN与Aalaadin元模型也能很好的互为补充,极大提高了MAS模型的可行性. 相似文献
97.
基于multi-Agent和Petri网的分布式风光互补系统 总被引:2,自引:0,他引:2
近年来随着“大机组、高电压、大电网”发供电模式的弊端日益显露, 分散式供电系统成为21世纪电力工业的发展方向.此外, 随着风力、太阳能等可再生能源的飞速发展及其发电效率的不断提高, 使研究风光互补系统的分布式供电有着重要意义. 文中提出一种基于multi-Agent的分布式风光互补混合供电系统, 将分散的风力、太阳能光伏发电装置组成分布式系统, 并采用有色Petri网建立了multi-Agent的协作模型. 通过模拟风力–太阳能的运行情况, 证明了分散控制策略的有效性. 相似文献
98.
99.
基于CPN Tools的性能评价仿真研究 总被引:1,自引:0,他引:1
着色Petri网作为一种高级Petri网,由于引入了时间,颜色集,层次结构等概念,使之更适合对大型复杂系统的仿真模拟与性能分析。CPN Tools支持各种随机概率分布,可以在模拟过程中提取各种数据,生成各种不同的性能分析结果,并支持连续模拟,分析,从而可以对现实系统进行更加精确的仿真。利用CPN Tools模拟过程中为CPN模型定义各种数据采集器,可以得到更加准确的性能分析报告。本文通过一个对快餐店进行仿真以及性能分析的简单的例子说明了着色Petri网的特性与CPN Tools的仿真与性能分析方法。 相似文献
100.
激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下栽速度,并提高系统整体性能。原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,因此提出了一种新的激励策略,并给出了具体的实施算法。对应用这种新激励机制的BitTorrent协议进行了详细的着色Petri网(colored Petri nets,CPN)形式化建模分析,在验证模型正确性的基础上,进行基于模型模拟的性能分析实验,结果表明该激励机制能够严格限制搭便车节点行为,达到更好的激励效果。 相似文献