均值不等式的八种证法

由于不等式本身在数学中的重要地位以及不等式的证明的困难性,使不等式的证明方法成为数学领域内的热门问题.本文拟将介绍均值不等式的算术归纳法、局部调整法、排序原理、不等式法、几何方法、变量替换法、归纳原理、逐次调整法等八种证明方法,归纳总结出不等式证明技巧,进而提高学习者不等式探究能力和证明方法.     

蝴蝶定理的几种初等证法及其比较分析

给出了蝴蝶定理的几种初等证明方法,并对这几种初等证明方法作了比较分析。     

非线性泛函分析中一个连续模定理的证明

在某些文献中,对于非线性泛函分析中的一个连续模定理给出的证明方法比较间接,此定理可用一种较直接的证明方法进行证明.     

谈不等式证明的常用方法

寻求证明不等式的方法是我们证明不等式的关键，不等式的证明是有规律可循的。本文特根据它的规律，介绍几种证明方法。     

理论的相对一致性

证明理论的一致性有两种基本方法:一是直接给出满足理论的语义结构;二是从一种理论的一致性得到要证理论的一致性。相对化的方法属于第二种方法,它可以从弱系统的一致性证明强系统的一致性。相对化证明理论的一致性实质上是以某个理论为中介,间接地给出满足理论T的语义结构。相对化的本质是保守性的翻译,而保守性翻译恰是从弱系统证明强系统的关键。     

表见证明若干问题研究

学术界传统观点认为 ,按有无法律上的规定推定可以分为法律推定和事实推定。实际上 ,事实推定作为一种事实认定的方法 ,同法律推定作为一种推定有着一些深层次的不同 ,并非只是有无法律规定的问题。为此建议用大陆法系上的“表见证明”的概念来取代“事实推定”,并认为表见证明已不是严格意义上的推定 ,只是证明方法的一种。还初步就表见证明的前提、依据以及对其的限制进行了论述。     

MPI环境下的几何定理并行自动推理

将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。     

卡诺定理及其推广的简捷证明

本文提供了关于卡诺定理及其推广的一种证明方法,它与传统的证明方法相比较,显得直观而且简捷.     

代数基本定理六种不同的证明方法

本文着重运用复变函数的知识,从复变函数的解析性出发,分别利用刘维尔定理,儒歇定理,最大模原理和柯西积分定理给出了代数基本定理的四种证明方法;然后又分别介绍了一种纯代数化的方法和一种利用拓扑思想的方法证明代数基本定理.     

论《刑事诉讼法》制度设计中认罪认罚从宽的证明

解读2018年新《刑事诉讼法》中认罪认罚从宽的制度设计,可以发现在认罪认罚从宽案件的证明上可能存在证明对象难以明确、证明标准难以厘清以及证明方法难以把握等问题。这些问题的形成与传统"绝对真实"的证据真实观话语、司法者繁简难分的裁判认知习惯以及高度抽象的证明标准规范有重大关联。因此,需要在对新《刑事诉讼法》的解释和适用过程中针对认罪认罚从宽重构一种适中化、具体化的刑事证明方式并建立以程序和证明方法为主导的证明实现机制,同时还需要完善保障机制,以防范该证明体系带来的错误定罪副作用。     

论当代人文社科学术期刊编辑视野的转移

当代期刊编辑理论研究,已经逐渐淡化了对期刊本身的功能、基本属性,办刊特色等的讨论,因为编辑学的理论发展,已经解决了这些基本问题。对于人文社科学术理论刊物,现在更多的是在关注人文社会科学的编辑出版与全球化背境下当代人文社会科学发展的关联性;当代学术批评与编辑的选择性思维方式;当代学术期刊的编辑过程及编辑活动与学术评价的关系;当代网络化条件下的学术活动与编辑活动的关联研究等与文科期刊相关的更为重大的理论课题。     

当代中国马克思主义大众化论纲

