证明方法

摘要： 本文首先对“一找二作三证明”的证法进行剖析,然后结合高考真题,从线面平行、线面垂直两方面围绕“一找”和“二作”进行详细地探究,同时对“一找”“二证”进行简单的小结.

摘要： 本文以一道椭圆试题为例,深入探究了解析几何中三点共线的证明方法,并结合该试题的结论,对解析几何中三点共线的性质进行推广拓展,在探究过程中不断深化相关知识,逐步完善知识体系.

摘要： 证明力评判结果关系到最终裁判事实认定的正确与否,寻找证明力评判的规律是实现自由心证的必经途径。证明力评判的过程,本质就是对证据进行组合的过程。证据组合具备揭示证据关系、再现证据系统的重要功能,作为理论基础,证据组合论能够为证据法提供一种宏观视角。在明确证据组合对证明力评判具备核心价值的基础上,深化证据组合论的学理指导,以证据组合为裁判心证提供指引以及丰富证据组合的多元性,系未来进一步研究证明力评判模式的必要进路。

摘要： 近些年来,网络犯罪数量在犯罪总量中高居不下。在网络犯罪的侦查取证中,因证据海量化且非接触性的特点,侦查人员在侦查取证时,面临着地域分布广、被害人数众多、犯罪数额无法确定等一系列难题。抽样取证的提出为解决网络取证难题提供了新思路。但因为抽样取证在网络犯罪中的应用还处于初级阶段,还存在许多问题。为此,需要明确抽样取证适用范围和标准、合理选择抽样方法、规范抽样取证应用程序来进一步完善抽样取证在网络犯罪中的应用。

摘要： 数学归纳法是一种重要的数学论证方法,也是高中阶段选修部分的重要内容。但是,同学们对数学归纳法缺少全面认识,在证明过程中常常出现错误。本文通过查阅有关资料并结合自身所学总结了数学归纳法的证明步骤,归纳了不等式证明的常用方法,整理了学生常犯错误类型并在文章最后提出了一些教学建议。

摘要： 经济分析方法的融入对于证据法学有所助益,然而当其被应用于刑事证明标准时,应当对此保持警惕.刑事证明标准的经济分析以“清晰界定证明标准”为出发点,摒弃了发现真相的道德义务,转向社会福利最大化的政策目标,简称“社会福利论”.这一理论以“冤纵比”为立论前提、以预期效用模型为基本结构、以威慑效用为核心要素,将证明标准的界定与判断改造为福利权衡问题.社会福利论不仅存在内部的结构性缺陷,同时面临来自实体法与程序法等外部的正当性质疑,因而并非可取的理论立场.解释刑事证明标准的应然路径不在于经济分析,而是在坚持客观证明标准的基础上,将最佳解释推理的证明方法与“案件事实清楚,证据确实充分”的证明标准相融合.

摘要： 网络犯罪衍生的批量犯罪行为、海量证据造成了侦查机关的取证难与刑事证明的客观具体印证难.出于打击犯罪的需要与解决证明困难等目的,我囯刑事司法实践中存在着犯罪数额综合式认定、底线式证明、抽样取证等情形.这些证明方法虽有益于解决网络犯罪"定量难题",但方法不当适用会带来证明合法性的风险.为此,应构建综合认定法、抽样取证法为基础,底线证明法为补充的适用路径,并以"排除合理怀疑"与允许反证规则予以限制,最终实现网络犯罪定量问题刑事证明的有序性.

摘要： 随着司法文明的进步和物证技术的发展,司法人员在认定案件事实时对口供等直接证据的依赖程度逐渐降低.在刑事诉讼中,司法人员越来越多地运用间接证据,而完全依据间接证据认定事实的案件数量也不断增加,因此,研究间接证据的证明方法具有重要的现实意义.间接证据的证明方法包括单个间接证据的演绎推理证明法和间接证据组合的同一认定证明法.二者都可以借助概率分析进行较为精细化的推论和验证.

