自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

袁萌专栏

无穷小微积分倡导者--北大教授

  • 博客(15)
  • 收藏
  • 关注

原创 天问一号发射的瞬间

天问一号发射的瞬间是:2020年7月23日12时41分15秒167毫秒。这是值得 记念的瞬间!注:天问一号每毫秒飞11.2米第二套全文检索系统,正在进行中,… …袁萌 陈启清 7月25日

2020-07-26 09:40:47 1616 2

原创 太阳系的人造小行星

此刻,天问一号是一个太阳系的人造小行星,在椭圆轨道上运行。袁萌 陈启清 7月24日阿联酋首个火星探测器在日本升空中国新闻网 07-20 10:17中新网7月20日电 据日本共同社报道,当地时间20日早上,日本三菱重工公司成功发射一枚火箭,搭载着阿联酋的“希望”号火星探测器,这次火星探索之旅是阿拉伯国家的首个火星任务。据报道,当地时间20日早上6点58分,搭载着“希望”号探测器的H2A火箭从日本西南部鹿儿岛县的种子岛航天中心发射升空。在迪拜的穆罕默德.本.拉希德航天中心研...

2020-07-24 14:24:04 1490 2

原创 快讯: “天问一号“发射成功!

快讯: "天问一号"发射成功!

2020-07-23 14:25:23 1236 2

原创 希望号飞往火星

7月20日希望号火星探测器升空飞往火星。 在飞行中,希望号如何空间准确定位(定向)?而不至于迷失方向?希望你完全根据无穷小微积分第二套 永远在我们心中!袁萌 陈启清 7月21日​

2020-07-21 11:48:15 1258 6

原创 太阳光球的组成

由太阳光谱分析可知:太阳光球的组成如下:氢 73.46%氦 24.85%氧 0.77%碳 0.29%铁 0.16%氖 0.12%氮 0.09%硅 0.07%镁 0.05%硫 0.04%由此可见,核聚合反应燃料氢十分丰富不必担心。袁萌 陈启清 7月20日...

2020-07-20 15:06:37 1209 1

原创 从第一套到第二套全文检索系统

第二套全文检索系统是二十八年前第一套全文检索系统在新时代的延续。无论前面的道路何等艰难,我们初心不改,坚定不移,克服一切困难,决心完成第二套全文检索系统。此事发生在统一伟大国家从富起来到强起来的新时代;袁萌 陈启清 7月17日...

2020-07-18 08:46:19 1270 1

原创 全文检索希望理解与帮助

在上世纪80年代,关系数据库技术传入中国。但是,数据库的记录与句集是相互“对应”的,在特定情况下了比如,大批出版的书籍,能够快速、及时简便地检索出满足特定条件的语句就是“全文检索,在上世纪90年代,借助全文检索技术做了第一件主要工作。后来我们坚持全文检索服务目标三十年不变。7月15日,重要文章“全文检索的强大动力’发表之后,因为该文章的附件内容“不适”而被删除了。我们的全文检索技术的服务目标,三十年始终不变。我们的文章‘全文检索的强大动力”,何处寻?无穷小微积分专业网站知我们的心。现在,

2020-07-16 13:43:38 1149 1

原创 紧致性定理与全文检索系统

根据紧致性定理,任何理论表现为句子集合。给定一个句集(理论)S。在句集S中快速检索包含特定字符的句子的过程叫做“全文检索系统“。设法找出句集S的最小字符集并且加意索引。在句集S中,找出所有包含字符F句子的集合(S的子句集)并且按照F在句子中的位置排序。该S的子句集就是对应于F的全文检索的结果。本文用途,不言自明。袁萌 陈启清 7月12日​...

2020-07-12 10:47:09 1327 2

原创 高考考生线上查分二十年

