程序法

摘要： 随着互联网技术的飞速发展,电子商务发展呈现出多样化、复杂化和纵深化的态势。知识产权保护的强弱深刻影响着电子商务发展的方向、速度和质量。电子商务中知识产权的侵权认定和周全救济需要证据制度设计的完善和司法实践的推动。在梳理实体法和民事诉讼领域涉及电子商务知识产权保护证据内容的基础上,为电子商务知识产权民事诉讼证据制度的完善提供对策建议。

摘要： 目前,刑事司法改革主要表现出两种趋势,针对一些重大或较为复杂的案件以审判为中心,一些较为简单的案件则以认罪认罚从宽制度为主。认罪认罚从宽制度,是同时具备程序法与实体法的司法改革制度,能够进一步落实宽严相济政策;其落实以速裁程序试点的先行探索为基准,通过持续的经验总结逐步拓展速裁程序的适用案件范围,是不断提升司法效率工作机制的有效途径.

摘要： 智能量刑系统的司法适用,不仅推动了我国传统司法结构的转向,而且拓宽了关于“同案同判”裁判算法化的基本路径。对智能量刑算法裁判层层演进的脉络进行了研究,其司法适用难点在于智能量刑的公众认知偏向、经验归纳的不周延属性与个案问题的规律性偏差。顺利过渡智能量刑系统应用的司法适用困境的关键是探索设置进行算法质量的司法听证、衔接算法裁判和法官裁判以及保障算法的区域变通适用的程序,使之与司法数字化改革相适应,由此放大智慧司法的优势效果。

摘要： 积极刑法观在当前社会转型时期占主导地位,刑事立法呈现活跃状态,由此导致犯罪圈的不断扩张。然而,刑事实体法的出罪功能由于具有内生性的制度缺陷,无法有效发挥其应有的出罪调控作用,在当前一段时期内,非罪化只能依赖于刑事程序法来实现。随着“少捕慎诉慎押”刑事司法政策的确立,认罪认罚从宽制度以及涉案企业合规不起诉等制度的探索和推进,程序非罪化的功能逐步扩张。故而,我们应当更多地关注程序非罪化的文本叙述和实践表达,在构建程序非罪化体系的同时,着力完善非罪化的程序法进路。

摘要： 司法与仲裁统称为裁判程序,是程序法的研究对象。选择更优的争端解决程序,应当成为应对“法律战”和规避国际诉讼类程序风险的重要路径。《联合国海洋法公约》第15章第二节规定国家有权声明选择包括国际法院、国际海洋法法庭和附件七仲裁等在内的一个或一个以上“可作出有拘束力裁决的强制程序”来解决公约的解释与适用争端,但中国尚未作出程序选择。国际法院、国际海洋法法庭和附件七仲裁作为公约项下三大主要的裁判程序,其裁决具有同等的拘束力,但国际法院在权威性与裁决的执行力上超越了另外两大程序。附件七仲裁作为非常设的临时仲裁,却是公约的争端解决程序里面唯一的剩余性强制适用机制,其程序的规范性最弱,程序风险最大。附件七仲裁的现有理论及规则实践与其可能处理的涉及国家间重大权益争端的职能要求极不相称。在中国既不退出《联合国海洋法公约》而公约条款无法在短期修改的现有条件下,国家应积极把握程序主动,综合评估程序差别及程序利益,提前预防附件七仲裁的程序风险。

摘要： 对企业合规现状的反思自2020年最高人民检察院启动企业合规试点,到2022年试点工作全面铺开,企业合规改革在全国如火如荼地展开。但试点中出现了不少争议,亦暴露了诸多问题,其中,“拯救企业还是企业家”之争似乎成为刑事合规理论与改革试点中最为尖锐、直接的立场分水岭。与此同时,企业合规研究亦呈现出学科分化的格局,刑事实体法学者与程序法学者在各自领域,以不同的话语体系展开研究,存在一定的悖反与张力。

摘要： 随着认罪认罚从宽制度在我国《刑事诉讼法》的优先植入,司法实践中不乏将诉讼流程加快、强制措施从轻、审理程序从简等诉讼程序的调整认为是从宽处理的做法.鉴于此,应当从宽严相济的刑事政策、刑法谦抑性的价值实现、刑罚轻缓化观念转变等方面寻找从宽的正当性基础,将认罪认罚从宽制度中的从宽明确为实体性的从宽处理,在我国《刑事诉讼法》体现为相对不起诉,在我国《刑法》上体现为认罪、认罚和认罪认罚独立的量刑情节,并赋予可以从轻、必要时减轻或免除处罚的量刑裁量.在此基础上,进一步探讨认罪认罚与自首、坦白等量刑情节的评价问题,使量刑结果能够做到罪责刑相适应.

