- 博客(9)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 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
815
原创 形式化验证工具——prism（1-安装）
prism是一款免费开源的形式化验证工具。是一个比较容易上手的工具。其下载连接：PRISM - Download官方给出使用教程，地址：PRISM - Tutorial第1部分：使用一个简单的离散时间马尔可夫链（DTMC）示例 - 一种随机算法，用于使用公平硬币对6面骰子进行建模。它介绍了棱镜建模语言和棱镜工具的基础知识。 第2部分：使用了另一个简单的随机算法 -赫尔曼的自我稳定算法，它也被建模为DTMC。它引入了 PRISM 建模和属性语言的一些附加功能。 第3部分：介绍了一...
2022-03-08 10:58:38
5087
原创 proverif学习——安装使用
#proverif安装与使用##一、安装ProVerif是一种自动分析加密协议安全性的工具。支持但不限于密码原语，包括：对称和非对称加密；数字签名；哈希函数；位承诺；以及非交互式的零知识证明（因为本人知识水平有限，其支持分析的属性根据其参考文档机器翻译得到，后续如有错误会更改）。ProVerif能够证明可达性、对应断言和观测等价性。这些功能对于计算机安全领域特别有用，因为它们允许分析保密性和身份验证属性。此外，还可以考虑诸如隐私性、可跟踪性和可验证性等新兴属性。协议分析是考虑无限数量的会话和无限消息空间
2022-03-07 19:02:59
2319
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
773
原创 NS-3学习——（1）
ns-3的安装参考：NS3详细安装教程_yangzhenyu2的博客-优快云博客_ns3安装 https://blog.youkuaiyun.com/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
591
原创 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
82
原创 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
97
原创 线性代数基础-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
260
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
85
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人