BUAA UNIT3 社交关系模拟系统 一. 总结实现自己实现规格所采取的设计策略 ? 在实现JML规格时，采取的策略为先大致读一遍JML规格，理解将要实现的类成员变量与方法的大致意义，之后去设计将要实现的类中的数据结构与算法，然后开始下手写代码。值得注意的是，这仅仅是第一步要进行的工作。 ? 在之 ...
分类：
其他好文 时间：
2021-06-02 15:12:46
阅读次数：
0
#作用域 #全局变量：在全局作用域下的变量，在函数内部没有关键字声明的变量也是全局变量 浏览器关闭才会销毁，占内存 #局部变量：在局部作用域下的变量，在函数内部的变量，形参 函数代码块执行结束后，销毁局部变量 #块级作用域 #作用域链 函数嵌套逐级向上查找 ...
分类：
其他好文 时间：
2021-06-02 15:12:27
阅读次数：
0
加密数字货币有着非常漫长的历史，这个冷知识专栏用几个主要人物和他们的创造，来展示一个简明的加密数字货币前传。 《区块链：技术驱动金融》一书的前言“通往比特币的漫长道路”（杰里米·克拉克/文）从技术与历史的角度对加密数字货币的历史进行了详细的阐述，这里参考了他的梳理分析。 1) 1983年，大卫·乔姆 ...
分类：
其他好文 时间：
2021-06-02 15:12:02
阅读次数：
0
数据链路层的基本问题中我们知道了数据链路层的信道利用方式，下面我们首先详解点对点通信的实际协议
主要协议：
HDLC(High level Data Link Control ） 实现可靠传输 协议复杂
PPP(Point-to-Point Protocol) 使用得最多的数据链路层协议 P... ...
分类：
其他好文 时间：
2021-06-02 15:11:36
阅读次数：
0
904.水果成篮 难度：中等 描述 在一排树中，第 i 棵树产生 tree[i] 型的水果。 你可以从你选择的任何树开始，然后重复执行以下步骤： 把这棵树上的水果放进你的篮子里。如果你做不到，就停下来。 移动到当前树右侧的下一棵树。如果右边没有树，就停下来。 请注意，在选择一颗树后，你没有任何选择： ...
分类：
其他好文 时间：
2021-06-02 15:11:14
阅读次数：
0
Cookie 1.1 会话 会话：用户打开一个浏览器，点击了很多的超链接，访问多个web资源，关闭浏览器，这个过程可以称之为会话。 有状态会话：一个同学来过教室，下次再来教室，我们就知道这个同学曾经来过，这个称之为有状态会话。 例如：一个网站，怎么证明你曾经访问过？ 客户端 服务端 服务端给客户端一 ...
分类：
其他好文 时间：
2021-06-02 15:10:58
阅读次数：
0
题目描述： 给定一个包含红色、白色和蓝色，一共 n 个元素的数组，原地对它们进行排序，使得相同颜色的元素相邻，并按照红色、白色、蓝色顺序排列。 此题中，我们使用整数 0、 1 和 2 分别表示红色、白色和蓝色。 示例 1： 输入：nums = [2,0,2,1,1,0] 输出：[0,0,1,1,2, ...
分类：
其他好文 时间：
2021-06-02 15:10:23
阅读次数：
0
public class app17_22 { private static String driver = "com.mysql.jdbc.Driver"; private static String url = "jdbc:mysql://localhost:3306/k"; private s ...
分类：
其他好文 时间：
2021-06-02 15:10:03
阅读次数：
0
通过/etc/exports中的字段可以控制那些设备可以进行安全读写控制。 比如可以将subnet设置更精确或者其他subnet，虽然可以挂载上，但是没有写权限，当你创建文件的时候提示失败 ...
分类：
其他好文 时间：
2021-06-02 15:09:08
阅读次数：
0
#es6中的块级作用域let consat ##相对于es5，es5只有var。没有作用域，相当于是全局作用域。而es6中let 和consat都是有作用域的 <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <title> ...
分类：
其他好文 时间：
2021-06-02 15:08:50
阅读次数：
0
一.Mark down学习 1.标题名 ctrl+1 一级标题 ctrl+2 二级标题 …………………… …………………… 一直能到 六级标题 2.字体 加粗ctrl+B 加斜ctrl+l 删除线 Alt +shift+5 引用 > 加 空格 分割线 三个减号 截图 可以 从本地找 也可以在网页上 ...
分类：
其他好文 时间：
2021-06-02 15:08:22
阅读次数：
0
背景：当我们同一条用例需要传入不同的参数进行测试时，我们可以每组数据写一个用例，但是这样代码冗余太多。 所以我们可以想着：同一个用例传入不同的参数。 例如：当我们测试用户登录，我们测试场景1：用户A，密码正确； 场景2：用户B，密码不正确 我们只是编写一个登录测试用例，而传入的参数是两组不同的数据。 ...
分类：
其他好文 时间：
2021-06-02 15:07:53
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
USB2.0IP设计 最近，在学习USB2.0IP的设计，其中包含了CRC校验码的内容，之前学习千兆以太网曾经用到过CRC32校验（https://www.cnblogs.com/Xwangzi66/p/14185143.html），CRC详细原理可见括号的链接，今天则从怎么用工具快速生成Veril ...
分类：
其他好文 时间：
2021-06-02 15:06:59
阅读次数：
0
前言 ELF格式的.gnu.hash节在设计上比较复杂，直接从glibc源码进行分析的难度也比较大。今天静下心来看了这篇精彩的文章，终于将布隆滤波器、算数运算转为位运算等一系列细节搞懂了（值得一提的是，这篇博客十分值得花一些时间读懂，它不仅对总体有一个较好的描述，而且还涉及了许多有益的实现细节）。但 ...
分类：
其他好文 时间：
2021-06-02 15:06:42
阅读次数：
0
循环结构 for for(初始化语句; 条件判断语句; 条件控制语句){ 循环体; } for(数据类型 变量名 : 数组名称){ 循环体 } while while(流程判断语句){ 语句体; 流程控制语句; } do ... while(了解) 区别 for, while 最低执行 0 次, d ...
分类：
其他好文 时间：
2021-06-02 15:06:24
阅读次数：
0
export命令对外接口是有名称的且import命令从模块导入的变量名与被导入模块对外接口的名称相同，而export default命令对外输出的变量名可以是任意的，并且这时import命令后面，不使用大括号。（解构）export default命令用于指定模块的默认输出。显然，一个模块只能有一个默 ...
分类：
其他好文 时间：
2021-06-02 15:05:44
阅读次数：
0
