微积分中值定理的统一证明及推广形式

Cauchy中值定理统一了微积分中值定理各种形式,从而建立了微分中值定理和积分中值定理之间的内在联系.以Rolle中值定理为基础,借助不同形式辅助函数可对其它几个中值定理作出多种形式的统一证明;利用Taylor公式可以进一步导出微积分中值定理的推广形式.     

Rolle定理的可视化检验及证明

Rolle中值定理是重要的微分中值定理,它是Lagarange定理和Cauchy定理基础.本文先利用Maple10对罗尔定理作可视化检验然后探索用实数连续性公理证明Rolle定理.     

定理的特例与定理的证明

定理的特例是定理的重要组成部分,为证明定理的普遍性起着特殊的作用。弄清其间的逻辑关系和定理的证明过程,对深入理解定理的内涵和掌握定理证明的思路是大有益处的。     

Brouwer不动点定理的若干等价形式

本文的目的是表述现代非线性分析的某些基本结果,比如:Brouwer 不动点定理,Schauder 不动定理,Tychonorff 不动点定理,Fao Kv 极大极小原理,截口定理,Browder,Fan-Glicksberg-Kakutani 不动点定理,KKM 定理及集值 Hartman-Stampacchia 变分不等式等之间的联系.     

不动点定理在微分方程中的应用

文章主要是利用Banach不动点定理来简化了Picard定理的证明,并且利用Leray-Schauder不动点定理说明了不动点定理在微分方程中的应用。     

Stolz定理的推广定理证明

为了求非导函数的待定式的极限,在Stloz定理的基础上,给出了Stloz定理的推广定理,并对定理进行了证明.     

重合点定理与非扩张映射的不动点

给出了某些新的重合点定理和几个扩张映的不动点定理,还得到在凸距离空间中非扩张映的不动点定理,主要结果是定理2与定理7、定理9。     

关于解决函数零点问题的几种方法

归纳了数学分析中函数自身及其导函数零点的存在问题,运用相关定理如费尔马定理,罗尔定理,拉格朗日定理,积分中值定理等,对这一类问题给予分析与讲解,从中学习和掌握该类问题的解决方法和技巧.     

二值命题逻辑系统的不可靠度及F度累积定理

本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。     

序空间中的极大元定理及其在博弈中的应用

运用不动点定理及偏序集中归纳集的性质,获得了乘积序空间中集值映射的1个极大元定理。同时,将该定理应用于非合作非货币化博弈,得到1个广义Nash均衡点存在性定理,并用实例验证了该存在性定理的可行性。     

试卷分析在高职院校外语教学中的作用

外语测试是外语教学不可缺的一部分,试卷分析是测试结果能有效作用于课堂教学的必备条件.但目前在实践教学环节,试卷分析并没有受到足够的重视.本文通过对一次英语测试试卷的简要分析,对英语教学和命题方面提出了一些建议,来说明数据如何作用于实践教学,其目的是提示试卷分析对英语教学的重要性.     

粉煤灰在瓦楞原纸中的应用

将某火力发电厂废料粉煤灰作为一种瓦楞原纸填料,通过其在造纸中的应用来减少粉煤灰对环境的污染.分析粉煤灰微观结构,并对加填了粉煤灰的纸张进行物理性能的检测,结果表明,粉煤灰可以作为瓦楞原纸的填料,且在瓦楞原纸中的最大用量为10%,糊化阳离子淀粉溶液的加入量为1.5%.     

民政纸质档案数字化整理过程及方法

从民政纸质档案数字化过程的实际需求出发,重点介绍了纸质档案数字化前的工作准备,纸质档案数字化分类整理的方法、编码及加盖归档章,档案著录,档案扫描,装订及排序,装盒,验收等各工序的基本要求、操作规范以及部分专业民政档案的整理方法等,为有效推动民政纸质档案数字化进程,提供了借鉴和参考。     

数据挖掘在论文管理系统中的运用

随着大学教育的大众化,高校的人数由过去的几十万上升到几百万,传统的人工审核论文就显得捉襟见纣。如何提高论文管理的效率,防止学生抄袭论文现象的发生已是迫在眉睫。笔者认为把文本挖掘技术运用在论文管理系统中,可提高论文的质量,减少论文审核人员的工作量。     

用高速摄影技术研究卷管机送纸机构的运动规律

利用高速摄影技术对毛纺纸管自动卷管机的送纸机构的运动规律进行研究,分析出该机构的送纸吸嘴在吸纸、喂纸和输纸过程中均有波动,为机构的改进设计提供了有效依据．     

试题库决策支持系统的设计(二)(续)

考试是整个教学过程的重要环节,如何命题出一份高质量的试卷更是十分关键。本文利用决策支持系统的基本原理,设计了试题库决策支持系统（TDSS）。采用该系统后,用户可以在屏幕上任意编辑试题和相应的图形,并可根据决策者的要求利用随机抽题模型生成试卷。些外,该系统还可自动对试卷进行试前优化和试后评估。     

白云母热化学处理对其制品性能的影响

研究了白云母经热化学处理后所产生的组成和微观、宏观结构的变化，探讨了这些变化对云母纸绝缘性能的影响，揭示了两种类型白云母统性能差异的本质原因。     

一种快速鉴别黑米真伪的方法

基于黑米中的特征物质黑米色素在不同pH值下呈现不同颜色及其主要成分花青素与Fe^2＋形成黑色配合物的原理,研究了一种快速鉴别黑米真伪的方法.将黑米浸提液分别滴在空白滤纸和碱性滤纸上,用肉眼观察滤纸的颜色变化情况,再在该处滴加硫酸亚铁溶液,用同样的方法进行鉴别.黑米色素在空白滤纸上呈紫红色,在碱性滤纸上呈蓝色,再在其上滴加Fe^2＋溶液后,滤纸上呈现黑色斑点,以此现象来鉴别黑米的真伪.该方法可靠、操作简单、方便快捷,可用于快速鉴别黑米的真伪.     

四层瓦楞纸制板机控制系统

为用四层瓦楞纸替代包装行业产量最大的五层瓦楞纸,降低生产成本,节约资源,针对四层瓦楞纸制板机的结构特点,设计了控制系统。采用相位式激光测厚控制策略,并通过模糊控制算法对瓦楞纸的成型精度进行调节,MATLAB仿真结果表明,设计的控制系统能够满足四层瓦楞纸生产的需要。     

对于知识经济时代图书馆发展的思考

本文探讨了知识经济的兴起、它的特征和影响以及知识经济时代图书馆发展的定位、功能以及图书馆应该如何迎接知识经济时代的来临和数字图书馆的前景