清明时节，缅怀老友张锦文研究员

最新推荐文章于 2021-03-27 12:01:30 发布
原创 最新推荐文章于 2021-03-27 12:01:30 发布 · 1.2k 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文纪念我国老一辈数学家张锦文研究员，他是无穷小微积分领域的先行者。文章表达了对张锦文研究员的怀念，并提到袁萌继承其遗志，继续推广无穷小微积分到中学教育的努力。

张锦文研究员是我国老一辈倡导无穷小微积分的先行者，至今，离开我们已经进三十个年头了。

秉承张锦文研究员的遗愿，袁萌继续为无穷小微积分下放中学而战斗！

袁萌   4月5日

yuanmeng001
关注
公理集合论导引
04-03
集合论中不错的理论书籍，适合初学者使用的辅导书，全书涉及的内容丰富，值得你去完整的看一遍。
公理集合论导引.pdf
05-08
集合论是数学的一个基础分支，它研究对象的集合以及集合之间的关系、运算和性质等。公理集合论是在19世纪末至20世纪初逐渐发展起来的一个数学理论，通过一组公理来规定集合的概念和集合间的基本关系，以避免出现像...
现代微积分的宣言书 四十多年前，中科院计算所张锦文研究员托人从国外带回J.Keisler精心撰写的“基础微积分”教科书。 该书第一版“序言”看后令人感到十分震惊。这是现代微积分的宣言书！
袁萌专栏
11-18 1422
现代微积分的宣言书 四十多年前，中科院计算所张锦文研究员托人从国外带回J.Keisler精心撰写的“基础微积分”教科书。 该书第一版“序言”看后令人感到十分震惊。这是现代微积分的宣言书！ 请见本文附件。 袁萌 陈启清 11月18日 附件： The calculus was originally developed using the intuitive concept...
清明时节，思念友人张锦文
袁萌专栏
03-27 534
​​中国数学界元老申友枨先生的学生，中科院计算所研究员张锦文(中共党员，司局级)，安葬于北京八宝山公墓，老干部墓墙第979号墓室内。其生前遵照老师的教导多年来一直从事非标准分析的工作。 ​​安葬时袁萌将张锦文生前最心爱的出版物《鲁宾逊非标准分析》中译版，新手放于其墓室内，让它相伴张锦文的在天之灵。直到永远。 ​​ 袁萌 2021年3月27号 ...
纪念数学家胡世华先生逝世20周年
袁萌专栏
03-31 1527
        回顾往事，中科院胡世华院士离开我们已经20年了。胡世华先生是我国数理逻辑事业的开创者与领头人。        胡世华（1912.1 - 1998.4）1935年毕业于北京大学，1936-41年前往奥地利、德国留学，学习数理逻辑与数学基础。        胡世华于20世纪30年代末，在德国著名逻辑学家H.肖尔兹（Heinrich Scholz，1884-1956）和K.柯特（Koth...
