论行政程序之价值取向

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

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

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

计算机程序切片技术探讨

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

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

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

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

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

冶金热力学数据库应用系统的物质热力学性质程序(简称THERDYN程序)

本文对热力学数据库应用系统的一种THERDYN程序从设计到框图都进行了详细的论述。 阐述了本程序在应用程序系统中的地位及本程序在热力学计算中的功能。本程序提供了2200种物质及化合物的热力学性质的计算。     

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

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

一类二元表决程序的稳定性分析

在定义社会选择程序的稳定性判据的基础上，探讨了一类二元表决程序（修正案表决程序和顺序表决程序）的稳定性问题，同时对不同投票行为方式（诚实投票与策略投票）下该类二元表决程序的稳定性进行了比较分析．结果表明：在一般情况下，二元表决程序在策略投票方式下比在诚实投票方式下更趋于稳定     

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

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

试论邮电业务分营中的审计

论述了在邮电业务分营过程中审计的作用和目标,并结合邮电业务分营的具体情况,设定了相应的审计程序,即了解程序、分析评价程序、实证程序.并对这3类程序的使用进行了具体分析.     

Newton-Cotes求积系数与复合Gauss求积算法的程序设计

提出了利用Newton-Cotes公式进行数值计算时Cotes系数的程序设计方法和复合高斯求积算法的程序设计方法,在Matlab环境下编写了两算法的程序,数值实验结果证明了程序的正确性.两程序的编写为其应用提供了方便.     

假设检验的Matlab实现

利用Matlab程序设计语言,编写了3个假设检验的程序,并附上每个程序的应用实例,验证了程序的可行性,从而弥补了Matlab软件系统在假设检验这部分命令上的不足.     

兼容Windows程序的KgdLinux操作系统研究

针对当前国产自主Linux操作系统因用户不熟悉和应用软件少而推广困难的问题，提出了一种兼容Windows程序的Linux操作系统KgdLinux。采用层次式体系结构，由应用层、兼容层、核心层组成。应用层由Windows和Linux应用程序构成，核心层由Linux内核和各种共享库组成，而兼容层采用用户空间内核虚拟化方法兼容Windows程序，提供了PE程序的加载、虚拟Windows环境、模拟Windows API的功能。采用各种基准程序和常用程序对KgdLinux上运行Windows程序的性能进行测试，测试结果表明:与在VMWare Workstation、Longene上运行的Windows程序相比，在KgdLinux上运行的Windows程序拥有更好的性能，且接近程序在本地Windows XP上运行的性能。     

近似相对论与非相对论密度泛函理论高精度计算方法和程序

在已有的高精度非相对论密度泛函理论计算程序中编入新的方法进行近似相对论密度泛函计算、产生对称性群轨道和实现解析能量梯度计算及几何构型自动优化功能的程序。改进了原有程序的数值积分方案并且在MPICH环境下实现了程序的并行化。程序能满足对各种体系,特别是含重元素的体系进行量子化学计算的一般要求。对扩展后程序的功能和结构做了简要介绍。     

氟利昂制冷剂热力性质通用计算程序及理论制冷循环的计算机分析

本文在 PC 机上开发了 FORTRAN77语言编写的氟利昂热力性质通用计算程序,利用该程序计算了12种氟利昂制冷剂饱和液、饱和汽及过热蒸汽的热力性质表。开发了压缩制冷理论循环的计算程序。在以上两个程序基础上通过数据的优化分析,提出了理论制冷循环制冷系数的计算公式。     

一类表决程序的投票次序效应研究

对修正案表决程序和顺序表决程序在相互偏好信息完全不知和相互偏好信息完全已知这两种情况下的投票次序效应进行了研究，分析了具有不同偏好的投票人在不同了信息假设下的投票策略，给出了修正案表决程序和顺序表决程序的选择结果与偏好结构之间的相互关系。     

Newton—Cotes求积系求积数与复合Gauss算法的程序设计

提出了利用Newton—Cotes公式进行数值计算时Cotes系数的程序设计方法和复合高斯求积算法的程序设计方法,在Matlab环境下编写了两算法的程序,数值实验结果证明了程序的正确性．两程序的编写为其应用提供了方便．     

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

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

试论我国小额诉讼程序的构建

小额诉讼程序的缺失,违背了民事纷争的程序设置应与案件类型相适应的程序法理,是应当予以改革的。因此本文提出了构建小额诉讼程序的具体构思,并从小额诉讼的特征着手,系统阐述了小额诉讼在我国确立之必要性,及具体的程序设计问题。希望能对小额诉讼程序的建立提供一定的参考价值。     

定制通用报表打印程序的研制

介绍了通用报表打印程序的特点及实现方法,并阐明了该程序的主要技术,特别是COM技术在本程序中的作用;可以方便地装配在不同种类的MIS中使之集成一体。