摘要： 环境行政不法行为中的因果关系向犯罪因果关系的转化困难、证明准备程序的缺陷、证明对象的不确定性以及证明标准的严格性共同导致了污染环境犯罪中因果关系的证明难题。逻辑推理、经验法则和推定规则等证明方法面对环境犯罪因果关系的证明困境,都各有优势和不足。未来,环境犯罪因果关系的证明应当迈向“整体主义”,通过科学技术的运用和行刑证据的有效衔接,确保基础事实的完整性和因果事实的可靠性,推动因果关系证明中多种证明方法的综合选择与层次适用。

摘要： 法定犯时代的到来使得违法性认识不要说失去了立论根基,而在违法性认识必要说的相关理论中,违法性认识可能性说是符合当前司法实践发展需求的应然选择.在坚守具有中国特色的四要件犯罪构成理论的前提下,应当认为违法性认识可能性在犯罪构成体系中属于故意的明知内容.贯彻适用违法性认识可能性说的难题在于证明方法,刑事推论规则为这一问题的解决提供了良好思路,有助于促进违法性认识理论在我国的本土化构建.

摘要： 命题是逻辑推理的基础,广泛地用于各门学科之中,其证明方法多种多样,要真正理解并掌握其逻辑思想并不容易.本文给出几种常用证明方法的逻辑原理及其应用方法,它们与通常方式差异较大.但它们相对容易理解,对于正确地应用证明方法证明命题有着重要的帮助和指导作用.

摘要： 本文讨论了程序正确性证明的相关概念和技术,结合面向对象的C++程序的特点,提出了两种面向对象程序正确性的证明方法.

摘要： 本文结合应用定积分不等式的性质证，应用定积分定义证，应用微分中值定理证，应用泰勒公式证等具体的实例,比较系统的地介绍了定积分不等式的证明的各种方法,为初学者能较好地理解和把握定积分不等式的证明提供一定的帮助.

摘要： 通过将信道中的传输信息单元序列描述为正规表达式，给出了信道有界性无假定的多协议机系统模型及有关性质成立的形式证明方法及相关算法。

摘要： 本文利用微分学知识,重点研究证明不等式的方法,先给出相关定理与结论,然后通过一些利用拉格朗日中值，利用单调性，利用最值，利用泰勒公式等实例说明它们在不等式证明中的应用.

摘要： 本文利用微分学知识,重点研究证明不等式的方法,先给出相关定理与结论,然后通过一些利用拉格朗日中值，利用单调性，利用最值，利用泰勒公式等实例说明它们在不等式证明中的应用.

摘要： 本文利用微分学知识,重点研究证明不等式的方法,先给出相关定理与结论,然后通过一些利用拉格朗日中值，利用单调性，利用最值，利用泰勒公式等实例说明它们在不等式证明中的应用.

摘要： 对于函数极值问题,从一元到n元,数学分析教材中已经给出了比较完善的结论,但对于其给出的结论都没有证明过程,本文给出其中一个函数极值的充分条件的两种证明.

摘要： 对于函数极值问题,从一元到n元,数学分析教材中已经给出了比较完善的结论,但对于其给出的结论都没有证明过程,本文给出其中一个函数极值的充分条件的两种证明.

摘要： 对于函数极值问题,从一元到n元,数学分析教材中已经给出了比较完善的结论,但对于其给出的结论都没有证明过程,本文给出其中一个函数极值的充分条件的两种证明.

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明实施例公开了一种可信状态证明的方法和相关设备，用于降低证明服务器进行可信状态证明的过程中需要处理的信息量以及证明服务器的负担。本发明实施例方法包括：首先，对该网络设备的第一可信证明代理进行度量以获取第一代理度量值；随后，向该上游设备发送该第一代理度量值；最后，接收来自该上游设备的至少一个基线值，该至少一个基线值中的至少部分基线值用于证明该下游网络设备的可信状态。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的DAG数据；外部DAG处理单元，用于将所述DAG数据保存至存储单元；存储单元，用于保存DAG数据；计算单元，用于根据所述保存的DAG数据进行工作量证明运算。本公开实施例通过由上位机将DAG数据发送给工作量证明芯片进行处理，工作量证明芯片无需保存Cache数据，从而有足够的空间保证DAG数据的完整性，进而延长了芯片的使用寿命。

