一道极限题的计算
题目 求limx→01−cosx(cos2x)12(cos3x)13x2求 \lim_{x\rightarrow 0}\frac{1-\cos x (\cos 2x)^\frac{1}{2}(\cos 3x)^\frac{1}{3}}{x^2} 求x→0limx21−cosx(cos2x)21(cos3x)31 解 引论一 若f,a,b,c为自由变量f=abc,有f′=(a′a+b′b+c′c)(abc)若f,a,b,c为自由变量f=abc,有\\ f'=(\frac{a'}{a}+\frac{b'}{b}+\frac{c'}{c})(abc) 若f,a,b,c为自由变量f=abc,有f′=(aa′+bb′+cc′)(abc) 引论二 d(costx)1t(costx)1tdx=−tantx\frac{d(\cos tx)^{\frac{1}{t}}}{(\cos tx)^{\frac{1}{t}}dx}=-\tan...
VSC扩展Latex-Workshop设置使用xelatex引擎
在网上看了一圈,使用的方法都是把默认的全局配置文件改掉,一点都不优雅 使用magic语句是更好的方法,可以在文档开头写上 1% !TEX program = xelatex 但是latex workshop默认会忽略这个属性,这就需要设置该扩展不忽略 如下图所示 参考资料 magic-comments latex-workshoplatexbuildforcerecipeusage
甘肃五日游
这几天跑去了甘肃,在此写一下我的体会吧 Day 0 大抵是在晚上10点过,到达兰州站,入住了酒店。不过这~150¥的垃圾酒店应该是值得一说的。您猜怎么着?我在这美团评分5.0的玩意里面发现了蟑螂,虽说是北方小蟑螂,怪可爱的…撤硕里也是稀脏,黄色污渍漫山遍野。 出去吃了一个羊肉泡馍(35¥),车站旁边的就是贵,东西也没多少。 Day 1 九点过的时候醒了,于是拿出电脑开始玩了,玩到中午十二点去退房了。由于第二天要去甘谷,买了个西站的票,在地图上看了看附近的景点,有个啥兰州老街和黄河楼,于是去逛了逛。牛肉面还怪便宜的,只要8¥,一两酱牛肉9¥。 黄河楼也还不错,门票30¥(可恶,竟然没有学生优惠),在观景台上,可以清晰地看到兰州的地理环境:兰州是群山中地一块低地,大致呈现一字型。 晚上就坐火车去甘谷了,真的好多年没做过这种老火车了,还吃了火车上10¥的临期盒饭。 到站后同学就接我到酒店去了,于是到达酒店,我又拿出电脑开始玩了,果然又发现了泥川一个泄露信息的API。 还是这边县城里面的酒店便宜,只要·146¥,但体验却是这几天里最好的。 Day...
入门jvm字节码
...
windows的CLSID与ProgID对应关系
前几天要写个程序,要用到windows的CLSID(虽然最后程序没写出来),发现网上没有特别全的对应关系,于是就查询资料,自己导出了一份。 先说结果 结果在这里CLSID.json 过程 查询资料得知,windows将CLSID放在注册表如下位置 LOCAL_MACHINE\SOFTWARE\Classes\CLSID CLASSES_ROOT\CLSID 于是用一个C#脚本很快就导出了,代码如下 1234567891011121314151617181920212223242526272829303132333435363738List<CLSID> pairs = new();{ var reg = Registry.ClassesRoot.OpenSubKey("CLSID"); var subs = reg.GetSubKeyNames(); foreach (var i in subs) { var name =...
矩阵的并行计算
注:这是我的线代报告,发这里算了 前言 引言 如今,线性代数在深度学习中的应用非常广泛。但是在计算机领域,使用传统CPU进行矩阵运算是非常缓慢的,因为CPU并不擅长高度并行计算。而对于擅长高度并行化计算的GPU而言,这是非常容易的,这也是为什么现代大模型的训练离不开大量显卡(计算卡) 本次报告目的 本文使用CUDA编程实现高效的矩阵操作(包括矩阵乘法、矩阵转置) CUDA简介[1] CUDA 是NVIDIA 发明的一种 并行 计算平台和编程模型。它通过利用 图形处理器(GPU)的处理能力,可大幅提升计算性能。 编程环境 操作系统 CUDA设备 IDE ubuntu 18 LTS tesla p4 Nsight windows 11 RTX 3060 laptop CLion 基础知识 名词 中文 解释 shared memory 共享显存 容量很小,速度很快,随机读写性能好,局部访问的缓存 global...
微积分(下)复习
立体空间 拉格朗日数乘法 求f(x,y,z)f(x,y,z)f(x,y,z)在g(x,y,z)=0g(x,y,z)=0g(x,y,z)=0条件下的最值 构建函数 L(x,y,z,λ)=f(x,y,z)+λg(x,y,z)L(x,y,z,\lambda)=f(x,y,z)+\lambda g(x,y,z) L(x,y,z,λ)=f(x,y,z)+λg(x,y,z) 令{∂L∂x=0∂L∂y=0∂L∂z=0∂L∂λ=g(x,y,z)=0令\left\{ \begin{aligned} &\frac{\partial L}{\partial x}=0\\\\ &\frac{\partial L}{\partial y}=0\\\\ &\frac{\partial L}{\partial z}=0\\\\ &\frac{\partial L}{\partial \lambda}=g(x,y,z)=0\\ ...
通俗易懂的Dijkstra算法
看了下网上的一些讲的这个算法,有的说的太复杂了 其实一点都不通俗易懂 我们假设有A、B、C、D、E四个节点,我们想找到从A到E的最短路径(边权和最小) 我们定义DA(x)D_A(x)DA(x)表示当前计算出来的从A到X的最短距离 定义C(X,Y)C(X,Y)C(X,Y)表示从X直接到Y的距离 12345A——8——B| ╲ ╲ 2 18 15| ╲ ╲C——9——D——11——E 文字描述 记全部节点所在的集合为U 先构建一个映射f:x→DA(x),x∈{B、C、D、E}f: x \rightarrow D_A(x),x\in\{B、C、D、E\}f:x→DA(x),x∈{B、C、D、E},再构建一个集合C:{}C:\{\}C:{}来存放已经寻找过了的节点。 初始化 初始从A开始直接寻找,然后将结果直接存放在fff中,C:{A}C:\{A\}C:{A} 循环迭代 寻找fff值域中值最小的项对应的节点,且该节点没有被搜索过。记该节点为NNN 从该节点作为桥梁进行搜索 对于{x∣x∈U,x∉C}\{x|x\in U,x\notin...
不是人人都需要学习汇编
现在的计算机行业分得越来越细了,有软件工程,有人工智能等等,需要使用汇编的场景也算是非常少了。 计算机教学行业早该改一改了,都现在这个时间点了,还要求每个计算机专业的学生学习8086汇编,真的好笑。更加糟糕的是,我们的汇编考试非常愚蠢,汇编指令本来就很繁多,特别是对于复杂指令集而言,但是我们的考试却禁止查看参考文档。(好歹你随便参加一个什么算法比赛,都会提供参考文档吧😅) 显然我并不是想说汇编在现在就没用了,编译器、逆向工程任需要使用,但是又有多少人有这样的需求呢?特别是对于现代软件而言,大部分都是高级语言通过一层又一层的抽象实现的,各种runtime、抽象高级语言、GC的存在造成了晦涩难懂的汇编指令。我们目前学习的汇编太太太基础了。 我只想说,不是人人都需要学习汇编。
C++:狗屎语言
这段时间在写CPP大作业,才算真正被CPP恶心到 狗屎的include设计 这个是我觉得做的最垃圾的地方,c的include是真的给你include,明明是个编译型语言,必须要我指定包含哪些文件,这还需要是单向的,否则动不动就死递归include了。虽说有头文件卫士这玩意,这还是容易编译出错。 这些include还是传递性的,给代码分析器造成了不小的麻烦,导致代码提示不是慢就是质量差。 垃圾的std标准库 连个最基础的string都搞不好,考虑到当年没unicode,这个就不说了,但是为什么连个最基础的split、replace∗^*∗都不提供. 随便找一个成熟的第三方库,基本上都是自己实现了一个string 注: replace 指的是像py中的用一个字符串替换一个字串 除此之外,像什么vector也是跟屎一样,没有contain、remove...