给出了一个寄存器架构的虚拟机模型Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后,以定理的形式描述了语义满足的性质,并得到证明.这个模型的指令 ...
/dl/211127.html
标签： 机器 检测 micro 模型 虚拟 dalvik式化验证 定理证明 寄存器架构的虚拟机
上传时间： 2022-09-11
上传用户：ziv
近年来，随着智能机器人相关学科的迅速发展，家用产品变得越来越智能化。智能化割草机的研制能够很好地解决目前人工操作式割草机费时费力的缺点。目前市场上智能割草机的功能大体相似，一般都具备用户设定功能、边界线识别功能、自动寻基站充电功能等。不过大部分的智能割草机运行方式均为随机运行，造成最终割草效果并不整 ...
/dl/207893.html
标签： 具有 路径 规划 功能 智能 割草机 研制构建 模块化设计
上传时间： 2021-10-02
上传用户：kong
自移式机尾是综采工作面可伸缩带式输送机的重要连接部件。自移式机尾在井下工作时，由于顺槽底板不平整、输送带跑偏、转载机机头歪斜等情况的存在，常常需要通过调平处理使相关设备保持正常工作状态。目前井下对机尾的调平通常是手动操作，调平效率低、耗时长、精度低，影响到整个综采面的工作效率，也不利于井下设备自动化 ...
/dl/207989.html
上传时间： 2021-10-10
上传用户：zyt1528
液位计是工业测量中一种必不可少的测量仪表和安全附件,广泛地运用于石油、化工、制药等工业领域。其中电容式液位计由于其价格低廉、使用寿命长而得到广泛的运用。但其自身的缺陷,如温漂效应和寄生电容等严重限制其测量精度的提高。 本课题旨在设计一款电容式液位计,消除传统电容式液位计由于温度变化导致的介电常数改 ...
/dl/212446.html
标签： 电容式液位计
上传时间： 2022-09-25
上传用户：jinli1992546
近年来，GPS技术迅速发展，并随着3G时代的到来，其应用领域日益广阔，需求量与日俱增。与此同时，随着电路系统设计越来越复杂，上市时间日益缩短，集成电路设计方法面临重大变革。因此采用新型方法学来设计GPS接收系统是必要的。 本文基于GPS原理，采用可复用的IP技术和软硬协同设计技术，设计了一种高性能的GPS SOC接收系 ...
/dl/201157.html
上传时间： 2021-01-01
上传用户：wsn1dy
模块化可重构机器人由若干个相同的机器人模块组合装配而成，能够重构成不同的几何形态和结构，从而适应不同的作业任务要求。本论文主要对树状拓扑结构的模块化机器人的重构规划问题进行了研究，定义了构型重构的基本
/dl/201166.html
上传时间： 2021-01-01
上传用户：892720757
本文介绍了非接触式IC 卡智能热表组成和工作原理，给出了一种基于MSP430F413 单片机的热能表设计方案，同时对设计使用中的一些问题进行了讨论，并提出了解决办法。关键词：非接触IC 卡；M
/dl/201467.html
上传时间： 2021-01-02
上传用户：niu0703
树木建模是构建虚拟森林景观的主要环节，也是三维林业地理信息系统的基础。该文提出一种形态结构特征约束下的树木参数化建模方法，通过引进Bezier曲线控制树干以及树枝形状，并以荔枝树和马尾松为例对该方法进
/dl/201629.html
上传时间： 2021-01-03
上传用户：誓言
介绍了一种特殊结构的电容式力传感器。从结构设计、工作原理、电路设计对该电容式力传感器进行了分析、论述。并且提供了相应的实验数据。传感器非线性误差小于1 %。关键词: 电容式力传感器; 结构;
/dl/202251.html
上传时间： 2021-01-10
上传用户：jch
随着“非典”、禽流感等高传染性疾病的出现，在对实验动物的体温进行监测时，要尽量减少实验人员与实验动物的接触次数。基于现有远程体温监测系统上，对一种新型植入式的无线远程体温监测系统进行了研究。把
/dl/202280.html
上传时间： 2021-01-10
上传用户：b.a.d
