【学术论文】基于线性时态逻辑的物联网操作系统安全性设计 / 开普饭

Rust这两年实火了. 近年来,Rust凭借着出色的内存效率.速度与安全性,深受亚马逊.微软.华为.Facebook等科技巨头的青睐.Rust从根本上考虑安全性,提出了"没有数据竞争的并发性 ...

本期推荐的优秀论文,是由付鑫老师撰写的<基于UbD理论的大单元教学设计--以"植物的生命活动调节"为例>.该篇论文发表在<中学生物学>杂志2021年第4期上 ...

摘要: 设计了一种穿戴系统电源控制器,是基于单片机控制的电源控制器,为穿戴式系统提供电源管理功能.具有双电池的充电/供电管理,内置单片机,电源开关软控制,并可遥控关机,可实时监控并指示控制器各工作状态 ...

摘要: 石英振梁加速度计采用频率输出的形式表示加速度,在惯性导航系统中,需要将频率值转换为加速度值,再进行姿态解算.采用软件方法进行浮点计算,需要耗费CPU大量的计算能力.为了优化频率转换的计算速度, ...

摘要采用UMC 28 nm CMOS工艺,在低电源电压下设计实现了一种高速.低失调的灵敏放大器.在传统差分放大器.AB类锁存器等电路的基础上进行改进,提出了一种新型结构的灵敏放大器.利用Cadenc ...

摘要: 采用 0.25 μm GaAs pHEMT工艺研制了一款分布式功率放大器,详细介绍了电路设计和优化过程.通过增加低频交流终端,使得该放大器低频段的增益平坦度有明显的改善.仿真结果表明该放大器带 ...

摘要:为了弥补市场上现有产品缺少对乒乓球和羽毛球运动状态识别的现状,设计了一个佩戴于持球拍手腕就可以识别这两种运动中多种状态的手表.其硬件主要采用STM32F103C8T6单片机.MPU6050传感器 ...

基于光电扫描的坐标定位系统是近年来新兴的一种坐标测量方法,具有精确度高.不易受周围环境干扰等优点,因此在日本尼康公司生产的室内GPS(indoor GPS,iGPS)设备.天津大学精密测试技术及仪器实 ...

随着锂电池的快速发展,锂电池模拟器开始被研究人员提出,并进行了深入的研究.模拟锂电池不同的特性,比如放电电流大小不同.容量不同,锂电池模拟器方案就会有所改变.目前,锂电池模拟器中现有两种方案,一种是数 ...

摘要针对现有氦质谱检漏系统的技术缺陷,提出了一种基于物联网技术的氦质谱检漏系统的设计与实现方案.该系统综合了嵌入式与ZigBee.WiFi等物联网技术,由主控模块.采集模块.执行模块等组成:主控模块 ...

【学术论文】基于线性时态逻辑的物联网操作系统安全性设计