14 yuanmeng001

尚未进行身份认证

我要认证

老师

等级
TA的排名 3

多日未发文,何故?

坦然地说,一切为了“备战”第二套三卷句集全文检索的启动!今天上午第二套三卷句集全文检索软件开发已经正式启动 。第二套指的是什么著作?不言自明​第一套是么?为什么?不言自明。袁萌 陈启清 7月31日...

2020-08-02 09:03:35

天问一号发射的瞬间

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

2020-07-26 09:40:47

太阳系的人造小行星

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

2020-07-24 14:24:04

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

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

2020-07-23 14:25:23

希望号飞往火星

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

2020-07-21 11:48:15

太阳光球的组成

由太阳光谱分析可知:太阳光球的组成如下:氢 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

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

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

2020-07-18 08:46:19

全文检索希望理解与帮助

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

2020-07-16 13:43:38

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

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

2020-07-12 10:47:09

高考考生线上查分二十年

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

2020-07-11 16:52:31

数学机器人不解人意?

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

2020-07-10 16:29:05

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

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

2020-07-08 11:29:46

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

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

2020-07-07 16:21:21

全国高考公平录取的开端

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

2020-07-06 12:22:43

线上学微积,百度少不了

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

2020-07-05 12:02:31

紧致性定理的精确陈述

紧致性定理是构建非标准数学理论的基础工具。该定理的 精确陈述,不可不知。该定理是我们倡导无穷小微积分的科学依据,而不是盲目信仰无穷小微积分。请见本文附件。袁萌 陈启清 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

无穷小微积分吁呼中俄数学中心成立!

我们吁呼的理由是,俄罗斯数学家与我们志同道合,倡导非标准分析。请见无穷小微积分网站首页俄罗斯“无穷小分析”。袁萌 陈启清 6月30日附件:中俄数学中心成立​​6月29日,北京大学与莫斯科大学在线上共同成立中俄数学中心。中国科学院院士、北京大学数学科学学院教授张继平担任该中心主任。他表示,中俄数学中心应特别注重探究并借鉴俄罗斯数学独立发展的成功经验,尤其是独立于欧美的学术传统和评价体系。​​在成立仪式上,俄罗斯科学院院士、莫斯科大学校长萨多夫尼齐表示...

2020-06-30 15:56:18

哥德尔的主要贡献

相容语句集合必有模型:哥德尔完全性定理。如果每一个有限语句集合的子集合有模型,则该语句聚合存在模型:紧致性定理。哥德尔完全与性定理与紧·致性定理相互等价。这是哥德尔的主要数学贡献之一。袁萌 陈启清 6月29日...

2020-06-29 10:47:11

当代数学的诞生

1929年,哥特德尔完全性定理诞生,开启了当代数学的发展进程。为什么? 根据何在?有根有据, 请见本文附件。袁萌 陈启清 6月27日附件:特德尔24完全性定理内容Contents1 Preliminaries2 Statement2.1 G?del's original formulation2.2 More general form2.3 Model existence theorem2.4 As a theorem of arithmetic3 Consequen...

2020-06-27 19:53:57

紧致性定理,何处寻?

紧致性定理,是当今数学的基础定理不可不知道。访问“无穷小微积分”网站,下载“NSA _NOTES”,阅读第二章即可袁萌 陈启清 6月24日附件:无穷小微积分欢呼北斗3号发射成功!全球关注,祖国伟大!袁萌 陈启清 6月23日...

2020-06-24 16:52:18

查看更多

勋章 我的勋章
  • 签到新秀
    签到新秀
    累计签到获取,不积跬步,无以至千里,继续坚持!
  • 持之以恒
    持之以恒
    授予每个自然月内发布4篇或4篇以上原创或翻译IT博文的用户。不积跬步无以至千里,不积小流无以成江海,程序人生的精彩需要坚持不懈地积累!
  • 1024勋章
    1024勋章
    #1024程序员节#活动勋章,当日发布原创博客即可获得
  • 1024超级勋章
    1024超级勋章
    授予原创文章总数达到1024篇的博主,感谢你对CSDN社区的贡献,CSDN与你一起成长。
  • 勤写标兵Lv3
    勤写标兵Lv3
    授予每个自然周发布7篇到8篇原创IT博文的用户。本勋章将于次周周三上午根据用户上周的博文发布情况由系统自动颁发。