仲裁裁决撤销程序的定位及建构

由于程序性质的定位错误及其导致的程序设置的非理性,中国仲裁裁决撤销程序出现立法缺失和司法混乱的局面,难以实现程序正义的立法理想,无法有效保障程序主体的合法权益,因此必须在对程序科学定位的基础上进行合理构建,以期实现程序设立的目的。     

让学生真正成为教学的主体——化学程序启发教学模式探析

对化学程序启发教学模式进行了3方面的透视,即化学程序启发教学的活动要素和程序、化学程序启发教材的特征性、化学程序启发教学模式的心理学基础,并以化学程序启发教学为实例,探讨了化学程序启发教学模式是如何让学生真正成为教学的主体.     

论行政程序之价值取向

介绍了程序、行政程序的概念,揭示了程序、行政程序的价值取向的内在联系,通过对行政程序正当性的分析,探究了行政程序的价值取向——公正与效率的问题,在此基础上,进一步分析了行政权主体分离和成本最小化下行政程序的效率价值取向及其相关问题。     

我国死刑复核程序理念的实然与应然

长期以来,我国以死刑刑事政策为理念建构死刑复核程序引发了一系列问题,对死刑复核程序的改造必须首先从理念上实现转变.以程序正义观念代替死刑刑事政策作为死刑复核程序的建构理念、以司法权的运作规律代替行政权的运作规律作为死刑复核程序设置的基础、以权利救济型程序代替政策实施型程序作为死刑复核程序的模式,并走渐进化改造之路,才能实现我国死刑复核程序的根本改革.     

小额诉讼程序与速裁程序的比较及立法选择

小额诉讼程序和速裁程序皆为我国民事诉讼简易化程序改革之产物,两者既有相同之处又有相异之点。从司法改革趋势来看,速裁程序日益凸显其实践价值,小额诉讼程序则逐渐式微。但是,不能因速裁程序之＂兴盛＂,小额诉讼程序之＂没落＂,而在倡举速裁程序之时,完全摒弃小额诉讼程序之功能性价值。毕竟,小额诉讼程序与速裁程序并无本质上的冲突和矛盾,两者均有值得引鉴的内在机制。所以,改进和整合小额诉讼程序和速裁程序,将小额诉讼程序置于速裁程序之中,成为速裁程序一部分更为合理。     

将C++程序转化为Java程序

如何把一个现有的C 程序转化为Java程序是一个很复杂的问题，这需要考虑程序需求、程序规模以及语言异同等多个方面。本文通过分析Java和C 之间的异同而给出了一个把C 程序转化为Java程序的通用轮廓思路。     

死刑复核程序的诉讼化及其程序正当性构建

死刑核准权收归最高人民法院解决的是死刑核准权的归属问题。死刑核准权收归后面临的问题是诉讼程序的行政化、程序内容的空洞化以及程序正义性的缺失从而使设置该程序的目的落空。因此,需要对死刑复核程序进行诉讼化和程序正当性构建。     

我国劳动争议处理机制之程序保障的应然价值取向

20世纪自90年代以来，程序保障的理论在诉讼程序上得到了极大的重视。为了构建和完善我国现行的劳动争议处理机制，笔者认为程序保障理论应渗透到劳动争议处理机制的各程序机制中。因此，本文提出了我国劳动争议处理机制之程序保障的三大应然价值取向，即程序公正、程序效益和程序安定，以及它们各自在劳动争议处理程序机制中的应然体现。     

罗马-教会法民事诉讼程序的特征及其历史地位

罗马-教会法民事诉讼程序在诉讼程序法中被称为“欧陆诉讼程序之母”,具有重要的历史地位。它缔造了现代民事诉讼程序的雏形,是诉讼程序理性化的开端。罗马-教会法民事诉讼程序以书面程序为原则、采行间接审理模式、严格的形式证据制度、诉讼程序断续迟延、发明了简易程序,形成正式-简易二元程序结构。它是英国衡平法诉讼程序及海事诉讼程序的渊源,还促进欧陆诉讼程序的统一和诉讼法学的形成。     

自动程序设计系统

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象的方法,讨论了程序的推广。证明了关于一类等价程序模式的定理,从而提供了该类程序模式推广时所用的算法。     

民事程序转换问题研究

