联想.猜想.证明.应用

在学习完八年级“轴对称图形”后,教材会安排一道利用“线段中垂线性质及三角形三边关系”知识解决的探究题.这次新苏科版教材亦不例外.新苏科版八年级上册第二章轴对称与轴对称图形的“小结与思考”的“探索研究”板块第16题⑵:有一条道路和两个养鸡场.现要在道路旁建一座冷藏库,冷藏库应建在何处,可使两个养鸡场到该冷藏库的距离和最短?解:其中一种情况是若点A,在直线l同侧,如图1,点A,到直线l的距离不等,作点A(也可以作点B)

刑事抽样证明扩张适用的风险及防控

为应对网络犯罪海量证据运用与罪量证明难题,司法解释扩张了刑事抽样证明的适用范围。这种扩张适用主要表现为从法定的特殊犯罪拓展为具有海量证据的犯罪,从实物证据扩张至部分言词证据,从控诉方延伸至辩护方。然而,在相关规则尚不完备的情况下,易出现过度减轻控诉方的证明义务,不当加重辩护方的辩护负担,大幅增加审判方的裁判错误等风险。鉴此,应系统建构风险防控的技术与法律机制。在技术方面,抽样总体满足数量与同质性要求,抽样样本量采用数量和比例相结合的判定标准,抽样方法应当具有可靠性。在法律方面,建立健全刑事抽样证明适用必要性的司法审查机制,明确规定刑事抽样证明主体的抽样开示义务,严格要求刑事抽样证明必须达到排除合理怀疑标准。

新时期刑事印证证明的误解与澄清

印证是从属于自由心证的证明过程,既无法涵盖所有的犯罪类型,也无法适用于所有的待证事实,故无法成为与法定证明、自由证明相并列的一类新模式。但作为方法,印证证明仍然具有重要地位,实践中被广泛诟病的虚假印证、误解印证等不符合印证要求,故冤假错案也不能归咎于印证本身。实践中,印证证明与证明标准混同的问题突出,事实上二者之间既有联系又有区别,呈现方法和目的的关系,方法自然不同于目的,但方法是达成目的的手段,目的是方法努力的终点。因此,尽管印证具有提升裁判者心证的积极意义,但不能人为拔高至证明模式的程度,在实践中既要反对意图抛弃印证的“冤假错案成因论”,也要反对过度崇尚印证的“证明标准等同论”。

基于字合成运算的标签组群组共存证明协议

针对现有的大多数证明协议无法同时证明多标签同时存在缺陷,提出一种具有可扩展性的电子标签组证明协议。协议采用按位运算设计实现的字合成运算对信息加密,字合成运算可使得协议达到超轻量级计算;同时字合成运算实现中巧妙运用参数自身具备的汉明重量,可减少参量引入;协议基于先验证再响应机制,可抵抗假冒攻击等。对协议进行不同角度分析,表明协议能够提供较高的安全性能,同时能够适用于现有低成本被动式电子标签系统中。

论环境民事公益诉讼中因果关系要件的证明

当前,环境民事公益诉讼中因果关系要件的证明责任如何分配及其证明标准如何设定,对此理论界和实务界仍有很大争议。在证明责任分配问题上,解决路径在于参照适用《民法典》第一千二百三十条的规定,由被告承担环境民事公益诉讼中因果关系要件的客观证明责任。与此同时,原告需提供能够证明关联性事实的初步证据。这一规则应当理解为因果关系的法律推定。将因果关系法律推定规则引入环境民事公益诉讼中具有合理性基础,如纠正人们对环境侵权因果关系要件“证明责任倒置”的错误认识、防止原告滥用诉权、平衡原被告双方的举证负担。在证明标准问题上,环境民事公益诉讼中因果关系要件的证明标准应因事后救济性环境民事公益诉讼和预防性环境民事公益诉讼的类型划分而有所区别,且受关联性事实认定标准的影响。

行贿犯罪案件的司法证明问题——对《刑法修正案(十二)》的证据法思考

《刑法修正案(十二)》体现了“受贿行贿一起查”的精神,但是行贿犯罪案件的无被害人犯罪、无可勘验的犯罪现场和大多数案件无目击证人的“三无”特点,决定了行贿案件的司法证明面临较大难题:一对一证据、主要依靠言词证据定案、非法证据较难排除、司法证明错误难以被检验、受贿案件的事实认定对行贿案件具有较强的证明力等五个方面。缓解证明困难,主要从11个方面进行论述:一是注重收集《刑法修正案(十二)》规定的行贿犯罪“从重”处罚的证据;二是利用认罪认罚提供的制度空间,对行贿人进行激励,换取其认罪认罚;三是注重收集客观化证据;四是对“再生证据”的创造和运用;五是注意录像固定言词证据;六是关键证人应当出庭作证,其证言内容须接受法庭检验;七是行贿人和受贿人均予否认情况下的事实认定问题;八是行贿人与受贿人供述不一致情况下的事实认定问题;九是行贿人翻供的事实认定问题;十是对行贿犯罪案件不能适用推定降低证明标准,受贿案件证明中运用的是推理而非推定;十一是经验法则在行贿案件证明中的运用问题。

