证明

摘要： 笔者研究一个无理分式不等式并对原不等式进行推广,得到三个结论并依次给出证明,接着在推广3的基础上作进一步推广,利用Jensen不等式对其进行证明.

摘要： 本文给出条件式为∑^(n)_(i=1)xi=1的一类不等式的一种代换方法,将条件不等式转化为无约束条件的不等式进行证明,举出数例加以说明方法的具体运用.

摘要： 概率是对随机现象统计规律演绎的研究,是与数学和其他自然学科相关的一门重要的基础学科,它在数学及其他学科中都有着极其广泛的运用.本文旨在讨论用概率的的方法、理论和思想来指导数学解题,目的是用概率的相关知识来优化数学解题过程,提炼解题方法,从而避免许多复杂的数学证明、数学演算和求解等.为实际的教学和应用提供经验,为后来的学习者提供借鉴,为数学学习打开方便之门.

摘要： 在统计中方差是刻画数据波动程度的量,根据方差的定义可以得到方差的两条性质.结合实例分析说明合理灵活地应用方差的性质,可巧妙解决多元变量问题.

摘要： 越来越多法学界的学者在研究的过程中注重数学方法的运用,并开始关注能否用数学方法证明法律问题。就目前数学对法学的影响来说,数据和信息的搜集已经在法学研究中广泛应用。在科学原理和经验定律的定量表述、数学模型的表述研究和证实以及用数学模型来获得科学洞察力这些方面,虽然不乏成功的实例,但也揭示了数学的影响有待加强。法学研究只有广泛进入这几个方面,数学论证才会成为法学研究的常态,法学研究才会更加深入。总之,法学问题或法律问题,用数学方法是可以证明的。

摘要： 将个人信息侵权行为定位为一般侵权行为,其损害赔偿主观要件采过错归责原则,是《民法典》中个人信息侵权损害赔偿的既有逻辑。然而证据偏在和过错要件事实识别的困境阻碍了受害人获得诉讼上的有效救济,降低证明标准的缓和方案难有作为。《个人信息保护法》采过错推定的主观归责原则,但证明责任倒置方式救济乏力,亦难以从根本上扭转受害人的弱势地位。重塑个人信息侵权损害赔偿请求权构成要件,确立无过错归责原则并未突破现有的立法框架,且有利于个人信息权的有效保护,能够更好地维持当事人之间的利益平衡,并符合成本收益原则和社会公益原则。在此基础上,应将个人信息侵权行为定位为特殊侵权行为。个人信息侵权案件的证明及庭审程序的推进围绕侵权行为、损害后果和因果关系三个法律构成要件展开。

摘要： 文[1]中给出了有关不等式的22个猜想.笔者经过研究得到猜想17的一个证明,并对这一猜想做了加强.

摘要： 解析几何的定义、定理、性质、公式甚至解题,大多采用正向思维,这就导致很多学生形成了正向思维定式.为突破这种思维桎梏,教师可以在解析几何教学中利用分析法、反例法、反证法、逆用命题结论及采用“正难则反”的原则等方法培养学生的逆向思维,从而使学生养成从不同角度分析问题、解决问题的习惯,达到提高思维能力、灵活掌握数学知识的目的.

摘要： 在数学教学中,培养学生的数学思维品质,可根据数学发展规律和学生思维水平开展递进式培养:以“发现”为切入点找到问题,设置好教学目标,提高表象思维能力;以“证明”为立足点分析问题,做好推理演绎,培养逻辑思维能力;以“创新”为落脚点解决问题,做好实践创新,强化建模应用能力;以“预判”为基点分析问题,结合时代趋势,发展前瞻性研究能力。

摘要： 习题教学是高中数学课程教学的重要组成部分,椭圆问题属于圆锥曲线问题,一直是困扰学生的难点,为此,以平时教学实践中一道典型的椭圆习题为探究载体,重点探讨其证明过程及拓展推广应用.

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

摘要： 一种工作量证明运算方法、工作量证明芯片及上位机，所述工作量证明芯片包括：中央控制单元，用于接收上位机发送的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％，证明平台拥有的数字资产大于所有用户资产的总额；所有用户都可以采用本技术流程进行资产验证，所有用户都能确认自己的资产数目在平台公布的储备资产数据中，没有任何用户提出资产数据被重复验证或者伪造。

摘要： 本发明的目的在于提供例如证明已巡查的地点和巡查时刻的保安巡查的证明系统。另外，例如通过附加经证明的拍摄了地点和时刻的信息的映像，能够使映像证明拍摄的地点和时刻。存在如下各部分：提供地球上的位置信息的GPS卫星10；提供地球上的气象信息的气象卫星20；保安巡查时携带的信息处理设备30；证明时刻信息和位置信息的证明书发行服务器40；保管经证明的位置信息和时刻信息及添加这些信息的映像的信息保管服务器50；验证拍摄映像的地点和时刻的验证装置60；将信息处理设备30、证明书发行服务器40、信息保管服务器50和验证装置60等相互连接的网络70。

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

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

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