中值定理的抽象度分析

运用抽象度分析理论对中值定理这一章的内容进行了定理与定性分析，指出拉格朗日中值定理、柯西中值定理和泰勒定理应是本章的重点内容，揭示了上述定理的历史抽象过程，挖掘了渗透在其中的思想方法，并结合抽象度分析图和它们的历史抽象过程指出形成上述定理的有效途径。     

一般隐函数组定理的证明

在数学分析教材中已有隐函数定理及一般隐函数组定理的证明,文[1]通过压缩映射证明了隐函数定理。借助矩阵范数与向量范数的表示形式,应用Banach不动点定理证明一般隐函数组定理,其证明过程比数学分析教材中原有的证明过程更为清晰、易懂。     

大数定理发展边程初探

大数定理是概率论的基础，其研究与发展贯穿了概率论的整个发展过程。本文以大数定理发展的历史顺序为主线，初步探讨了大数定理的发展过程。     

逆转强对称扩散过程的极限定理

在[1],[2]中,吴荣详细论证了关于逆转布朗运动过程的若干极限定理,自然我们很希望能将这些极限定理推广到扩散过程上来,但遗憾的是,对较一般的扩散过程这些极限定理是不成立的。本文的目的就是来证明对于一类所谓强对称扩散过程,[1]中的几个极限定理都成立。     

大数定理发展过程初探

大数定理是概率论的基础,其研究与发展贯穿了概率论的整个发展过程。本文以大数定理发展的历史顺序为主线,初步探讨了大数定理的发展过程。     

从等效观点论证置换定理

在电路分析中,置换定理是一个应用广泛的重要定理,该定理在分析复杂电路过程中具有独特的作用。教材在证明该定理时,一般都是从解的存在性与唯一性加以证明。本文从另一角度,利用等效的概念论证了置换定理的正确性,论证过程具有简单,明了,易懂的特点。     

定理机器证明思想的产生与发展

 一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。     

哥德尔不完全性定理的证明过程有误

简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

紧凸集族横截定理的注记

Helly定理理凸集理论的三个大基本定理之一，紧凸集族的横截定理是Helly定理的重要推广，具有很强的应用性，现给出一反例说明紧凸休族的横截定理证明过程中存在的疏漏，利用一般Helly定理和凸集性质对紧凸集横截定理的原证明进行修正。     

湖北省土地利用综合分区研究

从湖北省社会经济可持续发展的需要出发,对湖北省土地利用进行综合分区.以湖北省近5年来及未来5年预测数据为基础,建立土地、社会、经济、环境4大指标系统,利用专家打分法确定不同类型区不同指标因子的权重,在已确定的4个一级分区内进行系统动态聚类分析,通过动态调整参数,得到湖北省土地利用综合分区结果.该分区结果将湖北省土地利用分为武汉(鄂东)都市圈协调发展区、鄂中南农业生态协调发展区、鄂西南绿色经济协调发展区、鄂西北林业生态协调发展区4个一级区和都市核心区,鄂中平原区、鄂东平原区、鄂中北平原区、鄂东南山区、鄂东北山地区、鄂中南平原区、鄂中丘陵区、鄂西三峡山区、鄂西南山区、神农架自然保护区、鄂北岗地区、鄂西北山区,鄂西北低山丘陵区等14个二级分区.     

简述儿童的心理理论

儿童的心理理论的研究是心理学研究的热点之一,其研究方向不断在扩展,研究的内容不断在深入。本文从心理理论的界定,心理理论的研究方法,研究内容以及研究方向的拓展阐述了心理理论的有关研究。     

清代《诗经》学的发展阶段及主要派别

根据清代《诗经》研究的实际，本文将清代《诗经》学分为3个发展阶段：清初经世致用思潮与《诗经》朴学研究之风的开启、乾嘉时期《诗经》朴学研究的极盛阶段和后期今文经学影响下《诗经》辑佚学的全面发展，并概况出每个阶段的特点和重要的派别，意在为清代《诗经》研究描绘出一个轮廓和线索，从而为进一步的研究提供前提。     

M-H Eos常数b的经验修正

分析了M—H Eos中常数b的物理意义，得到它是分子体积影响的结论，并由此结论将该常数根据经验修正为温度的函数．按照M—H Eos确定常数的方法重新推导了其它各常数的表达式，得到修正常数b后的M—H Eos。最后，将该Eos编制程序，并通过实际计算验证了修正后的M—H Eos．结果表明，修正后的Eos在计算准确度上有所提高．修正常数b后的M—H Eos更加合理，并提高了计算准确度．     

高等数学试题库组卷策略算法设计的优化与实现

在计算机命题系统中，组卷试题质量是命题系统是否科学的关键，因此组卷策略的设计是最重要的环节。从设计组卷策略的角度出发，针对高等数学命题，详细介绍了一种简洁、实用、易于实现的组卷策略的实现过程。介绍的组卷策略算法由3部分组成：试题属性项定义、组卷参数的定义、组卷算法优化与实现。     

论我国《劳动合同法》的立法宗旨

《劳动合同法》的立法宗旨,体现了劳动合同立法的价值取向。其立法宗旨为:完善劳动合同制度,明确劳动合同双方当事人的权利义务,保护劳动者的合法权益,构建和发展和谐稳定的劳动关系。深入理解《劳动合同法》立法宗旨,对我们贯彻执行《劳动合同法》具有重要的意义。     

新探农村剩余劳动力产生的原因--兼论耕地产权残缺对农业生产要素配置的影响

农村剩余劳动力产生的主要原因是耕地要素的高度稀缺和非农部门对农村劳动力的吸收能力不强。造成耕地要素相对稀缺的原因除了人多地少的现实原因外,还包括由耕地产权残缺导致耕地流转交易成本过高,以至于耕地大量撂荒的制度原因。     

网络环境下著作权的界限：以信息网络传播权为视角

在网络环境下,信息网络技术的广泛应用扩张了著作权人的权利,也产生了著作权人与作品使用人间的新矛盾,要求立法作出变革。信息网络传播权是网络环境下著作权界限扩张的表现,其内容包括数字化权能、上载权能、传输权能和下载权能。信息网络传播权同其他著作权一样应当受到适当限制以平衡保护著作权人的利益与社会公共利益。我国《信息网络传播权保护条例》在合理确定著作权人与作品使用人间的权利界限方面存在立法缺陷,需要进一步完善。     

温州盘菜贮藏期间生理生化变化的研究

研究了温州盘菜贮藏期间含水量、电导率、丙二醛含量的变化及超氧化物歧化酶活性的变化 ,并应用聚丙烯酰胺凝胶垂直平板电泳技术对不同储藏期温州盘菜的超氧化物歧化酶同工酶进行了研究。结果表明 :随着贮藏期的延长 ,温州盘菜的含水量下降 ,盘菜块根浸泡液的相对电导率增大 ,丙二醛含量增加 ,超氧化物歧化酶的活性降低 ,同时超氧化物歧化酶同工酶谱带也有消失现象     

稳健设计理论在公差分析中的应用

为了分析尺寸链中组成环公差对封闭环公差的影响程度，在公差分析过程中引入稳健设计理论，提出尺寸合格率灵敏度和产品合格率灵敏度概念．采用灵敏度公差分析方法开发出相应的计算软件，定量分析了组成环公差对封闭环公差的影响程度，通过计算得知，尺寸合格率灵敏度较小的组成环公差对封闭环公差的影响较小，产品合格率灵敏度较小的尺寸链稳健性较好。