中国社会转型和经济全球化的双重背景凸显了推进当代中国马克思主义大众化的迫切性和必要性,推进当代中国马克思主义大众化需要新的理念和新的目标定位,创新方式是推进当代中国马克思主义大众化的关键,找准着力点是提升当代中国马克思主义大众化绩效的实践路径.     

从美国修订《1930年关税法》看我国外贸战略转型

2012年3月,美国参议院通过修订《1930年关税法》的法案,以便对中国、越南等“非市场经济国家”征收反补贴税。近几年,中美之间的贸易争端处于高发期,金融危机加剧了我国外贸出口中遭受的贸易摩擦。应尽快转变原有增长方式,提高产品附加值、降低对少数国家的路径依赖,开拓多元化市场、促进内外贸一体化,以实现我国外贸战略的转型升级。     

民国时期武术的科学化变革

作为现代武术发展史上的一个高峰,民国武术置身于当时人们追求＂科学＂的话语背景之中。以＂传统＂为特征的国术（武术）与当时的＂科学＂话语形成了较大的反差与抵牾。国术界要实现以武图强的远大抱负,国术的＂科学化＂问题首当其冲。鲁迅与陈铁生的论战围绕国术是否有提倡的必要展开,一方面为国术的科学化做了舆论上的铺垫,另一方面也促使国术界开始反思传统武术的痼疾。进而,国术界从理论和实践两个方面展开了国术科学化的改造,其实质是确立发展国术的合理性和合法性,为国术的进一步发展铺平了道路。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题,人们往往是从行政许可实施违法的角度进行研究,而对于设定违法及其责任追究的探讨却相对薄弱。然而,行政许可设定一旦违法,其对相对人和社会公共利益的损害将会更大,因此,对许可设定的违法及其责任问题进行研究,以避免违法行政行为的发生,促进政府依法行政,不仅必要而且是非常有意义的。     

中国古典美学意象概念的主体间性

相对于现代美学的主体间性而言,中国古典美学的主体间性是前主体性的主体间性,即主客体尚未充分分化、主体未获得完全独立状态的主体间性。中国美学的意象概念就是这种古典主体间性的体现。意象概念的形成经历了意与象的合成过程,体现了“天人合一”的哲学境界。意象通过审美感兴而产生,突破物我、人我的屏障,达到了主体间性的审美境域。     

还本售房合同的法律效力分析

本文通过对案件的深刻剖析,论述了认定合同的依据、广告行为的效力、公司与股东的责任以及公司主体的混同等重要问题并提出了自己的观点。     

代位权行使效力的研究

关于代位权行使的效力, 有入库规则说、平等受偿说、优先受偿说等几种观点。从立法目的、法律功能、法律成本和效率、其他债权人利益的保护、中国司法解释的性质和来源来说, 中国应选择优先受偿说的观点, 赋予代位债权人优先受偿权, 建立代位权上优先受偿权的现代理念。     

重庆市城镇化动力机制分析

利用主成分分析法和多元回归分析法研究重庆市城镇化的动力机制,认为影响重庆市城镇化水平高低的关键要素是第二产业,第三产业将是城镇化的后续动力。分析还表明,第二产业和第三产业GDP对城镇化的贡献还不够,对重庆市城镇化进程存在一定的制约;在长时期中,人均固定资产投资的快速持续增长将是提高重庆市城镇化水平的重要因素;第二产业劳动力比重的提高对重庆市城镇化水平的提高具有至关重要的作用;第三产业所占GDP比重的提高对重庆市城镇化水平提高的拉动作用较明显。     

改革开放三十年成都理工大学校园文化建设实践与思考

改革开放三十年来,成都理工大学始终坚持以社会主义先进文化为指引,着力打造校园文化标识,着力提升校园文化内涵,注重构建校园文化建设平台和文化建设机制,动员全体师生参与到校园文化建设中来。通过建设,校园文化的软硬件环境得到极大改善,师生同台的校园文化活动丰富多彩,为学校的发展、为学生的成长成才提供了良好的文化土壤和精神动力。