猥琐大叔！！-优快云博客

原创 Linux学习

一、Linux系统简介1. linux内核官网： www.kernel.org2. 开源软件：使用的自由：绝大多数开源软件免费研究的自由：可以获得软件源代码散布及改良的自由：可以自由传播、改良甚至销售3.支持互联网的开源技术 LAMP：Linux 操作系统、Apache Web服务器、MySQL 数据库、PHP 编程语言4.Linux应用领域基于Linux的企业服务器www.netcraft.com 踩点网站嵌入式应用Linux在电影娱乐业二、

2021-05-03 15:57:32 3239

原创数据通信进阶篇_OSPF

1. 交换专题 Smart Link & Monitor LinkSmart Link 的概念及术语技术背景双上行组网是目前常用应用组网之一，提供物理冗余的同时也带来了环路问题，常规的解决方案是采用生成树协议来保证冗余性同时解决环路问题，但生成树协议的收敛至多只能达到秒级速度，这在性能上对于某些敏感的业务或客户而言就无法接受了。Smart Link概述SmartLink是一种为双上行组网量身定做的解决方案，具有如下优点：能够实现在双上行组网的两条链路正常情况下，只有一条处于连通

2021-02-09 20:30:34 1455

原创数据通信基础篇

1. 网络基础知识数据通信网络的基本概念HUB属于总线型设备，连接在同一台HUB上的网元处在一个冲突域中，处在冲突域上的网元在同一时间只能有一个网元在享用带宽，发送数据。如果同时有两个网元在发送数据就会产生冲突，数据包就会受损。交换机的每一个接口是一个单独的冲突域，连接在同一台交换机上的所有的节点处在一个广播域中。交换机基于MAC进行寻址交换机的功能：数据帧的交换终端用户设备的接入基本的接入安全功能广播域的隔离(VLAN)二层链路的冗余、防环及负载均衡一个广播域是一个逻辑子网，

2021-02-04 00:12:10 1568 1

原创 z3 strategies

高性能的求解程序，如Z3，集成了许多手工的启发式算法证明方法组合。虽然这些启发式组合倾向于对已知类型的问题进行高度调整，但它们很容易在新类型的问题上表现得非常糟糕。随着solver开始获得不同领域的科学家和工程师的关注，这个问题变得越来越紧迫，在许多情况下，对求解器启发式的更改可以产生巨大的差异。Z3实现了一种精心策划的推理引擎方法，其中“大”的符号推理步骤被表示为函数(或策略，tactics)，tactics 由tacticals的组合组成。Tactics把公式集称为Goals.当一个tactic应

2021-01-27 16:44:25 632

原创 z3 guide

