搜索结果
查询Tags标签： Linear，共有 34条记录-
Proj CMI Paper Reading: Linear-time Temporal Logic guided Greybox Fuzzing
Abstract 背景：软件模型检查和运行时验证广泛用于检查软件系统时间属性 本文：LTL-fuzzer 任务：构建了一个灰盒模糊测试框架来发现违反线性时间时序逻辑 (LTL) 属性的情况 方法：输入：a sequential program written in C/C++，an LTL property。它发现stateful softwar…
2022/7/28 23:30:40 人评论 次浏览 -
二分图完全匹配 不完全匹配 / linear_sum_assignment 详解
https://jack.valmadre.net/notes/2020/12/08/non-perfect-linear-assignment/\(G = (U,V,E)\)\(|U| = r\) \(|V| = n\) without loss of generality, assume \(r \leq n\)\[\begin{bmatrix} \infty & 3 & -1 \\ \infty & 5 & \infty \\ 2 & -3 &…
2022/4/17 23:18:24 人评论 次浏览 -
数据结构基本实现
1、顺序表 #define MAX 20 #define OK 1 #define ERRO 0 //typedef int linear_TYPE;template <typename linear_TYPE> //模板的定义 class linear //类的创建 { public:linear(); //构造函数（初始化）~linear(); //析构函数（释放内存变量）void append(line…
2022/3/21 6:31:02 人评论 次浏览 -
彩虹雨(源码)html css+js(22行)
1.效果图思路:首先 搭建好 一个 ‘< i >’ 的样式 还用下落的动画 接着使用for循环 创建多个 并添加到body中 2.html <!DOCTYPE html> <html lang="en"> <head><meta charset="UTF-8"><meta http-equiv="X-UA-…
2022/3/1 9:51:41 人评论 次浏览 -
Sirringhaus H-2018-1
H. H. Choi, K. Cho, C. D. Frisbie, H. Sirringhaus and V. Podzorov, Critical assessment of charge mobility extraction in FETs, Nat Mater, 2018, 17(1): 2. (DOI: https://doi.org/10.1038/nmat5035) 要点 迁移率正确的表征方法 Shockley equations物理机理前提 l…
2022/2/11 23:44:27 人评论 次浏览 -
PHP登录注册页面
注册（html） <!DOCTYPE html> <html> <head><title>注册</title><link rel="stylesheet" href="register.css"><meta name="content-type"; charset="UTF-8"><style> body {ma…
2022/2/1 20:09:17 人评论 次浏览 -
GMAES101第二讲Review of Linear Algebra笔记
线性代数的基本知识 一、向量（vectors）二、向量点乘（Dot Product）三、向量叉乘（Cross Product）四、矩阵（matrix）参考文献一、向量（vectors） 计算机图形学中默认向量为列向量。 二、向量点乘（Dot Product） 向量点乘的计算方法： 向量点乘相关公式： 向量点乘的…
2022/1/28 23:35:11 人评论 次浏览 -
PyTorch中向量表示
PyTorch中向量默认为行向量！（和习惯相反） 以nn.Linear()为例： Applies a linear transformation to the incoming data: y=xAT+by = xA^T + by=xAT+b
2021/12/6 23:22:31 人评论 次浏览 -
PyTorch中向量表示
PyTorch中向量默认为行向量！（和习惯相反） 以nn.Linear()为例： Applies a linear transformation to the incoming data: y=xAT+by = xA^T + by=xAT+b
2021/12/6 23:22:31 人评论 次浏览 -
sass语法
1.基础语法 (1).注释 //注释 /*1.单行注释+ //开头,后面书写注释+ 会在编译的时候被忽略掉+ 开发注释2.多行注释+ /**/+ 在两个星号之间书写注释+ 会在编译的时候被保留下来+ 但是将来打包的时候,会被忽略掉3.强力注释+ /*! 注释内容 */+ 在注释的开始写一个 感叹号(!)+ …
2021/12/4 23:16:38 人评论 次浏览 -
sass语法
1.基础语法 (1).注释 //注释 /*1.单行注释+ //开头,后面书写注释+ 会在编译的时候被忽略掉+ 开发注释2.多行注释+ /**/+ 在两个星号之间书写注释+ 会在编译的时候被保留下来+ 但是将来打包的时候,会被忽略掉3.强力注释+ /*! 注释内容 */+ 在注释的开始写一个 感叹号(!)+ …
2021/12/4 23:16:38 人评论 次浏览 -
机器学习算法（一元线性回归）
import matplotlib.pyplot as plt import numpy as np import pandas as pd from sklearn import datasets, linear_model# 读取所需数据 def get_data(file_name):data = pd.read_csv(file_name) # 获取Dataframe对象X_parameter = []Y_parameter = []for single_squar…
2021/11/12 22:14:52 人评论 次浏览 -
机器学习算法（一元线性回归）
import matplotlib.pyplot as plt import numpy as np import pandas as pd from sklearn import datasets, linear_model# 读取所需数据 def get_data(file_name):data = pd.read_csv(file_name) # 获取Dataframe对象X_parameter = []Y_parameter = []for single_squar…
2021/11/12 22:14:52 人评论 次浏览 -
children() 与 modules() 的区别
文章目录 1 children()2 modules()children()与 modules()都是返回网络模型里的组成元素，但是 children()返回的是最外层的元素， modules()返回的是所有的元素，包括不同级别的子元素。1 children() net = nn.Sequential(nn.Linear(2,2), nn.ReLU(),nn.Sequential(nn.Si…
2021/10/21 6:41:39 人评论 次浏览 -
children() 与 modules() 的区别
文章目录 1 children()2 modules()children()与 modules()都是返回网络模型里的组成元素，但是 children()返回的是最外层的元素， modules()返回的是所有的元素，包括不同级别的子元素。1 children() net = nn.Sequential(nn.Linear(2,2), nn.ReLU(),nn.Sequential(nn.Si…
2021/10/21 6:41:39 人评论 次浏览
