自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

灯抓黄粱零夜起

苟得浮生半日闲

  • 博客(25)
  • 收藏
  • 关注

原创 如何用梯度下降法求解数学建模的拟合问题——以logistics增长问题为例

众所周知的是,在大学课程中一般只会教授一种拟合方法(也即参数估计方法)——最小二乘法。这是一种直接求解的方法,非常的有效,不仅是损失最小解,而且是最大似然解。只不过,有一个缺点,它只能解决线性方程参数问题,对于非线性曲线,就无能为力了。大部分情况下还是将其转换成线性问题,再使用最小二乘法。然而,并非所有的问题都能转换为线性问题,甚至并非所有目标建模公式的参数都能有解析解,其他学科如机器学习等学科如何解决这个参数估计问题?

2023-06-21 12:52:49 1593

原创 对比学习的InfoNCE和交叉熵损失CrossEntroyLoss的关系

pytorch的CrossEntropyLoss是特别的

2022-10-25 14:55:53 1595

原创 Single View Metrology 单视图度量衡 复现

本文描述如何通过只给出从图像确定的最小几何信息的单透视图来计算3D仿射量。其中有代表性的最小信息有基准平面的消失线和不平行于此平面的方向消失点。结果表明,即使没有相机校准的知识(例如焦距),也没有相机和环境的明确关系(例如姿势),依然可以从图像中确定仿射场景结构。具体而言,本文展示如何(1)在带有一个公共的缩放系数下,计算基准面和与之平行的平面的距离;(2)计算基准面和任何与之平行的平面的长度与面积比;(3)确定相机位置。从这些成果中可以引申出一个简单的几何学。............

2022-08-29 18:42:14 1969 5

原创 论文笔记:RepVGG Making VGG-style ConvNets Great Again

新的VGG模型RepVGG。它使用重参数化技巧,能够让模型推理(inference)速度大幅提升。并取得SOTA性能。

2022-08-18 16:29:33 438

原创 符号模型检验(8)符号、模型、检验——OBDD,Kripke,CTL

符号检验模型的最终形式

2022-05-12 12:30:22 1041

原创 符号模型检验(7)ADD

代数决策图(ADD)是一种用于伪布尔函数表示和操作的图形化数据结构。

2022-05-08 12:49:20 685

原创 符号模型检验(6)ZBDD

用于研究元素组合的OBDD

2022-05-06 16:01:13 610

原创 符号模型检验(5)扩展OBDD

OBDD运用在不同领域

2022-05-06 15:59:53 484

原创 符号模型检验(3)布尔表达式

布尔表达式是布尔代数上按照一定规则形成的符号串。它是逻辑演算、逻辑电路综合等的有效形式化符号描述。

2022-05-06 15:56:46 721

原创 符号模型检验(4)OBDD

OBDD是符号模型检验的基础,是模型从逻辑层面抽象到代数层面的工具

2021-11-03 13:40:05 1966

原创 符号模型检验(2)时态逻辑

介绍符号模型检验中的基础逻辑规则与kriple框架

2021-11-01 23:06:02 1657

原创 符号模型检验(1)有限自动机

介绍符号模型检验到底是个什么东西,和基础的有限自动机类型的符号模型

2021-10-31 14:54:14 1057 4

原创 先序/后序遍历+中序遍历真的能唯一确定一个二叉树吗?

这是三个节点的二叉树的类型树类型先序遍历中序遍历(1)ABCCBA(2)ABCBCA(3)ABCBAC(4)ABCACB(5)ABCABC仔细观察,还缺少了一个项先序ABC,中序CAB此时树是这样子的但是等等,这个树的先序可是ACB啊也就是说先序ABC,中序CAB与先序ACB,中序CAB确定了同一棵树所以,这个结论应该是先序/后序遍历+中序遍历能确定一个二叉树,一个二叉树确定遍历,但是这树和这遍历没有一一对应的关系。

2020-10-27 00:04:09 3820 1

原创 解决安装matplotlib报错缺少ft2build.h的问题

将python版本从3.8回退到3.7。3.8安装scipy,matplotlib,sklearn均会出错

2019-10-26 15:51:22 1402

原创 概率论各种基础分布期望和方差推导过程汇总

概率论的基础分布的期望和方差计算推导汇总

2019-06-24 00:08:16 30736 4

原创 鱼塘捕捞周期效益分析

1.鱼的数量假设鱼群按照logistic模型有f(t,N)=dNdt=r∗N∗(1−N/K)f(t,N)=\frac{dN}{dt}=r*N*(1-N/K)f(t,N)=dtdN​=r∗N∗(1−N/K)其中N表示鱼数量(或密度),t表示时间,这里假设月为单位,r表示固定增长率,K表示环境容纳量,显然,r,K为常数在这里我假设r=0.1,K=1940r=0.1,K=1940r=0.1,K...

2019-06-18 20:02:23 1024

原创 种群数量变化模型logistic模型的种群数量函数

