weixin_52252897的博客

原创 熵权法——附MATLAB代码

熵权法是一种基于信息熵的客观赋权方法，用于确定多指标决策问题中各指标的权重。

原创 岭回归——附MATLAB代码

岭回归是在线性回归的基础上加入L2正则化项的方法，用于处理多重共线性问题。

原创 Project Euler 1-5题

在小于10的自然数中，3或5的倍数有3、5、6和9，这些数之和是23，求小于1000的自然数中所有3或5的倍数之和。回文数是指从前往后读和从后往前读都一样的数，由两个2位数相乘得到的回文数中，最大的是9009=91。13195的质因数包括5，7，13，和29，求600851475143的最大质因数是多少？2520是最小的能够被1到10整除的正数，最小的能够被1到20整除的正数是多少？考虑斐波那契数列中不超过四百万的项，求其中为偶数的项之和。求最大的由两个3位数相乘得到的回文数。

原创 形式化数学——Lean4结构体

在 Lean 中，这是使用结构体(Structure)完成的，它类似于 C或Rust中的 struct 和C#中的 record。实际上，就像大括号结构体构造语法会在幕后转换为对结构体构造函数的调用一样， addPoints 中先前定义中的语法 p1.x 会被转换为对 Point.x 访问器的调用。定义一个名为 Segment 的结构，它通过其端点表示线段，并定义一个函数 length : Segment → Float ，用于计算线段的⻓度。默认情况下，名为 S 的结构体的构造子命名为 S.mk。

原创 形式化数学——Lean4函数与定义

但是，可以通过用括号括住函数名称来「欺骗」Lean 显示函数的类型，这会导致函数被视为一个普通表达式，所以 #check (add1) 会产 生 add1 : Nat → Nat 而 #check (maximum) 会产生 maximum : Nat → Nat → Nat。像 maximum 这样的函数看起来需要多个参数， 但实际上它们会接受一个参数并返回一个新的函数，新函数接受下一个参数，直到不再需要更 多参数为止。类型是表达式，而在表达式 中，已定义的名称可以用其定义替换。

原创 LaTeX最详细的插入表格操作

在 LaTeX 中，插入表格是非常常见的操作，可以通过多种方式进行。以下是详细的插入表格的基本方法，以及如何设置不同样式和属性。

原创 LaTeX插入图片

LaTeX插图

原创 从数学建模的角度来思考“得之我幸，失之我命”

设定一个随机变量 ( X )X1X = 1X1表示成功（“得之我幸”），即获得收益；X0X = 0X0表示失败（“失之我命”），即遭受损失。

原创 形式化数学——Lean求值表达式

求值是求得表达式的值的过程，就 像算术那样。要得到后一个表达式的值，首先将 3 + 1 替换为 4，得到 2 × 4，它本身又可以归约为 8。有时，数学表达式包含变量:在知道 x 的 值之前，无法计算 x + 1 的值。中需要括号，否则第二个 String.append 将被解释为第一个函数的参数，而非一个接受 "oak " 和 "tree" 作为参数的函数。就像算术运算的顺序需要在表达式中使用括号(如 (1 + 2) * 5 )表示一样，当函数的参数需 要通过另一个函数调用来计算时，括号也是必需的。

原创 形式化数学——Lean的介绍与安装

Lean是Microsoft Research开发的交互式定理证明器，基于依值类型论。依值类型论将程序和证明的世界统一了起来，因此Lean也是一门编程语言。Lean认真地对待其双重性质，并且被设计为适合作为通用编程语言使用，Lean甚至是用它自己实现的。作为一门编程语言，Lean是一种具有依值类型的严格纯函数式语言。学习使用Lean编程很大一部分内容在于学习这些属性是如何影响程序编写方式的，以及如何像函数式程序员一样思考。

原创 自媒体流量模型

通过这种模型，我们可以根据不同的影响因素（如内容质量、平台选择、互动率等）来推算和优化流量和收益。这为自媒体的运营者提供了一个量化的方式，来制定更有效的内容创作和推广策略，最大化流量的转化效果。

原创 单店盈利模型的建立与分析

单店盈利模型

原创 R语言进行聚类分析

类平均聚类法与平均链接聚类法类似，但不同于平均链接聚类法使用所有成员之间的距离，而是只使用两个簇之间的成员之间的距离。（二）完全链接聚类法：也称为最大距离聚类法，它通过计算两个簇中最远的成员之间的距离来确定簇之间的距离。（一）单链接聚类法：也称为最小距离聚类法，它通过计算两个簇中最近的成员之间的距离来确定簇之间的距离。（四）中心链接聚类法：它通过计算两个簇的质心之间的距离来确定簇之间的距离。该方法产生的簇具有更加均衡的大小。（三）平均链接聚类法：它通过计算两个簇中所有成员之间的平均距离来确定簇之间的距离。

原创 R语言进行判别分析