摘要： 2020年民事诉讼法学研究步入了发展的新阶段,大批法律规范的颁布、实施,极大地拓展了民事诉讼法学研究的广度,在专业性不断提升的同时,多领域、跨学科交叉互动型研究逐渐增多。理论研究特别是基础理论研究更加强调系统性、体系化思考的重要性,而并不仅局限于具体问题的解决。随着认识的不断深入,过去一些问题研究的侧重点发生了某种程度的转变,新的研究重心在不断被发掘,特别是民法典等重要法律规范颁布实施后,如何在诉讼中具体实现是程序法与实体法学者接下来需要共同厘清的重点问题。在此,笔者对2020年度一些值得关注的理论热点问题简要做如下综述,以资回顾。

摘要： 智能量刑算法的司法适用,既推动了我国传统司法的结构性转向,又开拓了"同案同判"的技术化裁判路径.这主要归功于智能量刑算法的主体性逻辑、量化规范逻辑以及经验规范逻辑.但结合当前的司法实践与社会反馈却发现,暗箱裁判、算法歧视并非当前智能量刑算法司法适用的最大难题,反而是公众的可接受性、经验归纳的周延性以及"系统性偏差"等难题极大地困扰着算法裁判的实践效果.为了更好地推动智能量刑算法的司法适用,我国应在现行司法程序的基础上,建立司法听证程序、算法选择程序、算法判决申诉程序,并面向三类刑事变通事项建立主审法官的伴随性审查程序,以消除智能量刑算法的技术性缺陷.

摘要： 在促进经济复苏、优化营商环境的背景下,在现行的刑事实体法、程序法框架内,如何促进民营企业构建合规计划,是一个值得关注的问题。笔者拟对企业合规不起诉制度的来源和发展进行域外考察,在此基础上分析我国引人合规不起诉制度的必要性和可行性,并对我国企业合规不起诉制度的构建提出框架性建议。

摘要： 对精神疾病患者实施强制治疗程序包括强制送治程序和强制治疗程序,由于该程序涉及到对人身自由的限制,应该严格遵循法治行政的原则。不过,国内各地所制定的六部精神卫生条例,赋予该程序的法根据并不充足；同时,程序法上的规定也并非十分完善。因此,我国应该尽快制定《精神卫生法》,详细规定强制治疗的程序,为保障精神疾病患者的权益提供坚实的法律根据。

摘要： 本文从一起人身损害赔偿案谈起，搁置“谁先谁后”、“何者更为重要”的抽象论争，以纠纷解决的实际事例为切人点，考察程序法与实体法在诉讼过程中的具体样态，从而有效沟通理论与实务，为理论向纵深发展提供素材和动力。

摘要： 本文介绍了民事诉讼中实体法与程序法的生成与展开，同时考察辨析了实体法和程序法关系的变迁、定位以及“层次论”，并以实体法与程序法的关系为基础，看法学研究方法的转型。

摘要： 水力计算对于自动喷水灭火系统设计具有重要意义,而规范中推荐的作用面积法存在计算结果不准确、压力偏低、水力分布不均匀等缺陷.将水力计算过程编成语言计算机程序,通过二分迭代法计算系统压力,具有准确、方便、快捷等优点.通过对算例的分析得出适当放大末端配水干管管径,能有效的减小管网所需压力,减小各支路间压力分布的不均匀性.

摘要： 程序法为了实现其独立的价值可以拥有诸多的“出罪”特权，起诉环节的轻微犯罪不起诉也就没有必要限定为“依照型这规定不需要判处刑罚或者免除刑罚的”了。实体法与程序法的有机结合是贯彻刑事政策的必要保障。为了追求诉讼效率和宽严相济的刑事政策的落实，检察机关在是否起诉的问题上应当拥有一定的自由裁量权，不过，对于起诉前有悔罪和补救表现的轻微犯罪不起诉的刑法规定，为检察官自由裁量起诉与否提供了重要的类型化依据。

