先上效果图吧 点击'roll'按钮，会出现旋转的动画 代码如下 <!DOCTYPE html> <html> <head> <title></title> <script type="text/javascript" src="JS/jquery-1.12.2.min.js"></script> < ...
分类：
Web程序 时间：
2020-05-23 13:20:00
阅读次数：
53
近期线上出现一个bug，研发的小伙伴把测试环境的地址写死到代码中，在上线前忘记修改，导致线上发布的代码中使用了测试环境地址。 开发过程中虽然有各种规范制度，但是难免有粗心，与其责备不如通过技术手段将问题进行避免。 为了达到上述需求，初步想通过以下步骤来实现代码关键字自动扫描告警。 Python安装 ...
分类：
编程语言 时间：
2020-05-23 13:19:37
阅读次数：
59
OO第三单元总结 这是oo课的第三个单元，也就是关于JML的学习。在这一个单元中，我感到和前几个单元有着很大的不同。因为在前几个单元中，我们要实现的功能必须通过阅读指导书，理解自然语言的含义才能理解，这样一来容易出现理解偏差，二来也很容易漏掉关键信息。但是，在这一单元中，我们只需要阅读相应的JML规 ...
分类：
其他好文 时间：
2020-05-23 13:19:23
阅读次数：
35
1. http协议2.0有什么特点 完全采用二进制格式 更稳定 多路复用 单个连接可以进行多次数据的传输 Header压缩 http2.0维护一个字典，差量更新http头部，大大降低头部传输产生的流量 服务端推送 服务端可以把index.html需要的静态资源一并发送到客户端，省去了客户端重复请求的 ...
分类：
Web程序 时间：
2020-05-23 13:19:06
阅读次数：
59
一、业务 1.讲你自己公司的业务，项目2.讲面试公司的业务3.工作的流程4.工作中处理问题的能力 二、自己公司的业务 1.我的第一份工作是在20XX年开始，到XX公司担任测试工程师；2.负责对XX项目，XX模块进行测试；3.以功能测试为主，包括编写并评审测试用例，提交并且跟踪bug，保证版本迭代稳定 ...
分类：
其他好文 时间：
2020-05-23 13:18:55
阅读次数：
80
在前几篇文章中，我们其实已经接触了 Python 的输入输出功能，本篇文章中我们再来详细学习一下。 1 格式化输出 Python 输出值的方式有两种：表达式语句和 print 函数（文件对象的输出使用 write 方法，标准文件输出可以参考 sys.stdout ， "详细文档" ）。 如果我们想要 ...
分类：
编程语言 时间：
2020-05-23 13:18:43
阅读次数：
54
一、JML语言的理论与应用工具链 JML语言是对一个方法、类、程序的外部可感知行为进行抽象表示的规格化语言，它具有两个重要的特征。第一点：JML语言是抽象的。它就如同一个方法、类、程序的说明书，它告诉你这个用这方法需要什么条件，使用了这个方法之后满足什么效果。但这样的效果任何实现，JML语言不进行描 ...
分类：
其他好文 时间：
2020-05-23 13:18:26
阅读次数：
49
反向代理和正向代理区别 转发自 "博友" 一 什么是代理 代理其实就是一个中介，A和B本来可以直连，中间插入一个C，C就是中介。 刚开始的时候，代理多数是帮助内网client访问外网server用的 后来出现了反向代理，"反向"这个词在这儿的意思其实是指方向相反，即代理将来自外网客户端的请求转发到内 ...
分类：
其他好文 时间：
2020-05-23 13:18:10
阅读次数：
57
unity shader 变种（多重编译 multi_compile） https://www.jianshu.com/p/f34d896dde5d Unity Shader - Making multiple shader program variants 制作shader程序多变体 https: ...
分类：
其他好文 时间：
2020-05-23 13:17:39
阅读次数：
65
写在前头的几句话（希望对盆友们有些许帮助）： 1、网上做测试，是不是无用？ 首先需要分辨下是不是严肃专业的测评量表，如果是，那么就有辅助参考作用。如果是趣味和娱乐的就不要尝试了。 2、网上做测试，能否确诊？当然不能，不论测试结果是什么，仅仅是参考和学习用途，能做诊断和确诊的，只有医生才有这个资格。 ...
分类：
其他好文 时间：
2020-05-23 13:17:21
阅读次数：
414
在启动文件（在bin目录下startup.bat ）加这两条代码来指定路径 SET JAVA_HOME=D:\jdk\Java\jdk1.8.0_201SET TOMCAT_HOME=D:\apache-tomcat-9.0.1 注意：版本号与位置要对应； ...
分类：
其他好文 时间：
2020-05-23 13:17:06
阅读次数：
50
最近线上出现了BUG，就是在服务器迁移之后，发现 nginx 的lua 脚本不能采集nginx的log数据 经过排查发现是因为 lua 不能找到对应文件，所以不能将nginx 数据写入 文件中。即 lua 不能创建创建文件目录，因此找不到文件。 明明 服务器未迁移之前好好的，怎么迁移重启之后就 报错 ...
分类：
其他好文 时间：
2020-05-23 13:16:21
阅读次数：
302
1、最大熵模型 最大熵模型描述的是这么一种情况，即在有约束条件的情况下，如何得到最好的模型。我们先来考虑如果没有约束的条件下，如何获得最好的模型，举个栗子，比如一个骰子，有6个面，转一次，求每个面的概率，根据经验，每个面的概率是1/6，这其实就是我们让整个系统熵最大。 那么什么是在有约束条件下概率最 ...
分类：
其他好文 时间：
2020-05-23 13:16:03
阅读次数：
54
1. 栈 栈的特点： 先进后出简单一句话 栈就是吃多了拉 from queue import LifoQueue # 进栈 def enter_stack(): s = LifoQueue(5) print(" 添加元素前 ") print(s.empty()) # 判断栈是否为空 print(s. ...
分类：
编程语言 时间：
2020-05-23 13:15:00
阅读次数：
85
通过不同的application-*.yml设置不同的开发环境 当我们需要哪个配置环境时，只需要在application.properties中指定即可，如下图所示： 如下测试： @RestController public class IndexController{ @RequestMappin ...
分类：
编程语言 时间：
2020-05-23 13:14:29
阅读次数：
87
