草庐IT

solidity数学

全部标签

基于openzeppelin编写solidity可升级的智能合约

概述        现代软件的设计原则是“敏捷开发,迅速迭代”,功能升级或bug修复是所有软件系统都要面对的问题。甚至可以说软件质量在很大程度上依赖于升级和修补源代码的能力。当然Dapp(去中心化应用)也不例外,尤其Dapp一切都是透明的,这使得任何级别的bug都会被成倍的放大,因此可升级的智能合约成为所有Dapp的必然选择。        本文主要以openzeppelin为基础来阐述构建可升级智能合约的一般流程和注意事项。原理openzeppelin通过在用户与智能合约中间加入一个代理来实现合约的透明升级,用户直接与代理交互,代理将用户的请求转发到实际合约,同时将合约的执行结果响应给用户。

优劣解距离法(TOPSIS)——数学建模清风笔记

基础知识计算思想构造计算评分的公式:  max,min指已知数据中的最大值和最小值而不是理论上的最大值和最小值三点解释:(1)比较的对象一般要远大于两个。(例如比较一个班级的成绩)(2)比较的指标也往往不只是一个方面的,例如成绩、工时数、课外竞赛得分等。(3)有很多指标不存在理论上的最大值和最小值,例如衡量经济增长水平的指标:GDP增速。指标正向化极大型指标(效益型指标):数值越高(大)越好极小型指标(成本型指标):数值越少(小)越好统一指标类型:将所有的指标转化为极大型称为指标正向化(最常用)极小型指标转换为极大型指标的公式:max-x标准化处理为了消去不同指标量纲的影响,需要对已经正向化的

【数学建模】美赛备战笔记 01 美赛指南与竞赛全流程

美赛指南整篇论文需要在25页内。六道赛题特点:A、B题涉及到微分方程和物理概念较多,需要一定的专业知识;C题常常涉及到时间序列、机器学习;D题一般是运筹学/网络科学,图论、优化问题,涉及到的概念多;E、F题一般是评价或决策,自圆其说即可。找数据:各国的政府网站写论文:要边做题边写论文,最终提交的格式要是PDF。语法纠错软件:Grammarly奖项分类:竞赛全流程1-1赛前准备软件安装1-2赛题选择国赛赛题分类:1-3搜索技巧1-4查文献1-5查数据1-6数据预处理缺失值和异常值的处理:异常值则使用正态分布和画箱型图来处理。1-7建模全过程什么是模型?模型有理论基础、推导过程和最终结论,最后是以

数学建模美赛E、F题备考策略(自用,大部分复制粘贴)

这里要讲一下故事的背景,我们小组三个人都是大一大二的学生,我的队友们都是数学专业的学生,所以比赛中的编程部分就交给了我这样的工业工程系的选手。我们在看完了历年赛题后一直认为:前面的几题我们都很难建立出很棒的模型,因此我们将目光对准E、F两题,希望能够从这两题上下下功夫,曲线救国,浅浅混个S奖或者H奖就好啦! 一、19-22年E题F题学习与解析 二、E题F题备考策略    我参考了B站UP主“研究生小杨肖恩”的视频资料,并在此基础上进行了一些细化,就形成了下面的内容,在此向他表示感谢~    在“研究生小杨肖恩”的视频中,他提到,E题和F题的共同点都是“模型简单,而且都基于引入概念建立指标体系和

人工智能数学基础 - 线性代数之矩阵篇

本文将从矩阵的本质、矩阵的原理、矩阵的应用三个方面,带您一文搞懂人工智能数学基础-线性代数之矩阵。一、矩阵的本质点积(DotProduct):点积作为向量间的一种基本运算,通过对应元素相乘后求和来刻画两向量的相似度和方向关系。点积(DotProduct)一、定义点积,又称为数量积或标量积,是两个同维度向量之间的一种运算。对于两个n维向量A和B,点积是将它们的对应元素相乘后求和得到的结果。二、符号表示点积通常使用符号"·"或""来表示。即,若A和B是两个向量,则它们的点积可以表示为A·B或。三、计算方法确保向量A和B的维度相同,即它们都有n个元素。将向量A和B的对应元素相乘,得到n个乘积。将这n