摘要： “除权判决撤销之诉”是一种程序法意义上的“恢复原状”之诉.在“除权判决撤销程序”中,应以“涉及公法程序(公示催告)的善意取得人”为适格原告,以确定除权判决的持有人或其权益的继承者为适格被告.特定情况下,付款人、代理付款人、承兑人等主体也可成为适格原告.除了一般的诉讼要件外,“撤销之诉”还应具备四项特别诉讼要件.该四项特别诉讼要件本质上应为“诉之利益”要件.“除权判决撤销之诉”具有两类“权利保护要件”,即“程序法性质的权利保护要件”和“实体法性质的权利保护要件”.“撤销之诉”的诉讼标的应按“修正的二分支说”来加以识别.生效的除权判决无溯及力,但“确定的撤销除权判决的判决”有溯及力,而“确定的维持除权判决的判决”无溯及力.“确定的撤销除权判决的判决”为形成判决.其应有形成力、羁束力、形式确定力、实质既判力等法律效力.“确定的维持除权判决的判决”为确认判决,其没有形成力,应有消极的确认力、羁束力、形式确定力和实质既判力.“确定之撤销或维持除权判决的判决”应具有第一方面(针对诉讼对象)的实质既判力.然而,其第二方面(前诉对后诉)实质既判力的有无、对象和范围等要分两种情况进行细致的考察.此外,“确定的维持除权判决的判决”之第二方面实质既判力的产生应具备一项必要前提,即原告第一次向法院提起“撤销之诉”时,没有将所有的法定撤销事由全部提出。

摘要： 本文介绍了民事权利能力与当事人能力的一般理论，分析了民事权利能力与当事人能力的分离及其表现，探析了民事权利能力与当事人能力分离的原因。文章通过对民事权利能力与当事人能力分离的原因分析，不难看出，民事程序法关于“两权分离”的观点其实是对民事实体法相关理论缺陷的一种无奈选择，或者说是程序法对实体法缺陷的一种弥补。在这一过程中，重新认识了程序法的独立性及其价值功能。但必须强调和指出的是，程序法的独立性及其“造法功能”的发挥并不能从根本上解决问题，相反还会带来更多程序法自身无法解决的理论问题。所以，只有当民事实体法相关理论的缺陷得以克服，民事实体法在制定和设计时能够充分考虑到程序机制来进行时，才是解决上述问题的根本之道。

摘要： 本文试图结合法社会学的方法对已决债权转让的形式与原因进行分析，以民事实体法之债权转让与程序法上的既判力和执行力扩张理论为基础，分析已决债权转让这一既具有实体法的权利处分性质又具有程序法之私力救济色彩的行为对权利实现和公力救济的影响—而不是冲击。

摘要： 由于学术界对不真正连带债务引起的广义请求权竞合从程序法的角度加以研究的较少，因此，笔者试图解决不真正连带债务在诉权行使方面的有关实务。本文介绍了不真正连带债务诉权行使理论上的误区与缺陷，简述了不真正连带债务诉权行使的制度构建。提出吸收英美法系事实出发型诉讼制度的长处予以具体解决，对不真正连带债务案件按非必要共同诉讼进行审理。

摘要： 随着市场经济的日益发展和政治、经济体制改革的不断深入，环境行政法律关系的构成要件及其赖以存在和发展的经济和社会基础发生了显著的变化，与之相适应的环境行政责任制度也得到了一定程度的创新和完善。本文从实体法和程序法规定两个方面对环境行政责任的创新和完善进行了归纳和理论上的阐述。

摘要： 移动多个在观察坐标系上具有预定的彼此位置关系的区域的同时，根据观察单元观察目标的结果，重合度计算单元根据给定的区域间对称性计算多个区域的观察结果部分中至少一对观察结果部分的区域间重合度(步骤151-160)，并且位置信息计算单元通过获得多个区域的位置而获得目标的位置信息，其中在该位置处做为观察坐标系中多个区域的位置的函数的区域间重合度例如取最大值(步骤161)。结果，精确地探测到目标的位置信息。

摘要： 一种类型的集成电路陈列，包括几个程序可控单元，可以将这些程序可控单元编成四种可能的电阻抗状态。例如：第一种状态是在两个方向上电阻抗都是高的；第二种状态是在一个方向上电阻抗是高的，在相反方向上电阻抗是低的；第三种状态是在相反方向上电阻抗是高的，在第一个方向上电阻抗是低的；第四种状态是在两个方向上的电阻抗都是低的。

