本实用新型公开了一种存储装置用电源系统，包括电源管理模块、锂电池，所述电源管理模块包括充电管理模块、充电认证模块、lightning充电接口，所述锂电池与充电管理模块连接；所述lightning充电接口与充电认证模块之间通过充电接口与认...

本发明公开了一种基于蓝牙通信的离线数据存储装置，包括蓝牙射频处理单元、处理器、Flash存储单元、SD卡存储单元，所述单核处理器分别通过SPI接口连接Flash存储单元、SD卡存储单元，所述Flash存储单元、SD卡存储单元分别包括A区...

本发明公开了一种基于中间语言的形式化规约语言简化方法，将应用程序转化为中间语言程序，然后将中间语言程序映射为Lolisa语言程序；所述中间语言程序包括类型finitpar_type和结构list_pars，采用类型finitpar_ty...

本发明为一种基于抽象语法树的EOS智能合约语言转换方法，通过孩子兄弟表示法（二叉链表树）存储抽象语法树各个节点，能够针对自定义文法构造，将EOS智能合约源码转化为功能等价的形式化验证语言，并通过加入符号表共同实现翻译动作，实现可定制化的...