摘要： 本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。

摘要： 本发明提供了一种证明数据处理系统与方法，在该证明数据处理方法中，多个电子签章在一时间区间内被接收，其中各该电子签章是分别根据一电子凭证的一私钥对一原始数据进行处理及加密所生成。在该证明数据处理方法中，在该时间区间之后，一梅克尔树根据该多个电子签章被产生，且针对各该电子签章的一令牌被产生。各该令牌记录着该梅克尔树的一梅克尔根、各该电子签章、各该电子签章所对应的电子凭证、对应各该电子签章的一梅克尔证明、以及时戳集合。

摘要： 本申请涉及零知识证明的技术领域，尤其是涉及一种用于零知识证明的证明方法、系统、电子设备和计算机可读存储介质。通过本申请，当存在尚未被FFT计算处理的R1CS子数据时，基于R1CS子数据，使用GPU进行FFT计算处理，得到R1CS子数据对应的多项式数据；以及基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到R1CS子数据对应的证明分量。当所有的R1CS子数据均已被FFT计算处理时，基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU和GPU并行进行MultiExp计算处理，得到R1CS子数据对应的证明分量；最后基于R1CS数据中所有的R1CS子数据对应的证明分量，生成证明。本申请能够加快零知识证明的生成。

摘要： 本发明提供一种基于芯片的工作量证明方法和用于工作量证明的芯片。其中方法包括：将输入数据划分为具有第一字节数的第一输入数据和第二输入数据；根据预设算法对第一输入数据进行运算，得到具有第二字节数的第一输出数据；将第一输出数据和第二输入数据输入串行连接的第一数量的计算子模块，经过各计算子模块依次进行运算，输出具有目标字节数的第二输出数据；其中每个计算子模块包括以第一预设等级串行连接的第二数量的混合函数计算单元，在同一等级内的各混合函数计算单元进行并行运算；计算子模块的输入数据经过各等级混合函数计算单元依次进行运算，得到计算子模块的输出数据。本发明可以提高算力，从而提高新区块生成的效率。

摘要： 本申请公开了一种基于零知识证明的100％资产准备金证明方法及证明装置，利用了零知识证明，证明平台对所宣示资产的所有权的合法性。本技术基于零知识证明的100％资产准备金证明方法旨在提高资产所有人和资产管理平台之间的信任，让资产所有人的资产不被随意挪用，让资产管理平台能自证清白。基于该方法，资产管理平台可以向所有的平台用户证明，平台的准备金率不低于100％，证明平台拥有的数字资产大于所有用户资产的总额；所有用户都可以采用本技术流程进行资产验证，所有用户都能确认自己的资产数目在平台公布的储备资产数据中，没有任何用户提出资产数据被重复验证或者伪造。

摘要： 本申请涉及零知识证明的技术领域，尤其是涉及一种用于零知识证明的证明方法、系统、电子设备和计算机可读存储介质。通过本申请，当存在尚未被FFT计算处理的R1CS子数据时，基于R1CS子数据，使用GPU进行FFT计算处理，得到R1CS子数据对应的多项式数据；以及基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU进行MultiExp计算处理，得到R1CS子数据对应的证明分量。当所有的R1CS子数据均已被FFT计算处理时，基于R1CS子数据及R1CS子数据对应的多项式数据，使用CPU和GPU并行进行MultiExp计算处理，得到R1CS子数据对应的证明分量；最后基于R1CS数据中所有的R1CS子数据对应的证明分量，生成证明。本申请能够加快零知识证明的生成。