Z3是微软研究院开发的高性能定理证明程序。Z3有许多应用场合，如:软件/硬件验证和测试，约束求解，混合系统的分析，安全，生物(硅分析)，几何问题。 Z3发行版还包含C、C++、.Net、Java和OCaml 的api。Z3Py的源代码可以在GitHub上的Z3发行版中获得.导入z3!pip install "z3-solver"from z3 import *从一个简单例子开始x = Int('x')y = Int('y')solve(x > 2, y < 10, x + 2*y

2021-01-27 10:02:18 958

原创学习笔记之 JAVA编程思想(Thinking in Java)

系列文章目录提示：这里可以添加系列文章的所有文章的目录，目录需要自己手动添加例如：第一章 Python 机器学习入门之pandas的使用提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录系列文章目录前言一、pandas是什么？二、使用步骤1.引入库2.读入数据总结前言我要开始读《Java编程思想》这本八百多页的大书了，好好记笔记，加油！！提示：以下是本篇文章正文内容，下面案例可供参考一、pandas是什么？示例：pandas 是基于NumPy 的一种工具，该工具

2020-11-27 11:16:39 1361

原创 python数据可视化学习

系列文章目录提示：这里可以添加系列文章的所有文章的目录，目录需要自己手动添加例如：第一章 Python 机器学习入门之pandas的使用提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录系列文章目录前言二、使用步骤1.引入库2.读入数据总结前言数据可视化需要用到 matplotlib 这个数学绘图库，请自行下载安装# 一、生成数据## 1.绘制简单的折线图import matplotlib.pyplot as pltsquares = [1,4,9,16,

2020-11-25 01:01:46 1739 4

原创学习笔记之 Python编程从入门到实践

系列文章目录提示：这里可以添加系列文章的所有文章的目录，目录需要自己手动添加例如：第一章 Python 机器学习入门之pandas的使用提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录系列文章目录前言第二章变量和简单数据类型一、变量的命名和使用二、字符串三、整数和浮点数第三章列表简介第四章操作列表1.引入库2.读入数据总结前言提示：这里可以添加本文要记录的大概内容：例如：随着人工智能的不断发展，机器学习这门技术也越来越重要，很多人都开启了学习机器学习，本文就

2020-11-18 16:55:15 1265

原创学习笔记之 Java并发编程的艺术

系列文章目录提示：这里可以添加系列文章的所有文章的目录，目录需要自己手动添加例如：第一章 Python 机器学习入门之pandas的使用提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录系列文章目录前言第一章并发编程的挑战一、并发执行一定比串行执行快吗二、如何减少上下文切换三、死锁的代码示例四、避免死锁的常见方法五、资源限制的挑战二、使用步骤1.引入库2.读入数据总结前言提示：这里可以添加本文要记录的大概内容：例如：随着人工智能的不断发展，机器学习这门技术也越来越

2020-11-17 01:35:27 156

原创学习笔记之计算机网络:自顶向下方法(原书第7版)

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录第一章计算机网络和因特网一、基本术语和概念二、使用步骤1.描述因特网的方式2.宽带住宅接入有两种最流行的类型2.读入数据总结第一章计算机网络和因特网提示：这里可以添加本文要记录的大概内容：例如：随着人工智能的不断发展，机器学习这门技术也越来越重要，很多人都开启了学习机器学习，本文就介绍了机器学习的基础内容。提示：以下是本篇文章正文内容，下面案例可供参考一、基本术语和概念主机或端系统:包括传统设备(桌面PC、Lin

2020-11-04 15:09:39 5515 1

原创 CSAPP学习——信息的表示和处理

1.整数的计算机运算满足真正整数运算的结合律和交换律，因为计算机对整数的表示是严格精确的，但是浮点数由于表示的精度有限，浮点运算是不可结合的。如(3.14+1e20)-1e20 //值是03.14+(1e20-1e20) //值是3.142.机器级程序将内存视为一个非常大的字节数组，称为虚拟内存。内存的每个字节都由一个唯一的数字来标识，称为它的地址，所有可能地址的集合就称为虚拟地址空间。C编译器把每个指针和类型信息联系起来，根据指针值的类型，生成不同的机器级代码来访问存储在指针所指向位置处的

2020-10-25 23:31:51 229

原创 config2spec环境配置

config2spec环境配置1.准备工作ubuntu-20.04.1-desktop-amd64.isojdk-8u261-linux-x64.tar.gzapache-maven-3.3.9-bin.tar.gz2.安装jdk解压jdk到用户目录的jdk文件夹中$ cd ~$ mkdir jdk$ tar -zxvf jdk-8u261-linux-x64.tar.gz配置环境变量$ vim /etc/profileexport JAVA_HOME=/home/miracle/

2020-10-14 20:27:23 640 2

原创 CCF2013年12月第一题

试题编号：201312-1试题名称：出现次数最多的数时间限制：1.0s内存限制：256.0MB问题描述：给定n个正整数，找出它们中出现次数最多的数。如果这样的数有多个，请输出其中最小的一个。输入格式输入的第一行只有一个正整数n(1 ≤ n ≤ 1000)，表示数字的个数。输入的第二行有n个整数s1, s2, …, sn (1 ≤ si ≤ 10000, 1 ≤ i ≤ n)。相邻的数用空格分隔。输出格式输出这n个次数中出现次数最多的数。如果这样的...

2020-06-17 14:19:47 155

qq_44477568的博客