对于logistic模型,我们经常见到的形式是这样子的dNdt=r∗N∗(1−NK)\frac{dN}{dt}=r*N*(1-\frac{N}{K})dtdN​=r∗N∗(1−KN​)其中N为种群生物数量(或密度),r为固定增长率,K为种群环境容纳量我们可以求它的原函数:先分离变量1r∗N∗(1−NK)∗dN=1dt\frac{1}{r*N*(1-\frac{N}{K})}*dN=1 dtr...

2019-06-16 16:06:03 10263 7

原创 【蓝桥杯】格子刷油漆

问题描述X国的一段古城墙的顶端可以看成 2*N个格子组成的矩形(如下图所示),现需要把这些格子刷上保护漆。你可以从任意一个格子刷起,刷完一格,可以移动到和它相邻的格子(对角相邻也算数),但不能移动到较远的格子(因为油漆未干不能踩!)  比如:a d b c e f 就是合格的刷漆顺序。  c e f d a b 是另一种合适的方案。  当已知 N 时,求总的方案数。当N较大时,结果会迅...

2019-05-20 23:57:32 307

原创 Ubuntu code::block出现无法编译,不能打开../csu/libc-start.c的问题

先说解决方法。到GNU下载glibc(即一个tar.gz等等的压缩文件)。解压缩,将glibc/csu软连接到你的项目当前目录(工作目录)的上一级。举个例子,我将项目当前目录设置为~ /CFile/test。解压缩文件在~ /glibc那么我执行ln -s ~/glibc/csu/ ~/CFile注意别把链接链到test文件里面去了。在codeblock中设置(settings)-...

2019-04-04 20:30:16 2624

原创 【蓝桥杯】观光铁路(SPFA算法运用于非最短路问题)

问题描述跳蚤国正在大力发展旅游业,每个城市都被打造成了旅游景点。   许多跳蚤想去其他城市旅游,但是由于跳得比较慢,它们的愿望难以实现。这时,小C听说有一种叫做火车的交通工具,在铁路上跑得很快,便抓住了商机,创立了一家铁路公司,向跳蚤国王请示在每两个城市之间都修建铁路。   然而,由于小C不会扳道岔,火车到一个城市以后只能保证不原路返回,而会随机等概率地驶向与这个城市有铁路连接的另外一个城...

2018-03-31 17:35:25 5290 3

原创 愚蠢的摄影师——一种自己的想法

题目题目描述 “如果两个人相差一秒出生,其中一个是小孩,那么另一个也是小孩。由此可以推论,所有人均是小孩。”数计系是一个由N个人组成的大家庭,分别为1, 2, 3, …, N岁。有一次系主任想为全系拍张合照,需要所有学生站成一排。起先他想按他们的岁数从小到大安排,但后来又觉得这样不自然。于是他建议按如下方案站排: 1岁的在最左边。 每相邻两人不得相差超过2岁。这样学生的

2018-01-05 20:02:55 1173

原创 如何证明treap数插入的期望旋转次数小于2

介绍树堆,在数据结构中也称Treap,是指有一个随机附加域满足堆的性质的二叉搜索树,其结构相当于以随机数据插入的二叉搜索树。其基本操作的期望时间复杂度为O(logn)。对于插入给节点随机分配一个优先级,先和二叉排序树的插入一样,先把要插入的点插入到一个叶子上,然后跟维护堆一样,如果当前节点的优先级比父亲大就旋转,如果当前节点是父亲的左儿子就右旋,如果当前节点是父亲的右儿子就左旋。证明在这里我们先假设

2017-12-24 11:24:39 319

原创 一维装圆问题(递推法)

问题描述:给定一组圆的序列C1C2……CnC_1C_2……C_n和它们的半径R1R2……RnR_1R_2……R_n 这些圆要按顺序排列装入到一个平面的箱子里。要求所有的圆必须要触及箱子底部,且不能重合。 问:这箱子要多长? 初看这道题感觉挺简单的。就是按顺序求它的圆的位置就好。 假设是上图三个圆的

2017-12-16 17:14:04 424

原创 如何证明Hibbard增量的希尔排序的减枝条件

在要排序的M个元素的数组aa中 对于Hibbard增量来说,其增量序列为{1,3,7……hn−1,hn}\{1,3,7……h_{n-1},h_n\},并且hi+1=2hi+1 h_{i+1}=2h_i+1 。当希尔排序运行到hih_i 时对子数组{……a[λ−2hi],a[λ−hi],a[λ]}\{……a[\lambda-2h_i],a[\lambda-h_i],a[\lambda]\}进行插入排

2017-11-21 21:23:31 2912

原创 从平方探测法引申——平方数列取模的规律数列

今天跟人复习了散列表中的平方探测法,发现一个十分有趣的事实 自然数列 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 …… 平方数列 1 4 9 16 25 36 49 64 81 100 121 144 169 196 255

2017-11-15 13:26:45 1438

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除