事实证明

摘要： 集中优势兵力各个歼灭“敌人”,这是中国共产党人百年征程中的经验总结。在没有硝烟的战场上,无论战贫还是抗疫,事实证明,在资源有限的条件下,只有将优势兵力集中起来,才能“速决”,方可“全歼”。把集中攻坚作为最关键的工作方法,这既是对历史经验的深刻总结,也是走好新时代赶考之路的重要遵循。

摘要： 回应结构分析面对的挑战,本文试图说明,作为一种独具特色的社会学解析逻辑,结构分析深入历史经验现象,完成了从系统演绎到事实证明的转向.这表现在分析焦点的转移:从静态抽象到现实变迁、从前设关系到新角色涌现、从环境确定性到内生偶然性、从逻辑推断到经验证明,从而焕发出新的生命力.本文举例若干研究文献,展现上述推进及其理论含义.

摘要： 习近平总书记在庆祝中国共产党成立100周年大会上发表的重要讲话,深刻总结了中国共产党领导民族工作的基本经验。中国共产党的百年历史以无可争辩的事实证明,党的领导是少数民族和民族地区发展的根本保证。党的领导是推动少数民族真正觉醒、成为中国新民主主义革命和社会主义建设重要力量的根本保证。

摘要： 阅读下面的材料,根据要求写作。“二战”期间,为了加强对战机的防护,英美军方调查了作战后幸存飞机上弹痕的分布,决定哪里弹痕多就加强哪里。然而统计学家沃德力排众议,指出更应该注意弹痕少的部位,因为这些部位受到重创的战机,很难有机会返航,而这部分数据被忽略了。事实证明,沃德是正确的。

摘要： 在一个村庄活得久了,就会感到时间在你身上慢了下来。而在其他事物身上飞快地流逝着。这说明,你已经跟一个地方的时光混熟了。水土、阳光和空气都熟悉了你,知道你是个老实安分的人,多活几十年也没多大害处。不像有些人,有些东西,满世界乱跑,让光阴满世界追他们。可能有时他们也偶尔躲过时间,活得年轻而滋润。光阴一旦追上他们就会狠狠报复一顿,一下从他们身上减去几十岁。事实证明,许多离开村庄去跑世界的人,最终都没有跑回来,死在外面了。他们没有赶回来的时间。

摘要： 从法理上说，涉案会计事实证明忌用抽查法这一问题很值得思考。因为，既然是概率，就必然存在不确定性，亦即抽查结果用以证明涉案会计事实有可能是对的，也有可能是错的。用法言法理说，它没有排他性，不符合客观性等诉讼证据规则要求。由于涉案会计事实证明是否可采信，诉讼证据规则是极其重要的一个衡量标准，因此，本文选取若干类似“涉案会计事实证明中为何忌用抽查法”的问题，从诉讼证据规则的角度，做一些粗浅的分析。

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

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

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

摘要： 本发明公开了一种基于关联规则的事实证据链构建方法，包含以下步骤：步骤1)，基于证据链的缺失值归算算法，挖掘每个数据元组中缺失值的所有相关证据，然后结合这些相关证据构建证据链，进一步估计缺失值；步骤2)，在置信度和支持度的基础上使用关联规则算法，建立证据关联强规则；包括建立条件小训练集，每条规则主体通过选取条件小训练集进行属性连接，最后用实例覆盖小训练集的每个实例，构建高质量分类器。本发明基于证据链的缺失值归算算法具有较高的计算精度，并且随着缺失值的增加或缺失值的位置变化，其计算精度也得到了保证。

摘要： 本发明公开了一种基于招标要求及核实证明的评标资质审核系统，包括：用于创建资质要求模板的资质要求结构化模块；用于将投标文件和资质核实证明材料导入、解析并将数据结构化存储的材料导入解析模块；用于导入评审基础资料、设置评审范围和评标要求参数的评标基础参数配置模块；用于将投标文件与资质要求模板进行比对的数据对比模块；用于对不满足资质要求的投标文件数据补充的资质补充模块；用于筛选出否决包的否决包筛选模块，通过将投标文件和资质核实证明材料提取并结构化，创建资质要求模板与结构化的投标数据进行比对，专家人工监控补充，达到提高评标工作的质量和效率，实现投标人资质业绩评审工作的自动化及客观化，节约评标成本的目的。

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

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

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

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

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