审判监督程序

摘要： 民事检察工作主要承担对人民法院民事诉讼活动的法律监督,对审判监督程序以外的其他民事审判程序中审判人员违法行为提出检察建议,对民事执行、虚假诉讼、虚假调解进行监督等。监督方式包括抗诉和检察建议等。司法鉴定活动也在民事检察监督范围之内。本案中关键证据评估报告对查明案件事实作用明显。

摘要： 民事案件是司法实践中的主要案件,类型相对较多且发生率相对较高.有效地对民事审判监督程序作出修改和完善有助于我国民事案件提高司法效率,更好地维护法律的权威性和公正性.《民事诉讼法》的修订弥补了原有法律存在的缺陷和不足,对于审判程序也做出了相应的优化和升级,本篇文章对修改后的《民事诉讼法》中审判程序在实践落实过程中可能存在的问题进行了相应的解释和梳理,以期为相关工业人员提供更多的借鉴和帮助.

摘要： 【裁判要旨】刑事判决主文应当重视适用刑法第六十四条对犯罪分子违法所得的财物作出处理。实践中,一审未对犯罪分子违法所得财物判决处理的情形时有发生,二审对此类情形的处理并不一致。有的二审法院直接改判增加相应判项,有的先行维持原判并告知一审法院通过审判监督程序予以纠正。

摘要： 第三人撤销之诉与审判监督程序是对受到虚假诉讼损害的人进行救济的两种方式,2012年修改《民事诉讼法》时最高法院建议用后者,立法机关选用的是前者.虚假诉讼的受害人多为债权人,新近的最高人民法院公报案例和司法解释,提示的方向是通过审判监督程序对受害的债权人进行救济.文章在已有相关研究成果的基础上,分析了最高人民法院关于此类撤销之诉的88篇裁判文书,提出撤销之诉救济效果不佳的根本原因在于:《民事诉讼法》第56条第3款为第三人撤销之诉设定的起诉条件、尤其是关于主体资格的条件,致使撤销之诉并不适合用于对受害债权人进行救济.论证了与撤销之诉相比,审判监督程序是效率高、成本低的救济方式.要使审判监督程序能够有效发挥作用,还需要在案外人申请再审的事由、申请再审的证明要求、法院审理的方式、证明责任分配四个方面作出符合该类再审案件特征的规定.

摘要： 根据司法解释规定,刑事案外人在执行阶段可提出三种执行异议:认为执行行为违法的程序异议、针对执行标的主张实体权利的实体异议、认为刑事裁判认定赃款赃物错误的实体异议.不同于民事执行异议的三种救济路径,司法解释对刑事案外人的执行异议只规定了两种救济路径:复议程序与审判监督程序.复议程序适用前两种刑事案外人执行异议,审判监督程序适用第三种刑事案外人执行异议.通过复议程序解决刑事案外人针对执行标的主张实体权利的异议与通过审判监督程序解决刑事案外人认为刑事裁判认定赃款赃物错误的异议,均存在不足之处.

摘要： 根据司法解释规定,刑事案外人在执行阶段可提出三种执行异议:认为执行行为违法的程序异议、针对执行标的主张实体权利的实体异议、认为刑事裁判认定赃款赃物错误的实体异议。不同于民事执行异议的三种救济路径,司法解释对刑事案外人的执行异议只规定了两种救济路径:复议程序与审判监督程序。复议程序适用前两种刑事案外人执行异议,审判监督程序适用第三种刑事案外人执行异议。通过复议程序解决刑事案外人针对执行标的主张实体权利的异议与通过审判监督程序解决刑事案外人认为刑事裁判认定赃款赃物错误的异议,均存在不足之处。

摘要： 我国审判监督程序历经数次修订,在理念制度规则层面取得长足进步,但相应的实施性细则和配套机制短缺,造成审判监督程序运行中全面落实司法责任制仍有困难.从法律规范和司法实践两个层面分析,审判监督程序在启动、运行、法律适用等环节仍存在不符合新型审判权运行机制的倾向.在保持现有法律框架下,人民法院可将对下级法院生效裁判的监督改造为审级监督,组织机构上调整组建院庭长、资深法官在内的再审本院生效裁判的权威组织,职责分工上厘清规范审判监督程序中院庭长审判权和行政权的行权方式,真正在审判监督程序中全面落实司法责任制.

