程序机制

摘要： 与普通程序相比,小额诉讼程序更注重对权利保护迅捷性的追求,适宜进行诉讼方式电子化变革。小额诉讼程序全流程电子化并非技术与程序的简单叠加,也并非将程序搬到网上,而是通过电子信息技术实现对纠纷主体诉讼行为的简易化处理。但司法实践中程序适用力度小,程序价值理念错位以及程序定位模糊阻碍了小额诉讼程序电子化。为了实现民事程序分流,拉近司法与普通民众距离,在改革试点实践经验的基础上,结合域外立法的成功经验,对小额诉讼程序规则进行重塑。通过明确适用主体、适用方式、适用阶段,建立程序安全保障机制、救济机制以及惩戒机制,保障小额诉讼程序电子化顺利推进。

摘要： 源于计算机科学的计算思维理论正对各学科和社会实践产生广泛影响。计算思维是数学思维和工程思维等多种思维方法的融合,其核心特征是“抽象”和“自动有效执行”。在法律领域,计算思维的功能体现为对待解法律问题进行恰当抽象,并使解决方案能够由执法主体(人、机器或者人机组合)通过恰当的程序自动得以执行,即提高立法的科学性,保障法律的有效执行。在立法过程中,抽象的层次如何选择是影响立法科学性的关键,合理的程序机制可使法律“自动有效执行”。在执法实践中,通过恰当抽象寻找等价关系,可以把复杂、难解的问题转化为相对容易解决的问题。计算思维堪称计算法学皇冠上被忽视的“明珠”,在法律领域的功能与作用尚未被法学界充分认识和挖掘,其价值有待进一步探索。

摘要： 三、切实强化减刑、假释案件办理程序机制11.充分发挥庭审功能。人民法院开庭审理减刑、假释案件,应当围绕罪犯实际服刑表现、财产性判项执行履行情况等,认真进行法庭调查,人民检察院应当派员出庭履行职务,并充分发表意见人民法院对于有疑问的证据材料,要重点进行核查,必要时可以要求有关机关或者罪犯本人作出说明,有效发挥庭审在查明事实、公正裁判中的作用。

摘要： 刑事诉讼案外人财产权保护是刑事诉讼程序正当和司法公正的应有之义。目前立法中存在着案外人法律地位不明确、主体资格和实体权利范围模糊、权利实现的程序保障缺位等问题,极大地影响了对其财产权的保护。要从三个维度加强对刑事诉讼案外人财产权的法律保障:明确案外人作为诉讼参与人的法律地位,保障案外人参与诉讼的主体权利;对案外人异议的主体资格和实体权利进行类型化,从积极和消极两个方面统一标准、明确范围;完善案外人权利保护的程序规定,明确案外人在审前查控、涉财产审判以及执行救济三个环节中的程序权利。

摘要： 行政机关公布平台企业违法事实行为的法律属性不明,缺乏必要的程序规制,亟待在法治框架下进行优化设计,以兼顾公布前合法性和公布后法律效果的双重目标。将该行为解释为《行政处罚法》第9条其他行政处罚中的声誉罚,仍不足以面对其网络传播风险扩散对传统行政正当程序的挑战,因此,亟须建立一套网络声誉罚的程序保障机制。首先,建立启动公布的事前程序保障,内嵌“调查-约谈-检查”的程序链,强化听取意见、拓展说明理由内容与双向回避等规范行政行为的程序要素;其次,辅之以公布平台企业违法事实过程中的“审核-撤销”等程序机制,构建披露内容尺度的“适度标准”,精准控制网络声誉罚的信息含量;最后,增加前置审查程序和“撤销-增删”程序,塑造后续程序性限制措施,全面夯实以程序装置为保障的网络声誉罚规制体系。

摘要： 司法责任认定和追究是司法责任制改革的关键环节.检察机关司法责任认定和追究应当遵循"谁办案谁负责、谁决定谁负责"的基本原则,严格区分"办案"与"决定"、司法责任与司法瑕疵、检委会与检委会委员等责任界限,建立准司法化的调查审查机制,规范责任认定和追究程序衔接,充分保障检察人员申辩救济权利.

摘要： 通过程序机制的建构,压缩市场监管部门列入和移出严重违法失信名单的裁量空间,保障当事人知情权、抗辩权等各项权益,是《市场监督管理严重违法失信名单管理办法》(以下简称《管理办法》)的一大亮点。《管理办法》主要从保障严重违法失信名单公正、提升严重违法失信名单效能和约束严重违法失信名单负面效应三个方面建构失信惩戒程序机制,《市场监督管理行政处罚信息公示规定》(以下简称《公示规定》)也在公示、依申请停止公示等环节配套规定了相应程序,有效实现了制度联动,共同夯实了市场主体信用监管的制度基础。

