给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令,为获得形式语义的清晰化,它在Dalvik VM指令集上进行了必要的抽象,对其实质没有改变,因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证.
资源简介:给出了一个寄存器架构的虚拟机模型micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最...
上传时间: 2022-09-11
上传用户:ziv
资源简介:针对云平台中同驻虚拟机间共享物理资源,一些恶意用户通过探测、分析共享资源的信息来隐蔽获取其他用户的私密信息,进而可能引发侧通道攻击潜在威胁的问题,提出了一种基于云模型的同驻虚拟机侧通道攻击威胁度量方法。该方法在分析同驻虚拟机侧通道攻击特征的基...
上传时间: 2022-09-26
上传用户:volansguo
资源简介:该文档为基于机器视觉的非结构化道路检测与障碍物识别方法总结文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2021-08-29
上传用户:x81229822
资源简介:角度检测的树莓派代码和12单片机多机通信代码、DS18B20单机串口代码
上传时间: 2022-01-12
上传用户:zivf0912f2
资源简介:·期刊论文:基于机器视觉的多功能在线检测实验平台研制
上传时间: 2021-01-24
上传用户:moguiaabb
资源简介:该文介绍了一种基于单摄像头机器人机器视觉的程序设计。该设计在结构上分为四大部分,摄像头采集驱动、乒乓球及影子识别定位、乒乓球三维定标及乒乓球运动轨迹预测。摄像头采集驱动包括图象数据格式转换,图像时间标签。影子是对单摄像头特殊定标方案的一个必...
上传时间: 2021-06-16
上传用户:7511199344
资源简介:·基于VS720机器视觉的品质检测系统
上传时间: 2022-09-06
上传用户:剑破冰山
资源简介:与传统的入侵检测系统相比,基于虚拟机自省的入侵检测系统的抗干扰性更强.但由于存在语义鸿沟问题,即低层的硬件字节信息与操作系统级语义之间的差异,导致入侵检测系统的通用性和实时性下降.针对此问题,本文提出了Vlhd,一种基于语义鸿沟修复方法的rootkit隐藏对...
上传时间: 2022-09-10
上传用户:rongxq
资源简介:首先本文对动目标检测的原理做了研究,研究了快慢时间维采样、动目标显示、多普勒滤波器组和零频抑制滤波器的相关算法。采用有限冲击响应(FIR)横向滤波器实现多普勒滤波器组,其加权系数可随不同的应用场景而设计,可以在不同频段设计相应频率的滤波器来抑...
上传时间: 2021-05-01
上传用户:NRC181
资源简介:文章首先对现有a-stable噪声中信号检测的几种方法进行概述、分析.在将背景噪声拓展为对称。-stable分布噪声和高斯噪声的混合噪声(一种更接近实际工程的噪声模型)时,基于一种可通近于对称a-stable分布的表达式,提出了几种基于低阶矩理论的信号检测新方法.它...
上传时间: 2021-05-21
上传用户:luo800216
资源简介:一种实现载波监听多点接入/冲突检测的多主通讯方案,可以适用于多种接口
上传时间: 2021-08-21
上传用户:outmanwt
资源简介:该文档为基于机器视觉的草地蝗虫识别方法总结文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2021-08-24
上传用户:dayeyes
资源简介:·基于机器视觉的车道偏离报警系统
上传时间: 2021-09-18
上传用户:sigunyd
资源简介:OHA(Open Handset alliance)开放手机联盟,为 Google与33家公司联手为Android移动平台系统的发展而组建的一个组织。Android是目前最流行的手机开发平台,依靠 Google强大开发和媒体资源,Android成为众多手机厂商追逐的对象Android是包括一个操作系统丶中间...
上传时间: 2021-10-12
上传用户:sweetanran
资源简介:· 摘要: VLIW DSP机器由于硬件控制简单,指令的并行性完全在编译时决定.因此编译程序成为基于VLIW DSP机器应用的关键因素.文章描述通过在编译程序中使用目标机器描述技术,提高了编译程序的可重定目标性,减少了生成目标编译程序的难度.
上传时间: 2021-11-05
上传用户:jsc
资源简介:高级语言、汇编语言及机器语言的区别这是一份非常不错的资料,欢迎下载,希望对您有帮助!
上传时间: 2021-11-09
上传用户:cyy
资源简介:该文档为基于机器视觉的汽车牌照识别总结文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2022-09-22
上传用户:sunxin
资源简介:针对多聚焦图像融合问题本文提出了一种基于多尺度边缘检测的小波图像融合方法。该方法采用Frei-chen模板对源图像经小波分解后系数所对应子图像进行边缘检测,选择最有可能是边缘的点加以保留,最后
上传时间: 2021-01-01
上传用户:yw920520
资源简介:一个电子工程师的经验之谈,里面讲到了如何成为一名电子工程师的进阶之路。
上传时间: 2021-02-16
上传用户:guanjiayi
资源简介:分享一个复旦微电子的FM1701电路图 PCB,可以直接打样
上传时间: 2021-03-02
上传用户:0z0z
资源简介:PIC单片机按键检测的C程序,很不错的,算法很好!
上传时间: 2021-03-29
上传用户:surgelsm
资源简介:该文档为基于VB的DSP-与PC机的串行通信总结文档,是一份不错的参考资料,感兴趣的可以下载看看,,,,,,,,,,,,,,,,,
上传时间: 2021-04-23
上传用户:q83077607
资源简介:787.ABC123:一个挑战记忆力的游戏 ABC123,IOS小游戏开发源码,感兴趣的可以下载看看。
上传时间: 2021-04-27
上传用户:luo
资源简介:实用于温度检测的试样产品图纸。经实物验证!
上传时间: 2021-06-17
上传用户:liyujun1995
资源简介:·一种基于变化区域检测的运动对象分割算法
上传时间: 2021-06-27
上传用户:edwards0307
资源简介:分享一个自己做的 Slider 库,Android项目实例相关源码,完整详细!!!
上传时间: 2021-07-14
上传用户:yyyy580
资源简介:该文档为一个比较经典的PLC原理讲解文档,是一份还算不错的参考文档,感兴趣的可以下载看看,,,,,,,,,,,,,,
上传时间: 2021-08-06
上传用户:q735423841
资源简介:一个基于Linux的嵌入式实时操作系统下载,需要的自行下载!
上传时间: 2022-09-03
上传用户:kira5457
资源简介:·基于自适应门限和宽线检测的牌照定位方法
上传时间: 2022-09-06
上传用户:蓝晶石
资源简介:本文档的主要内容详细介绍的是如何制作一个纯甲类的FET功率放大器。
上传时间: 2022-09-07
上传用户:li140938