NRbene-优快云博客

原创【gnuplot】gnuplot安装与简易使用

gnuplot安装（202203）文章目录gnuplot安装（202203）安装与使用常见错误参考gnuplot-tutorial-part其他阅读安装函数Plot && SplotPlotting FunctionsPlotting Data自定义PLOTplot自定义使用set自定义用其他注释字符绘制数据文件GNUPLOT SCRIPTS使用ns3时需要用到gnuplotgnuplot aarm aa安装与使用以下操作在su下进行，make install时否则会有权限错误

2022-03-20 18:37:30 14143 3

原创【机器学习】学习笔记01-概论

机器学习简介文章目录机器学习简介机器学习辨析深度学习与机器学习机器学习与数据挖掘机器学习与统计学习机器学习与传统编程机器学习概念适用条件挑战模型的稳定性模型的可解释性历史符号主义贝叶斯学派连接主义其他概念基本概念三要素模型策略算法归纳偏好证明机器学习的目标欠拟合和过拟合泛化误差(重点)缓解过拟合深入理解泛化误差基本概念方法总结机器学习一般流程机器学习分类按有无标签分类按输出空间分类按模型分类按算法分类机器学习辨析机器学习：利用现有经验E 不断改善其完成既定任务T 的性能基于经验数据的函数估计问

2022-02-28 11:24:50 1272

原创【NS3】SUMO安装（Linux+Windows）

SUMO安装（Linux+Windows）文章目录SUMO安装（Linux+Windows）Windows安装OSMWebWizard 与NS3选项设置车辆与需求设置文件生成Linux安装所需环境下载文件设置环境变量使用 cmake 构建 SUMO 二进制文件Windows安装官网下载安装包，一件安装OSMWebWizard 与NS3要求python>=2.7OSM Web 向导提供了从 SUMO 开始的最简单的解决方案之一。根据选择的 openstreetmap 地图摘录，您将

2022-02-25 20:42:03 2598

原创【NS3】NetAnim 安装

NetAnim安装文章目录NetAnim安装NS build.py报错安装Qt再次build.pyNS build.py报错┌──(root💀kali)-[/home/kali/Desktop/ns-allinone-3.35]└─# ./build.py --enable-examples --enable-tests# Build NetAnimEntering directory `netanim-3.108' => qmake -vqmake: could not exec

2022-02-25 18:36:41 1959

原创【NS3】NS3安装 visualizer模块安装 (Windows+VMware+Kali) 2022.2

NS3安装(Windows+VMware+Kali) 2022.2文章目录NS3安装(Windows+VMware+Kali) 2022.2VMware安装导入kali换源环境搭建NS3下载与安装visualizer 相关build NS3常见错误build结果测试与运行NS3VMware安装导入kali换源进入root模式sudo su配置源vim /etc/apt/sources.list注释原本的源，换成国内源地址（下列代码采用阿里云）ies/#deb http://http

2022-02-24 19:31:45 7649

翻译【NS3】入门笔记（部分）翻译自ns3-tutorial

文章目录NS3-TutorialIntroductionGetting StartedConceptual OverviewKey AbstractionsNodeApplicationChannelNet DeviceTopology Helper 拓扑结构HelperA First ns-3 ScriptBoilerplate 规章制度Module IncludesNs3 NamespaceLoggingMain FunctionTopology HelpersNodeContainerPointToP

2022-02-23 17:39:46 3824 1

原创计算机病毒note01

文章目录绪论概念拓展计算机病毒性质特征分类按照病毒的寄生部位或者传染对象分类引导型病毒文件型病毒脚本病毒按照病毒传播途径驻留型病毒（resident virus）直接感染型病毒(direct action virus)病毒的逻辑结构病毒的形式化模型感染标识基于图灵机的传统计算机病毒模型病毒的工作流程病毒的传播模型安全模型隔离模型访问控制信息流模型防御机制病毒检测进化关系检测命名规则绪论概念计算机病毒的实施途径：复制自身代码自复制结构：自复制自动机“递归定理”使得自复制自动机的行为表现何编码结构

2022-02-23 11:28:20 3609

原创【coq】函数语言设计练习题poly 总结

Poly多态列表使用多态实现 list 的各种函数，包括： repeat, app, rev, length,app 性质 rev 性质 pair combine 两个 list 合并成 pair 的 list split 一个（ x,y ）的 list 拆成一个容纳 list 的 pair filter 对 lis

2021-12-30 17:59:42 1247

原创【coq】函数语言设计练习题tatcis&logics 总结

常用查询命令CheckPrintSearch tatics/ logics symmetry可以对称调整 goal applyinjection as递归定义者且单射常常处理蕴含问题 ->补充：处理蕴含 ** intros** ， ** injection**injection H 没法使用 injection H as 几个单射，假设几个

2021-12-30 17:56:09 1350

