- 博客(177)
- 收藏
- 关注
RSS订阅原创 数学全景地图9--数学的严格化，学好微积分的必知故事
---分析学的严格化，是广大的普通大学生(文理工商农林医工等)需要理解和了解的，那就是牛顿莱布尼兹的微积分，是朴素直觉，虽然直觉很厉害(对牛顿莱布尼兹来说)，但直觉也很容易出错，诸如0除以0(极小值除以极小值)，无穷大除以无穷大，0乘以无穷大，1的无穷大次方，无穷大的0次幂(极小值作为幂的)，这些都是洛必达法则的范式。----艾先生深球的观点，是从动态和静态的角度，把分析学的严格化总结为对【动态的、潜无穷】的极限过程的驯服，而把集合论和数理逻辑的严格化总结为对【静态的、实无穷】的空间状态的解剖。
2026-05-15 05:00:00
578
原创 数学全景地图8----起源1950年代、推崇于21世纪的Zeidler数学指南
---在使用哲学逻辑/数理逻辑/文字表达的语言逻辑/数学语言特有的表达及符号进行严格化证明，还需要使用到集合论(Naive Set Theory)，集合论本身就是作为一种数学语言，如前面的Introduction所介绍的----Set theory is basically a powerful language for formulating mathematics. (集合论可以看作是一个形式化的数学语言)。----分析学，基于极限(limit)，从17世纪牛顿和莱布尼兹的微积分开始。
2026-05-14 05:00:00
324
原创 数学全景地图6--普林斯顿数学手册，编者却是剑桥大学~
---大学工科数学主体部分的微积分，在16xx年的牛顿和莱布尼兹开创，然后在18xx年由以柯西为代表的数学家进行严格化，这前后将近200年的时间，就是所谓的第二次数学危机(微积分的接近于0，有时是左侧分母，有时是右侧的多项式，用起来很凭直觉，逻辑模糊)。----而第三次数学危机则说的是集合论。这是另一条现代数学的分支主路径：集合论----点集拓扑----拓扑学。----阿贝尔(Abel, 1802-1829)和伽罗瓦(Galois, 1811-1832)，也都是在1849年之前的。
2026-05-13 05:00:00
371
原创 数学全景地图6---数学的内容、方法和意义，50年代苏联的数学全景大书Big Picture。
---实变函数论(Theory of Functions of Real Variables)，在本书里并没有可以归类到诸如分析学中，而是单起一章来说，从集合(Sets)、到点集(Point Sets)、再到实数。----函数分析：N维空间(n-Dimentional space)、希尔伯特空间(Hilbert Space)、积分方程(Integral Equations)、线性运算和函数分析的进一步发展。----最后的部分，大概代表了写作时的最新数学分支----拓扑学！----俄文原版于1956年。
2026-05-12 05:00:00
675
原创 数学全景地图5----拓扑学+分析学+抽象代数学，21世纪还在错综发展的数学
---注意, 上面提到的三角形的几何性质在刚体变换 (即平移、旋转、镜面反射的有限复合) 下是不变的。拓扑等价的对象有相同的拓扑性质。又如, 在球面上沿任何一条简单闭曲线剪开总是把球面剪成两片, 但汽车轮胎 (拓扑上称为环面) 的表面上存在一条简单闭曲线,沿它剪开, 轮胎并没有变成可以分离的两片, 而曲面上是否存在一条不把它分离的简单闭曲线是一个拓扑性质, 这个性质与所画曲线的大小和曲直都无关。----显然, 拓扑性质是几何对象的一类特别的几何性质, 涉及对象在整体结构上的性质, 但反之不然。
2026-05-11 05:00:00
388
原创 数学全景地图4：普林斯顿微积分读本，全景地图大视角看，确实不错。
如果让我来描述，我可能会像前面的那种更加主观、更加鲜明的说法，例如：【现实世界的很多场景下，通过实验和观察，得到的多个物理量之间的关系，都是物理量之间的微分变化关系，比如温度的上升速度基准温度的值的变化而变化，表示为形如dy/dt=y+y*a这样的物理规律，要从这样的式子中求解出y和t的关系来，也就是y=f(t)的函数来，这就是工程领域常见的情况，需要用到微分方程求解。因为极限--连续--可导，是微积分的基础，如果只用10页而不是80页，固然可以讲得很精简，但容易被忽视以为极限--连续--可导不重要。
2026-05-10 05:00:00
380
原创 数学全景地图3：数学专业本科和硕士的专业课
---数理方程不是【数理逻辑】，而是【数学物理方程】，是把物理学中的常见场景结合进来，而物理学场景就是通过实验观察到物理变量之间的关系，这个实验和观察是时间局部性的，物理变量之间的关系是变化的关系，比如温度的升高和时间的关系，都是在特定时间特定条件(如基准温度)下的微小变化，基准温度比较高的时候升温慢，类似dy/dx=y+N*10这样的微分方程。前者是离散的，求数值。----从上面的分类来看，这个课程内容是很清楚的，和此前文章里看到的另一个top大学的本科的数学专业全景地图是(基本/完全)一致的。
2026-05-09 05:00:00
336
原创 数学全景地图2：Mathematics and Its History
本文概述了John Stillwell《数学及其历史》一书的主要内容，梳理了数学发展的全景脉络。从古希腊数学（毕达哥拉斯、欧几里得、丢番图）到中世纪数学复兴（阿基米德、卡尔达诺），再到17世纪解析几何和微积分的诞生。重点探讨了抽象代数的发展历程，包括群论、环论、域论等代数结构的分类体系，以及拓扑学、集合论等现代数学分支。文章特别强调了数学概念演进的逻辑关系：从具体运算到抽象结构，从直观几何到形式化分析，展现了数学从计算工具到抽象思维体系的升华过程，为读者勾勒出一幅完整的数学知识图谱。
2026-05-08 05:00:00
347
原创 数学全景地图(1)：不焦虑，不迷路，不纠结
---【抽象代数】是什么？----运算的对象，可以是一个数(整数有理数实数等)，或一个复数(代表平面的一个点)，或一个空间向量(代表空间的一个点)、或一个几何图形(使用空间坐标<三元数>的集合或序列来构造几何图形或几何体)等，而运算本身可能是在两个不同类型对象之间进行，比如几何图形旋转(几何图形和四元数相乘)，或平面旋转，或平移，或缩放等，将这些对象和运算本身进行抽象和分类归纳，大概就是抽象代数的研究范围。----这里的数学分析，包括了三卷，而工科数学的微积分也在其中，作为数学分析的最基础部分。
2026-05-07 05:00:00
334
原创 高校专业观察：学科vs专业
本文辨析了学科与专业的概念差异及其在高等教育体系中的定位。学科主要针对研究生培养，以一级学科为基本单元，体现在研究生学科目录中；专业则是本科教育的基本单位，存在于本科专业目录。两者的分类体系虽然都采用14个学科门类，但具体编码和结构不同。文章重点分析了【双一流】建设与【双万计划】的区别，指出高校在专业宣传中应准确表【双一流学科相关本科专业】。同时区分了学科评估与专业建设的不同功能，强调理理解这些概念差异对高校招生宣传和学科专业建设具有重要意义。
2026-04-11 05:00:00
389
原创 教育观察：从中考分流到博士分类，国内教育正在发生深刻变化
我国教育体系正经历深刻变革，研究生教育已明确区分学术型（学硕/学博）与专业型（专硕/专博），本科层面新增职业本科，与中职、高职形成贯通式职业教育体系。学科专业目录将传统高等教育（1-13类）、职业本科（21-39类）、高职（41-59类）和中职（61-79类）分类编码，体现人才培养的多元化路径。
2026-04-10 05:00:00
343
原创 伯克利课程观察：1万门课程总览+200门数学课程概览
加州大学伯克利分校课程体系概览：全校开设11170门课程，包括6772门本科生课程和4398门研究生课程。数学系开设80门本科课程和70门研究生课程，涵盖从中学衔接课程到高阶理论课程。特别值得注意的是设有2门中学数学衔接课程（涵盖初高中内容）以及预科微积分等过渡性课程，为不同基础的学生提供学习支持。研究生课程则包含群论、模型论等专业理论课程。这种课程设置既保证了学术深度，又注重教育衔接，值得国内高校借鉴。
2026-04-05 05:00:00
337
原创 美国EECS本科文凭观察：学位证(Diploma)+成绩单(Transcript)
本文简单考证了一下美国大学学位证(Diploma)+成绩单(Transcript)。学位证比较简单，而成绩单则比较详细，包括总体情况(姓名学校学院等)，以及按照每学期列明的主修专业、辅修专业以及各课程的详细成绩及绩点，是事实上的学历证明，而且是国际通行的做法。国内大学提供学位证和学历证，现在在保研考研中大概率也要看平时绩点，可以推断这是和国际上高等教育接轨的必然结果。
2026-04-04 05:00:00
417
原创 美国EECS强校观察：MIT+Berkeley+Cornell
本文分析了三所在Computr Science方面较强的美国院校的院系设置和学位概念。院系设置有EECS(电子工程和计算机科学)或CS(计算机科学)或CIS(Computer and Information Science)。学位的概念有本科BA（艺术学士，如CS文科学位）和BS（科学学士，如CS理工学位），工程硕士(Master of Engineering, M.Eng)和学术硕士(Master of Science)及学术博士(Ph.D of Science)。
2026-04-03 05:00:00
343
原创 美国大学排行榜观察：分类方法+总榜+CS榜+EE榜
美国大学排行榜分类解析：包括全国性大学、艺术类、地方院校及工程类特别是电子工程排行和计算机科学类排行。全国性大学中，有些规模较小只有4000-8000本科在校生，有些也达到3-4万人，公立校州内外学费差异显著。通常私立校规模小收费高，公立校规模大且州内优惠。
2026-04-02 05:00:00
333
原创 霸榜陷阱：计算机科学ESI全球前1%，中国有200所大学？
ESI排名注水现象需要关注。数据显示，国内已有超500所高校宣称至少1个学科进入ESI全球前1%，其中工程学和计算机科学成为热门学科，分别有300多所和近200所高校入围。因为ESI是一门生由外国公司专门针对中国市场做生意的公司。通过艾先生所说，某些分类进入前1%的含金量较低，这是很容易被大众查阅到的事实。因此ESI排名全球百分之一的宣传要注意，弄不好容易造成负面效果。
2026-03-29 05:00:00
348
原创 积分变换：数学中的（又一大类）降维神器
本文探讨了积分变换与对数运算的相似性，两者都能简化复杂计算。重点分析了傅里叶变换、拉普拉斯变换和Mellin变换等积分变换的共性特征，指出它们都基于核函数的概念，并阐述了卷积运算与积分变换的关系。特别讨论了卷积定理的核心内容：时域卷积等价于频域乘积，反之亦然。最后解释了傅里叶级数如何通过极限过程演变为傅里叶变换，从离散求和到连续积分的转变过程。全文揭示了积分变换在数学和信号处理中的重要作用及其与相关概念的深层联系。
2026-03-22 05:00:00
674
原创 降维打击神器【x=e^lnx】：对数求导法+最大似然估计MLE
本文系统阐述了对数求导法的原理与应用。该方法基于对数恒等式Pro，通过将函数转化为对数形式后进行求导，特别适用于处理幂指函数、多项式乘除及复杂隐函数。文章对比了传统求导法与对数求导法的差异，指出后者能有效降低运算复杂度，将连乘转化为连加。文中详细展示了多个应用实例，包括单变量函数和多重幂指函数的求导，并强调该方法在最大似然估计等高级数学领域的重要性。最后提出对数恒等式Pro是一种强大的"降维打击"工具，能显著简化复杂函数的求导过程。
2026-03-21 05:00:00
424
原创 汉代刘徽的九章算术：方程组的求解，行列式的前奏，线性代数的开端
《九章算术》是中国古代数学经典，最早提出负数概念和线性方程组解法。全书共九章，第八章"方程"专门论述多元线性方程组，采用矩阵法求解，堪称线性代数开端。新加坡学者蓝丽蓉通过研究提出，印度-阿拉伯数字系统可能源自中国算筹。书中解题格式严谨，包含已知条件、问题、答案和计算方法，其中线性方程组解法虽未形成行列式概念，但已具备相关推导思路。该著作不仅开创了"方程"这一数学术语，还孕育了从常数项到函数项的行列式发展雏形，对世界数学发展产生深远影响。
2026-03-20 05:00:00
737
原创 斐波拉契的算法之书：{前1500年+后300年}空挡的数学高峰
《算法之书》（Liber Abaci）是意大利数学家斐波拉契（Leonardo Pisano）于1202年完成的数学巨著，1228年修订。该书系统介绍了印度-阿拉伯数字体系，旨在取代罗马数字在科学与商业中的应用。全书分15章，涵盖数字表示、乘法运算、商业算术及数列等内容。2002年劳伦斯·西格尔完成首个现代英语译本，2008年纪志刚推出中文版《计算之书》。这部中世纪重要著作不仅推动了欧洲数学发展，其结构化编排和理论实践区分也展现出超前的现代性。书中原始意大利语文本显示，"abaci"在当
2026-03-19 05:00:00
383
原创 阿氏圆锥曲线论--椭圆，不是椭圆曲线，而属圆锥曲线
摘要：椭圆曲线与圆锥曲线虽名称相似但本质不同。椭圆曲线是现代加密算法的基础，而圆锥曲线（椭圆、抛物线、双曲线）的研究可追溯至古希腊数学家阿波罗尼奥斯（约公元前250年）。他在《圆锥曲线论》中系统研究了圆锥截面的几何性质，其论证风格延续了欧几里得的公理化方法。17世纪数学家通过坐标系将几何条件代数化，推动了圆锥曲线理论的发展。阿波罗尼奥斯的开创性工作为后世解析几何奠定了基础，其著作至今仍是数学史上的重要里程碑。
2026-03-18 05:00:00
372
原创 丢番图的代数：从欧几里得的黄金时代，来到丢番图的白银时代
摘要：古希腊数学家丢番图（约250CE）被誉为"代数之父"，其代表作《算术》开创了代数方程求解和数论研究。作为亚历山大数学白银时代的代表人物，他比黄金时代的欧几里得晚约500年。该书包含189个代数问题，涉及不定方程求解，包括著名的"鸡兔同笼"类问题。丢番图首次使用希腊字母表示未知数和运算符号，建立了完整的代数符号体系。其方程研究涉及数论、几何等多领域交叉，提出的丢番图方程问题至今仍是数论难题。
2026-03-17 05:00:00
348
原创 欧氏几何原本--不仅是数学巨著，还是哲学和理性思维的里程碑
《几何原本》是欧几里得整合古希腊数学成果的经典著作，共13卷465个命题。全书以23个定义（前6个最基础）、5大公设（如平行公设）和5大公理为基础，通过严格的逻辑演绎构建几何体系。第一卷尤其重要，包含基础定义和公理体系，后续命题均由此推导，如命题1用圆规作等边三角形。这种公理化方法将几何提升为理性学科，成为数学与哲学的重要里程碑，其中第五公设的独立性最终催生了非欧几何。
2026-03-16 05:00:00
424
原创 数学的伟大艺术--Ars Magna, The Great Arts
本文探讨了16世纪数学著作《Ars Magna》的文本特征与历史争议。资料显示，该拉丁文原著未使用代数符号系统（如韦达后来引入的符号），而是采用文字描述配合图示。书中包含40章内容，通过具体案例（如9、16、81、28等数字应用）展示数学方法。关于Cardano与Tartaglia、Ferro的学术争端，研究表明《Ars Magna》明确引用了相关贡献者，符合学术规范。文本分析涉及拉丁原著与英译版（第1章为主）的图文对应关系，揭示了早期数学著作的表述特点。
2026-03-15 05:00:00
633
原创 初等函数的对面，有怎样的高贵和神秘？
《数学公式手册》是一本专注于各类数学公式的工具书。全书分为16章，涵盖从基础数学到特殊函数的广泛内容，包括椭圆积分、贝塞尔方程、伽马函数、马蒂厄函数、G-函数、正交多项式函数系等专题。该书采用公式汇编的形式，突出实用性和参考价值，为数学学习者和研究者提供便捷的公式查询工具。特别对特殊函数的不定积分和定积分作了系统整理，有助于快速查阅相关数学表达式。
2026-03-14 05:00:00
559
原创 数学史：欧氏几何之后停滞1800年，虚数i激发和重构了数学
数学发展经历了从古希腊巅峰到现代复兴的漫长历程。公元前300年欧几里得创立几何学，公元300年丢番图开创代数学，此后1800年数学处于消化吸收期。1200年斐波那契引入阿拉伯数字，1550年卡尔达诺解三次方程突破几何限制，引入虚数概念，成为现代数学起点。此后笛卡尔创立解析几何，牛顿发展微积分，概率论、数论相继兴起，19世纪非欧几何出现，20世纪集合论等新分支蓬勃发展。这一过程展现了人类从继承古典智慧到突破创新的完整轨迹，三次方程解法成为关键转折点，标志着数学从直观几何迈向抽象符号的新纪元。
2026-03-13 05:00:00
420
原创 虚数i和复数complex，真的必要吗？
虚数的发明源于16世纪意大利数学家求解三次方程的需求。Cardrano等人发现，即使方程存在实数解，通解公式中仍需对负数开平方。通过引入虚数单位i，数学家得以处理这类不可能的运算，最终获得实数解。尽管笛卡尔等学者最初质疑其合理性，但虚数在18世纪经欧拉和高斯的工作被正式接纳，其应用范围远超三次方程求解，展现了数学概念从实用技巧到理论突破的演进过程。
2026-03-12 05:00:00
415
原创 积分VS微分：谁才是数学界的王者？
摘要：本文探讨了高等数学中积分与微分的层级关系，指出积分运算比微分更高阶。通过对比泰勒级数和傅里叶级数，揭示了傅里叶级数因其基于积分运算而具有更强的普适性。文中分析了微分方程的求解本质，指出其核心在于积分运算的应用。同时讨论了微分与导数的区别，以及积分运算在函数分类中的特殊地位——初等函数在微分运算下封闭，而积分运算可能产生更高阶的函数。这些观点为理解高等数学的运算层级提供了新的视角。
2026-03-11 05:00:00
383
原创 人类智能系列：数学也需要【浪读】，金牌教材也绝不是【一本就够】
摘要：本文通过对比铁牌辅导手册与金牌教材在导数知识编排上的差异，提出【浪读学习法】的概念。研究发现，金牌教材虽内容全面但重点分散，而铁牌手册通过异质化的知识呈现方式更易抓住学习者的注意力。文章指出，学习数学等学科应摒弃【一本教材足够】的观念，通过阅读不同风格的资料（异质图书学习法），在重复和差异中构建知识网络，强化记忆。这种方法不仅能发现知识重点，还能吸收不同编著者的思维模式，实现更高效的学习。关键词：浪读学习法、异质图书学习法、注意力管理、知识记忆。
2026-03-10 05:00:00
324
原创 人类智能系列：幂指对三，基本初等函数的导数及函数概念起源
摘要：本文探讨了初中数学从代数到函数的递进关系，分析了函数概念的历史演变（笛卡尔至迪利克雷时期），并重点讨论了基本初等函数的分类争议。不同教材对常数函数是否属于基本初等函数存在分歧，本文建议采用【幂指对三】的口诀记忆法。同时对比了中英文术语表达，并指出维基百科对初等函数的分类更为宽泛，包含多项式、根式等。最后强调微分运算被视为初等运算，而积分运算则属于更高阶运算。
2026-03-09 05:00:00
389
原创 人的智能系列：数学的训练配方，从初中高中到大学
摘要：本文对比了人工智能与人类智能的本质差异，强调关注人类智能而非AI。人类智能通过长期心智训练发展认知能力，而AI依赖大数据训练。在数学教育方面，文章分析了1990年代与2020年代高中数学课程的变化，指出导数内容增加、概率统计章节扩充等趋势，反映了与大学课程的衔接需求。全文着重探讨人类智能的独特性和数学教育的演变。
2026-03-08 05:00:00
469
原创 人的智能系列：物理学的训练配方，从初中到高中和大学
摘要：本文对比了人工智能与人类智能的本质差异，强调关注人类智能的独特性（如情感认知、伦理判断）。同时系统分析了物理教育的连贯训练体系，揭示从初中基础概念到大学专业理论（如电磁学、运动学）的递进式知识建构。研究表明物理教育各阶段具有内在衔接性，初中已植入电磁波等高级概念，形成从现象认知到理论建模的系统培养路径。
2026-03-07 05:00:00
518
原创 星际航行系列：从万有引力到相对论，高中真是科学理论的【巅峰】？
摘要：万有引力与宇宙航行的原理和公式均可通过圆周运动推导得出，并揭示了牛顿力学的适用范围：在低速运动时准确，但在接近光速时，时空观发生改变。相对论并未否定牛顿力学，而是将其视为低速条件下的特例。爱因斯坦1905年的论文通过v/c比值推导出更精确的动态公式ΔE=Δmc²，揭示了质量与能量的转化关系，这一发现与量子力学共同构成了现代物理学的理论基础，展现了物理学理论的演进过程。
2026-03-06 05:00:00
486
1
原创 星际航行系列--天体圆周轨道和轨道逃逸，唯一关键的就是速度？
宇宙速度与航天发射原理：第一宇宙速度（7.9km/s）是卫星绕地轨道速度，第二宇宙速度（11.2km/s）是脱离地球引力的速度，两者相差√2倍。火箭发射需精确控制高度、角度和速度，发射场纬度决定轨道倾角。这些原理源自牛顿力学，包含在高中物理的万有引力、圆周运动和逃逸速度（第三宇宙速度16.7km/s）三大要素中。数学在轨道计算、参数优化和火箭姿态控制中起关键作用。人类星际航行的理论基础早在300年前就已奠定。
2026-03-05 05:00:00
373
原创 星际航行系列：地球公转是椭圆，只是给【开普勒】留点面子？
太阳系行星轨道具有高度规整性：1.所有行星轨道几乎共面；2.除水星外，行星轨道离心率极低（地球仅0.017），实际近乎圆形。科普材料常将行星轨道夸张描绘为明显椭圆，虽符合开普勒定律（轨道为椭圆），但易造成误解。这种强调可能源于对科学定律的尊重，却忽视了太阳系实际的规整特性——行星轨道既共面又近圆，反映太阳系形成时的细微初始偏差。科普时过度突出"椭圆"特性反而会传递错误认知。
2026-03-04 05:00:00
882
原创 草稿20251219：懂得指令集架构ISA，就要(就是)熟悉汇编语言
本篇草稿记录了对汇编语言的分析。有一个印象，如标题所写，要懂得指令集架构ISA，就要(就是)熟悉汇编语言。比如一个高级语言函数会被编译器编译出什么样的指令序列出来。所谓懂得ISA，就是要对这一套{高级语言代码--汇编语言代码}的映射过程非常熟练，这样才能知道为什么ISA要增加一个指令或者减少一个指令，增加一个指令或减少一个指令对于编译器又意味着什么。对于CPU芯片的实现来说，增加一个指令并不难，难得是要回答为什么要增加这样一个指令。
2026-02-28 09:03:23
162
原创 草稿20251217：神奇的网站deepwiki对github项目进行解读。
本篇草稿记录了当时看到deepwiki时的“惊喜”。从草稿还可以看出，当时在看的资料是那几个开源RISC-V的项目，包括drakriscv和picorv32。
2026-02-28 08:59:13
50
原创 草稿20251217：riscv Qemu
本篇草稿记录了Qemu的一些实操的参考资料。对作者来说，听说Qemu已经有很长时间了，以前当作一个“高不可攀的技术传说”，这是再一次的“探秘”。一个值得说的就是，NEMU是和QEMU相近的一个东西，还有和Spike-pk相近的difftest，都是ysyx项目中使用的。个人感觉ysyx如果能把这些关系在更加显著的地方说清楚更好，便于学员们知道NEMU/DiffTest的技术背景，否则使用太多的没有“国际接轨”的名词如NEMU/PA/DiffTest则容易把学员【劝退】。
2026-02-28 08:57:40
162
原创 草稿20251216：darksocv一个项目用三大开源EDA工具
本篇草稿记录了当时看到darksocv使用了三个开源EDA工具时的“惊喜”。对于没有干过芯片开发的人来说，每一个EDA工具，如iVerilog、Verilator、Yosys，都是一个巨大的未知，但当看到darksocv项目的Makefile所体现的build和test过程中就会用到这些EDA工具的时候，就感觉到离入门芯片开发验证工作近了，这些工具也就是【日常】了。特别值得说的一点，本篇记录包含有Yosys这一关键开源EDA的操作。
2026-02-28 08:51:22
691
原创 草稿20251030：嵌入式系统RTOS和BSP的概念
本篇草稿收录了一篇关于RTOS和BSP概念辨析文章。在嵌入式系统中，板级支持包BSP是一个特定层次的软件，包括硬件相关的例程，比如启动器BootLoader和设备驱动等支持嵌入式操作系统(也称为实时操作系统RTOS)在特定硬件下的各项功能。可见BSP是RTOS的设备相关部分，BSP展开Board Support ackage就反映了这个【设备相关】主要就是板卡相关。RTOS可以管各种CPU但确很难管到板卡这个级别，而这正是BSP需要做的。在Keil等嵌入式软件开发环境中，BSP就是一个必不可少的概念。
2026-02-28 08:49:29
63
Chisel芯片开发-语言工具-Scala-2.13.14.tgz
2025-06-22
Chisel芯片开发-构建工具-Sbt-1.10.11.tgz
2025-06-22
Chisel芯片开发-构建工具-Sbt-1.10.11.zip
2025-06-22
Chisel芯片开发-构建工具-Sbt-1.11.2.tgz
2025-06-22
Chisel芯片开发-构建工具-Sbt-1.11.2.zip
2025-06-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人