有关对偶定理的证明方法讨论

在射影几何中,从对偶思想出发,研究“三点共线”与“三线共点”的结构形式,使得德萨格三角形定理及其对偶定理具有一．中“旋转”关系,进而给出这类问题求解的“规律性”方法。     

蝴蝶定理与射影变换

利用射影几何知识,探究射影变换下蝴蝶定理中的相关证明与结论,并将其应用在几何问题中,以发挥更大作用。     

关于多元复合函数求偏导数定理证明的一点注记

上海高等专科学校编写组所编《高等数学》(第二版)中册第十章中,关于多元复合函数求偏导数定理的证明,有些不妥现予以注明。       

利用中值定理证明问题时辅助函数的几种构造方法

文章对高等数学中利用中值定理证明时,如何构造造辅助函数的问题,分别就使用洛尔定理、拉格朗日定理、柯西定理给出了构造辅助函数的方法。     

第四届全国优秀科技图书奖获奖书目

一等奖整函数和亚纯函数理论—亏值、渐近值和奇异方向临界点理论及其应用Hp鞍论几何定理机器证明的基本原理 (初等几何部分)穿甲力学有机合成反应(上下册)极谱电流理论唐山大地瓜,害(共4册)中国变质地质图(附说明书)中国及邻区海陆大地构造(附图)徽生物学中国盾助志(共3卷)乳化炸药链传动离心叶轮的内流理论基础工业过程模型化及计算机控制电机电磁场理论与计算中国古代陶瓷科学技术成就梁思成文集(共4册)给水排水设计手册(共”册)张广厚著张基庆著龙瑞麟著科学上海科技北京大学吴文俊著钱伟长编著王葆仁著高鸿张祖训著刘恢先主编董申保沈…     

机器的语言

使用电子计算机,必须将我们人类使用的语言改编为机器使用的语言。由人事先安排好操作步骤,编好程序,然后输入计算机,计算机根据程序和原始数据就能运算出结果来了。如图书资料要使用计算机进行检索,首先必须将被检索的内容变成机器可以读的代     

三点共线与三线共点的相关定理及其应用

三点共线与三线共点是几何学习中经常遇到的一类问题。本文利用射影几何的德萨格定理及其对偶定理（逆定理）、帕斯卡定理及其对偶定理（布利安双定理），给出此类问题的处理方法。     

关于x2＋1形素数定理的证明

1、引言 由于素数分布散乱,规律难寻,长期以来人们都在苦苦寻求．希望能找到一个可通过实际计算得到素数的公式或定理,由它直接推导出一个又一个的素数。本人在研究不定方程的基础上．     

新闻机器:智能传媒之路又一程

机器新闻新旅程 自2015年下半年以来,“机器新闻”已成为传媒领域的一个热门话题.机器新闻是指采用基于人工智能、互联网数据挖掘、自然语言处理等技术的算法和装置(即“新闻机器”),进行新闻素材的汇聚、新闻内容的编写、新闻图表的生成、新闻条目的发布与动态更新等智能化、自动化处理的技术与应用模式.短时间内,各类新闻机器产品应运而生.     

定理还是理念?——关于"用户永远都是正确的"基本定理的讨论

《图书情报知识》编辑部约我组织一个研究专题，题目任由我来选，当然稿件也得由我来组织。这两年在系里讲授“信息资源建设与服务”，使用的教材是中山大学资讯管理系程焕文教授领衔主编的《信息资源共享》一书。书中第二章给出了四个基本定理，其中之一是“用户永远都是正确的”。每次讲授这部分内容，我都无法以讲授的方式来处理它，因为我能清楚地感受到来自相当部分学生的怀疑甚至抵触，我不得不通过组织课堂讨论来完成我的课堂教学。在学生们热烈的讨论中，我能感觉到他们的意见在赞同与怀疑的对立中是很难达成共识的，赞同者倾向于这是一种有益的理念，而好的理念有助于事业的发展，既然有助于事业，发展为什么不能接受并推行呢？怀疑者认为该理念不能等同于定理，定理必须严谨、严格。理念是职业精神层面的，而定理是科学层面的，不应该混为一谈。     

如何利用蝴蝶定理训练发散思维

蝴蝶定理是一道著名的平面几何题。发散思维是一种重要的数学思维能力。它与人的创新能力有着密不可分的关系。利用蝴蝶定理的一题多解,和对问题本身的条件和图形等的发散,以及在证明过程中得到的一些新的启示,都可以很好地训练学生的发散思维能力。     

对机器新闻写作的冷思考