中国式刑事证明结构:分段包干与选择性接力

1979年颁行的《刑事诉讼法》确立了我国分段包干与选择性接力的证明结构。它既体现在侦诉审关系中,也体现在上下审关系中。在这一结构中,公检法在各自主导的诉讼阶段只有调查程序和方式的差异,并无查证责任和目标的差异。后端办案机关有接力查证的责任。接力者具有依照法定证明标准选择是否接力的判断权,也有选择接力主体、范围和方法的裁量权。《刑事诉讼法》虽然历经多次修改,但均朝着优化结构的方向前行。我国刑事证明结构具有如下鲜明特色:一是事实认定权力的去中心主义,二是专门机关查证责任的同质化,三是查证范围认定权的单元化,四是“调查”真相演变为“接着查”真相,五是作为查明真相协助者的辩方。

人工智能时代证明标准客观化的负效应及其克服

在人工智能时代,算法技术驱动下的统一证据标准和逻辑经验法则的可算性虽然在一定程度上可以增强证明标准的可操作性,减少司法随意性,却显性地压缩了主观要素的适用空间,将证明标准引入更深层次的客观化,产生事实认定受到客观化规则侵蚀、陷入证据法定主义窠臼的负效应。在证明标准强调主客观融合的背景下,应当秉持证据裁量的基本立场,用证据裁量能动主义克服证明标准客观化的缺憾。客观化的证明标准只是底线的证明标准,是主观结论形成的基础,应当由事实认定者运用自由心证作最终的审查和判断。未来应通过制度建构纾解证明标准客观化产生的负效应,建立客观化证明标准的技术指南开示与异议机制,以期实现人工智能在刑事证明领域的良好应用,促进司法现代化和司法进步。

可抗穷举攻击的射频识别群组证明协议

针对孙达志等提出的群组证明协议进行重点分析,指出协议存在无法抗穷举攻击的安全缺陷,并在此基础上给出一个改进的协议。协议采用遍历取反运算对信息加密,遍历取反运算将根据加密参量自身汉明重量大小不同而进行对不同参量的取反操作,增加破解难度;协议将信息加密之后再发送,同时信息加密时确保多个参量攻击者无法知晓,以此来抵抗穷举攻击。从安全性角度分析协议,表明协议具有较好的安全性能;从仿真实验角度分析协议,表明协议具有计算量低的优势。

提供虚假证明文件涉受贿条款修改之检视

基于1997年《刑法》第229条第2款的立法缺陷和受贿犯罪的立法发展,《中华人民共和国刑法修正案(十一)》对该款规定的故意提供虚假证明文件涉受贿行为进行了修正,将其定罪处罚的条件从“提供虚假证明文件罪法定刑升格”修改为“依照处罚较重的规定定罪处罚”。从立法学角度分析,这一修改试图纠正立法缺陷,但却引发了新的问题:该款中的“依照处罚较重的规定定罪处罚”的适用条件与刑法分则中其他类似条款的普遍性适用条件不一致;此外,该款牵连犯的处断规则与刑法分则其他法定牵连犯的处断规则不一致,造成了该款牵连犯内部、该款牵连犯与其他法定牵连犯之间,以及该款牵连犯与其他条款规定的想象竞合犯之间的罪刑失衡。从刑法释义学角度分析,该款规定的罪数处断条件的表述与实际处断规则不符,导致在解释时难以确定具体的罪数形态。因此,有必要进一步修改该款规定的处断规则及其适用条件的表述,以实现罪刑均衡和法律适用的一致性。

柯西中值定理的证明及其应用探索

为促进高职学生深入理解柯西中值定理的内容及应用,探索了两种证明柯西中值定理的方法,并阐释了三个中值定理之间的关系.介绍了柯西中值定理在等式证明、不等式证明、函数单调性判断及极限计算中的应用,并进一步应用柯西中值定理证明了洛必达法则、积分中值定理及泰勒定理.对柯西中值定理的证明、内涵及其在解题中的应用进行探索,为微分中值定理的学习和应用提供参考.

法典化视角下刑事证明标准条款的完善

偏重哲学话语的理论争议无益于解决刑事证明标准的适用难题。在法典化改革的进程中,有必要厘清刑事证明标准条款自身的逻辑性和层次性,进而对现有法律文本的表述进行适当的调整和修改,明确证据收集的程序合法标准,明确证据查证属实的法定义务,确立定罪事实排除合理怀疑的程序规则,以实现发现案件真相和保障法官自由裁量权行使之间的价值平衡,最终实现刑事证明标准在程序规范下的合理适用。

