一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
npm源改为国内 此方法不需要安装cnpm也可以使用淘宝镜像，提高国内访问速度 由于 Node 的官方模块仓库网速太慢，模块仓库需要切换到阿里的源。 npm config set registry https://registry.npm.taobao.org/ 执行下面的命令，确认是否切换成功。 ...
分类：
Web程序 时间：
2021-06-02 17:08:19
阅读次数：
0
Nginx是一款高性能的http 服务器/反向代理服务器及电子邮件（IMAP/POP3）代理服务器。由俄罗斯的程序设计师Igor Sysoev所开发，官方测试nginx能够支支撑5万并发链接，并且cpu、内存等资源消耗却非常低，运行非常稳定。本文主要简述Nginx的配置文件及示例配置，仅供学习分享使... ...
分类：
其他好文 时间：
2021-06-02 16:30:14
阅读次数：
0
本项目代码地址：https://github.com/HashZhang/spring-cloud-scaffold/tree/master/spring-cloud-iiford 我们使用 Spring Cloud 官方推荐的 Spring Cloud LoadBalancer 作为我们的客户端负 ...
分类：
数据库 时间：
2021-06-02 15:36:48
阅读次数：
0
#matplotlib学习网站（搬运工） 入门 Matplotlib入门-1-plt.plot( )绘制折线图 线段的形状 点的类型 ####分界线 python画横线竖线作为分界线 axhline函数--Matplotlib-改变分界线的样式 ##官方网站 https://www.osgeo.cn ...
分类：
Web程序 时间：
2021-06-02 15:09:29
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
简介 忘不了, 这是华为面试官给我的面试题, 但是我没有在1分钟内做出来. 或许那个时候面试官本来就不想要一个人. 使用模拟的方法. 使用一个visited数组, 判断是否走到边界, 只有四个方向: j++ i++ j-- i-- 依次循环. code class Solution { public ...
分类：
编程语言 时间：
2021-06-02 14:55:47
阅读次数：
0
1. kubeconfig配置文件 kubectl使用kubeconfig认证文件连接K8s集群，使用kubectl config指令生成kubeconfig文件。 2. kubectl管理命令概要 官方文档参考地址：https://kubernetes.io/zh/docs/reference/k ...
分类：
其他好文 时间：
2021-06-02 14:42:54
阅读次数：
0
Holux M-241 Plus曾经是一个非常好的GPS记录仪，深受户外运动爱好者的欢迎，可惜这家公司在2019年倒闭了。 官网关闭之后，软件注册码也找不到了，数据不能导出，不能回放，这玩意儿算是废了。 但是作为一个软硬件双料爱好者，秉着不抛弃不放弃，勤俭持家的优良传统，决定倒腾一番，花了三四天，终 ...
分类：
其他好文 时间：
2021-06-02 14:35:24
阅读次数：
0
简介 看到这种题目立即推, 动态规划. 但是我列出的不是特别好的公式, 提供自己的公式和官方的公式. res 是 自己创建的动态规划数组. nums[i] 我这里是都会选择nums[i], 但是会递推前面两个. for(int i=2; i<nums.size(); i++){ for(int j ...
分类：
其他好文 时间：
2021-06-02 14:34:27
阅读次数：
0