摘要： 本文通过分析现行审判监督程序存在的部分弊端,探讨审判监督程序指导思想的偏差,并提出了完善审判监督程序的一些设想与建议.

摘要： 本文通过总结司法实践中尤其是民事诉讼中的审判监督程序中存在的问题,提出了对审判监督程序进行改革和完善的构想以及再审程序的设计.

摘要： 本文通过分析我国现行级别管辖的规定和审判监督程序中二审终审制的缺憾,研究我国民事诉讼审级制度改革的价值取向.

摘要： 本文探讨在民事诉讼中审判监督与再审的分离,及再审审判权的回归问题.认为应从我国实际出发,立足现行两审终审制度,找出制约司法效率的本质因素、改革并完善诉讼制度.

摘要： 本文探讨在民事诉讼中审判监督与再审的分离,及再审审判权的回归问题.认为应从我国实际出发,立足现行两审终审制度,找出制约司法效率的本质因素、改革并完善诉讼制度.

摘要： 本文探讨在民事诉讼中审判监督与再审的分离,及再审审判权的回归问题.认为应从我国实际出发,立足现行两审终审制度,找出制约司法效率的本质因素、改革并完善诉讼制度.

摘要： 本文探讨在民事诉讼中审判监督与再审的分离,及再审审判权的回归问题.认为应从我国实际出发,立足现行两审终审制度,找出制约司法效率的本质因素、改革并完善诉讼制度.

摘要： 在车辆控制模块上执行的转向应用接收用于控制车辆的转向轮的转向控制输入。基于转向控制输入，转向应用确定同与车辆的牵引轮有关的牵引控制属性相关联的牵引阈值。在车辆控制模块上执行的第一诊断监督程序接收牵引控制属性的测量值和牵引阈值。当牵引控制属性的测量值超过牵引阈值时，第一诊断监督程序反复地计算牵引控制属性的测量值与牵引阈值之间的相应的差，以生成包括多个相应的差的集合。基于多个相应的差，第一诊断监督程序确定车辆的牵引系统的第一操作状况。

摘要： 本发明涉及一种基于主动学习的无监督缺陷程序模块识别方法，属于软件质量保障领域。本发明包括：1)从待测项目中抽取程序模块进行度量，形成数据集D；2)采用聚类方法将D内的程序模块分为可能有缺陷和可能没有缺陷两类，分别随机选k1个模块标记，形成已标记数据集L，和未标记数据集U，基于L构建预测模型；3)判断缺陷模块数查全率是否达预期，若达到，终止标记过程，否则执行步骤4)；4)使用两阶段标记方法从U中选出一定数量的程序模块进行标记并添加到L中；5)基于L构建缺陷预测模型，执行步骤3)。本发明方法可以在不存在历史标记数据集的情况下，花费较少的标记代价，检测到被测项目内的绝大部分有缺陷程序模块。

摘要： 本发明提供一种快速存储系统，是由介面连接至电脑，并由该电脑以执行资料的存储，其包括：一壳体，用以承载后述的元件；一光盘机，置于该壳体中，用以存取一光存储媒体；一读卡机，置于该壳体中，其上具有智慧按钮固件及至少一插槽，用以存取该插槽中的至少一快闪存储卡的资料；以及至少一按钮；由该按钮被触发以启动该电脑的相关动作程序以便执行该光盘机、读卡机及该电脑间资料的存储。此外，本发明亦公开一种快速存储系统所使用的协定、监督程序及固件程序。

摘要： 在车辆控制模块上执行的转向应用接收用于控制车辆的转向轮的转向控制输入。基于转向控制输入，转向应用确定同与车辆的牵引轮有关的牵引控制属性相关联的牵引阈值。在车辆控制模块上执行的第一诊断监督程序接收牵引控制属性的测量值和牵引阈值。当牵引控制属性的测量值超过牵引阈值时，第一诊断监督程序反复地计算牵引控制属性的测量值与牵引阈值之间的相应的差，以生成包括多个相应的差的集合。基于多个相应的差，第一诊断监督程序确定车辆的牵引系统的第一操作状况。