调用R自带数据iris3：鸢尾花数据（iris3）(花瓣,花萼的长宽) 4个变量:花瓣长(slen),花瓣宽(swid), 花萼长(plen), 花萼宽(pwid), 分类号(1:Setosa, 2:Versicolor, 3:Virginica)，每类设置前47个为训练样本，后3个为待判样品；对于给定的样本点，通过计算其与训练集中各个样本点的距离，并选择最近的K个样本，根据这K个样本的类别进行投票，从而确定该样本点所属的类别。它通过计算不同类别之间的距离，以及类内样本之间的距离，来实现分类的目标。

原创 SQL Server存储过程和触发器的使用

（4）创建Instead of触发器，当向salary中插入记录时，先检查EmployeeID列上的值在Employees中是否存在，如果存在则执行插入操作，如果不存在则提示“员工编号不存在”。（1）向Employees表插入一个记录时，通过触发器检查记录的DepartmentID在Departments中是否存在，不存在则取消插入或修改操作。（5）创建DDL触发器，当删除数据库的一个表时，提示‘不能删除表’，并回滚删除表的操作。创建DDl触发器，当删除数据库时，提示无法删除，并回滚删除操作。

原创 SQL Server表数据的插入、修改和删除

在“对象资源管理器”窗口创建表：Employees、Departments、Salary。（3）使用SQL命令删除表Employees中编号为000001的职工信息。（1）向Employees中插入一行数据记录，T-SQL代码如下。（2）向Employees中插入一行数据记录，T-SQL代码如下。该语句奖编号为000001的职工收入修改为2890，结果如下。（2）将所有职工收入增加100。（4）删除所有女性员工信息。

原创 某碰瓷国赛美赛，号称第三赛事的数模竞赛

赛后，组委 会根据各队竞赛成绩按赛区遴选出各组别的赛区 一、二、三等奖（赛区奖，大约 分别占本赛区总队数的10%、15%、25%），再从各赛区的一等奖获得者中，遴选全国一、二、三等奖 （国奖，大约分别占推荐总队伍数的20%、30%、50%）。全国一等奖及以上的竞赛作品，可以选择参与科技论文写作辅导，根据论文质量，择优推荐学术期刊投稿。企业合作单位：百度，杉数科技，GUROBI，北京玻色量子科技有限公司，百度Apollo，58同城，北京移动，一点资讯，京东物流，顺丰科技，百胜中国。

原创 SQL Server 数据库实验报告

（7）创建一个表Salary3，要求所有Salary3表上EmployeeID列的值都要出现在Salary表中，利用参照完整性约束实现，要求当删除或修改Salary表上的EmployeeID列时，Salary3表中的EmployeeID值也会随之变化。对EmployeeID列进行UNIQUE约束，并作为表的约束。（5）对数据库中的Employees表进行修改，为其增加“DepartmentID”字段的CHECK约束。（6）创建一个规则对象，用以限制输入到该规则所绑定列中的值只能是该规则中列出的值。

原创 我与数学建模之终章

9月参加了最后一场国赛，亦是略有点遗憾，在这场国赛中，前期进行的都比较顺利，但是在最后一天因个人原因，有5个小时左右是没有进行写作的。自美赛失利之后，就开始忙活别的了，因为数学竞赛国赛当时还没收到通知，所以就在准备写论文，最后论文拿去交挑战杯竞赛了，拿了个校一省一国三。大二下：学习Matlab，练习latex，美赛H，mathorcup一等，电工杯一等，单刷五一杯二等，26小时写完华数杯二等；大二上：参加国赛拿了省二，大数据拿了三等，亚太拿了二等，寒假学习latex和Matlab并参加美赛；

原创 MATLAB中plot函数的详细参数表

matlab的plot函数的参数表

原创 我与数学建模之波折

最后我一个人熬着去完成了一篇论文，当然没有任何悬念S奖哈哈哈哈，我当时知道该怎么做，但是没有时间了，人手不够，任务转不过来，加上当时选的A题，我做的时候模型推导和编程同时进行，推完我就编程检查，但是没时间去找实际数据进行检验，所以最后用的数据全是随机数。后来由于疫情原因加上心情原因那段时间其实摆了有一段时间了，之后就是我和x哥带着一个零基础的学弟参加亚太赛，那次比赛还出了一个乌龙，一开始获奖名单给我们是一等奖，最后说是搞错了，然后给的二等奖哈哈哈哈。我知道人生是起起伏伏，但没想到是起起伏伏伏伏伏伏。

原创 我与数学建模之顺遂！

之后五月就是一连串吧，大创获批，美赛出成绩，参加电工杯，那是我第一次和x哥一起参加数学建模竞赛，有种相见恨晚的感觉哈哈哈哈，好的队友真的很重要，其实数模说是三人组队，但是经过我这么多次的参赛，还是觉得两人干活一个人负责生活方面是最好的。然后八月我们参加华数杯，当时我们是做的特别快，也很轻视这个比赛，我们花了26个小时把整个比赛做完了，开赛的第二天就提交了论文，所以最后只拿了二等奖，因为这个还被c老师骂了。之后紧接着，在五一前学完了两本Matlab的书，然后我就去单刷五一杯，挂了两个人，帮他们刷综测分。

