司法证明过程的性质——司法证明标准的制度性替代

司法证明标准的确定必须考虑司法证明过程的特殊性质,惟有在此基础上建构的司法证明标准才有可能是恰当的。不考虑司法证明过程的特殊性质而直接借用它种证明的证明标准建构或充当司法证明的证明标准都值得商榷。运用逻辑语言分析的方法,分析了司法证明过程的特殊性质,讨论了其它司法证明标准存在的困难,提出了建构司法证明标准的一般框架。     

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

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

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

证明责任分配之要素分析

证明责任分配是证明责任之分配主体根据特定的实质性标准将待证事实的证明责任在承担主体之间予以分配的活动,证明责任分配的主体、客体和标准构成证明责任分配的基本要素,而分析证明责任分配之构成要素,有利于揭示证明责任分配的基本理论逻辑。     

民事诉讼证明标准再探析

民事诉讼证明标准是民事诉讼法的一个基本问题,对民事诉讼证明标准进行了界定,明确提出客观真实与法律真实是证明任务,不是证明标准,介绍了证明标准的类型和作用范围,并对我国民事诉讼证明标准的构建进行了初步设想.     

试论我国刑事诉讼证明标准的体系化及相关问题

刑事诉讼证明标准的体系是指刑事诉讼证明标准在其模式以及刑事诉讼的性质、诉讼证明、证据理论的共同作用下,结合立法司法实践所自有的体系化内容,也可以说是以证明标准模式与具体的证明标准为主要内容的产物。也有学者认为刑事诉讼证明标准的体系是指刑事诉讼证明标准法律规定的体系。笔者同意前一种观点。我国刑事诉讼证明标准的理论探讨中,存在对到底选择哪一种证明标准的模式或多或少地予以回避,对模式支配下的具体证明标准研究不够深入等问题。这反映出证明标准的体系化研究不够到位,本文以此为出发点,着力论证刑事诉讼证明标准的体系化及相关问题。     

多组件属性的远程证明

在现有组件属性证明方案的基础上,提出了多组件属性的证明方案,以解决多个组件以一定的结构构成的安全属性的证明问题,满足不同类型属性的证明需求。以CL签名为基础进行多个组件与属性的签名,使组件-属性的映射具有多对一的关系,并对各组件的组成结构进行了简要分析。多组件属性的证明方案具有组件验证效率高,协议配置灵活,可兼容单组件的属性证明等特点,证明平台的隐私可以得到保证。多组件属性证明方案适用于具有特定组件结构的属性证明。     

例说函数不等式的证明

函数不等式的证明是比较常见的题型,证明方法很多,介绍几种常用的证明方法,通过这些方法,可以比较简洁、快速的解决一些不等式的证明问题.     

论证明标准在税务行政诉讼中的适用

证明标准是证据理论中的核心问题。一般认为证明标准可以分为优势证明标准、清楚而有说服力证明标准和排除合理怀疑证明标准三种。本文从一个实际案例出发,详细的分析了税务行政诉讼中证明标准的适用问题。     

新课标下数学证明教学研究综述

数学证明是数学家们研究数学的一个重要工具,也是培养学生数学推理能力与逻辑思维能力的有力手段。长期以来,对数学证明教学的研究尚未引起人们的重视,本文在查阅文献的基础上,主要从数学证明教学的三个方面对其进行了综述:数学证明的内涵,数学证明的教学过程,证明教学中应注意的一些问题。     

若干K凸性的等价条件

就一些K凸性的等价条件作了讨论，证明了几种K凸性在某种条件下是等价的，如当空间X是自反的且X和X*均有（H）性质时，则有7种K凸性等价，当空间X自反且有（H）性质，则有6种K凸性等价。     

论传统学习观与建构主义学习观的对立统一

我们主张"以学生为中心"的素质教育和"以教师为中心"的应试教育对立统一,主张在一些时候(或一些情况下)可能是素质教育为主,另一些时候(或另一些情况下)可能是应试教育为主。当一种教育模式为主时,一定潜藏着或显现着另一种教育模式。     

研究多元样条的引入参数技巧

提出了一种与其他方法有本质区别的研究多元样条的方法，即引入参数技巧。该技巧将单纯形剖分△的某些元素（如网点、网线等）看作该单纯形剖分的参数。通过选取可取参数Ｌ，即使得对任何Ｌ满足的参数Ｌ，可将研究空间的结构问题转化为研究单纯形剖分簇上的样条空间的结构问题；这种转化在许多场合是很有益处的，用该技巧可解决用其他方法很难处理的问题．     

关于p-半单BCI-代数的一点注记

对p-半单BCI-代数的一些重要性质作了归纳和总结,并对这些性质之间的相互关系作了推导,并给出了p-半单BCI-代数和其它几类重要的BCI-代数之间的关系,这将更方便于广大BCI-代数研究者对BCI-代数进一步的研究.     

加速高新技术成果产业化的探讨

高新技术成果与高新技术产业，两者之间有着密切的联系，缺一不可。高新技术成果要转化为高新技术产业，必须有一个客观的转化过程。就当前制约高新技术成果产业化的几个重要环节，从人才、市场、资金3个方面，展开了讨论，并提出了新的见解。     

氧化物玻璃介电性能及研究现状

综述玻璃介电性能的研究现状,分析玻璃中影响介电性能的一些因素和基本机制,指出在微晶玻璃中晶相的种类和含量是影响其介电性能的根本因素;在其他玻璃中成分的变化对玻璃的介电性能有根本的影响;一些过渡元素对玻璃的介电性能能产生较大影响,一些变价元素对玻璃介电性能影响较复杂。对玻璃介电性能研究进行了展望并指出调整其成分是改善玻璃介电性能的根本。     

长春市高校开展阳光体育运动的影响因素分析

本文对长春市部分高校开展阳光体育运动的现状进行了分析,并提出了一些建议,旨在为其他高校阳光体育运动的开展提供一些思路。     

广义压缩最小二乘估计参数的选择准则

文［１］中提出了广义压缩最小二乘估计，并讨论了它的可容许性及在均方误差准则下的最优性．本文进一步讨论它的其它性质，提出广义压缩最小二乘估计参数选择的Ｑ（ｃ）准则，并给出按此准则选择参数的方法和引入模糊主成分系数的概念，从而在对各种有偏估计的优、缺点进行比较的基础上提出了当参数选择效果不够理想时的一些修正方法     

多元共线性引发的问题及其实际的处理方法

多元线性回归分析中，要求自变量之间是相互独立的，但在解决实际问题时，往往不能满足此要求，而出现有一些自变量“共线”的情况，文中主要阐述多元共线的含义，多元共线时给统计分析所带来的困难，并讨论了克服这些困难的叵干参考方法。     

现行中国古代文学史教材的弊端及"教材文学史"的编写特点

现行的中国古代文学史教材普遍存在的弊端主要有过度阐释、存在缺席、重雅轻俗、缺乏文学精神、忽视能力培养等。而目前高校中最常用的四部教材还存在着其它一些不足。针对现状提出应编写专供教学使用的“教材文学史”,并对其应具备的特点进行了论述。