程序改革

摘要： 2018年,各级人民法院积极开拓创新,推动形成多元化、多层次、立体化的诉讼程序体系,最大限度提升程序效能。繁简分流:认罪认罚依法从宽完善刑事诉讼中认罪认罚从宽制度,是党的十八届四中全会作出的重大改革部署。截至2018年7月,18个试点地区法院共适用认罪认罚从宽制度审结刑事案件181177件,占试点法院同期审结刑事案件的52.3%。

摘要： 美国20世纪的程序改革运动是以法院为中心的法律体系重整,正是有了20世纪的革新,才有了现在美国司法程序的基本面貌.本文将从20世纪美国的州法院制度和联邦法院的审判权、证据制度和陪审团判制度等诸多方面展开论述,以期对法学研究有所裨益.

摘要： 婚姻法律关系以婚姻感情作为基础,具备一定的特殊性.原告方提出起诉并要求离婚时应向法院证明与被告感情出现破裂,生活具备一定的难度.法院有权对婚姻情况进行公证裁决,确保多有离婚判决均公平公正,禁止不当性判决出现,这就要求对目前的离婚涉审判制度以及长期或者远期的离婚诉讼程度进行有效变革.

摘要： 随着民商事案件数量的不断增加，各地法院为缩短案件审理天数、明确当事人的诉求等，相继出台了法院指导下的诉前司法鉴定制度。诉前司法鉴定制度，是审判程序改革的一项创新举措，不仅有利于实现繁简分流、缩短案件审判周期、节约审判资源、减缓审判压力，同时，在有效调解案件、当事人明确诉讼请求等方面具有积极作用。但由于相关法律法规和司法解释的缺失，诉前鉴定呈现出不统一、不规范、甚至有与现行法律相违背、冲突的现象。

摘要： 审判监督程序改革既是中央确定的司改任务，也是全面依法治国的重要举措。本文以习近平新时代中国特色社会主义政法思想为统领，在深入分析审判监督程序的制度性缺陷基础上。围绕推进我国审判监督制度向救济型再审模式转型这个重点，以新诉讼标的说、再审程序二元论和程序本位主义等学说为工具，对再审程序的价值追求、模式选择、诉讼标的、类型归属、诉的性质、制度安排等问题进行了认真思考，初步形成了感受公平正义、标的单数、程序分置、诉讼改造、形成之诉、程序新开、二审终审等再审程序重构的新思考。这些新的思考，既包括未来再审模型的框架，也包括有关这个假说向确切性转变的理论思辨。

摘要： 再审程序，作为人民法院对生效判决、裁定依法重新审判的程序，和审级制度的关系是既对立又统一的。一方面，再审程序可以补救裁判错误，成为审级制度的有效补充，另一方面，它又可能在一定程度上损害审级制度本身所负载的终局性价值。实践中，因二者均致力于维护司法正当性和司法统一性，因而可以通过设置一定的制约措施达到平衡与协调。对再审程序的制约首先表现为自我约束，其途径一般通过设置引起再审程序的特定事由和将再审事由的审查程序法定化来实现，这里称之为内部制约；另外，还可以通过制定合理的审级制度，保证司法统一性、公正性和终局性，以制约再审程序的发生，达到对再审程序的有效约束，这里称其为外部制约。本文主要介绍了再审程序改革的整体性思路。

摘要： 笔者对中国刑事诉讼程序改造的基本立场是：任何一个刑事案件,通过控辩双方的证据开示,在双方“知彼知己”尤其是确保辩方对案件全悉的基础上,经过程序法官主持的问罪程序得以分流：被告人作有罪答辩的,进入刑事简易程序,视案情清楚与否及证据充分与否而分别适用速决程序或者控辩协商程序,简化庭审前的准备与庭审程序中的诸多环节,做到“简者更简”；被告人作无罪答辩的,进入普通程序,赋予被告人及其辩护人更多的实体与程序的权利保障,实现“繁者越繁”。

摘要： 历史存储器430针对每条函数标识信息，将输入值和执行结果关联起来，并保持为执行历史。命令译码器320将包括在用于预测函数的预告命令中所包括的函数标识信息从取回单元310提供到执行历史搜索单元410。另外，命令译码器320使执行历史搜索单元410基于在预告命令后要被读出的命令中的用于设定函数输入值的输入值设定命令，获取从输入选择单元332输出的输入值。在函数调用命令之前，执行历史搜索单元410搜索与所获取的标识信息及其输入值一致的执行历史。执行结果输出单元420将由执行历史搜索单元410检测出的执行结果输出到执行单元330。取回单元310读出在函数后要被读出的命令。

摘要： 一种行驶路径生成系统，该行驶路径生成系统生成一边在田地的未作业地(CA)中通过自动行驶沿相互并列的行驶路径进行往复行驶一边收获未作业地(CA)的作物的联合收割机的自动行驶路径，其中，具备：产量取得部，其取得田地中的每单位面积的产量即产量率；面积取得部，其取得未作业地(CA)的面积；总产量推断部，其根据产量率和面积来推断未作业地(CA)中预计收获的谷粒的总产量；行驶路径设定部，基于未作业地(CA)的形状以及总产量，生成在往复行驶之前进行自动行驶的预调整路径(LR)，以使未作业地的形状成为最适合往复行驶的形状。

