处刑命令程序的价值与实现评析

作为刑事简易程序之一的处刑命令程序的实质是一种试探性审判过程,它维持了程序正义的底线,具有极大的适用价值。以德国为代表的几个发达国家已经形成处刑命令程序之适用范围、启动、法官审查与决定、征求被告人及辩护人的意见等一系列较成熟的制度。从我国刑事简易程序长远发展的角度看,借鉴国外经验设立我国的处刑命令程序是必要的。

处刑命令程序的价值分析

处刑命令程序是大陆法系国家普遍采用的一种高效的刑事诉讼简易程序。本文主要考察了处刑命令程序的内在价值,即处刑命令程序的正当性及对被告人人权的保护,思考该程序对我国刑事诉讼的现实借鉴意义以及对于构建我国刑事简易程序制度的价值所在。

令状主义及其适用程序初探——兼谈我国刑事司法命令程序的重构

令状程序是令状制度中的核心内容,国外刑事司法令状程序比较完备。我国也存在刑事司法命令,但由于法律文化传统与宪政制度的差别,导致与国外令状制度在内容与原理上的差异。根据我国国情,针对司法实践中存在的问题,提出借鉴国外令状主义的合理因素,重构我国刑事司法命令程序的设想。

比较法视野中的处刑命令程序研究

处刑命令程序是大陆法系国家和地区普遍采用的一种无起诉书、无开庭决定、无法庭审理的书面性刑事简易程序。本文在介绍了处刑命令程序的一般运作模式基础上,分析了该程序的诉讼效率价值和程序正义价值,并论述了我国对该程序借鉴的必要性与可行性。

处刑命令程序比较研究

处刑命令程序是大陆法系国家和地区普遍采用的一种无起诉书、无开庭决定、无法庭审理的书面性刑事简易程序。本文在介绍了处刑命令程序的一般运作模式基础上，分析了该程序的诉讼效率价值和程序正义价值，并论述了我国对该程序借鉴的必要性与可行性。

对DOS批命令程序的智能处理

如所周知,在电脑键盘上,成百个功能各异的单键中,总有几个自带智能特征的“开关键”:当用户敲奇数次数,可使系统改变原来的操作状态;而当用户敲偶数次时,又可使系统回复到原来的操作状态。 此类“开关键”,在各种不同的系统中,都有设置,具体规定,简单列表如左上表: 笔者从电脑培训班的教学实践中发现。

浅谈我国刑事诉讼简易程序之不足——从处刑命令程序谈起

在不妨碍公正处理案件的前提下,对某些案件,国家、社会及当事人或许宁愿作出某些让步或牺牲,来换取刑事程序的较高效率,这是国家、社会及个人基于各种利益的衡量而作出的有利选择。一些国家的处刑命令程序就是对刑事程序效率价值追求的结果。本文从对这些国家处刑命令程序的阐述与比较谈起,论述了我国刑事诉讼简易程序的不足,以期在我国刑事诉讼法修改与完善的过程中,可用以借鉴和吸收。

命令解释程序的设计与实现

本文介绍了一个用ＴｕｒｂｏＣ语言设计的操作系统的命令解释程序，说明了该程序的内部命令表结构，提出了命令行获取过程中历史机制的实现方法，解释了该程序中定义的部分内部命令及通过创建子进程执行外部命令的过程。最后指出了该程序如何替代ＭＳＤＯＳ的ＣＯＭＭＡＮＤ．ＣＯＭ程序，并对设计一个更完善的命令解释程序进行了探讨。

命令式程序终止性验证方法综述

作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比。总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架。

命令解释程序的国际化

软件国际化是目前国际上流行的软件本地化方法,作者使用国际化的方法成功地对UNIX中常用的命令解释程序ksh和sh进行了本地化。在命令解释程序的国际化中,输入和输出占据了很大的比重,同时ksh历史文件机制国际化也是一个典型的事例。本文主要阐述作者在对ksh这两个部分的国际化中采用的策略。

处刑命令程序的价值及其在我国的实现

起源于德国的处刑命令程序作为一种简易程序,具有重要的诉讼价值。本文在介绍了处刑命令程序的立法现状及其一般运作模式的基础上,分析了该程序的程序正义价值和诉讼效率价值,并对我国的立法提出建议:我国应当引入处刑命令程序,以实现简易程序的多样化。

一种基于命令解释程序的图形参数化方法

通过对图形参数化的分析，提出了一种新的方法，该方法通过开发一绘图命令解释程序，可以达到快速图形生成，并且避免了大量重复的绘图代码，图形越复杂，越能体现出其优越性。

使用VB为命令行程序包装用户界面

ＶＢ可迅速快捷地开发出友好的用户界面，受到广大程序员的青睐．但在使用ＶＢ为现有的命令行程序包装用户界面时，存在着如何与命令行程序进行数据交换以及如何同步调用命令行程序的问题，将介绍３种不同的解决方法．

DOS命令测试程序的设计

一、问题的提出 微电脑的普及使得各校均将DOS选为计算机基础课程的教学内容之一。目前教师对学生使用常用DOS命令的水平(或能力)的测试方式主要有:笔试和上机测试两种。上机测试是较科学的测试方法,但上机测试不能仅凭教师观察学生操作的方法,必须借助测试软件。

DOS中常用的批程序命令及使用技巧

批程序(BATCH)也称批处理命令文件。它是DOS命令集,以BAT为扩展名,是除了COM、EXE文件外,能直接在DOS下运行的一种命令文件,使用它可以简化许多重复操作,日常中的用得十分频繁。因而,正确、合理、最优地使用它,可以带来许多方便,同时DOS系统也对批程序提供了许多专用命令,一般的DOS手册对这些命令是分开描述或只是略提,笔者希望通过如下总结,对DOS初学者有所帮助。

MS-DOS3.20版操作系统命令处理程序

命令处理程序是操作系统与用户的接口,它的主要任务是分析和执行用户的命令。 DOS操作系统缺省的命令处理程序放在文件Command.com中。用户可以在系统配置文件Config.sys中,通过使用shell命令来用自己设计的命令处理程序代替Command.com文件。 DOS操作系统中的Command.com文件共有以下三个组成部分。·常驻部分,占内存2.97K; ·初始化部分,占内存1.95K; ·复盖部分,占内存18.29K。