《知产证据规定》第6条解读——公文书证实质证明力限缩之新路径

在《知产证据规定》颁布之前,行政行为认定的事实依托公文书证的证明力推定规则,通过《民诉法解释》第114条对民事诉讼中的证明产生影响。《知产证据规定》第6条明确了行政行为认定的基本事实在民事诉讼中具有免证效力,该事实应当限缩解释为公文书载明的对可诉行政行为产生实质影响的事实理由,需要相对方承担本证的举证责任方可推翻。该条款在知识产权诉讼领域对公文书证实质证明力进行限缩,采取的路径是从公文书证的内容出发限缩其实质证明力。这一方案具有内在的合理性与普遍适用的可能性,为公文书证实质证明力规则的完善提供了新路径。

北京市《出生医学证明》线上申领服务效果分析

传统的《出生医学证明》申领方式为申请人在窗口排队办理,工作人员人工审核。这种方式耗时长、不便利、效率低且易出错。基于此,北京市于2021年推出了《出生医学证明》线上申领服务。本文通过分析该服务上线后的效果,发现线上申领服务能利用信息系统发挥身份核验更科学、申请流程更简洁、群众体验更满意、工作人员执行更灵活的优势。但同时也发现线上申领服务存在覆盖范围不全和各区应用状况不均衡的情况,提示北京市应进一步优化和宣传服务流程,不断提升群众对《出生医学证明》线上申领服务的满意度。

关于高阶差等比数列通项公式的证明

针对高阶差等比数列这一崭新课题的研究,近年来不少文章得到了多种不同形式的通项公式,本文利用《大学数学》上已证明的高阶差等比数列通项公式,对《数学通报》以及《高等数学研究》上未予证明的两个通项公式进行了完整而严格的证明.

教学,多一些贴合——以“基本不等式证明”教学为例

教之道在于度,对于这个度,笔者给出了这样一种诠释:贴合就是度.教学,就是要多一些贴合,即贴合教材意图,贴合学生实际,贴合教学发展.近期,笔者作为评委参与了某市高中数学优质课评选活动,课题是《基本不等式的证明》(苏教版普通高中课程标准实验教科书必修5第三章《不等式》的第4讲第一课时),最后应邀就本课题上了一节示范课,现将这节课的教学过程实录如下,并就这三层贴合谈一些感受和体会,期与同仁们探讨.

数学史视角下正弦定理的证明

正弦定理是平面几何学的基本定理,文章从不同角度出发,按数学史时间的顺序,介绍16种证明方法,从最初的同径法到外接圆法,再到近现代的各种巧妙证法,从不同的证明方法中回顾正弦定理的发展史,通过对不同方法的分析比较,展现数学知识之间的联系,体现数学的美.

证明过程关乎成败--切比雪夫不等式教学技巧浅析

切比雪夫不等式是证明大数定律的引理,也是估计概率取值范围的重要工具.由于课时限制,课堂上往往略讲或删除它的证明过程,且只讲理论用途而忽视其应用价值.针对删除证明过程这一不良现象,剖析了证明过程的重要性和必要性,并给出合理的授课思路、讲解用语和注意事项.在讲授应用技巧时,建议采用案例对比方法,因为它能突出应用价值并衬托后继教学内容的重要性.最后,通过多年教学效果调查数据,证明了这些教学技巧的合理性.

“基本不等式的证明”教学探析

本文以苏教版高中数学为例,重点分析“基本不等式的证明”教学方法,并进行教学反思.希望通过本研究,为相关人员提供参考借鉴,不断提升“基本不等式的证明”教学水平.

黑社会性质组织犯罪涉案财产的证明问题——《反有组织犯罪法》第45条第3款的展开

如何证明涉案财产的权属性质,从而合理划分涉案财产的处置范围是涉黑案件财产处置程序的重点与难点。《反有组织犯罪法》第45条第3款创设“高度可能”证明标准,有效破解了黑社会性质组织犯罪“来源不明”财产的证明难题,明确了涉案财产的权属认定,增强了裁判文书的司法权威,预防了涉黑组织的“卷土重来”。实践中,“高度可能”证明标准的适用与被告人、利害关系人的财产密切相关,必须辩证地理解与把握“高度可能”证明标准适用的前提与范围,厘清该证明标准与证明责任的关系,进而完善被告人“说明财产合法来源”程序的权利保障,吸纳财产利害关系人“参与”涉案财产处置程序,以实现涉黑案件“打财断血”的同时保障好被告人、利害关系人的诉讼权利与财产权益。