摘要： 一种联合收割机，具备被供给并储存脱粒后的谷粒的谷粒箱，其中，所述联合收割机具备：设置于谷粒箱并测定被供给的谷粒的流量的流量传感器(50)；设置在谷粒箱的下方并输出基于谷粒箱的重量的输出值的收获量传感器(10)；以及基于流量以及输出值对谷粒箱中储存的谷粒的当前收获量进行计算的控制部(22)。

摘要： 自动行驶系统(A)具备：区域设定部(24)，其将通过第一收获行驶而完成收获的区域即第一区域的内侧设定为第二区域；内周行驶路径计算部(25)，其计算内周行驶路径；行驶控制部(26)，其以通过基于内周行驶路径的自动行驶进行第二收获行驶的方式控制收获机(1)的行驶；数据取得部(21)，其取得田地外形数据；第一行驶信息生成部(27)，其基于田地外形数据生成第一行驶信息；第一行驶信息中包含内分割行驶信息。

摘要： 收割机具备：储存由收获装置收获的收获物的收获物箱；对表示收获物箱中储存的收获物的重量的值即储存重量进行检测的重量检测部(32)；对表示收获物箱的储存极限量的收获物的重量的值即极限重量进行计算的极限重量计算部(24)；对每单位收获行驶距离所收获的收获物的重量即单位收获重量进行计算的单位收获重量计算部(25)；以及极限行驶距离计算部(27)，所述极限行驶距离计算部(27)基于储存重量、极限重量及单位收获重量，对在储存于收获物箱的收获物的量达到储存极限量之前能够通过收获行驶而行驶的极限的距离即极限行驶距离进行计算。

摘要： 管理服务器(200)具有对程序组(110)和用户管理表进行存储的存储部。管理服务器从开发计算机(300)接收用户信息，基于接收到的用户信息和用户管理表所包含的用户信息对用户进行认证，将程序组发送至开发计算机。开发计算机对程序组所包含的源程序进行编辑，将用户信息登记于程序组，将程序组发送至管理服务器。管理服务器接收程序组，通过接收到的程序组对存储部所存储的程序组进行更新，通过接收到的程序组所包含的用户信息对用户管理表所包含的用户信息进行更新。

摘要： 网络应用程序构建系统的一种实施方式包括：数据库部(13)，用于管理存储各种数据的数据库；服务提供部(12)，用于提供以相当于业务上的一个处理的单位部件化后的一个以上的标准功能(12s)作为服务；进程创建部(12)，用于组合由该服务提供部(12)提供的一个以上的服务(12s)，创建每个用户的业务逻辑作为进程(12p)；以及网络应用程序构建部(12)，用于根据通过进程创建部(12)创建的进程(12p)来构建每个用户的网络应用程序，其中，在一个虚拟机上运行由进程创建部(12)创建的进程(12p)和与该进程(12p)组合的服务(12s)，并通过数据库部进行他们的事务的控制。

摘要： 在取得多个程序并执行时，若通信方式中存在不匹配，则在程序间不能通信。程序取得部(101)从程序存储装置(150)取得多个程序，程序执行部(102)执行取得的程序。若通信方式不匹配检测部(304)检测出这多个程序互相通信时的通信方式不匹配，则通过由通信方式转换部(203)转换这多个程序互相通信时的通信方式，或由程序取得部(102)再次取得程序，可使多个程序互相通信成为可能。

摘要： 公开了一种信息检索性能优秀，并且能够利用现有的数据库取得电路图或基板图中包含的各部件的相关信息、还能够减轻电子化服务指南制作的劳动量的技术，借助于该技术将基板图或电路图显示到图样显示区域中。例如，从PC(个人电脑)等本地硬盘读出记载了预定的服务器的URL信息及应该发送给该服务器的信息的种类和预定的发送方法的网络连接目的地信息，当对图形要素执行了右键点击等预定操作的情况下，参照网络连接目的地信息生成并显示可对预定的服务器进行选择的菜单信息。进一步，如果菜单信息中的预定服务器被选择，则检索与被选择的图形要素中所设定的部件识别信息相对应的部件取得信息，并向预定的服务器发出检索请求，将检索结果显示到显示器上。

摘要： 公开了一种能够经由网络简单并正确地向预定的部件接受订购服务器进行部件订购的电子化服务指南显示程序，借助于该技术，将基板图和电路图显示在图样显示区域中。另外，从例如PC(个人电脑)等本地的硬盘读出记载了预定的部件接受订购服务器的URL信息、应该发送给该服务器的信息种类和预定的发送方法的网络连接目的地信息，当对基板图或电路图的图形要素执行了右键点击等预定操作的情况下，参照网络连接目的地信息，生成并显示可对预定的部件接受订购服务器进行选择的菜单信息。进一步，当选择了菜单信息中的部件接受订购服务器时，检索被选择的图形要素对应的部件，取得其信息，进一步，设定订购个数，向预定的部件接受订购服务器进行部件订购。