连续统是什么？
袁萌专栏
02-14 9863
连续统是什么？     连续统是什么？这是现代微积分中的基础概念。美国中学生学习AP微积分，看上去很牛，实则不然。他们不懂连续统，是微积分的小白痴。这句话可能说重了，不好听。 2013年3月27日，老翁发表短文，阐述了什么是连续统的概念，但是，CSDN删除了这篇短文，甘当违法派，违反了科普法。 为展开以下的讨论，现将有关连续统的论述重新发表，供读者一阅，全文如下：           
奇妙的夸克（Quark）
袁萌专栏
05-15 4985
大约在1974年的秋天，我在一次中科院数学所的讨论班上听到中科院张锦文教授（已故）说起“夸克”的发现。 1969年，美国物理学家盖尔曼（Murray Gell-Mann，1929-）因为1964年创立“夸克”（Quark）学说荣获1969年度诺贝尔物理学大奖。夸克是什么？ 远古时代，人们相信物质是由原子（Atom）组成的，认为原子是组成物质的最小颗粒。直到1910年，人们发
无穷小微积分在中国传播40年
袁萌专栏
08-22 1470
记得在上世纪1978年，中国科学院计算机研究所张锦文研究员托人从美国带回J.Keisler教授“无穷小微积分”（英文原版），交给中国人民大学袁萌学习与研究。 从此以后，结合教学实践袁萌在中国人民大学与北京大学的讲堂上不断地讲授无穷小微积分的基础知识。 进入本世纪，袁萌带队进行“无穷小微积分”放飞互联网至今。 这就是无穷小微积分在中国传播的40年。 无穷小微积分专业网站是独一无二的传播基地。 袁萌 陈启清 8月21日 ...
集合论的公理系统
袁萌专栏
03-20 3561
        清明思故人。此刻，我十分思念老朋友张锦文教授。记得，1993年，我在张锦文墓穴（八宝山公墓，墓穴编号979）的骨灰盒上方摆放着他的学术专著“公理集合论”，以便永远陪伴着他。        我先把集合论的公理系统（Kunen模式）摆出来，以后慢慢解释。        1.外延公理Axiom of extensionality, 两个集合相等，若它们有相同的元素。? x ? y [ ?...
公理集合论导引(国人第一权集合论专著)
05-16
每个人都知道许多集合，但是，值得注意的是集合这一重要的概念，没有一个来谨的数学定义。只是有一个描述性的说明。.......
精品（2021-2022年）资料高新区芳草小学教师教学大比武活动总结.doc
09-26
- 张锦文老师的《春》课，融合音乐、板书和朗读，注重文本理解和积累。 - 杨丽老师的《凡卡》课，以情感教学为主线，教授写作技巧，体现教学艺术。 - 王晓燕老师的《古诗二首》课，打破常规，比较教学，提升学生...
海平面上升对海岸潮汐影响的理论分析
全球变暖导致的海平面上升已经成为国际关注的焦点，中国沿海地区的海平面上升速率与全球趋势一致，且对潮差产生了显著影响，如张锦文和杜碧兰的研究指出中国黄海沿岸潮差显著增大。 于宜法等人的研究进一步探讨了海...
【多变量时序预测】 Python实现基于SMA -Transformer-LSTM黏菌优化算法（SMA）优化Transformer-LSTM组合模型进行多变量回归预测的详细项目实例（含完整的程序，GU
10-22
内容概要：本文详细介绍了一个基于黏菌优化算法（SMA）优化的Transformer-LSTM组合模型在多变量回归预测中的完整项目实例。项目通过融合Transformer的全局特征提取能力与LSTM的局部时序建模优势，构建层次化混合模型，并引入SMA算法实现超参数自动寻优，提升模型性能与泛化能力。项目涵盖数据预处理、模型设计、训练优化、结果评估、GUI可视化界面开发及工程化部署全流程，配套完整代码与目录结构设计，支持端到端自动化建模与跨平台应用。; 适合人群：具备一定机器学习和深度学习基础，熟悉Python编程与PyTorch框架，从事数据科学、人工智能研发或工程落地的相关技术人员，尤其是工作1-3年希望提升模型自动化与实战能力的研发人员。; 使用场景及目标：①应用于智能制造、金融风控、智慧医疗、能源管理、气象预测、智能交通等多变量时间序列预测场景；②掌握Transformer与LSTM融合建模方法；③学习SMA等群体智能算法在深度学习超参数优化中的实际应用；④实现从数据处理到模型部署的全流程自动化开发。; 阅读建议：建议结合文档中的代码示例与GUI实现部分动手实践，重点关注模型架构设计、SMA优化机制和训练流程细节，配合可视化分析深入理解模型行为。同时可扩展尝试不同数据集和优化算法，提升对复杂时序预测任务的综合把控能力。
jarch-apt-24.11.0.jar
10-23
jarch-apt-24.11.0.jar
rum-jvm-1.0.63.jar
最新发布
10-23
rum-jvm-1.0.63.jar
osis-jvm-0.33.1-beta-sources.jar
10-22
osis-jvm-0.33.1-beta-sources.jar
mturk-jvm-1.4.121-javadoc.jar
10-22
mturk-jvm-1.4.121-javadoc.jar
liwei.zip-matlab生成和绘制散点图-matlab绘图
10-22
【源码免费下载链接】：https://renmaiwang.cn/s/bu4rv 在MATLAB中，散点图是一种非常常用的可视化工具，它能够帮助我们理解两个或多个变量之间的关系。散点图通过在二维平面上用点的位置来表示数据，其中x轴和y轴分别代表不同的变量，点的位置则对应着数据点在两个变量上的值。这种图表在数据分析、科学研究以及工程应用中都有着广泛的应用。标题"liwei.zip_matlab散点图_matlab画散点_matlab画散点图_散点图"表明这个压缩包包含了与使用MATLAB绘制散点图相关的资源。可能包含一个MATLAB脚本文件（liwei.m）和一个图像文件（B.jpg），前者是用于创建散点图的代码，后者可能是运行脚本后生成的示例散点图。描述中的"画多张散点图，虽然简单点，但很实用啊，希望对大家能有帮助，哈哈"暗示了这个MATLAB脚本可能不仅展示了如何绘制单个散点图，还可能涉及如何生成多个散点图或者在一个图形窗口内绘制多组数据。这样的功能对于比较不同数据集或展示变量间复杂关系非常有用。在MATLAB中，绘制散点图的基本命令是`scatter`。例如，如果我们有两个向量`x`和`y`，我们可以用以下代码创建一个简单的散点图：```matlabx = 1:10; % 创建一个1到10的向量y = x.^2; % y的值为x的平方scatter(x, y); % 绘制散点图````scatter`函数可以接受额外的参数，比如颜色、大小和标记样式，以定制散点的外观。例如，我们可以为不同的数据集使用不同的颜色：```matlabx1 = 1:5;y1 = x1.^2;x2 = 6:10;y2 = x2.^3;colors = {r, b}; % 设置两种颜色scatter(x1, y1, r); % 绘制第一组数据，红色hold on; % 保持当前图形，允许在同一图上
在强化学习中使用DQN模型构建充电汽车能量模型.zip
10-22
1.版本：matlab2014a/2019b/2024b 2.附赠案例数据可直接运行。 3.代码特点：参数化编程、参数可方便更改、代码编程思路清晰、注释明细。 4.适用对象：计算机，电子信息工程、数学等专业的大学生课程设计、期末大作业和毕业设计。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值