- 博客(9)
- 资源 (2)
- 收藏
- 关注
原创 NS-3——学习(3)
ns3中third.cc学习,它模拟了一个包括点对点和CSMA的有线网络,以及WIFI无线网络的混合场景。网络拓扑示意图://头文件#include "ns3/core-module.h"#include "ns3/point-to-point-module.h"#include "ns3/network-module.h"#include "ns3/applications-module.h"#include "ns3/wifi-module.h" //WIFI模块#
2022-03-16 00:57:53
753
原创 形式化验证工具——prism(1-安装)
prism是一款免费开源的形式化验证工具。是一个比较容易上手的工具。其下载连接:PRISM - Download官方给出使用教程,地址:PRISM - Tutorial第1部分:使用一个简单的离散时间马尔可夫链(DTMC)示例 - 一种随机算法,用于使用公平硬币对6面骰子进行建模。它介绍了棱镜建模语言和棱镜工具的基础知识。 第2部分:使用了另一个简单的随机算法 -赫尔曼的自我稳定算法,它也被建模为DTMC。它引入了 PRISM 建模和属性语言的一些附加功能。 第3部分:介绍了一...
2022-03-08 10:58:38
4802
原创 proverif学习——安装使用
#proverif安装与使用##一、安装ProVerif是一种自动分析加密协议安全性的工具。支持但不限于密码原语,包括:对称和非对称加密;数字签名;哈希函数;位承诺;以及非交互式的零知识证明(因为本人知识水平有限,其支持分析的属性根据其参考文档机器翻译得到,后续如有错误会更改)。ProVerif能够证明可达性、对应断言和观测等价性。这些功能对于计算机安全领域特别有用,因为它们允许分析保密性和身份验证属性。此外,还可以考虑诸如隐私性、可跟踪性和可验证性等新兴属性。协议分析是考虑无限数量的会话和无限消息空间
2022-03-07 19:02:59
2020
2
原创 NS-3学习——(2)
点对点有线网络:first.cc脚本该c++模拟脚本船舰了一个有两个节点的有线网络,其链路岑层使用点对点协议传输分组。1.头文件#include "ns3/core-moudel.h"#include "ns3/network-moudel.h"#include "ns3/internet-moudel.h"#include "ns3/point-to-point-moudel.h"#include "ns3/applications-moudel.h"core和networ
2022-03-04 18:16:50
726
原创 NS-3学习——(1)
ns-3的安装参考:NS3详细安装教程_yangzhenyu2的博客-CSDN博客_ns3安装 https://blog.csdn.net/yangzhenyu2/article/details/116205406感谢上文作者的分享,在电脑上安装虚拟机,乌班图Linux系统安装NS-3(或者安装双系统,在Linux系统中安装ns-3)安装完成后,在ns3下examples/tutorial目录下有自带的学习模拟脚本。使用sudo ./waf --run hello-simulator命令可运行h
2022-03-03 18:58:26
561
原创 2021-11-07
python内置函数abs()-----获取绝对值divmod()-----获取商和余数的元组sum()----求和运算round()----四舍五入pow()----计算任意数y次方的值min()----取出给定参数的最小值max()----取出给定参数的最大值hex()------十进制转十六进制oct()—十进制转八进制bin()—十进制转二进制int()-----字符串转换成整形str()-----对象转换成字符串bool()----布尔类型装换ord()—获取ASCII
2021-11-08 00:17:52
58
原创 2021-11-02
python中常用的数学函数abs(x)返回绝对值,如abs(-10)返回10cmp(x,y)如果x<y,返回-1,如果x==y返回0,如果x>y返回1fabs(x)返回数字绝对值,如math.fabs(-10)返回10.0ceil(x)返回数字的上整数,如ceil(4.1)返回5floor(x)返回数字的下整数,如floor(4.9)返回4round(x[,n])返回浮点数的四舍五入值,如果给出n那么他代表舍入到小数点后的位数max(x1,x2,···)返回参数的最大值,参数可以
2021-11-02 23:05:47
79
原创 线性代数基础-python编程
导入numpy库有三种方式:from numpy import #导入numpy所有函数import numpy #这种方式使用numpy的函数时,需要numpy.开头import numpy as np #使用numpy函数时需要numpy.开头,最为常见矩阵的创建-直接定义:import numpy as npA=[[1,2,3,4],[5,6,7,8],[9,10,11,12]]arr1=np.array(A) #将列表转为矩阵print(“A=”,A)print(
2021-10-15 21:07:57
231
1
原创 2021-09-20
python学习:##Day1 sympy库1.内置符号sympy.E自然对数底esympy.oo 无穷大sympy.pi 圆周周率初等运算sympy.log 对数运算sympy.sin 正弦函数sympy.sqrt 求平方根sympy.factorial 求阶乘求极限 sympy.limit求导数 sympy.diffimport sympy //导入sympy库x=sympy.Symbol('x') //定义x符号fx=5*x+
2021-09-21 10:33:39
69
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人