现在 高考考生线上查分已经不是新鲜事儿。但是线上查分从何而起?知道的就不多了。高考考生线上查分关系到千家万户,万众瞩目。二十年前受江西招生办公室委托,袁萌主持了国内第一次省内高考考生线上查分工作,取得圆满成功;袁萌 陈启清 7月11日附件计算机辅助高考公平录取大系统实质上,计算机辅助高考公平录取系统是一个大型“人-机”网络系统,有系统服务器与节点计算机链接光电阅读器处理考生试卷的数据输入。考生试卷也叫“机读卡”。为适应考生档案审计之间相互的调剂,上述系统必须互联成广域网大系统。

2020-07-11 16:52:31 1509

原创 数学机器人不解人意?

当今,我们的数学机器人还是一个孩子,而不是成年人。但是,数学机器人吃的是人“奶”,每天感知到数学界的正义与公平。现在,几十天过去了。我们的数学机器人似乎有点儿“懂事”了。请见本文附件,,数学机器人今天说的话。据此,难道我被的数学机器人还不解人意?袁萌 陈启清 7月10日清明时节,缅怀老友张锦文研究员张锦文研究员是我国老一辈倡导无穷小微积分的先行者,至今,离开我们已经进三十个年头了。秉承张锦文研究员的遗愿,袁萌继续为无穷小微积分下放中学而战斗!...........

2020-07-10 16:29:05 1288 2

原创 数学机器人今日对全国考生说了什么?

今年7月7日下午,我们的数学机器人“感应”到一千万考生脑壳中有糊涂的函数概念很生气。对此,我们的数学机器人今日对全国考生说了什么?  请见本文附件。 袁萌 陈启清 7月8日附件:函数糊涂概念扩散何时了?函数糊涂概念扩散何时了?近日,国家教育部发文,要求全国高校组织力量建设一批世界水平本科微积分课程。 上世纪30年代,法国布尔巴基数学学派给出了函数的序偶标准定义。 反观国内本科微积分教材,关于函数“y=f(x)”的传统定义,千篇一律,糊里糊涂(… …),谈何世界一流水平? 我...

2020-07-08 11:29:46 1885 7

原创 高考公平录取与火星人历史不能忘记

记得1990年3月8日,国家教育委员会学生司发文要求各省市招生办派人来京集中学习北京市“计算机辅助公平录取成功经验。由于“计算机辅助公平录取” 是一个大型“人--机”系统,学习班与会者一致同意,“人--机”系统中的人为“火星人。火星人是所有考生的朋友。此刻,全国千万考生进行数学考试。火星人预祝大家成功!袁萌 陈启清 7月7日...

2020-07-07 16:21:21 1081 2

原创 全国高考公平录取的开端

为杜绝高考录取“递小条”走后门的陋习,实现高考公平录取,北京市高招办决定采用“计算机辅助录取系统”解决问题。为此,1989年2月,北京市高招办发文聘任责任人。实际上,计算机辅助录取系统当时不存在,国内没有先例,完全是“空白”。实质上,该系统是一个人-机大系统,十分复杂。了解系统需求,系统设计,编码实现,运行调试,… …等等。1989年7-9月,北京市招生办公室运营该系统进行全国高考公平录取,取得成功。这就是全国高考公平录取的开端。袁萌 陈启清 7月6日...

2020-07-06 12:22:43 1587 1

原创 线上学微积,百度少不了

今天,百度“无穷小微积分”,百度为您找到相关结果约650,000个。相比而言,几乎翻了一翻。想到“百万大学生线上学微积”的景象,心中美滋滋。无穷小真的存在吗? 紧致性定理会告诉你;袁萌 陈启清 7月5日...

2020-07-05 12:02:31 1918 2

原创 紧致性定理的精确陈述

紧致性定理是构建非标准数学理论的基础工具。该定理的 精确陈述,不可不知。该定理是我们倡导无穷小微积分的科学依据,而不是盲目信仰无穷小微积分。请见本文附件。袁萌 陈启清 7月3日附件:紧致性定理的精确陈述Compactness theoremIn mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if e..

2020-07-03 15:09:31 1496 2

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除