全文获取类型
收费全文 | 53篇 |
免费 | 13篇 |
国内免费 | 13篇 |
专业分类
电工技术 | 2篇 |
综合类 | 9篇 |
化学工业 | 2篇 |
金属工艺 | 1篇 |
建筑科学 | 7篇 |
矿业工程 | 3篇 |
水利工程 | 2篇 |
石油天然气 | 1篇 |
无线电 | 8篇 |
一般工业技术 | 2篇 |
自动化技术 | 42篇 |
出版年
2023年 | 3篇 |
2021年 | 1篇 |
2020年 | 1篇 |
2019年 | 5篇 |
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篇 |
排序方式: 共有79条查询结果,搜索用时 15 毫秒
1.
构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法. 相似文献
2.
3.
4.
针对传统入侵检测系统对付复杂攻击防御时暴露出的不足,提出利用数据挖掘技术进行网络入侵事件协同分析,建立关联规则与序列规则模型,并结合两者进行全局信息推理获取复杂攻击模式.重点研究了复杂入侵事件的防御决策技术和基于有限自动机的危机分析方法,详细分析了防御决策向量的制定过程以及防御知识的表示问题.实验结果表明,所提出的模型和方法能通过提前确定防御点增强系统防御的实时性与有效性. 相似文献
5.
Web文本内容过滤方法的研究 总被引:7,自引:0,他引:7
文章研究了Web文本内容过滤的方法,分析了向量空间模型、关键词匹配算法等关键技术.并详细讨论了Web网页中文本内容过滤方法的实现过程。重点分析了该方法中的修正值选取、关键词权重函数以及过虑策略等方面的不足,提出了一个改进的Web文本内容过滤方法,能够有效降低算法的复杂性,提高性能。 相似文献
6.
21世纪我国迎来了地下空间的大发展,针对我国目前地下空间的利用状况.提出了我国急需建立地下空间的开发和利用制度,以及地下空间开发的可持续性,并提出我国地下空间开发和利用的方向。 相似文献
7.
针对无线传感器网络中室外环境下的被动式目标定位问题,提出一种基于动态贝叶斯图的异构数据协同定位方法.该方法能够对异构无线网络数据相协调,完成目标被动式定位任务.首先深入分析了异构网络中可用于测距定位的三种基本被动式定位方法(基于信号强度模型,红外测距定位模型,粒子滤波定位),总结归纳了各方法的适用特点.其次,利用动态贝叶斯图,协调两种方法适用特点,推导出大规模室外被动式定位模型.仿真结果表明,笔者提出的异构数据协同定位方法能够完成被动式定位要求,与其他定位方法相比,定位精度较已有方法有所提升. 相似文献
8.
黄土连拱隧道中墙结构的数值模拟研究 总被引:8,自引:4,他引:4
隧道施工过程的应力变化对隧道的稳定性有重大的影响。文章通过对离石连拱隧道的二维弹塑性数值模拟,分析了隧道在开挖各阶段的应力和变形情况,针对隧道中墙受力情况进行了专题研讨,进而对连拱隧道的结构设计和施工作了一些探讨。 相似文献
9.
为了消除攻击者动态调试JavaScript代码给HTML5应用程序带来的安全威胁,提出一种基于反调试的代码保护方法.在深入分析Firefox及Chrome浏览器中调试器工作原理的基础上,探索了主流浏览器平台中调试器运行时的特征.基于调试器特征构造检测调试行为的JavaScript代码片,并结合针对调试行为的响应策略达到反动态调试目的.通过攻击实例验证了该方法的有效性,在不影响程序性能的前提下提升了Web应用程序的安全性. 相似文献
10.
无线传感器网络节点中的廉价晶振极易受到温度、电压、湿度等工作环境因素的影响.节点晶振的这一特性,为室外大规模无线传感器网络时间同步技术带来了两方面的挑战:(1) 过高的通信开销;(2) 精度与能耗之间的不平衡.针对以上问题,提出了一种基于温度感知的、自适应的无线传感器网络时间同步算法.该算法能够依赖本地温度信息对节点时间频偏进行估计及补偿,在保证算法同步精度的同时,降低了网络通信开销.除此之外,提出一种动态同步周期调节机制,使得算法能够根据当前环境温度变化情况对节点同步周期进行动态调节,从而达到了能耗与精度之间的平衡.大量仿真实验结果表明:所提出的时间同步算法可将通信能耗降低至传统同步算法的10%;且在环境温度不断变化的情况下,80%的频偏估计值其误差小于0.5ppm.故,所提出的时间同步方法能够有效地适用于室外环境下部署的大规模无线传感器网络. 相似文献