摘要： 综合考虑事实认定、排除动力、否定制裁、法法衔接、专业能力五个因素,应将案件审理部门作为监察调查非法证据内部排除的惟一主体.监察调查非法证据内部排除程序的启动包括依申请启动和依职权启动.审查程序原则上采用书面审理方式,案件审理部门应以书面形式做出排除决定.排除的方式包括绝对排除和裁量排除.实务中,应加强对初核阶段取得的证据及自书材料的审查,但对某些证据的排除应持宽松态度.

摘要： 错案责任追究制度在理论上存在一定的争论.在实践中,该制度存在"错案"认定标准模糊、追责的"结果论"倾向严重、责任追究程序机制不健全和责任主体认定难等方面的问题.错案责任追究制度有其存在的合理性和正当性.要建立健全错案责任追究制度,需要坚持主观过错和客观行为相结合的原则,明确错案责任追究的程序机制,坚持权责一致原则,确保"审理者裁判,裁判者负责",坚持责任与保障相结合,保证法官的合法权益.

摘要： 在传统政府预算制度失灵、公民权利要求分化以及预算绩效制度重视的背景下,预算权私法化现象的产生是预算民主进步和现代预算法发展的必然结果.由于我国预算法未留存私法化倾向的空间,导致我国现有的预算法私法化改革未能纳入制度化、规范化、程序化的轨道,但是能依靠宪法、宪法性文件及其规范释义的方法寻找到预算法私法化的法律依据.在中国当前民主政治生态下,预算法私法化的规范路径,需要明确预算民主的基本原则,构建体现公民预算权的实体机制与程序机制,这是我国预算法修订和实施的私法化之路.

摘要： 宪法修改既可以通过宪法修改程序进行，也可以通过宪法解释、宪法规例和宪法判例的形式来改变宪法的一些规定或改变宪法条文的原有含义。人民的愿望和态度是导致宪法修改的最根本的程序性力量。各国根据自身政治文化传统、权力分配架构和社会结构状况对宪法修改权和修宪程序作出制度安排，以期充分汇集、表达人民的意志，达到防止不合理的修宪议案被通过和减少将来修改案实施的困难的目的。宪法修改程序是宪法规范和社会关系互动的权威机制，必须体现宪法适应社会要求和不断自我完善的内在规律。中国宪法规定的修改程序也存在不合理之处，应该采取必要的措施完善修宪建议权和提案权的程序规范，增加议决程序的民主性。

摘要： 《中华人民共和国招标投标法》自2001年1月1日实施以来，制定、颁布了大量的配套法规、规章。仅国务院办公厅就出台了《招投标活动行政监督职责分工意见》、《健全和规范有形建筑市场若干意见》、《进一步规范招投标活动的若干意见》等指导性文件；各级省人大、省政府制定了相关的条例和办法；建设部、建设厅对房屋建筑和市政基础设施工程也制定了相应实施细则，对完善社会主义的市场经济体制，建立市场经济的竞争秩序发挥了重要作用。建设项目招投标活动已成为社会广泛关注的焦点，本文介绍了大力提倡和推行三公开制度；设立科学合理的程序机制，以及以加大投标企业与中介机构违规成本为重点，完善招投标惩处激励机制等构筑合法有效的监管体系的具体做法。

摘要： 突发公共事件的特殊环境决定了其间政府信息公开应当具有及时性、主动性、准确性、广泛性与统一性。我国当前立法存在着法律规定过于分散、公开的内容比较模糊、公开的义务主体不一致、公开的程序机制不健全等缺憾，因而应当从制定《政府信息公开法》、明确界定公开内容、统一公开的义务主体、完善公开的程序机制等方面进行有针对性的改革。

摘要： 本发明公开在无线通信中应用于随机接入程序的后退机制的方法和设备。用户设备基于适用于用户设备的不同因子而为随机接入程序应用不同的后退时间。用户设备可以通过偏移或加权值调整后退时间，且可以基于不同后退参数值而导出经调整的后退时间。

