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
2020-2021-2 网络对抗技术 20181202 Exp8 Web基础 目录 原理与实践说明 实践内容概述 任务一：Web前端HTML 能正常安装、启停Apache。理解HTML，理解表单，理解GET与POST方法,编写一个含有表单的HTML。 任务二：Web前端javascipt 理解Jav ...
分类：
Web程序 时间：
2021-06-02 16:02:04
阅读次数：
0
##1 数学基础-立体角 topameng知乎 ...
分类：
其他好文 时间：
2021-06-02 15:58:56
阅读次数：
0
环境设置 安装 Spring 框架之前在你的机器上需安装 JDK，Tomcat 和 Eclipse。 下载Spring的基础jar包 目前 Spring 框架的最新版本是 5.1.8，本教程是基于 Spring 的稳定版本 3.2.13 进行讲解的。读者可以通过网址 http://repo.spri ...
分类：
编程语言 时间：
2021-06-02 15:42:17
阅读次数：
0
#关于博客 以前的博客是这样的： 标题 发布状态 评论数 阅读数 操作 操作 c语言学习教程1之预定义代码 (2021-01-26 19:39) 已发布 0 36 编辑 删除 C语言基础教程一之#include 仅自己 (2020-07-11 18:05) 已发布 0 0 编辑 删除 Python3 ...
分类：
其他好文 时间：
2021-06-02 15:35:39
阅读次数：
0
#!/usr/bin/env python3 # -*- coding: utf-8 -*- #根据主机ip查找openSSH配置文件~/.ssh/config对应主机配置项 #自用sshfindip命令python实现版本 #原始sshfindip为shell脚本实现，参看：/v/bin/sshf ...
分类：
编程语言 时间：
2021-06-02 15:35:27
阅读次数：
0
手机网络时代，各个企业都在设计自己的APP，所以手机APP设计涉及的行业也越来越广泛。但企业APP要想让更多的用户了解和使用，就需要更高的知名度，除了要建立在企业自身的用户基础之上，还要吸引潜在用户下载和使用。因此，企业如何通过交互体验提高用户粘性呢？ 一、活动吸引用户参与。公司可以策划新的活动，吸 ...
分类：
移动开发 时间：
2021-06-02 15:25:25
阅读次数：
0
1、进化策略（ES：evolution strategy） 在一定的抽象程度上，进化方法可被视为这样一个过程：从个体构成的群体中采样并让其中成功的个体引导未来后代的分布。但是，其数学细节在生物进化方法的基础上实现了很大的抽象，我们最好将进化策略看作是一类黑箱的随机优化技术。 策略作用方式以交叉熵CE ...
分类：
编程语言 时间：
2021-06-02 15:13:50
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
