OO第三单元——基于JML的社交网络总结 一、JML知识梳理 1）JML的语言基础以及基本语法 JML是用于java程序进行规格化设计的一种表示语言，是一种行为接口规格语言。其为严格的程序设计提供了一套行之有效的方法。通过JML以及其支持工具，不仅可以基于规格自动构造测试用例，并整合了SMT Sol ...
分类：
其他好文 时间：
2020-05-22 13:03:22
阅读次数：
46
ZK的节点有5种操作权限：CREATE、READ、WRITE、DELETE、ADMIN 也就是 增、删、改、查、管理权限，这5种权限简写为crwda(即：每个单词的首字符缩写)注：这5种权限中，delete是指对子节点的删除权限，其它4种权限指对自身节点的操作权限 身份的认证有4种方式：world： ...
分类：
其他好文 时间：
2020-05-21 19:27:10
阅读次数：
166
一、写入起动导线开路ADC转换和轮询转换指令步骤 1.拉低CSB电平； 2.发送起动导线开路ADC转换和轮询转换指令； 3.通过PEC计算函数计算起动导线开路ADC转换和轮询转换指令的PEC校验码并发送； 4.拉高CAB电平。 //LTC6804_adow：起动导线开路ADC转换和轮询转换函数 vo ...
分类：
其他好文 时间：
2020-05-21 11:46:07
阅读次数：
101
JML这一单元是真的有含金量，很有难度。而且这难点和前两单元完全不同，前两单元是容易架构混乱导致细节出问题，JML单元是读不懂JML规格的话架构都构不出来，以及即使能够读懂JML规格了，让自己写规格的时候又蒙圈了（大哭.jpg)。以及 部署JML相关工具 的时候能够比以上都令人崩溃（暴风哭泣.jpg ...
分类：
其他好文 时间：
2020-05-20 21:37:26
阅读次数：
54
下载按钮：<buttonclass="layui-btnlayui-btn-sm"data-type="downTemplate">模板下载</button>对应方法：downTemplate:function(){window.open(ctx+"/download/template/customer");},java控制层：importorg.apache.common
分类：
编程语言 时间：
2020-05-20 09:21:18
阅读次数：
54
Git用法总结 [toc] 基本用法 git init git add git commit m git status 显示文件的git状态 版本穿梭 git log 显示HEAD及其祖先的commid记录 git reflog 显示HEAD的指向记录 git reset hard (HEAD^/c ...
分类：
其他好文 时间：
2020-05-18 14:42:33
阅读次数：
64
ALGOLTEKAG9321-MBQ提供了一个USB-C（显示端口备用）到HDMI转换器的带电源传输的单片机解决方案。AG9321-MBQ支持带片内Rp/Rd电阻器的双USB-C型插座，并符合电源传输规范USB3.0.AG9321-MBQ还支持快速充电?QC3.0为电池充电。DisplayPort接收器符合DisplayPort1.2规范，支持4096x2160/30Hz分辨率，可配置1、2或4通
分类：
其他好文 时间：
2020-05-17 01:01:42
阅读次数：
76
“递归只应天上有，迭代还须在人间”，从这句话我们可以看出递归的精妙，确实厉害，递归是将问题规模逐渐减小， 然后再反推回去，但本质上是从最小的规模开始，直到目标值，思想就是数学归纳法，举个例子，求阶乘 N!=(N-1)！*N ， 而迭代是数学中的极限思想，利用前次的结果，逐渐靠近目标值，迭代的过程中规 ...
分类：
编程语言 时间：
2020-05-15 21:45:22
阅读次数：
112
串行外设接口（Serial Peripheral Interface，SPI）是微控制器和外围IC（如传感器、ADC、DAC、移位寄存器、SRAM等）之间使用最广泛的接口之一。 SPI是一种同步、全双工、主从式接口。来自主机或从机的数据在时钟上升沿或下降沿同步。主机和从机可以同时传输数据。SPI接口 ...
分类：
其他好文 时间：
2020-05-15 19:54:09
阅读次数：
146
一、产品概述SSS1530是3S高度集成的单芯片USB音频控制器，带有片上振荡器，以节省外部12MHz晶体组件。SSS1530具有立体声16位ADC、立体声16位DAC、耳机驱动程序、5波段硬件均衡器、音频PLL、USB时钟振荡器和USBFS控制器以及PHY。外部24C02~16EEPROM连接为USBVID/PID/产品串、默认增益设置和其他定制功能提供了灵活性。SSS1530提供针对特色USB
分类：
其他好文 时间：
2020-05-13 09:41:41
阅读次数：
57
