判决理由的正当性证明与法律推理

在司法实践中，判决的正当性来源于判决理由的正当性，判决理由的正当性则与法律推理密切相关。实践证明运用法律推理进行说理，将法官判决的整个过程充分呈现，可以获得判决理由的正当性证明。借助于法律推理方法实现判决理由的正当性证明是可行的，也是必要的。判决理由的正当性证明就是法律推理形式上与实质上的合法性与合理性证明，是法律推理前提和结论形成过程的推导证明。通过法律推理对判决理由进行正当性证明，可以增强判决文书的说服力，有助于判决目的的最终实现。     

间接反证——事实认定中的效用论

罗森贝克为了补充法规要件分类说提出了间接反证的概念。该理论不论作为一个概念，还是作为一个论证推理的体系，都存在几点理论上的误识。为了厘清理论上的误识并指导实践，从该概念的性质和症结出发，同时借用一个崭新的概念——反对间接事实去替换原有的概念，并将原有的概念作为一种论证方式和理论体系保留下来。     

从上帝到科学何以可能--试论托马斯的证明之路与近代科学的产生

托马斯开创的关于上帝存在的证明之路导致了科学的诞生首先,在上帝的名义下使知识统一起来,不协调的知识足以产生张力;其次,为了证明上帝存在不得不进行理性推理和实验活动,从而弘扬了科学精神;第三,神职人员必须具备大量的知识才能合格,要想成为好的神职人员还要能够进行有效的推理和实验,这就为科学的诞生培育了大批的科学工作者和创造了丰富的科学活动内容.自托马斯之后文艺复兴和近代科学的诞生已成为不可抗拒的历史趋向.     

理性证明过程的本土化

刑事语境下的证明过程,是通过推理得出合理结论的过程。这个过程涉及到用获得的证据以及常识性知识进行推论,以帮助人们构建案件事实。证据推理就是这样一种证明过程,而且是理性证明过程,它可以有效地分析并评价刑事案件中的证据。本文关涉的证据推理是贝克斯提出的混合理论,其把基于论证和基于故事的方法相结合,将混合理论建模成形式对话博弈。该对话中的博弈者通过动态、交互的论辩过程,旨在找到能够解释更多证据的似真故事。这种探究型对话博弈将证据推理的理性证明嵌入到我国司法实践,为其提供了刑事案件证据标准模型,使得侦查、起诉、审判的案件事实经得起法庭检验,从而为我国法治进程提供更加丰富的理论方法。     

创新平面几何试题并能自动推理的《数学实验室--平面几何》

本文主要论述了<数学实验室>系列软件之一平面几何的主要功能与自动推理这一重大研究成果在教育教学中的应用,使数学教师能够深入研究几何问题并能辅助几何教学,创新试题启发与调动学生发散思维,创作自主学习的环境.     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

对内能力状态函数沿用论证方法的辩析

内能属状态函数，这是重要的基础物理概念，对内能是状态函数的证明，不少现行大学物理学及物理化学教材都沿用循环过程加热力学第一定律作工具，以反证法进行证明．本文论证，以上沿袭的证明方法中暗换了论题，且论据不足，推理不合逻辑，应予改进.     

Hamilton-Cayley定理及最小多項式公式的簡明証法

本文用矩阵多项式和多项式矩阵概念之间虽有区别,但在一定条件下兼容的理论,同时又应用了伴随矩阵的基本性质可较简明地证明Hamilton-Cayley定理及导出最小多项式的公式,以达到推理简要,论证严密的目的。     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

排除合理怀疑的过度客观化及其纾解

排除合理怀疑的适用在司法实践中呈现出过度客观化的倾向,无论是合理怀疑的判别还是排除,往往要求有客观充分的证据材料作为支撑,极大地压缩主观判断的空间。这种过度客观化的倾向存在不当加重控方证明负担、提升辩方不合理辩解成功率以及可能导致疑罪处理的僵化和证明简略化的问题,可能导致疑罪案件的不当处理。这种倾向的产生是基于客观真实证明观和冤案治理经验的影响、排除合理怀疑的实践效果与立法初衷出现一定程度的背离以及疑案裁断机制的不完善。对此,确立平衡型的客观证明机制、强化刑事推理论证和完善疑案处理诉讼机制可以对其进行纾解。     

Characteristic Impedance of A GTEM Cell

保角变换－奇异积分方程法被用来求ＧＴＥＭｃｅｌ的特性阻抗，用完全椭圆积分给出了基于只有球ＴＥＭ模传播的简单而精确的特性阻抗公式。该方法使ＧＴＥＭｃｅｌ的特性阻抗的计算精确而简单。另外，采用保角变换—有限差分法求出了球ＴＥＭ模的电磁场分布和高阶模式的特性。文中的分析可用于对ＧＴＥＭｃｅｌ和宽带传线的研究。     