08_LearnOpenGL 十分简单的矩阵向量数学应用

变换尽管我们现在已经知道了如何创建一个物体、着色、加入纹理,给它们一些细节的表现,但因为它们都还是静态的物体,仍是不够有趣。我们可以尝试着在每一帧改变物体的顶点并且重配置缓冲区从而使它们移动,但这太繁琐了,而且会消耗很多的处理时间。我们现在有一个更好的解决方案,使用(多个)矩阵(Matrix)对象可以更好的变换(Transform)一个物体。当然,这并不是说我们会去讨论武术和数字虚拟世界(译注:Matrix同样也是电影「黑客帝国」的英文名,电影中人类生活在数字虚拟世界,主角会武术)。矩阵是一种非常有用的数学工具,尽管听起来可能有些吓人,不过一旦你理解了它们后,它们会变得非常有用。在讨论矩阵的过

【数学建模】《实战数学建模:例题与讲解》第七讲-Bootstrap方法(含Matlab代码)

【数学建模】《实战数学建模:例题与讲解》第七讲-Bootstrap方法(含Matlab代码)基本概念习题7.31.题目要求2.解题过程3.程序4.结果习题7.51.题目要求2.解题过程3.程序4.结果如果这篇文章对你有帮助,欢迎点赞与收藏~基本概念Bootstrap方法是一种统计技术,用于估计一个样本统计量的分布(例如均值、中位数或标准偏差)。它通过从原始数据集中重复抽取样本(通常是带替换的)来工作,允许评估统计量的变异性和不确定性。这种方法特别有用于小样本数据集或当传统参数统计方法不适用时。Bootstrap过程的基本步骤如下:重复抽样:从原始数据集中随机抽取n个观测值,形成一个新的样本。这

陶哲轩也在用的人工智能数学证明验证工具lean [线性代数篇1]从零开始证明矩阵的逆

我还做了一个视频专门讲解哦,有空支持一下点个赞:陶哲轩也在用的人工智能数学证明验证工具lean[线性代数篇1]从零开始证明矩阵的逆_哔哩哔哩_bilibiliimportPaperproofimportMathlib.LinearAlgebra.Matrix.AdjugateimportMathlib.Data.Real.Sqrt--set_optiontrace.Meta.synthInstancetrue--要解释每一个名词的实际数学意义,别忘了提一下gpt的帮助,虽然不能直接用,但是大致代码是有的。namespaceMatrix--universeu2u2'v2defm2:Type:=ℕ

2024美赛数学建模思路A题B题C题D题E题F题思路汇总 选题分析

文章目录1赛题思路2美赛比赛日期和时间3赛题类型4美赛常见数模问题5建模资料1赛题思路(赛题出来以后第一时间在CSDN分享)https://blog.csdn.net/dc_sinor?type=blog2美赛比赛日期和时间比赛开始时间:北京时间2024年2月2日(周五)6:00比赛结束时间:北京时间2024年2月6日(周二)9:00提交截止日期:北京时间2024年2月6日10点(周二)比赛结果:结果将于2024年5月31日或之前公布。3赛题类型美国大学生数学建模竞赛目前分为两种类型,MCM(MathematicalContestInModeling)和ICM(Interdisciplinar

利用python的pulp库进行CCR、BCC、超效率模型的数学建模

文章目录利用python的pulp库进行CCR、BCC、超效率模型的数学建模一、CCR、BCC、超效率模型公式?1.投入导向的CCR对偶公式2.BCC模型公式3.超效率模型公式二、数学模型构建1.数据示例1.1pulp包使用方法1.2学会基础建模后,套用书上给的CCR公式2.面向对象,写入类函数3.测试总结利用python的pulp库进行CCR、BCC、超效率模型的数学建模本文参考书目为《数据包络分析方法与MaxDEA软件》一、CCR、BCC、超效率模型公式?1.投入导向的CCR对偶公式2.BCC模型公式3.超效率模型公式二、数学模型构建1.数据示例importpandasaspddata=p