阿基米德1-群的Bernau表示定理的一个注

本文对M.Anderson和T.Feil给出的Bernau表示定理的证明进行了分析,指出此证明在证明连续性时的缺陷。     

有罪判决的证明标准

有罪判决证明标准是我国刑事证据理论研究中争议最大的问题之一.本文介绍了几种主要的有罪判决证明标准,并且考察了西方两大法系的有罪判决证明标准.在借鉴了西方两大法系的精华和总结我国有罪判决证明标准的不足的基础上,提出了建构我国有罪判决证明标准的具体构想.     

论康德与托马斯·阿奎那对存在论证明的批判

安瑟伦关于上帝存在的存在论证明自提出以来,就遭到过诸多批判。在西方哲学史上,关于这个证明的比较著名的批判主要来自托马斯.阿奎那和康德。托马斯.阿奎那把这个证明视作先天论证,认为从先天出发并不能证明这个证明,要想证明这个证明必须从后天出发。康德却视其为存在论证明,认为即使从后天出发,也不能为上帝存在提供证明。他把他的批判主要集中在＂上帝到底是不是一个实在的谓词＂上,认为从后天出发的证明——宇宙论证明和自然神学证明,依然是＂伪装的存在论证明＂,证明不了＂上帝存在＂这个命题。康德在哲学史上第一次真正击中了存在论证明的中枢神经,动摇了该证明。     

关于投影公式的一个注记

凸体的混合体积理论提供了统一处理各种不同的重要的几何量的方法,比如体积和表面积等.在处理关于这些几何量的问题时广义柯西投影公式经常被使用.该文先给出了广义柯西投影公式的一个新证明,证明只使用了Minkowski定理和一些简单的计算,因此比原证明更为简单.A.Giannopoulos给出了一个几何不等式,该不等式的证明可看为广义柯西投影公式的一个应用.     

群组中实现的量子零知识证明

零知识证明是指证明者使验证者确信证明者拥有某一个秘密值,而证明者没有向验证者泄漏关于该秘密值的任何有用信息.其优点是在证明了自己身份的同时,还确保了有用信息不泄露,有效防止了他人冒充.经典的零知识证明均是基于计算复杂性的.用量子安全通信的传输方式,设计了一套在群组中实现的量子零知识证明方案.     

Crum定理的一个新证明

导出了新的Plücker关系式,利用Wronskian技巧和Plücker关系式证明著名的Crum定理.给出了Crum定理一个新的简洁证明.在附录中证明了三个plücker关系式.     

代数不等式的证明

不等式的证明方法灵活多样,在历年的研究生入学考试及各种竞赛中都是一个重要考点,归纳总结了初等数学及高等数学中证明不等式的方法,展示出高等数学和初等数学证明不等式的各自的优势、不同证明法技巧.     

Young不等式在Lp空间中的应用

给出Young不等式的一些证明方法及Young逆不等式的几个证明方法.给出了它们在证明Lp空间中的相关不等式时的应用,直接利用Young逆不等式简化了H(o)lder逆不等式的证明.     

试析数学中的推理与证明

推理与证明是数学的基础思维过程和方法,它渗透于教学的所有内容.从有关实例入手,分析了推理与证明在数学研究与教学中的运用.     

拉格朗日中值定理的应用

该文分析和研究了拉格朗日中值定理的内容及其证明方法,对拉格朗日中值定理在证明不等式、证明等式以及求函数极限等方面的应用做了详细阐述.并通过实际例子展示了拉格朗日中值定理的应用技巧.     

创新思维在诗歌教学中的培养

创新教育其核心是创新品质和创新思维的培养。本文主要就诗歌教学“阅读领会、激活思维”，“激发想象、拓展创新”，“开启多向思维、充分张扬个性”，“注重开创思维、促进教学相长”四个方向对创新思维的培养作了尝试和探索。     

GIS空间数据更新的现实意义

探讨了GIS空间数据库更新的必要性,介绍了目前GIS空间数据库更新策略及技术方法,论述了GIS空间库更新的意义。     

论现代城市更新与其发展趋势

依据城市发展需求和对晚新运动的系统分析，探讨城市更新的动因，提出了现代城市更新的多元化目标和前提，规划，规划，实施，完成了使用四个阶段的全过程规划模式，提出现代城市更新的发展趋势。     

高等院校工科统编物理教材中当务之急的问题──习题更新

笔者分析比较了国内最流行的4套工科物理统编教材及书后习题，指出比内容更新更迫切的是习题的更新，希望引起有关方面重视．     

关于高校图书馆员知识更新的思考

介绍了高校图书馆所担负的育人功能,分析了高校图书馆员知识更新的必要性,阐述了馆员知识更新的主要内容,探讨了图书馆员知识更新的方式.     

模糊更新过程的数字特征及其性质

基于模糊随机理论,介绍了模糊更新过程的更新函数及其数学期望,讨论了更新函数的数学期望的性质特征,最后介绍了模糊更新方程.     

基于空间句法的上海典型片区形态演变和评估

采用图形分析法分析了1980年以来上海市南京西路片区各个街区城市肌理和城市空间特征值的演变.基于空间句法理论对街区空间拓扑参数进行了定量计算,并结合城市空间特征值对片区空间形态进行了综合定量评估.结果表明:以商业化为主导的大城市中心城区更新运动使街区空间形态向肌理粗糙、街巷稀松、高强度和相对孤立特征演变,并且不同的更新程度对街区空间形态产生的影响不甚相同.最后,提出在城市中心区更新过程中应注意空间多样性建设和对城市传统文化和传统业态的保育.     

结构应力S(t)的几何更新过程模型

本文讨论结构在设计基准期[0,T]内应力出现规律,考虑应力出现时间问隔是一串独立服从相同几何分布的随机变量,建立更新过程模型.给出在[0,T]内应力出现的概率分布,更新函数与更新方程表述式,平均期望更新个数的收敛性。同时,讨论结构应力S(t)的最大值S_u的概率分布。     

基于自助式更新模式的小城镇改造——以武夷山兴田镇为例

针对当前以政府为主体的小城镇更新模式建设周期长、资金压力大、容易引发社会问题的弊端,以自组织理论为基础,提出小城镇自助式更新模式,目的是以小城镇居民为更新主体,通过利用、激发和扩大居民参与的能动性、积极性,达到小城镇自助更新、契合当前和谐社会的主旨．用定性分析和比较分析的方法,首先提出自助式更新模式的理论逻辑;其次从自助式更新模式的外部要素、内部要素和衔接机制3方面构建了自助式更新模式的框架体系;进而以武夷山兴田镇为例,探讨自助式更新模式实施的途径和方法．     

结构应力S(t)的Γ-更新方波过程最大值分布

本文讨论结构在设计基准期[0,T]内应力变动规律,考虑应力变动时间间隔是独立同服从Γ-分布的随机变量,建立Γ-更新方波过程模型,给出结构应力S(t)的Γ-更新方波过程样本函数最大值S_M的概率分布表达式。