摘要： 本发明涉及海底资源探测系统，包括发送装置、接收装置以及信号处理装置，发送装置具有发送部，以水作为介质向水中发送为了进行海底资源的探测而发送的规定的发送人工信号。接收装置具有接收部，用于接收发送人工信号中表示以水作为介质传播至该接收装置的信号的接收人工信号和伴随因海底资源产生的电位异常而以水作为介质传播至该接收装置的自然电位的合成信号。信号处理装置具有将合成信号分离成接收人工信号和自然电位的信号处理部。

摘要： 在通过固定小数点数实现共轭梯度法的情况下降低产生溢出的概率。初始化部(12)生成向量p→0、r→0和值ρ0各自的隐匿值。第一计算部(13)生成向量a→i‑1的D倍的值的隐匿值。第二计算部(14)生成值γi‑1的D倍的值的隐匿值。第三计算部(15)生成值αi‑1的隐匿值。第四计算部(16)生成向量d→i的D倍的值的隐匿值。第五计算部(17)生成向量x→i的隐匿值。第六计算部(18)生成向量r→i的隐匿值。第七计算部(19)生成值ρi的D倍的值的隐匿值。第八计算部(20)生成值βi的隐匿值。第九计算部(21)生成向量p→i的隐匿值。

摘要： 当输入投影光学系统(PL)的波前象差的实际测量数据时，主控制器(50)根据该数据和输入之前制作的成象特性泽尔尼克变量表计算投影光学系统的靶成象特性。通过利用泽尔尼克变量表，可以只用一次测量波前象差来计算靶成象特性。而且还提前获得表示可调节的特定光学元件(131～134)的调节与投影光学系统的成象特性的变化之间关系的参数，并将其提前储存在存储单元(42)中。然后，当输入投影光学系统的成象特性的测量数据时，主控制器利用测量数据、参数和特定光学元件的靶调节量之间的关系表达式计算特定光学元件的靶调节量，并且根据计算结果调节特定光学元件。

摘要： 移动多个在观察坐标系上具有预定的彼此位置关系的区域的同时，根据观察单元观察目标的结果，重合度计算单元根据给定的区域间对称性计算多个区域的观察结果部分中至少一对观察结果部分的区域间重合度(步骤151－160)，并且位置信息计算单元通过获得多个区域的位置而获得目标的位置信息，其中在该位置处做为观察坐标系中多个区域的位置的函数的区域间重合度例如取最大值(步骤161)。结果，精确地探测到目标的位置信息。

摘要： 本发明提供了一种应用程序的登陆方法和一种应用程序的登陆装置，其中，登陆方法包括：当任一应用程序接收到登陆操作时，确定任一应用程序所在的集成应用程序分组，并判断集成应用程序分组是否已与用户的目标登陆信息进行绑定；若集成应用程序分组已与目标登陆信息进行绑定，则直接登陆任一应用程序。通过本发明的技术方案，可以实现多个应用程序单点登录，进而实现在任一应用程序所在的集成应用程序分组已与用户的目标登陆信息进行绑定的基础上，用户再次登陆该集成应用程序分组中的任一应用程序时，就无需再次手动输入服务器、端口、用户名和密码等目标登陆信息，这大大简化了用户操作，优化了用户的体验。

摘要： 本发明提供图像处理法、程序和装置及图像区域检测法、程序和装置。构思了根据本发明的图像处理方法来对位于矩形图像的角上的区域内的像素改变(与黄色的互补色对应的颜色成分的)灰度级，从而在作为处理对象的像素的周围区域中最大化作为处理对象的像素的灰度级和背景区域中的像素的灰度级之间的差异，即，降低灰度级。这意味着作为应用灰度级改变处理的结果的像素看上去泛黄。人眼在识别黄色方面是有困难的，因此，和在矩形区域的外部放置标记或框的情况相比，应用于像素的改变是不显眼的。

摘要： 一种类型的集成电路阵列，包括几个程序可控单元，可以将这些程序可控单元编成四种可能的电阻抗状态。例如：第一种状态是在两个方向上电阻抗都是高的；第二种状态是在一个方向上电阻抗是高的，在相反方向上电阻抗是低的；第三种状态是在相反方向上电阻抗是高的，在第一个方向上电阻抗是低的；第四种状态是在两个方向上的电阻抗都是低的。

摘要： 跑法判别装置(10)取得用户进行跑步时的运动数据，基于该运动数据来判别用户的跑法。具体地，跑法判别装置(10)基于从测定记录装置(20)取得的3轴方向的加速度数据来算出作为该3轴方向的加速度矢量之和的合成矢量，基于算出的合成矢量来判别用户的跑法。