全文获取类型
收费全文 | 55篇 |
免费 | 14篇 |
国内免费 | 13篇 |
专业分类
电工技术 | 4篇 |
综合类 | 9篇 |
化学工业 | 2篇 |
金属工艺 | 1篇 |
建筑科学 | 7篇 |
矿业工程 | 3篇 |
水利工程 | 2篇 |
石油天然气 | 1篇 |
无线电 | 8篇 |
一般工业技术 | 2篇 |
自动化技术 | 43篇 |
出版年
2024年 | 1篇 |
2023年 | 3篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 6篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2015年 | 7篇 |
2014年 | 7篇 |
2013年 | 3篇 |
2012年 | 5篇 |
2011年 | 2篇 |
2010年 | 4篇 |
2009年 | 5篇 |
2008年 | 8篇 |
2007年 | 6篇 |
2006年 | 7篇 |
2005年 | 5篇 |
2004年 | 3篇 |
2003年 | 1篇 |
1997年 | 1篇 |
排序方式: 共有82条查询结果,搜索用时 15 毫秒
1.
构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法. 相似文献
2.
3.
4.
为了消除攻击者动态调试JavaScript代码给HTML5应用程序带来的安全威胁,提出一种基于反调试的代码保护方法.在深入分析Firefox及Chrome浏览器中调试器工作原理的基础上,探索了主流浏览器平台中调试器运行时的特征.基于调试器特征构造检测调试行为的JavaScript代码片,并结合针对调试行为的响应策略达到反动态调试目的.通过攻击实例验证了该方法的有效性,在不影响程序性能的前提下提升了Web应用程序的安全性. 相似文献
5.
6.
无线传感器网络节点中的廉价晶振极易受到温度、电压、湿度等工作环境因素的影响.节点晶振的这一特性,为室外大规模无线传感器网络时间同步技术带来了两方面的挑战:(1) 过高的通信开销;(2) 精度与能耗之间的不平衡.针对以上问题,提出了一种基于温度感知的、自适应的无线传感器网络时间同步算法.该算法能够依赖本地温度信息对节点时间频偏进行估计及补偿,在保证算法同步精度的同时,降低了网络通信开销.除此之外,提出一种动态同步周期调节机制,使得算法能够根据当前环境温度变化情况对节点同步周期进行动态调节,从而达到了能耗与精度之间的平衡.大量仿真实验结果表明:所提出的时间同步算法可将通信能耗降低至传统同步算法的10%;且在环境温度不断变化的情况下,80%的频偏估计值其误差小于0.5ppm.故,所提出的时间同步方法能够有效地适用于室外环境下部署的大规模无线传感器网络. 相似文献
7.
相对于传统的P2P文件共享系统,P2P流媒体系统的激励机制更为必要.分析并总结了当前P2P流媒体系统中已提出的比较有代表性的几种激励机制:基于信誉的、基于市场的、基于惩罚的、基于社会福利的以及一种自然的激励模型,并讨论了每种机制的典型实例,在此基础上对未来工作进行了展望. 相似文献
8.
基于分布式构件的媒体流模型研究 总被引:1,自引:0,他引:1
本文提出一个分布式媒体流应用模型DCMM,DCMM以构件和软件代理技术为基础,形式化地定义了媒体流应用系统的软件体系结构,即组成系统的构件和构件之间的交互关系,在该模型中,媒体流应用构件描述与底层协议相分离,实现了媒体流应用的体系结构与网络平台的无关性,该模型允许构件之间以多种方式交互,允许动态地选择网络传输协议,因此具有较好的灵活性。 相似文献
9.
针对传统入侵检测系统对付复杂攻击防御时暴露出的不足,提出利用数据挖掘技术进行网络入侵事件协同分析,建立关联规则与序列规则模型,并结合两者进行全局信息推理获取复杂攻击模式.重点研究了复杂入侵事件的防御决策技术和基于有限自动机的危机分析方法,详细分析了防御决策向量的制定过程以及防御知识的表示问题.实验结果表明,所提出的模型和方法能通过提前确定防御点增强系统防御的实时性与有效性. 相似文献
10.
Web文本内容过滤方法的研究 总被引:7,自引:0,他引:7
文章研究了Web文本内容过滤的方法,分析了向量空间模型、关键词匹配算法等关键技术.并详细讨论了Web网页中文本内容过滤方法的实现过程。重点分析了该方法中的修正值选取、关键词权重函数以及过虑策略等方面的不足,提出了一个改进的Web文本内容过滤方法,能够有效降低算法的复杂性,提高性能。 相似文献