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

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

民事诉讼证明标准再探析

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

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

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

一个定理的不恰当证明方法辨析

本文分析了Kolmogorov不等式的一个推论的证明过程,指出了证明过程中存在的问题,并通过实例分析了这种证明方法中的错误之处,进而给出了正确的证明过程。     

有罪判决的证明标准

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

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

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

多组件属性的远程证明

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

函数一致连续证明方法研究

针对函数一致连续证明问题,给出了证明方法的流程图,该流程图对函数一致连续性证明给出了一个清晰的思路,通过例题解释流程图使用方法。事实表明该流程图对函数一致连续证明是有效的。     

证明Cauchy—Goursat基本定理的新方法

在复变函数中,关于Cauchy—Goursat基本定理的证明,文献[1]因原始证明比较复杂而未加证明;文献[2]中的证明附加了条件f’(z)连续。本文从Cauchy积分公式出发,给出了Cauchy—Goursat基本定理的证明的新方法。     

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

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

刑事诉讼证明主体的界定

鉴于目前理论界对刑事诉讼中的证明主体的范围界定过大，因此有必要将证明主体与诉讼主张、证明责任、新诉讼模式等联系起来，以重新界定证明主体。在界定证明主体概念的同时，文章对证明主体的内涵进行了分析。刑事诉讼证明的主体应包括公诉人、被告人、自诉人、附带民事诉讼的原告人。法院等都不是诉讼证明的主体。     

图形构造法证明不等式

文章对构造图形证明不等式进行了分类讨论和归纳,总结了构造图形证明不等式的一些特殊技巧,突出灵活运用和数形结合的数学思想,力求体现构造图形证明不等式在不等式证明中所具有的重要作用。     

双向零知识证明与初等函数两方保密计算

提出了双向零知识证明的概念,研究了双向零知识证明与传统的零知识证明之间的关系,设计了两个最基本的双向零知识证明协议。提出并研究双向零知识证明的目的是希望用双向零知识的思想,研究多方安全计算问题。将双向零知识证明协议用于构造两方保密计算协议,取得了一些结果：设计了容忍恶意行为的指数函数,幂函数,对数函数,三角函数的两方安全计算协议：研究了健忘计算多项式的协议。     

一个Z的证明责任产生器

在写出规格说明后,需要对规格说明的严密性进行证明,定理证明则可以消除规格说明中的模糊性和不一致性,从而验证规格说明是否满足用户需求．证明责任是从规格说明中产生待证的性质,该文描述了一个Z的证明责任产生器的工作过程、完成证明责任产生器的工作难点就在于如何生成证明责任,本文对这一工作进行了详细的介绍。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

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

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

重要极限证明中的一个注解

指出在证明重要极限limx→+∞(1+1x)x=e中的一个常见误区,在此基础上给出正确的证明方法,并给出了证明该重要极限的定义证明方法。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

不等式的证明

本文总结了不等式证明的常用的几种初等证法和高等证法证明时要认真观察,适当选择证明方法使题更简便。     

XTR~+公钥体制中核心算法的改进

在XTR+公钥体制中提出无矩阵的核心算法,显著提高了核心算法的运算效率,从而提高了应用XTR+公钥体制的可证明IND-CCA2安全的密码系统、可证明安全的数字签名、可证明安全的盲签名协议和零知识证明协议的运算效率.