首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
  国内免费   1篇
综合类   1篇
无线电   2篇
自动化技术   4篇
  2014年   1篇
  2011年   2篇
  2009年   1篇
  2008年   1篇
  2004年   2篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
嵌入式零树小波编码算法是基于小波变换的一种图像压缩方法,它可以实现渐进编解码,从有损到无损压缩,具有较高的压缩比和图像恢复质量,在图像编码中具有非常重要的地位.文中对嵌入式零树小波编码算法及其改进算法的原理、方法和性能进行了介绍和比较,并指出了嵌入式图像编码的研究方向.  相似文献   
2.
基于串空间的Ad Hoc 安全路由协议攻击分析模型   总被引:1,自引:0,他引:1  
根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.  相似文献   
3.
基于串空间的匿名形式优化分析扩展   总被引:1,自引:0,他引:1  
为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时,定性分析多种匿名性之间的匿名程度差异,并以一个ad hoc网络下的基于区域的k匿名路由协议为例,验证形式化框架的正确性和高效性。  相似文献   
4.
为了解决在大规模软件测试中,人工的软件测试费时费力而且测试效果差的问题,该文提出了一种基于模糊测试技术和路径覆盖分析方法的软件测试方法。该测试方法可以自动完成用例生成、用例运行、收集目标程序信息和计算可疑语句的可疑度。通过实验,该方法在不降低代码覆盖率和错误发现率的情况下,缩短了软件测试的时间。  相似文献   
5.
可证明安全的MANET按需距离矢量路由协议分析   总被引:1,自引:0,他引:1  
基于模拟证明方法.Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性.对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明过程中的错误,并给出了一种针对ARAN协议的攻击方法,表明该协议即使在其分析模型下仍然存在安全漏洞.  相似文献   
6.
对MANET安全按需源路由协议的一种形式化分析模型进行了深入分析,指出其中存在的合并相邻敌手节点等不合理操作以及该模型下endairA协议安全性证明过程中的错误,并给出了一种针对endairA协议的隐蔽信道攻击,表明该协议即使在其安全分析模型下也不能满足其安全目标.  相似文献   
7.
嵌入式零树小波编码算法研究   总被引:7,自引:0,他引:7  
毛立强 《微机发展》2004,14(7):109-111,114
嵌入式零树小波编码算法是基于小波变换的一种图像压缩方法,它可以实现渐进编解码,从有损到无损压缩,具有较高的压缩比和图像恢复质量,在图像编码中具有非常重要的地位。文中对嵌入式零树小波编码算法及其改进算法的原理、方法和性能进行了介绍和比较,并指出了嵌入式图像编码的研究方向。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号