摘要： 多个功能单元用以攫取与译码架构程序的架构指令，此架构指令属于处理器的架构指令集。执行单元包括第一存储器，第二存储器，多个处理单元与缓存器。第一存储器以列配置一装载数据。第二存储器装载非架构程序的非架构指令。多个处理单元用以执行非架构程序指令从第一存储器读取数据，对来自第一存储器的数据执行运算以产生结果，以及将结果写入第一存储器。缓存器装载指示非架构程序执行进度的信息。第一存储器并可由架构程序进行读取与写入。架构程序可利用缓存器内的信息决定对第一存储器写入数据或是读取数据的列地址。

摘要： 本发明揭示一种微控制器。所述微控制器包含中央处理器单元(CPU)和经由指令总线与所述CPU通信的快闪程序存储器。所述微控制器包含耦合到所述CPU的芯片上调试(OCD)逻辑。所述OCD逻辑含有检测所述CPU与所述快闪程序存储器之间的指令总线上的零操作码以提供程序断点的逻辑。这是超越现有技术的一个优点，因为可将任何数目的此类断点插入到所述快闪程序存储器中，而不需要擦除所述存储器。根据本发明的系统和方法以芯片上调试逻辑和复杂性的最小增加提供对基于快闪程序存储器的微控制器中的程序断点极大改进的支持。

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

摘要： 本申请实施例公开了针对目标程序具有反调试机制进行自动绕过的方法和装置，该方法包括：遍历系统中加载的所有模块，判断模块是否属于目标程序，确定属于则记录属于目标程序的模块的模块信息；调用信号处理函数，遍历系统的所有信号值获取注册的处理信号相关函数，判断信号处理函数signal是否属于目标程序模块，确定属于则注册新的通用信号处理函数替换原始信号处理函数signal，保存原始信号处理函数；目标程序接收信号后，启动新的通用信号处理函数，保存上下文context值，根据信号值获取对应的原始信号处理函数signal进行调用；原始信号处理函数signal返回后，判断上下文context值中的关键寄存器值是否相同，确定不相同则进行动态修改和/或静态修改代码。

摘要： 本发明提供了一种基于环境隔离机制的外部程序调用方法和系统，包括：对目标脚本片段进行合规性检查；若目标脚本片段检查合格，则将目标脚本片段加载到主脚本中，得到目标脚本程序；通过API将目标脚本程序注入到目标隔离容器中，得到目标脚本容器；通过API调用运行目标脚本容器，得到运行结果。本发明缓解了现有技术中存在的适用场景单一、部署方式复杂的技术问题。

摘要： 一种测试图卡，其调整具有光学系统和拍摄元件的相机，该测试图卡具备至少一个斜面，斜面具有至少一个边界线，该边界线形成颜色、浓淡以及亮度中的至少某一个的边界、并沿着该斜面的倾斜方向直线状地延伸，斜面配置成，相对于光学系统的光轴倾斜，并且在相机进行拍摄时，边界线与拍摄元件的像素排列方向不平行。

摘要： 一种用于启动安全客户机的方法，包括由在主机服务器上执行的管理程序接收在主机服务器上分派虚拟机(VM)的请求。由管理程序在主机服务器上分派VM。VM包括重启指令。重启指令由管理程序触发以在安全模式中重启VM。

摘要： 本发明公开了一种结合UEBA机制的程序白名单防护方法，其特征在于，具体步骤如下：建立多层神经网络层，所述神经网络层包括数据获取层、数据初步处理层、数据深度处理层、安全层、学习层和保护层；获取数据：通过数据获取层获取是数据信息；预处理数据：通过数据处理层对数据进行分类处理；深度处理数据：将分类好的数据进入到队列中按照相关优先级的顺序送入深度处理层处理，深度处理层处理后，形成相关的白名单基线对应关系；数据解码：通过安全层中的协议解码引擎对协议进行深度解码处理；白名单建模：学习层采用自学习模块学习，形成安全白名单；危险处理：通过保护层切断网络连接，同时进行告警。本发明可以基于白名单进行安全防护。

摘要： 本申请公开了基于群控机制的Android应用程序测试方法及系统，建立待测试的应用程序测试队列，扫描并启动通过USB线缆与PC端连接的Android实体机、通过网络与PC端连接的Android实体机和部署在PC端的Android模拟器；清空Android实体机测试环境内的残留数据；向Android实体机和Android模拟器，载入待测试的应用程序文件的辅助可执行文件；扫描待测试的应用程序测试队列，向Android实体机和Android模拟器，载入待测试的应用程序文件；启动待测试的应用程序文件，注入待测的输入事件；停止输入事件，清理测试环境，输出测试报告。