近年来,人工智能技术在新闻传播业界的渗透与应用已然成为一种风尚,其中“机器新闻写作”尤为瞩目,亦成为学界研究热议的话题. 综观相关论文,基本围绕下述两个论题展开: 一是技术驱动创新,机器新闻写作势不可挡.学术界几乎一致地认为,机器人参与写作,带来了写作效率的提升、可以7×24小时地不间断工作、优化了对数据和资料的使用、实现了对受众精准且个性化的传播,而且从行业整体来看,会导致优胜劣汰,实现对新闻传媒业“落后产能”即墨守成规、因循守旧者的淘汰.其带来的根本变革是,新闻业的模式已从PGC(专家或媒体生产内容)到了UGC(用户生产内容),正在向AGC(算法生成内容)转变(喻国明,2015).     

深圳希迪智能机器有限公司（CTD）简介

深圳希迪智能机器有限公司（ＣＴＤ）简介深圳希迪智能机器有限公司是中国对外贸易开发总公司与香港雅信发展有限公司合资兴办的汇集海内外优秀人才、实力雄厚、全力开拓计算机应用领域的新兴高科技公司。李岚清同志亲自为希迪公司题词“技贸结合，发展外贸”。自开办以来...     

关于极线方程和本质矩阵的重要定理

极线方程和本质矩阵在计算机视觉领域有极其重要的作用。在立体视觉中,可用于求双摄象机的相对位置;在运动视觉中,可推导出摄象机的运动。本文主要证明了极线方程和本质矩阵的几个重要定理,这些定理对于求本质矩阵和从本质矩阵求位置参数都是必不可少的。     

关于Boole函数线性可分性基本定理探讨

本文描述了Boole函数的线性可分性问题,并回顾了Boole函数线性可分性基本定理,通过举例指出了该定理的局限性,最后实验计算结果表明该定理当且仅当维数n小于等于3时成立。     

德州北洋机器制造局略考

德州北洋机器制造局,在德州“大西门外上码头,清光绪二十八年(1902)建筑”,“至民国十四年(1925)冬”“停办”,前后在德州存在23年之久。同治六年(1867),三口通商大臣崇厚在天津创办了天津机器局,光绪二十一年(1895)改称北洋机器局。光绪二十六年被八国联军毁坏。袁世凯为了扩充自己的实力,于光绪二十八年将北洋机器局被劫后残存的机器设备移到德州,开办了德州北洋机器制造局。袁世凯选德州办这一军火工业的主要原因:其一,天津是帝国主义的势力范围,在德州办局,可以避免与帝国主义的摩擦,减少麻烦;其二,德州地近京畿,在德州办局便于控制,其三,德州素有“九达天衢”、“神京门户”之称,是水陆交通重要枢纽,便于产品分拨调运。德州北洋机器制造局,位于德州西门外运河码头东岸的花园,东临津浦铁路火车站,     

印刷型机器可读语言——条形码

条形码是目前唯一的印刷型机器可读语言 ,它在我国商品市场和邮电部门及图书馆流通系统中得到应用。本文叙述条形码读入计算机的基本原理和过程 ,介绍商业、邮电部门和图书馆系统使用的条形码编码方案 ,并对条形码信息资源利用的情况加以讨论。     

中国档案文献遗产选刊之三 江南机器制造局档案

正文献形成年代:1851年(清咸丰元年)—1933年文献数量:90卷文献保存者:上海市档案馆江南机器制造局是19世纪中叶由洋务派著名人物李鸿章创办的我国最有代表性的早期近代企业之一。该文献为江南机器制造局创办初期部分档案材料,详实地记述了江南机器制造局诞生及进行生产的过程,是反映江南机器制造局早期历史的珍贵材料,同时也是研究洋务运动及民族工业发展史的宝贵史料。     

关于半环的同态、同构定理

引进半环、半环同态(同构)概念、得到半环同态、同构定理     

提倡出版社员工学一点计算机程序设计

技书档案数据库 ,将社版书各种数据输入数据库 ,再编写一些浏览、查询、打印的命令 (新的程序设计方法甚至不需要编写这些命令 ,而有现成的功能可以直接应用 ) ,即可以方便快捷地在计算机上查阅图书档案。同样 ,编辑也可以对自己所编辑的图书建立数据库 ,进行保存和查阅管理。另外 ,出版科的付印单、发排单的填制和管理 ,总编室的选题管理、稿酬管理、编辑工作量统计 ,办公室的人事管理 ,都可以设计程序用计算机来做。当然 ,这其中有些程序设计起来稍难一些 ,但多数是比较简单的。(2 )数据计算数据计算是计算机最基本的功能。出版社需要计算…