DraonAbyss

分类

C++(3) CodeForces(23) LeetCode(3) 函数语言程序设计(40) 安全编程(1) 密码学基础(17) 无线网络安全(5) 笔记(16) 算法设计与分析(22) 编译原理与技术(16) 网络安全数学基础(3) 计算机逻辑基础(8) 题解(37)

/ 注册

TA的专栏 167篇文章 11人订阅

【题解】SQL 入门

36篇文章 18251人学习

【学习】函数语言程序设计

39篇文章 1641人学习

【学习】密码学基础

16篇文章 1083人学习

【学习】算法设计与分析

22篇文章 1925人学习

【学习】无线网络安全

6篇文章 2960人学习

计算机逻辑基础

4篇文章 1462人学习

【学习】网络安全数学

7篇文章 883人学习

12篇文章 551人学习

2篇文章 542人学习

23篇文章 1665人学习

全部文章（共194篇）

Merge Sort 合并排序来自专栏

Merge Sort Master Theorem Divide-and conquer paradigm Other algorithms by D&C 合并排序 Merge Sort 合并排序A[1..n] 如果n=1，则完成。对A[1..n/2]和A[n/2+1..n]进行递归排...

2021-11-13

0 787

Huffman 哈夫曼来自专栏

哈夫曼编码 Huffman Codes 广泛使用的数据压缩技术假设数据是一个字符序列寻找存储数据的有效方法想法： –使用字符出现的频率来建立表示每个字符的最佳方式二进制字符代码 –用二进制字符串唯一地表示一个字符定长码 Fixed-Length Codes 例如：...

2021-11-13

0 578

【Coq】18 Tactics I 应用策略来自专栏

本章介绍了几个额外的证明策略和策略，使我们能够开始证明函数程序更有趣的属性。我们将看到：如何在“向前”和“向后”证明中使用辅助引理；如何对数据构造函数进行推理——特别是如何利用它们是内射的和不相交的事实；如何强化归纳假设，以及何时需要强化；和关于如何通过案例分析进行推理的更多详细信息。 ...

Coq 函数语言程序设计

2021-11-11

1 853

【Coq】17 Poly III 附加练习来自专栏

附加练习 Additional Exercises 57: 2 stars, standard (fold_length) 列表上的许多常见功能可以按折叠方式实现。例如，以下是长度的替代定义： Definition fold_length {X : Type} (l : list X) : nat ...

Coq 函数语言程序设计

2021-11-11

0 978

【Coq】16 Poly II 作为数据的函数来自专栏

作为数据的函数 Functions as Data 与大多数现代编程语言一样——特别是其他“函数”语言，包括OCaml、Haskell、Racket、Scala、Clojure等——Coq将函数视为一级公民，允许它们作为参数传递给其他函数、作为结果返回、存储在数据结构中等。高阶函数 Higher-...

Coq 函数语言程序设计

2021-11-11

0 604

Lecture 05_1 Semantics of Predicate Logic

谓词逻辑的语义 Semantics of Predicate Logic 谓词逻辑 Predicate Logic 谓词逻辑的语义 Semantics of predicate logic 模型 Models 语义蕴涵 Semantic entailment 平等的语义学 Semantics of...

计算机逻辑基础

2021-11-09

0 482

【ns-3-dev】Examples Tutorial III third.cc 来自专栏

Examples Tutorial Third /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ /* * This program is free software; you can redistribute it...

2021-11-08

0 806

【ns-3-dev】Examples Tutorial II second.cc 来自专栏

Examples Tutorial Second /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ /* * This program is free software; you can redistribute i...

无线网络安全

2021-11-08

0 703

【ns-3-dev】Examples Tutorial I first.cc 来自专栏

Examples Tutorial First /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ /* * This program is free software; you can redistribute it...

无线网络安全

2021-11-08

0 711

Hw 2 利用网络仿真工具NS3实现一种改进的安全路由协议来自专栏

要求利用网络仿真工具NS3实现一种改进的安全路由协议(自主选择)，要求：设置仿真空间1*1 KM2 随机生成100个对等节点（趋向于均匀分布）通信协议任选（如使用Zigbee 协议框架）最大传输速率200kb/s，最大通信距离75m，源节点与目标节点间距1KM以上。（选1）该路由协议可抗...

无线网络安全 NS3

2021-11-04

1 2960