- 博客(40)
- 收藏
- 关注
RSS订阅原创 计算机程序设计的艺术(排序一)
其实应该发现，直接插入更适用的数据结构是链表(链接分配的线性表)而不是数组(顺序分配的线性表)，因为在链表中进行插入不需要对数据进行移动。例如我们首先比较待插入的两项的大小，然后通过对已排序部分的一次扫描来插入它们(一次移动两个位置)，则明显能够节省时间。一种减少移动次数的方法被称为二路插入，把输出区域看作环状数组，通过向左右两侧移动(看哪种移动数据少)，可以节省一半的运行时间。注意到插入排序无非就是其中一组数据仅含一个元素的合并排序，则上面一次处理多个项目的想法自然将我们引向更一般的合并排序。
2023-03-10 20:42:16
474
原创 黎曼的zeta函数(2)
上回说到，J(x)J(x)J(x)经过一次分部积分后的结果为J(x)=−12πi1lnx∫a−i∞a+i∞xzdlnζ(z)zJ(x) = -\frac{1}{2\pi i}\frac{1}{\ln x}\int_{a - i\infty}^{a + i\infty}x^zd\frac{\ln\zeta(z)}{z}J(x)=−2πi1lnx1∫a−i∞a+i∞xzdzlnζ(z)其中lnζ(s)=lnξ(0)+∑ρln(1−sρ)−lnΓ(s2+1)+s2lnπ−ln(s−1
2023-01-27 20:13:25
867
原创 一个另类博主的辩白
2022年对我来说算是数学物理年，我在数学专栏和物理专栏发布了一系列的博客介绍量子力学和广义相对论的一些——可能是比较硬核的——内容。不只是因为它们有趣，深刻，美丽，更是因为你对这些东西了解的越多，才越能体会到尘世间的烦恼是多么的不值一提。我看了下我2022 ~ 2023年发的博客，作为一个有10多年工作经验的程序员，一个20多年的计算机爱好者，竟然没什么和计算机相关的内容。2023我在这里等你，这里是我——一个另类博主的精神家园，也希望这里成为你们心灵的避风港。另外，作为对热度最高的那篇博文的回应，
2023-01-15 12:02:55
314
原创 黎曼的zeta函数(1)
对于数论函数fgf, ~ gfg，其Dirichlet卷积定义为f∗gn∑d∣nfdgndf∗gnd∣n∑fdgdn可以验证，所有数论函数的集合以Dirichlet卷积为乘法构成一个阿贝尔幺半群。实际上这个阿贝尔幺半群是一个整环（无零因子阿贝尔幺环），也就是说数论函数对普通加法构成阿贝尔群非零数论函数对卷积构成阿贝尔幺半群（即无零因子阿贝尔幺半群）卷积对加法有分配律以下验证相关性质，首先，根据定义，如果我们记b≡n。
2023-01-14 21:01:17
3109
原创 规范场论初步
整体规范变换是指不依赖时空坐标的变换。在标量场的规范变换ϕ(θ)=e−iqθϕ0, ϕˉ(θ)=eiqθϕˉ0\phi(\theta) = \mathrm e^{-iq\theta}\phi_0, ~ \bar\phi(\theta) = \mathrm e^{iq\theta}\bar\phi_0ϕ(θ)=e−iqθϕ0, ϕˉ(θ)=eiqθϕˉ0下，拉格朗日密度不变。也就是说，对于L=−[(∂aϕˉ)∂aϕ+m2ϕϕˉ]\mathscr L = -[(\partial^a\bar\phi
2023-01-12 14:08:56
580
原创 作用量漫谈
最小作用量原理基本上是说我们这个宇宙总是选择某种“最经济”的方式运行，表现在物理规律上，就是有一个称为作用量的东西，正确的物理规律总是使得这个作用量取最小值。左边是对时间的一阶导数，而右边是对空间的二阶导数，时空坐标不平权。考虑最简单的自由粒子的运动，唯一能想到的符合上述要求的量就是运动路径的长度，最多差一个常数因子，此时作用量就可以表示为。称为拉格朗日密度，基本上就是高维的作用量"密度"的概念。则对应的拉格朗日密度是不变的，这被称为规范变换。的拉格朗日密度为两者的对应拉格朗日密度之和，即。
2023-01-06 10:59:57
527
原创 爱因斯坦场方程之Reissner-Nordstrom(电磁真空)解
磁场是无源的，因此可以表示为旋度场，我们记B⃗=∇⃗×A⃗\vec B = \vec \nabla \times \vec AB=∇×A并称A⃗\vec AA为磁矢势。再代入∇⃗×E⃗=−∂B⃗∂t\vec\nabla\times\vec{E} = -{\partial\vec{B}\over\partial t}∇×E=−∂t∂B，就有∇⃗×E⃗=−∂∂t(∇⃗×A⃗)=−∇⃗×∂A⃗∂t\vec\nabla\times\vec{E} = -{\partial\over\partial t}(\v
2022-12-29 09:53:06
523
原创 谈谈外微分
对于多重积分，我们希望换元法依然可用。例如，设x=x(u,v),y=y(u,v)x=x(u,v),y=y(u,v)，那么二重积分的换元公式是这样的∬f(x,y)dxdy=∬f(x,y)∣J(u,v)∣dudv∬f(x,y)dxdy=∬f(x,y)∣J(u,v)∣dudv其中J(u,v)=∂(x,
2022-12-27 11:32:34
783
原创 电动力学(续)
电流定义为电荷的变化率I=dtdq电荷密度ρ=Vq电流密度j=SI连续方程∬j⋅dS=−dtdq其微分形式为∇⋅j=−∂t∂ρ。
2022-12-17 15:14:51
269
原创 线性引力论和牛顿极限
众所周知的爱因斯坦场方程Rab−12Rgab=8πTabR_{ab} - \frac{1}{2}Rg_{ab} = 8\pi T_{ab}Rab−21Rgab=8πTab是个高度非线性的二阶偏微分方程组，求解一般是很困难的。但在某些限定条件下，方程可以得到简化。所谓弱场条件，是指时空度规gabg_{ab}gab接近闵氏度规ηab\eta_{ab}ηab. 用式子表示就是gab=ηab+γabg_{ab} = \eta_{ab} + \gamma_{ab}gab=ηab+γab其中γ
2022-12-09 12:00:00
292
原创 黎曼曲率张量漫谈(续)
本节我们使用(+,−,−,−)(+, -, -, -)(+,−,−,−)号差。设ppp是4维时空(M,gab)(M, g_{ab})(M,gab)的一点，{(eμ)a}\{(e_\mu)^a\}{(eμ)a}是ppp点的一个正交归一标架，定义ppp点的4个特殊矢量如下：la=12[(e0)a+(e1)a], na=12[(e0)a−(e1)a]ma=12[(e2)a+i(e3)a], mˉa=12[(e2)a−i(e3)a]l^a = \frac{1}{\sqrt 2}[(e_0)^a + (e_1)
2022-12-08 14:24:06
239
原创 黎曼曲率张量漫谈
称从(k,l)(k, l)(k,l)型张量场到(k,l+1)(k, l + 1)(k,l+1)型张量场的映射∇\nabla∇为(无挠)导数算符，如果它满足如下条件：根据dfdfdf的定义df(v)=v(f)df(v) = v(f)df(v)=v(f)不难看出，∇af=(df)a\nabla_af = (df)_a∇af=(df)a. 于是对于(0,0)(0, 0)(0,0)型张量场来说，不同的导数算符的作用结果是一样的，∇~a(f)=∇af=(df)a\tilde\nabla_a(f) = \nabla
2022-12-07 13:02:21
514
原创 氢原子的薛定谔方程
定态薛定谔方程的一般形式为HΨ=EΨ其中HHH为哈密顿算符，其在坐标表象下的形式为H=−ℏ22me∇2+V(r)H = -\frac{\hbar^2}{2m_e}\nabla^2 + V(r)H=−2meℏ2∇2+V(r)代入一般形式，并在球坐标下展开拉普拉斯算子，得1r2∂∂r(r2∂Ψ∂r)+1r2sinθ∂∂θ(sinθ∂Ψ∂θ)+1r2sin2θ∂2Ψ∂φ2−2meℏ2[V(r)−E]Ψ=0\frac{1}{r^2}\frac{\partial
2022-11-24 21:12:04
1513
原创 Vulkan第一个三角形
Vulkan第一个三角形初始化窗口初始化Vulkan创建实例设置调试回调创建Surface选择物理设备创建逻辑设备创建交换链创建图像视图创建渲染步骤创建图形流水线创建帧缓冲创建命令池创建命令缓冲创建同步对象主循环清理工作初始化窗口使用SDL初始化窗口。SDL_Init(SDL_INIT_VIDEO)SDL_CreateWindow(..., SDL_WINDOW_VULKAN)初始化Vulkan创建实例SDL_Vulkan_GetInstanceExtensions()vk::create
2022-05-02 22:40:22
521
原创 量子力学之表象理论
量子力学之表示论表示论基矢量表示论基矢量前面所有的这些符号，即线性算符、左矢量与右矢量都是抽象的量，为了数学上的进一步发展，把这些抽象的量用具有类似数学性质的数字集合来代替并表述是方便的。进行这个代替的方式不是唯一的，其中的每一个叫做一个表示。代替抽象量的数字集合叫做在此表示中这个抽象量的表示式。为了在普遍方式下建立表示，我们取左矢量的一个完全集，即这样一个集合，使任何左矢量都能表示为它们的线性组合。这些左矢我们称之为表示的基左矢。如果在一个表示中任何两个基左矢都是正交的，我们就称此表示为正交表示。
2022-01-30 16:13:22
1136
原创 量子力学之基本假设
量子力学初步态的叠加原理数学表述左矢和右矢态的叠加原理物质的波粒二象性使人们相信，经典力学的运动规律，甚至于其概念都不足以给我们提供对原子事件的描述。科学所研究的只是可观察的事物，同时，只有让对象于某种外界影响相互作用，我们才能观察它。这样，观察的动作必然地要伴随着对所观察的对象的某些干扰。某些哲学上的想法认为物质是无限可分的，然而为了建立关于物质终极结构的理论，我们需要给大小以绝对的含义，因此必须假定：对我们观察力的精细程度和对伴随着的干扰的微小程度有一个限度。这个限度是事物本质中所固有的，观察者
2021-10-03 14:26:50
1595
原创 哈密顿力学
哈密顿力学勒让德变换和正则方程能量守恒泊松括号性质泊松定理正则变换点变换共轭变量运动本身刘维尔定理哈密顿-雅可比方程勒让德变换和正则方程作为坐标和速度的函数的拉格朗日函数，其全微分等于dL=∂L∂qidqi+∂L∂q˙idq˙id L = \frac{\partial L}{\partial q_i}dq_i + \frac{\partial L}{\partial\dot q_i}d\dot q_idL=∂qi∂Ldqi+∂q˙i∂Ldq˙i因为按定义导数∂L/∂q˙i\parti
2021-09-19 21:42:47
1144
原创 坐标变换
坐标变换设有坐标变换x=(u,v)y=(u,v)\begin{array}{ll}x = (u, v) \\y = (u, v)\end{array}x=(u,v)y=(u,v)考虑线元dr⃗=(dx,dy)=(∂x∂udu+∂x∂vdv,∂y∂udu+∂y∂vdv)d\vec r = (dx, dy) = (\frac{\partial x}{\partial u}du + \frac{\partial x}{\partial v}dv, \frac{\partial y}{\partial
2021-09-15 22:17:04
377
原创 拉格朗日力学
分析力学变分法变分法考虑泛函J[y]=∫abL(x,y(x),y′(x))dxJ[y] = \int_a^bL(x, y(x), y'(x))dxJ[y]=∫abL(x,y(x),y′(x))dx其中a,ba, ba,b是常数,y(x)y(x)y(x)是二阶连续可微的，y′(x)=dydxy'(x) = \frac{dy}{dx}y′(x)=dxdy,L(x,y(x),y′(x))L(x, y(x), y'(x))L(x,y(x),y′(x))对其参数x,yx, yx,y和y′y'y′是
2021-08-15 16:54:46
1655
原创 狭义相对论
洛伦兹变换根据光速不变假设，有dsdt=ds′dt′=c\frac{ds}{dt} = \frac{ds'}{dt'} = cdtds=dt′ds′=c也就是说−c2dt2+ds2=0-c^2dt^2 + ds^2 = 0−c2dt2+ds2=0对任何惯性参考系都成立。其中ds2=dx2+dy2+dz2ds^2 = dx^2 + dy^2 + dz^2ds2=dx2+dy2+dz2。为了简便起见，我们只考虑参考系沿xxx轴有相对运动的情况。我们可以把光速不变假设写为(dtdx)(−c2001)(
2021-07-11 18:29:15
600
原创 RISCV五级流水CPU设计
RISCV五级流水CPU设计代码流水线设计取指译码执行ALU地址生成访存回写转发部件冒险检测Cache代码所有代码已上传至我的github，欢迎访问。代码仍在施工中。流水线设计寄存器取指译码执行访存回写pc_reg↗→↘inst_reg↗↘rd_reg↗→→↘rs1_imm_reg↗↘rs1_reg↗↘rs2_reg↗→↘imm_reg↗↘alu_reg
2021-05-16 15:38:39
6394
原创 Langlands纲领介绍
Langlands纲领介绍记号二次同余方程三次同余方程记号n∈Z,n≥1n \in \Z, n \ge 1n∈Z,n≥1。a,na, na,n互素(a,n)=1(a, n) = 1(a,n)=1。模n同余环 Z/nZ\Z / n\ZZ/nZ。a≡bmod n ⟺ n∣a−ba \equiv b \mod n \iff n \mid a - ba≡bmodn⟺n∣a−b。#Z/nZ=n\#\Z/n\Z = n#Z/nZ=n，其代表元为0mod n,1mod n,…,n−1mod n0
2021-02-14 20:12:26
776
原创 黎曼的zeta函数(0)
Gamma函数考虑如下等式∑k=0∞xk=1+x+x2+⋯=11−x\sum^{\infin}_{k=0}x^k = 1 + x +x^2 + \cdots = \frac{1}{1-x}k=0∑∞xk=1+x+x2+⋯=1−x1而恰有∫0∞e−(1−x)tdt=[−11−xe−(1−x)t]0∞=11−x \int_0^{\infin}e^{-(1-x)t}\rm dt = [-\frac{1}{1-x}e^{-(1-x)t}]_0^{\infin} = \frac{1}{1-x}∫0∞e−
2020-09-19 19:51:10
15775
1
原创 电动力学(1)
电动力学静场的情况库仑定律（1785）高斯定理静电场环路定理磁场的高斯定理非静场的情况毕奥-萨伐尔定律安培环路定理电流的连续性方程位移电流 全电流安培环路定理电磁感应定律洛伦兹力安培定律麦克斯韦方程组斯托克斯定理积分形式微分形式电磁波波动方程拉格朗日公式无源电磁场静场的情况库仑定律（1785）F⃗=14πϵ0qQr2r^⃗\vec{F} = {1 \over {4\pi\epsilon_0}}{qQ\over{r^2}}\vec{\hat{r}}F=4πϵ01r2qQr^其中r^⃗\vec{\
2020-08-22 20:47:59
1028
原创 RocketChip
文章目录LazyModuleBareSubsystemBaseSubsystemRocketSubsystemExampleRocketSystemConfigLazyModuleRocketChip中所有电路模块都是LazyModule的子模块。BareSubsystemBareSubsystem是所有子系统类层次的根。BareSubsystem在LazyModule的基础上混入了BindingScope来支持设备树的生成。BaseSubsystemBaseSubsystem是一个尚未添加外
2020-08-22 20:45:46
454
原创 生物化学
生物化学糖 Carbohydrate单糖 Mono ˌmänəsaccharideˈsakəˌrīd双糖 Disaccharide寡糖/低聚糖 Oligosaccharide多糖 Polysaccharide氨基酸 Amino acid肽 Peptide蛋白质 Protein糖 Carbohydrate单糖 Mono ˌmänəsaccharideˈsakəˌrīd双糖 Disacchari...
2020-07-06 20:23:37
566
原创 数学学派
文章目录数学学派巴黎学派Joseph-Louis comte de Lagrange（拉格朗日）Pierre-Simon marquis de Laplace （拉普拉斯）Adrien-Marie Legendre （勒让德）Jean Baptiste Joseph Fourier（傅立叶）Siméon Denis Poisson （泊松）Augustin Louis Cauchy （柯西）Jea...
2020-07-06 20:23:07
330
原创 代数结构
文章目录群阿贝尔群半群独异点域群群是最基本的代数结构，其来源于Galois对方程根的对称性的研究。实际上，代数一词就是解方程的群是一个配备有二元运算⋅ :G×G→G\cdot \colon G \times G \to G⋅:G×G→G的集合GGG，满足封闭性、结合性、含幺元以及每个元素有逆元。封闭性通常是暗含在二元运算定义中的。阿贝尔群若在群的基础上，二元运算还满足交换律，则称该群...
2020-07-06 20:22:39
1750
原创 群和对称性
文章目录群和对称性啥是群啊这和对称性有啥关系进一步的讨论群和对称性啥是群啊群就是一个满足如下要求的集合GGG：ab∈G,∀a,b∈Gab \in G, \forall a, b \in Gab∈G,∀a,b∈G(ab)c=a(bc),∀a,b,c∈G(ab)c = a(bc), \forall a, b, c \in G(ab)c=a(bc),∀a,b,c∈G∃e∈G,s.t.ea∈...
2020-07-06 20:22:16
2043
1
原创 Linux 内核游记 (3)
文章目录设备模型设备字符设备块设备网络设备驱动程序总线类设备模型设备在最底层，Linux系统中的每一个设备都用device结构的一个实例来表示。结构中比较重要的成员包括parent 该设备的"父"设备init_name 设备名称bus 设备所属的总线driver 设备的驱动程序driver_data 由驱动使用的私有数据devt 设备号class 设备所属的类groups...
2019-06-18 23:02:21
1891
原创 Linux 内核游记 (2)
文章目录网络设备驱动e100参考资料网络设备驱动上一篇分析的loopback是所谓的"伪设备"，即它不对应真实世界中的硬件，而只是一种软件抽象。今天我们来看一个真实硬件设备的驱动程序，它就是Intel 8255x 10/100 Mbps网卡，对应的内核文件是drivers/net/ethernet/intel/e100.c。e1008255x是一系列网卡的统称，包括82557, 82558...
2019-04-25 18:21:58
1952
原创 Linux 内核游记 (1)
文章目录网络设备驱动为什么从网络设备入手？loopback 设备设备注册初始化e100References网络设备驱动为什么从网络设备入手？不为什么。loopback 设备我们要探访的第一个目的地位于源码目录的drivers/net/loopback.c。200行左右的代码量很适合作为第一个分析的目标。执行ifconfig lo你就可以看到这个设备的信息。没错，它就是将所有发出...
2019-04-24 11:39:19
699
原创 Linux 内核游记 (0)
目录出发前的准备下载内核源码下载vscode加载源码到vscode中出发前的准备下载内核源码查看系统内核版本uname -r我的内核版本为4.18.0-15-generic安装适合当前系统版本的源码sudo apt install linux-source-4.18.0安装后的源码在/usr/src/linux-source-4.18.0.tar.bz2，将其解压到合适的目录下...
2019-04-23 11:36:13
288
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人