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

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

民事程序转换问题研究

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

Prolog与C程序连接的实现技术

在图形用户界面广为流行的今天,人工智能程序设计大多仍基文本方式,通过程序连接的方式,人工智能程序也可以具有漂亮的ＧＵＩ界面,Ｐｒｏｌｏｇ是逻辑程序设计语言,Ｃ是过程型语言,Ｐｒｏｌｏｇ程序与Ｃ程序的连接为Ｐｒｏｌｏｇ提供了更强的计算能力和ＧＵＩ功能也为Ｃ语言的应用提供了智能推理能力。基于Ｔｕｒｂｏ Ｐｒｏｌｏｇ２．０和Ｔｕｒｂｏ Ｃ２．０,本文结合程序实例介绍了Ｐｒｏｌｏｇ程序和Ｃ程序的接口程序设     

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

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

关于C程序移植再编译方法的研究--计算机判阅c程序题的改进方法

c语言程序题的判阅是计算机考试中的重要部分。以往计算机判阅c语言程序题时，由于学生编写的c语言程序题死循环程序比较多，导致了计算机死机的问题。因此提出了C程序移植到vc 程序环境中再编译执行的方法，当出现死循环情况，对其执行的对话框进行关闭，解决了计算机死机的问题。     

新算法程序的开发初探

算法程序是用可执行程序设计语言或抽象程序设计语言描述的算法，开发正确，高效率的算法是计算机科学的核心，为了提高算法程序的可聿性和生广效率，人们正在追求算法程序开发的形式化和自动化。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

浅析正当法律程序——在行政法中的适用

正当法律程序是法治社会的一个重要标志和保证。正当法律程序对行政法的发展产生了巨大的影响,在其作用下行政法的基本原则得到了很大的发展,程序原则在行政法中逐渐受到了重视。坚持正当法律程序在行政法中适用的前提、方法和原则,坚持行政程序的立法法治、执法公开、公正才能够使行政法符合正当法律程序的要求。     

一种改进的程序流程图--层次流程图HFG

程序流程图是刻划程序控制结构的一种重要的表示方式，层次流程图（HierarchicalFlowGraph,HFG）是一种真正基于块、节点、段三层程序划分机制的完全图形化的新型程序流程图，将程序由二维空间拓展到了三维空间，HFG有效利用了块结构的构型特征和对象封装性，具有较高的可重用性和可扩展性，此外，HFG还提供了极为灵活的程序收缩和延展机制，可提供多级别的程序框架，在很大程度上改善了程序理解和测试工作。     

刑事赔偿程序的反思与构想

中国刑事赔偿程序存在着条文简单粗糙,管辖机关庞杂,赔偿义务机关权力过于强盛缺乏有效制衡,赔偿委员会职权有限等诸多弊端,因此,必须牢固树立程序公正意识,遵循诉讼规则,对现行的刑事赔偿程序加以立法改造和制度完善,构建正当的刑事赔偿程序。     

论我国民事诉讼程序设置的法理基础

民事诉讼法属于程序的范畴，民事诉讼程序的确定和变革离不开一定法学理念和理论的导引。法院审判权的独立、程序价值与实体价值的并存，当事人主义与职权主义诉讼模式的融合、诉讼与审判权的分权与制约应是指导我国民事诉讼程序设置的法理依据。     

几类危害网络安全的JAVA程序分析

分析了几类会危害网络安全的JAVA程序，揭示这类程序的运行和危害机理，为维护网络安全寻找思路。     

诉讼程序公正刍议

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

谈我国再审程序的完善

我国再审程序的体制缺陷使得再审案件剧增，法院的权威性与裁判的终局性受到破坏，笔者通过分析我国再审程序的特征提出应当从再审发动主体等方面对再审程序的启动予以合理限制从而完善再审程序。     

论鉴定人出庭作证的程序科学性

科学的鉴定程序本身应该是一个完整的系统，即它应该是包括鉴定结论质证程序在内的一个科学系统，如果缺少了鉴定人出庭作证的程序，案件中的专门性问题就难以得到当庭解决，使得鉴定结论的质证变得困难，势必造成鉴定程序本身科学的系统功能受到蚕食。同时，与鉴定结论厉害相关的当事人的质证权亦受到侵害。     

看不见的正义非正义

正义通过法律予以实现，但归根结底还是靠程序正义加以实现。程序公开是程序正义的内在品质之一，实际程序公开有助于实现程序公正。然而考察我国刑事司法实践可以发现，诸如审判不公开、侦查不公开，证据不公开等诸多程序不公开现象在一定范围内还相当普遍，对此予以理性分析，寻其生长原因与相应对策是我国司法改革的当务之急。     

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

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

“符合程序”代表不了公正——由一则新闻报道引发的深入思考

公平正义是我们当今社会的价值追求,也是实现社会和谐的先决条件。没有公正,社会和谐肯定无从谈起。由于要实现公平正义首先就要按法、按章办事,即＂符合相关程序＂,以程序制约实体,从而达到整个社会无偏私、无特权这一实体公正结果的出现。所以说＂符合程序＂、＂程序正当＂肯定是实现社会公正的前提条件和基本保证。可是,时下所爆发出的很多被民众质疑为不公正的事件却被有关部门答复为＂符合程序＂或＂程序正当＂,然后再无下文。本文作者试图从一则新闻报道入手,探讨究竟什么是＂程序正当＂、既然＂程序正当＂为什么还被民众质疑等,以及在新形势下应如何通过程序正当保障公正等。     

“三角形程序”对广义FIBONACCI序列的应用

本文将文[1]提出的“三角形程序”应用于广义的Fibonacci程序，得到了广义Fibonacci程序的一组恒等式及一些互反关系式。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。