《民事诉讼法》作为程序法必须以严谨的程序设计为依托,任何一项民事程序都有其运行规则和内在逻辑。由于民事法律事实的变化,可能会出现民事程序转换的情形。具体包括审判程序中简易程序与普通程序之间的转换以及非讼程序转换为诉讼程序两大类,而简易程序与普通程序之间的转化具体分为普通程序转化为简易程序和简易程序转化为普通程序两种,简易程序中的小额程序转化为一般简易程序或普通程序也是一种民事程序转化的形式。而在每一项程序制度设计的背后,其可行性、可操作性都是司法实践中无法避免的问题,程序之间如何转换,转换的空间和可能到底有多少,这些都是学界和实务界必须深入研究的问题。     

诉讼程序公正刍议

随着依法治国的深入开展,人们越来越关注司法公正了,实现司法公正是依法治国的一个重要方面。司法公正由诉讼程序公正和诉讼实体公正构成。本文将详细介绍诉讼程序公正观念提出的背景,现在社会对诉讼程序公正的理解,诉讼程序公正与诉讼实体公正的关系,诉讼程序公正与诉讼程序效率的关系,最后探讨诉讼程序公正在我国的实现。     

程序光盘目录结构剖析

为了解决用户直接读取程序光盘文件的问题及掌握程序光盘目录结构 ,本文对程序光盘目录结构进行了详尽的剖析 .并给出确定程序光盘、读取程序光盘相关目录结构、目录文件结构的方法     

计算机程序切片技术探讨

程序切片技术是一种分析和理解程序的技术，在程序切片技术提出的30年来，得到了很快的发展。本文主要介绍了程序切片的基本概念，程序切片的种类、算法以及用途。     

我国破产案件受理程序浅析

现代程序保障理论观点认为，程序赋予利害关系人的权利、提供的程序保障与关系人的相关利益大小、程序结果是成比例的。据此分析，我国破产案件的受理程序提供的程序保障与受理法律效力并不相称，案件受理给债务人及债权人带来一系列重大的法律后果，而作出这些后果的程序债务人或债权人基本上不能参与。且在一个极为狭小的受理程序空间内，要求法院对诸多复杂破产实体要件进行审查是不现实的。不能对实体要件进行审查，没有赋予利害关系人相应的程序参与权，影响重大的破产受理效力便失去了程序正当性。     

职务犯罪初查制度的合法性分析

在我国,初查程序在职务犯罪立案前被广泛运用,成为立案查处职务犯罪案件的必经程序,但刑诉法对初查程序没有规定,法理上对该程序的合法性也有诸多争议。文章基于初查程序的合法性分析,认为初查属于任意侦查的范畴,其合法性并不取决于其程序的法定化,提出了初查程序中所获取的证据具有证据能力的观点。     

我国民事司法鉴定程序之完善——以与勘验程序之比较为视角

我国现行法律设计的民事司法鉴定程序与勘验程序存在显著差异。但在理论上,民事司法鉴定程序与勘验程序在本质上具有一致性。法国及我国澳门地区民事诉讼法对民事司法鉴定程序与勘验程序关系的处理颇具特色,值得我们借鉴。通过参考勘验程序来重新设计我国民事司法鉴定程序,可以使鉴定人出庭的必要性大大降低,这有利于化解鉴定人不出庭的现实困境。     

程序错误的形式化定义和程序容错能力的分级

针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.     

罗尔斯的程序正义思想

在程序正义的学术史上,罗尔斯是无法忽视的重要论者。其对程序正义作为独立范畴的提倡,对程序正义三种形态的分析,开一时学术风气之先。在后期的理论发展中,罗尔斯直面批评意见,对其理论作出修正和发展。其程序正义思想重视程序的独立性,构建通过程序的正当化,重新思考程序正义与实体正义的关系。     

论死刑复核程序的性质定位及诉讼化改造

我国将死刑核准权收归了最高人民法院,并颁布了相关司法解释对死刑复核程序的运行进行规范但是,现行的死刑复核程序在性质上还具有浓厚的行政审批色彩,是一种诉讼程序与行政审批程序相结合的综合体。根据正当法律程序,我国应对控、辩、审三方主体在诉讼中的地位和作用进行合理调整,把死刑复核程序改造成为诉讼化程序。