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

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

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

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

自动程序设计系统

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

论行政程序之价值取向

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

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

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

民事程序转换问题研究

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

诉讼程序公正刍议

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

罗尔斯的程序正义思想

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

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

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

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

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

电视真人秀节目的真实性探究——以《爸爸去哪儿》为例

电视真人秀节目主要是通过对真实发生的事件进行拍摄,这种节目的主要特点就是具有非常强的真实性,凭借着这种真实性节目风格获得广大观众的青睐。观众对于这种真实性的节目会产生一种信赖感,同时在观看的过程中产生共鸣,以此和真人秀节目建立一种稳定的默契关系,从而发展成为这个节目的忠实粉丝,而这个节目也因此获得了非常稳定的收视人群。本文将以电视真人秀节目《爸爸去哪儿》为例对节目的真实性进行讨论。     

超想-3000TB综合实验/仿真系统编程的改进

在超想3000TB综合实验/仿真系统中,中断程序的编写与调试过程比较复杂,为此,提出了在用户程序中,用程序自动向8086中断向量表写入中断向量的方法,显著简化了该系统中断程序的调试过程与步骤;另外,针对在该系统内存中查找数据和查看结果困难的问题,设计出了多种方法加以改善,使用户在程序的调试过程中查找数据和查看结果变得方便快捷.     

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

岩体拉破坏非线性分析有限元程序的编制及其算例

根据岩体拉破坏的本构关系建立了岩体拉破坏非线性分析的有限元程序,并用简单的算例证明了该有限元模型的合理性和程序编制的正确性·把该程序嵌入到一般的岩体弹性及弹塑性分析有限元程序中,较好地反映了岩体受拉应力作用的变形特征·     

Warshall算法在MPI中的实现及优化

Message Passing Interface并行编程方法是目前编程人员广泛使用的方法之一,但此方法将并行性开发的任务完全交给编程人员,程序的质量与效率往往因编程人员水平及风格不同而各异,在Message Passing Interface环境下把传统串行程序转变为并行程序从而提高其性能．此外通过MPI所提供的函数来进一步优化并行程序以便提高其性能,     

电视谈话节目浅析

随着现代传播技术的不断进步，电视谈话类节目逐渐成为全球电视节目的主流形态之一。本文探讨了电视谈话节目的组成要素、传播特点及促使其产生的文化背景，并根据电视谈话节目的现状，提出了今后的发展方向。     

关于串行程序并行化

并行程序设计主要有两种途径,即使用并行程序设计语言编写并行程序,或将串行程序并行化.串行程序并行化是一种比较有效的并行程序设计的途径.通过介绍并行技术的现状及相关分析的一些定义,给出了一个关于在串行程序中识别可并行执行语句的算法,论述了这一算法的意义.     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

用C语言编写屏幕保护程序

图形程序是计算机程序中很重要的内容,我们可以利用C语言中的图形函数编写出风格迥异的屏保程序。本文通过具体程序,介绍了用C语言编写屏幕保护程序的基本思路和方法。     

向心透平二维设计通用程序的分析方法及结构

本文发展了一种适用于向心透平设计分析的通用计算机程序。该程序利用合理的几何模型和损失模型,使设计更准确、合理;在叶轮出口处,较好地考虑了参数的径向变化;此外,该程序还具有多种分析求解的功能,对不同设计要求具有较好的适应性。经与设计实例比较,该程序计算结果与实例吻合较好,具有实用价值。