自动化立体仓库中货位实时分配优化问题研究

本文研究了单元货格式自动化立体仓库中的货位实时分配问题。该问题可分为两方面：为入库分配空货位和为出库选择货位。在考虑了堆垛机的加减速对其运行速度的影响后,以堆垛机将要进行的所有操作的行程时间之和作为优化目标,通过调整堆垛机的后续操作的行程时间在总行程时间中的权重,依次构建了三个优化目标函数。然后利用结合了模拟退火方法的遗传算法对其进行了求解,并利用了多种技术提高算法的效率。最后利用仿真技术,通过改变仿真时系统中的货物类型总数、堆垛机的停留策略和装载能力,对该算法在不同情况下的效果进行了验证。仿真结果表明在不同情况下,该算法都可不同程度地减少堆垛机的平均行程时间。     

基于LabVIEW的自动摆盘设备控制系统设计

为了解决吸头和比色杯摆盘（把物品装进相应的盒子中）效率低的问题,采用工业计算机和运动控制卡开发出 了一种新型自动摆盘设备控制系统。系统采用伺服电机和电磁阀作为控制部件,并基于LahVIEW设计出了一套从取 盒、定位、摆盘到卸盒的自动化流水线摆盘系统,从而解决了人工摆盘速度慢、精准度低的问题。实验结果表明,该系统 能够大大提高摆盘效率,具有速度快、精准度高、稳定性好等优点。     

自动化决策中数据处理者的合理分析义务

以立法形式规定数据处理者的合理分析义务,是预防算法风险、推进算法规制的一条基本路径。基于元规制理念的合理分析义务设置,既是一种过程性规制,也是一种目的性规制。该义务要求数据处理者既应保证分析过程正当,还要确保分析结果合理。合理分析义务目前分散规定在我国个人信息保护法律体系中,按照自动化决策流程可将其类型化为三项内容：分析前的注意义务、分析过程中的控制义务、分析后的审查义务。合理分析义务的规范取向是防止算法歧视,公平对待公民个人或数据主体。数据处理者违反此种义务将面临行政责任和民事责任。当下主要的问责途径是惩治“大数据杀熟”“信息茧房”和“社会分选”现象。     

基于自动机原理的自动售货机软件的实现

利用自动机原理对现有的自动售货机的工作模式进行了分析，指出了自动售货机在购买多种商品时的不方便之处和销售管理上的落后现象，提出了用软件方法对自动售货机工作模式进行优化和扩展，并增强其管理功能，以使自动化销售过程更快捷、准确和有效。     

编辑距离与语言分类

编辑距离是一种距离测量法,源于将一个字符串变换为另一个字符串所需要的编辑操作数,该方法能够自动将语言进行分类。基于传统语言分类方法的不足,分析讨论了编辑距离在语言分类研究中的应用,对长久以来学术界因为传统语言学研究产生的争论提供一种可能的解决方案。     

论自动驾驶事故的法律责任归属

自动驾驶技术智能化、自动化的特点客观上对既有法律造成了冲击,初步产生了诸如上路测试、市场准入难以依现有法律取得授权,技术、安全等标准难以统一,事故的法律责任难以认定等问题。应该通过特别授权或进行适度的立法修改,解决在行政法、民法、刑法等领域的事故法律责任等问题,清除不必要的法律障碍,使法律法规与技术研发相匹配,发挥法律的规范和引导作用。     

结构件的高精度抗弯刚度测试方法研究

通过挂质量块来给被测构件施加弯矩测量相应变形是目前结构件抗弯刚度测试的主要方法,针对其测量精度不高、无法实现自动测试等问题, 提出了一种高精度抗弯刚度测试方法。基于抗弯刚度计算理论, 建立了相应的数学计算模型。利用计算转角变形的方法,解决作用力臂精确计算问题。结果表明,相对传统测试方案,不仅能提高被测件的抗弯刚度测试精度,而且实验过程无需人工参与,实现了自动化测试的要求。     

网络技术对心理测验各环节的影响

通过探讨网络技术对心理测验各环节的不同作用 ,揭示出以下结论 :在测验编制时要注意网络上被试来源的广域性、开放性 ;被试取样可据设定访问权限和IP分组进行 ,并要考虑到网上施测中被试团体属性范围的扩大 ;材料呈现可用多媒体技术 ,做到更直观形象 ;数据的收集和分析主要由XML语言来实现其自动化。     

电子代理人若干法律问题研究

电子代理人即《国际合同使用电子通信公约》中的自动电文系统，其并非法律主体，只是电子订约的工具或手段。自动电文系统订立的合同归属于自动电文系统的使用人，立法不应因没有人的事先审查而否定其法律效力。《公约》关于电子通信错误的规定突破了合同法的公认观点。我国应对自动电文系统及其法律效力等进行立法。