一.JML语言理论基础与应用工具链 1.JML简介 JML(Java Mudeling Language)是一种语言行为规范，通过规范化的语句描述，约束了模块的行为。JML既可以用于规格化设计，又 可以用于针对已有代码的JML规格书写，提高代码的可读性与可维护性。 JML能够便于开发人员之间的交流， ...
分类：
其他好文 时间：
2020-05-23 13:08:17
阅读次数：
60
USB连接具体的解决办法如下： 1、打开拨号界面，输入: *#*#2846579#*#*。自动进入工程菜单，选择后台设置——>usb端口设置——>生产模式。 2、打开调试 设置--系统和更新--开发者选项--打开调试 3、USB连接方式 选择传输文件 4、在设置中搜索HDB，打开允许HiSuite通 ...
分类：
移动开发 时间：
2020-05-23 13:08:04
阅读次数：
383
Shell 传递参数 我们可以在执行 Shell 脚本时，向脚本传递参数，脚本内获取参数的格式为：$n。n 代表一个数字，1 为执行脚本的第一个参数，2 为执行脚本的第二个参数，以此类推…… 以下实例我们向脚本传递两个参数，并分别输出，其中 $0 为执行的文件名： 特殊字符参数 $# 传递到脚本的参 ...
分类：
系统相关 时间：
2020-05-23 13:07:50
阅读次数：
71
序 本文主要研究一下rocketmq-mysql的BinlogPositionManager BinlogPositionManager rocketmq-externals/rocketmq-mysql/src/main/java/org/apache/rocketmq/mysql/positio ...
分类：
数据库 时间：
2020-05-23 13:07:01
阅读次数：
61
摇杆控制角色移动 1. stick监听cc.Node.EventType.TOUCH_MOVE事件，获取stick移动的坐标和朝向，限制移动的范围 2. 根据stick的朝向，每帧更新player的位置和方向 摇杆的效果 player根据摇杆的方向移动 还要根据摇杆的状态改变player的朝向 第一 ...
分类：
移动开发 时间：
2020-05-23 13:06:35
阅读次数：
77
题意： 给定一个 $n?m$ 的格子矩阵，其中有一个格子是起点，一个格子是终点。从起点开始移动，每次能移动到有相邻边的格子中，每个格子都有一个权值 $v$,若从点 $(x,y)$ 移动到点 $(i,j)$，且$(i,j)$ 点未被访问过，则可以获得 $V_{(x,y)} V_{(i,j)}$ 的收益 ...
分类：
其他好文 时间：
2020-05-23 13:06:22
阅读次数：
58
阅读目录 一.操作系统基础 二.网络通信原理 2.1 互联网的本质就是一系列的网络协议 2.2 osi七层协议 2.3 tcp/ip五层模型讲解 2.3.1 物理层 2.3.2 数据链路层 2.3.3 网络层 2.3.4 传输层 2.3.5 应用层 2.3.6 socket 2.3.7 小结 三.网 ...
分类：
其他好文 时间：
2020-05-23 13:06:00
阅读次数：
53
倍增 $\tt LCA$ "ZJOI2012 灾难" "代码" 建一棵树，一个节点灭绝即子树灭绝。按拓扑序加入节点。如果该节点无前驱，由源点向它连边；否则由其前驱的最近公共祖先向它连边。 ...
分类：
其他好文 时间：
2020-05-23 13:05:44
阅读次数：
53
1.什么是元组 元组就是一些对象的集合，在我们编程时，比如一个人的信息，我们常常创建一个Person类，然后创建属性去描述一个人的信息，传统做法就是这样： public class Person{ public int ID{get;set;} public string Name{get;set; ...
#include<bits/stdc++.h>#define ll long longusing namespace std;/*题意：怪物血量为x，可以使用两种技能，分别为x/2+10和x-10，当x<=10时不能使用技能1*/int main(){ int t,x,n,m; cin>>t; fo ...
分类：
其他好文 时间：
2020-05-23 13:04:49
阅读次数：
50
倒排索引的初衷 倒排索引，它也是索引。索引，初衷都是为了快速检索到你要的数据。 我相信你一定知道mysql的索引，如果对某一个字段加了索引，一般来说查询该字段速度是可以有显著的提升。 每种数据库都有自己要解决的问题（或者说擅长的领域），对应的就有自己的数据结构，而不同的使用场景和数据结构，需要用不同 ...
分类：
其他好文 时间：
2020-05-23 13:04:30
阅读次数：
104
引子: 烧锅的之公司要开发android应用, 要配置React-Native, 结果她在公司搞了好几天,还是没有看到Welcome to React. 没的办法只好我上阵了. 我一步步配好后. 决定写一份安装文档, 希望有这个需求的码农们,不在像热锅上的蚂蚁焦急,愤怒, 甚至想砸电脑. 正文: 先 ...
分类：
其他好文 时间：
2020-05-23 13:04:12
阅读次数：
66
//冒泡法/*10个数 比较9组 1组 2组 3组 4组 比较9次 比较8次 比较7次 比较6次从a[0]-a[8] 从a[0]-a[7] 从a[0]-a[6] 从a[0]-a[5] */ #include <stdio.h>int main(){ int a[10],i,t,m,n; printf ...
分类：
其他好文 时间：
2020-05-23 13:03:53
阅读次数：
73
谷歌浏览器作为常用的开发工具，熟悉常用的快捷键，不仅方便快捷，也能间接提高不少工作效率。以下是谷歌浏览器常用快捷键和开发技巧。 标签页和窗口快捷键 1. Ctrl + n 打开新窗口 2. Ctrl + t 打开新的标签页，并跳转到该标签页 3. Ctrl + Shift + t 重新打开最后关闭的 ...
分类：
其他好文 时间：
2020-05-23 13:03:35
阅读次数：
60
发现了一个非常好的用web打印控件
分类：
Web程序 时间：
2020-05-23 13:03:02
阅读次数：
43
深拷贝和浅拷贝区别是什么？ 答： 复制一个 Java 对象 浅拷贝：复制基本类型的属性；引用类型的属性复制，复制栈中的变量 和 变量指向堆内存中的对象的指针，不复制堆内存中的对象。 深拷贝：复制基本类型的属性；引用类型的属性复制，复制栈中的变量 和 变量指向堆内存中的对象的指针和堆内存中的对象。 原 ...
分类：
其他好文 时间：
2020-05-23 13:02:34
阅读次数：
59
一．Jml总结及应用工具链 总的来说，jml就是对java程序进行规格化设计的一种表示语言，其中最核心的就是规格化，将代码要实现的功能和各项要求与约束不是通过自然语言，而是通过严密的逻辑语言来表达，这样让代码实现人员看的更加简洁明了，更极大地提高了代码的可维护性。 Jml这一大内容主要分为4个板块， ...
分类：
其他好文 时间：
2020-05-23 13:02:20
阅读次数：
44
