OO第三单元总结 一、JML理论基础 JML是设计者提供给开发者的说明书，除了消除自然语言的歧义和可供自动化测试，在大工程中规格注释可能是开发人员间效率最高的交流方式。 JML设定规格，同时有比较高的自由度，如类型规格不限制层次继承结构的设计（满足规格继承前提），抽象数据类型不限制实际使用的数据结构 ...
分类：
其他好文 时间：
2020-05-23 18:02:00
阅读次数：
58
1.1下载 CentOS下载： https://www.centos.org/download/ DVD ISO:标准安装版，一般下载这个版本就可以了（推荐） Everything ISO:对完整版安装盘的软件进行补充，集成所有软件（包含一套完整的软件报，可以用来安装系统或者填充本地镜像） Mini ...
分类：
系统相关 时间：
2020-05-23 18:01:13
阅读次数：
77
1. 概念 开发依赖：devDependencies 运行依赖：dependencies 2. 理解 （1）devDependencies 在线上状态不需要使用的依赖，就是开发依赖。为什么 npm 要把它单独分拆出来呢？最终目的是为了减少 node_modules 目录的大小以及 npm insta ...
分类：
其他好文 时间：
2020-05-23 18:00:55
阅读次数：
349
Heartbeat 能够通过 ICMP、TCP 和 HTTP 进行 ping 检测，同时也支持 TLS、认证和代理。可以借助简易的 DNS 解析，监控负载均衡服务器背后的所有主机。 下载地址:https://www.elastic.co/cn/downloads/beats/heartbeat #安 ...
分类：
其他好文 时间：
2020-05-23 18:00:37
阅读次数：
57
一、实践要求 本实践的具体要求有： (1).Web前端HTML 能正常安装、启停Apache。理解HTML，理解表单，理解GET与POST方法,编写一个含有表单的HTML。 (2).Web前端javascipt 理解JavaScript的基本功能，理解DOM。编写JavaScript验证用户名、密码 ...
分类：
Web程序 时间：
2020-05-23 18:00:18
阅读次数：
80
9.7jcxz指令 jcxz指令为有条件转移指令，所有的有条件转移指令都是短转移，在对应的机器码中包含转移的位移，而不是目的地址。对ip的修改范围都为-128~127 指令格式：jcxz 标号 （如果cx=0，则转移到标号处执行） jcxz 标号 指令操作： 当cx=0时，ip=ip+2位位移 8位 ...
分类：
其他好文 时间：
2020-05-23 16:53:51
阅读次数：
67
一、 现象 用户打开消息推送有概率报错，后续发现推送消息阅读数、点赞数无法正常更新，mysql报警有行锁， DBA抓到有锁表语句，kill该语句未正常恢复，elk日志有大量的java.sql.SQLException: connection holder is null 重启应用恢复 二、分析 根据 ...
分类：
其他好文 时间：
2020-05-23 16:53:18
阅读次数：
50
原文:【VS】Visual Studio 就可以反编译查看源码了，再见了 Reflector 以前需要反编译的时候，一直都是用的神器 Reflector。但毕竟还是有点不方便，因为要从 VS 切换到另一个工具。而且，Reflector 现在收费了。 然而现在才发现，原来 VS 已经自带反编译功能了，... ...
分类：
其他好文 时间：
2020-05-23 16:53:04
阅读次数：
260
进程与程序 程序：例如xxx.py这是程序，是一个静态的 进程：一个程序运行起来后，代码+用到的资源 称之为进程，它是操作系统分配资源的基本单元。 multiprocessing模块 multiprocessing模块就是跨平台版本的多进程模块，提供了一个Process类来代表一个进程对象，这个对象 ...
分类：
编程语言 时间：
2020-05-23 16:52:49
阅读次数：
55
hotel解题报告 1 方法1 我们可以用$down[i][j]$表示在$i$的子树里面距离为$j$的节点的个数，$up[i][j]$表示通过$i$的父亲走到的距离为$j$的点的个数。 $$ down[i][j]=\sum_{all\_son}down[son][j 1] $$ $$ up[i][j ...
分类：
其他好文 时间：
2020-05-23 16:52:20
阅读次数：
45
本篇文章给大家带来的内容是关于移动端H5页面实现生成图片的代码，有一定的参考价值，有需要的朋友可以参考一下，希望对你有所帮助。 打造全网web前端全栈资料库（总目录）看完学的更快，掌握的更加牢固，你值得拥有（持续更新） 1、生成图片可以用canvas,但是由于已经有了html2canvas这个开源库 ...
分类：
移动开发 时间：
2020-05-23 16:52:04
阅读次数：
138
这里介绍一些里面常用的命令： 1.adb devices , 获取设备列表及设备状态 2.adb get-state , 获取设备的状态 设备的状态有 3 钟，device , offline , unknown device：设备正常连接 offline：连接出现异常，设备无响应 unknown： ...
分类：
数据库 时间：
2020-05-23 16:51:17
阅读次数：
242
一.基本使用 usage: pyinstaller [-h] [-v] [-D] [-F] [--specpath DIR] [-n NAME] [--add-data <SRC;DEST or SRC:DEST>] [--add-binary <SRC;DEST or SRC:DEST>] [-p ...
分类：
其他好文 时间：
2020-05-23 16:51:01
阅读次数：
70
转发：https://developer.51cto.com/art/201809/583768.htm cookie机制 Cookies是服务器在本地机器上存储的小段文本并随每一个请求发送至同一个服务器。IETF RFC 2965 HTTP State Management Mechanism 是 ...
分类：
其他好文 时间：
2020-05-23 16:50:48
阅读次数：
78
文件位置 /usr/share/metasploit-framework/modules/ 技术功能模块介绍 exploits 利用系统漏洞进行攻击的操作，此模块对应每一个具体漏洞的攻击方法 payload 成功exploit之后，真正在目标系统执行的代码攻击 evasion 专门针对windows ...
分类：
Web程序 时间：
2020-05-23 16:50:33
阅读次数：
120
直接上指令： redis cli h 192.168.0.5 p 6379 a test123 ...
分类：
其他好文 时间：
2020-05-23 16:50:17
阅读次数：
63
为什么要使用swagger: 利于代码与注释与api文档相同步 接口的文档在线自动生成 可以直接使用可视化api文档进行接口调试 直接生成api文档文件，便于保存以及之后统一管理 支持多种语言java，go，php都可以使用swagger生成api文档 首先需要安装以下一个东西： 1. PhpSto ...
分类：
Web程序 时间：
2020-05-23 16:50:02
阅读次数：
178