原创 形式化数学——Lean4概述

概述

原创 形式化数学——Lean4

本文翻译《Mathematics in Lean》作者：Jeremy Avigad Patrick Massot

原创 我与数学建模之启程

第三段

原创 我与数学建模之缘起

数学建模第二段

原创 我与数学建模之处见

之后就是距离开学不到10天，认识了一个l学长，这个学长后来成为了我的“儿子”。大一上的时候随便进的一个协会，那个协会说进协会发糖我就加入了，还有几个协会送书签送钥匙扣，当时就是送的东西是我喜欢的，那我就进。由此进入我大学最孤独的33天，没有认识的和我一起，全程一个人，连个说话的都没有，白天干家教，晚上一个人去电影院看场电影。有一次我做完家教路过学校门口偶遇了c老师，然后和c老师去铁棚里吃面（其实环境并不是很好，没有空调，没有风扇，铁棚里是十分闷热的，但是c老师依旧和我去那吃了碗面）

原创 0基础数学建模？

发布AI小助手，有些简单的数学建模问题可以在公众号中直接通过文本形式进行提问。而对于相对复杂，或需要上传文件的问题可以在下面这个网站中进行提问。

原创 数学建模历程之初见

后来是我入学之后，我大一，学长大四，他宿舍还在我隔壁的隔壁。由于离得近，所以他挺照顾我的，喊我一起去空教室学习，mad谁懂啊，我是数学专业，数学分析刚开始学的时候头疼死我了，他还在旁边笑我。但是这个学长超级牛逼，他跟我讲大学要好好学习，并且把他简历发给我看了，mad真牛逼。当时没概念，就觉得好牛逼（其实当时觉得我也能行），那是我第一次去搜了这个东西，嗯……后来在聊天过程中，他提及了一个老师，说他跟着他打数学建模竞赛。起源于我在大学的老乡群里聊天，由于当时年轻有点傻，说的话太多了，什么都问哈哈哈哈哈。

原创 图论的起点——七桥问题

如果起点和终点是同一个点，那么它也属于有进有出的点，它也是偶点，这样图上的点全是偶点。在数学中，例如在由“一个人”“一头羊”“一只猴”或者一个其他什么具体事物抽象出相应的数学概念“1”时，我们所注意的只是这些对象在数量上的共同特征，即量的多少，而根本不去考虑所说对象的质的内容(是人是羊是猴还是别的什么东西)。=5040种，逐一检验太耗时费力了，况且这样的方法没有通用性。由此可见，只要善于用数学的眼光、数学的方法去观察事物，分析问题，就能把生活中的一些实际问题转化为数学问题，并用数学的方法来处理和解决。

原创 数学建模竞赛目录

原创 数学建模训练营

原创 层次聚类算法

在凝聚型的层次聚类和分裂型的层次聚类的所有方法中，都需要用户提供希望得到的聚类的单个数量和阈值作为聚类分析的终止条件，但是对于复杂的数据来说，这个是很难事先判定的。但是层次聚类算法没有使用准则函数，它所含的对数据结构的假设更少，所以它的通用性更强。这种自顶向下的策略与凝望型的层次聚类有些不一样，它首先将所有对象放在一个簇中，然后慢慢地细分为越来越小的簇，直到每个对象自行形成一簇，或者直达满足其他的一个终结条件，例如满足了某个期望的簇数目，又或者两个最近的簇之间的距离达到了某一个阈值。

原创 灰色预测模型——附带MATLAB代码

【代码】灰色预测模型——附带MATLAB代码。

原创 ARIMA时间序列预测，一维数据——MATLAB代码

【代码】ARIMA时间序列预测，一维数据——MATLAB代码。

原创 数学分析——数列极限

原创 Mathematica简单计算代码示例

一些常见的数学操作（如极限、求导、不定积分、定积分、曲线积分、曲面积分）的Mathematica代码示例。

原创 常微分方程精简笔记——LaTeX排版

免费，免费，私我

原创 复变函数——复数及其运算

原创 模糊C-均值聚类——文末附带MATLAB代码

模糊C-均值聚类算法是用隶属度确定每个数据点属于某个聚类的程度的一种聚类算法。1973年，Bezdek提出了该算法，作为早期硬C-均值聚类方法的一种改进。给定样本观测数据矩阵X​x1​x2​x3​x4​​​​x11​x21​⋮xn1​​x12​x22​⋮xn2​​⋯⋯⋯​x1p​x2p​⋮xnp​​​其中，X的每一行为一个样品（或观测），每一列为一个变量的n个观测值，也就是说，X。