OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
1. 什么是 AOF 日志？ 2. 三种写回策略 1. 什么是 AOF 日志？ 试想一下，如果 Redis 每执行一条写操作命令，就把该命令以追加的方式写入到一个文件里，然后重启 Redis 的时候，先去读取这个文件里的命令，并且执行它，这不就相当于恢复了缓存数据了吗？ 这种保存写操作命令到日志的持 ...
分类：
其他好文 时间：
2021-06-02 16:21:07
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
初步动态分析 1.静态分析确定的线索 Lab01-01.dll kerne132.dll 2.动态分析对上述线索的验证分析过程 Ⅰ.基础动态分析 ①Process Explorer 没有子进程 ②Process Monitor 规则设置 根据应用程序全名，只要寻找其TCP连接，打开文件，读文件，写文 ...
分类：
其他好文 时间：
2021-06-02 16:08:21
阅读次数：
0
前置芝士 Cutting Game 给定一张 \(N\times M\) 的矩形网格纸，两名玩家轮流行动。 在每一次行动中，可以任选一张矩形网格纸，沿着某一行或某一列的格线，把它剪成两部分。 首先剪出 \(1\times 1\) 的格纸的玩家获胜。 两名玩家都采取最优策略行动，求先手是否能获胜。 \ ...
分类：
其他好文 时间：
2021-06-02 15:34:31
阅读次数：
0
/* * 24小时内显示几小时前 * 7天内显示几天前 * 超过7天显示月日 * */public function getTimeResult($time=1622256157){ //当前的时间戳 $ctime = time(); //当前时间戳-传入的时间戳=时间差 $difference = ...
分类：
微信 时间：
2021-06-02 15:29:24
阅读次数：
0
1、进化策略（ES：evolution strategy） 在一定的抽象程度上，进化方法可被视为这样一个过程：从个体构成的群体中采样并让其中成功的个体引导未来后代的分布。但是，其数学细节在生物进化方法的基础上实现了很大的抽象，我们最好将进化策略看作是一类黑箱的随机优化技术。 策略作用方式以交叉熵CE ...
分类：
编程语言 时间：
2021-06-02 15:13:50
阅读次数：
0
BUAA UNIT3 社交关系模拟系统 一. 总结实现自己实现规格所采取的设计策略 ? 在实现JML规格时，采取的策略为先大致读一遍JML规格，理解将要实现的类成员变量与方法的大致意义，之后去设计将要实现的类中的数据结构与算法，然后开始下手写代码。值得注意的是，这仅仅是第一步要进行的工作。 ? 在之 ...
分类：
其他好文 时间：
2021-06-02 15:12:46
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
子网掩码 局域网通信规则：在同一局域网中，所有ip必须在同一网段才可以通信 ip构成：网络位+主机位（网络位ip地址相同，为同一网段） 子网掩码：用来确定ip地址的网络位 ip地址详解 ios定义五大类 A类：1-126 默认子网掩码255.0.0.0 B类：128-191 默认子网掩码：255.2 ...
分类：
其他好文 时间：
2021-06-02 14:47:11
阅读次数：
0
