配置SRX100b双机热备HA心得：厂商指定F0/0/7-控制接口，F0/0/6-设备管理接口1、配置Clusterid和Nodeidsetchassisclustercluster-id1node0rebootsetchassisclustercluster-id1node1reboot注：node越小，级别越高，为主设备。另外，需要先把接口删除，否则重启后不能进入configure模式。2、配
分类：
其他好文 时间：
2019-05-27 20:52:18
阅读次数：
143
用电脑这么久，也琢磨出自己的一些使用心得。今天和大家分享几个Windows效率工具。数量不多，但每个都是精品。 ▌软件下载-卫星公众好「悦享软件」，在后台会话框中回复关键字：h108 1.Ditto Ditto 是一款强大的 Windows 剪贴板增强工具，它支持64位操作系统，而且完全免费，绿色开 ...
一、代码 二、运行结果 三、心得体会 本次实验需要多次测试实验错误，之前遇到困难在同学的帮助下完成。 ...
分类：
其他好文 时间：
2019-05-26 19:46:49
阅读次数：
76
本篇主要内容为docker的原理，所依赖的技术，以及组件之间的关联 ...
分类：
其他好文 时间：
2019-05-26 00:09:06
阅读次数：
130
医论著作。清·王秉衡撰。刊于1808年。全书以随笔形式，采录医著有关内容，结合个人临床经验予以阐论和发挥。书本论述六气致病、虚劳病证治、方剂分析、药性、望闻问切等专题，均能用浅近的语言进行分析和论述，切于临床实践，易于为人接受。其曾孙王士雄加有详细刊注，并辑入《潜斋医学丛书》中。现存清刻本。 《重庆 ...
分类：
其他好文 时间：
2019-05-25 19:30:57
阅读次数：
97
> 我个人从2014年开始走入管理，到现在为止，我经历过内部升职管理，也经历空降，对运维管理有一些经验与心得，趁最近工作没什么事，逐步分享给大家一些我踩过的坑与经验，希望大家能对各位有益。
# 一、为什么要成...
分类：
其他好文 时间：
2019-05-23 13:09:12
阅读次数：
149
梳理JML语言的理论基础、应用工具链情况 JML是一种行为接口规范语言，可以用于指定Java模块的行为。JML可以让我们对某个JAVA的行为进行规范，而不用真正地陷入到实现的细节中去。 JML的许多构造配合SMT Slover可以对代码进行形式化验证。 通过部署JMLUnitNG/JMLUnit可以 ...
分类：
其他好文 时间：
2019-05-22 20:56:09
阅读次数：
88
厉害了，2019/05/21 Apache软件基金会发表博文，宣布 Dubbo 在 2019/05/20 这天正式毕业，成为 Apache 的顶级项目。 参考：https://blogs.apache.org/foundation/entry/the apache software foundati ...
分类：
其他好文 时间：
2019-05-22 09:35:31
阅读次数：
81
OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证，在实现代码之前就保证所写代码正确性的有效手段 总的来说，JML实现了这样一种功能，即设计与实现分离。构造JML的与写代码 ...
分类：
其他好文 时间：
2019-05-21 19:15:47
阅读次数：
108
public class interface_test { public static void main (String[] arges){ yuanzhui a=new yuanzhui(2,5,6); yuanzhui b=new yuanzhui(1,3,3); System.out.pri ...
分类：
其他好文 时间：
2019-05-20 22:58:58
阅读次数：
144