摘要： 一种动态重构分布式计算架构的方法，所述分布式计算架构具有多个处理节点，其中每一个处理节点以相应的多个虚拟机为主机，所述方法包括检测第一处理节点上的故障条件、评估通过第一处理节点上的每一个相应虚拟机执行的软件功能的关键性、和如果至少一个虚拟机被评估为处于临界关键性等级以上，则重新分配第一处理节点上的多个虚拟机中的至少一个给第二处理节点。

摘要： 一种用于工业自动化系统中监督和控制支持的系统和方法，包括具有软件堆栈的监督设备，该软件堆栈具有宿主操作系统和多个独立应用程序容器。每个容器包括与监控设备的基本功能相关联的模块化应用程序平台和根据系统集成与模块化应用程序平台集成的访客操作系统层。在容器开发期间执行系统依赖性的一次性集成。独立应用程序容器可移植以直接部署在不同于主机操作系统类型的操作系统中，并且可以不变地运行而无需对组件工件进行任何更改。

摘要： 本发明提供了用于医疗机构中的围手术期护理的系统和方法。在一个示例中，系统包括显示器和计算设备，该计算设备可操作地耦接到该显示器并且存储指令，该指令可执行以向该显示器输出图形用户界面(GUI)，该GUI包括由各自监测患者的一个或多个医疗设备的输出确定的实时医疗设备数据，并且其中经由该GUI显示的至少一些该实时医疗设备数据被显示为多个患者监测参数图块，每个患者监测参数图块示出该患者监测参数的最近确定的值或趋势，该多个患者监测参数图块根据第一布局来布置；并且响应于用户动作，调节该多个患者监测参数图块中的一个或多个患者监测参数图块以形成第二布局。

摘要： 一种用于远距监督手术程序的系统包括增强现实头戴式显示器以及计算机。所述计算机被配置来：经由所述增强现实头戴式显示器接收从现场医师的眼睛体验到的视觉图像；经由所述增强现实头戴式显示器接收由所述现场医师体验到的另外的内容；将从现场医师的眼睛体验到的所述视觉图像和所述另外的内容集成到由所述现场医师体验到的单个集成视图中；将所集成的视图传送到远程计算机以用于在远程显示器上显示；经由所述远程计算机从远程医师接收与所集成的视图的交互；并且经由所述增强现实头戴式显示器将所述交互呈现给所述现场医师。

摘要： 一种用于监测驾驶员(16)的行为的电子装置(30)适于被装载在交通工具上并与驾驶员头部(24)的至少一个图像的传感器(22)和位于交通工具的座舱(12)内的至少一个光源(26)进行连接。该监测装置包括：用于从图像传感器获取的驾驶员头部的至少一个图像中检测出驾驶员的异常行为的模块(32)；被配置为在检测到所述异常行为之后通过根据初始刺激水平打开至少一个相应的光源来控制至少一种光信号的发射的刺激模块(34)；以及基于驾驶员头部在发射光信号之后的至少一个图像来评估驾驶员的反应的模块(36)。

摘要： 本发明公开了一种基于离线监督学习的函数式程序自动合成方法，首先利用约束逻辑编程系统miniKanren将用户提供的输入输出示例编码成包含关系约束信息的状态树的形式，然后结合状态树中路径信息和上下文信息作为特征信息输入到神经网络中，输出各个候选子程序被选择的概率分布，并在每个迭代过程中选择概率最高的候选子程序来构建出满足输入输出示例的函数式程序。此外，为了提高离线监督学习的效率，本发明还提出了三种不同的训练样本生成策略生成丰富多样性的训练样本，不仅使得基于离线监督学习神经网络模型具备高合成精度和强泛化性，并大幅度地减少了程序合成步长，极大地提高了程序合成的效率，使得基于本方法而设计出的程序合成系统具备实时性。