原创【coq】函数语言设计练习题induction&lists 总结

induction 这一题如果直接写，非常麻烦正确的做法先证明经验总结：在遇到可重用的关键模块时，分离之。关于 nat plus 熟练证明交换律、分配律、结合律、零加定律常用规律零加定律（ n+0=n ）（ 0+n=n 是定义）加法分配律变种加法交换律加法结合律其他单射性下面和加法类似，不表零乘定律乘法交

2021-12-30 17:41:59 571

原创【coq】函数语言设计笔记 11 - rel

Relations Basic Properties Reflexive, Transitive Closure relation properties 关系的性质 RelationA binary relation on a set X is a family of propositions parameterized by two elements of X – i.e..

2021-12-06 14:21:45 228

原创【coq】函数语言设计笔记 10 - indPriciples

Basics Polymorphism Induction Hypotheses More on the induction Tactic Induction Principles for Propositions Another Form of Induction Principles on Propositions (Optional) Formal vs. Informal Proofs by Induction Induction Over an

2021-12-06 14:10:10 2161

原创【coq】函数语言设计笔记 09 - proofObjects

The Curry-Howard Correspondence ( ProofObjects ) Proof Scripts Quantifiers, Implications, Functions Programming with Tactics Logical Connectives as Inductive Types Conjunction Disjunction Existential Quantification True

2021-12-02 15:01:51 1832

原创【coq】函数语言设计笔记 08 - maps

映射 -Total and Partial Maps ( Maps ) The Coq Standard Library Identifiers Total Maps Partial maps map 应用：状态表示、迁移，状态机两种 maptotal maps, which include ** a "default" element** to be returned when a key bein

2021-12-02 15:00:36 1813

原创【coq】函数语言设计笔记 07 - indProp

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11993851.htmlInductively Defined Propositions ( IndProp ) Inductively Defined Propositions Inductive Definition of Evenness Using Evidence in Proofs Inversion on Evidence Induction

2021-12-02 14:41:14 2551

原创【coq】函数语言设计笔记 06 -logic

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11993851.htmlCoq中的命题类型语句Coq是一种类型化语言，这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外，任何一个可以证明的语句都有一个类型，即Prop，命题类型。可以使用check命令查看这个类型：需要注意的是，任何符合命题语法定义的语句都是Prop类型的，不论它们是否成立命题Prop的构建方法：• 使用表达式• 使用已经定义的命题• 带参数的命题 Ch

2021-12-02 14:13:37 866

原创【coq】函数语言设计笔记 05 -tactics

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11963233.htmlMore Basic Tactics (Tactics)• The apply Tactic• The apply with Tactic• The injection and discriminate Tactics• Using Tactics on Hypotheses• Varying the Induction Hypothesis• Unfolding Def

2021-12-02 14:06:22 551

原创【coq】函数语言设计笔记 04 -poly

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11728913.html多态在前面所定义的链表中，链表的元素都是自然数，（或者PartitialMap中以一个二元元组为元素），但这些都存在着一个问题：所有类型的链表都在定义的都限制了链表的元素为某一个确定的类型，这样就不太灵活了，如果需要定义的链表类型比较多的话，那么就需要为每一种类型的链表单独写一段声明代码。比如，需要一个布尔类型的链表：为了避免这样的重复，coq提供了一种称为多态的声明机制：pol

2021-11-29 13:06:09 483

原创【coq】函数语言设计笔记 03 - list

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11660548.html定义一个只有两个自然数类型成员的元组：Notation "( x , y )" := (pair x y).Compute (fst (3,5)).(* ===> 3 *)这里需要注意的是，在对于自然数(nat)类型的变量使用[destruct]关键字的时候是：destruct n as [| n’]，而在这里对元组(natprod)使用[destruct]关键字

2021-11-29 13:00:03 292

原创【coq】函数语言设计笔记 02 - induction

参考博客：https://www.cnblogs.com/TheFutureIsNow/p/11574529.html在前面定义数据类型以及函数的时候有使用过Example语句来说明和证明数据的属性。所使用的证明方法都是一样的：使用关键字simpl来化简等式两边的表达式，然后再使用reflexivity来验证等式两边是否相等。此外，还可以使用proof by simplification类型的证明方法来证明一些别的属性，证明对所有自然数n，n+0=n：Theorem plus_O_n : foral

2021-11-23 10:46:10 614

原创【coq】函数语言设计笔记 01 - basics

coq-software-foundation learning notes一、Functional Programming in Coq (Basics)参考博客： https://www.cnblogs.com/TheFutureIsNow/p/11569756.html定义一个类型在coq中，一个变量的类型往往表示为 var_name : var_type，即变量名后面的一个冒号后是变量的类型Enumerated Types-枚举类型Inductive type_name : Typ

2021-11-22 14:38:15 470

qq_42817577的博客