论民事再审程序之重构--基于程序价值的基本思路

民事再审程序作为具体民事诉讼程序制度,体现和承载着民事诉讼程序自由、公正、安定和效益四种基本价值,因此,民事再审程序制度须以维护人的尊严为最高理念,融程序主体性原则于其具体程序规则之中,取消人民法院、人民检察院依职权发动再审,尊重当事人民事再审程序主导权,以体载民事诉讼制度现代化精神.     

道路坐标放样计算程序几项编程技术的改进

在道路现场测量和放样领域中,道路坐标放样计算程序至关重要。如何进一步改进原有老程序,大大提高现场测量计算及放样的效率成为了亟待解决的问题。通过改进程序可以加快程序的运行速度和特殊路段坐标放样计算问题,增强了程序的计算功能,提高了程序的重用性,同时改进程序计算结果的输出问题。     

浅谈监理程序

结合工程实践,强调了监理程序的重要性,并就工程分项开工程序、质量控制程序和工程变更程序阐述了工作中容易出问题的地方,明确指出在我省高速公路建设全面认真推广精细化管理的施工环境中,切实把握好每一项程序是至关重要的。     

微型计算机在机械零件自动设计中的应用

本文介绍笔者用BASIC语言自编的三个程序(传动装置运动及动力参数计算程序,三角带传动设计程序,齿轮传动设计程序)在CESEC微型计算机上实现机械零件自动设计的过程和基本方法。     

论司法公正理念下的刑事诉讼程序改革——以减刑程序的重构为视角

新修订的刑事诉讼法中,对减刑程序也没有实质性的完善,近年来我国减刑程序暴露出的诸多问题仍然没有得到解决,影响了司法公正.针对目前我国减刑程序中存在的各种弊端,有必要对减刑程序进行重构,以保证刑事诉讼最后一道程序的公开、公平、公正,最大程度地实现司法公正.     

Prolog程序正确性的一种证明方法

提出了一种Ｐｒｏｌｏｇ程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Ｐｒｏｌｏｇ程序的正确性。同是，以整数划分问题Ｐｒｏｌｏｇ改进程序和证明为例，说明程序设计应立足程序说明和程序正确性的证明。     

基于VB的FFT算法的设计和实现

分析了基于2FFT算法的原理，运用VB实现了该算法的程序设计并测试了程序运算的时间，其结果征明该程序能满足信号实时处理的要求，最后在MATLAB中对上述VB程序的变换部分进行了验算。     

PDG算法在动态切片技术中的应用研究

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维护等方面具有广泛的应用.介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用.     

基于性能的导航(PBN)对我国民航进近方式发展影响的研究

对PBN概念下各类进近程序进行了探讨,研究了RNP APCH和RNP AR APCH两类进近程序的不同特点,提出了在不同地区选择使用不同适合种类进近程序的方法,使PBN程序在提高飞行安全水平,增加机场容量和运行效能方面发挥最大效能,促进PBN程序在我国的应用,满足我国民航交通运输快速发展的需要.     

路线中桩测量计算程序浅析

本文主要通过对路线中桩测量程序编写思路的浅析，阐述了目前最常见的路线测量程序的编写方法，以及程序编写过程中经常遇到的问题及注意事项。     

轴对称体温度场有限元程序的编制

通过建立一套求解轴对称体稳太和非稳态温度场的数学模型，编制了相应的９节点等参元有限元程序，并用模型对程序进行了检验，结果证明程序是正确的。     

目标驱动的DBQAIC语言编程训练软件的实现

该编程训练系统以教师程序为匹配目标，通过学生程序与教师程序行的比较来检查学生程序的正确性。学生程序在算法和语句选择上要求与教师程序一致但在变量命名，表达式等价检查，字符串比较，语句排一我次序的动态调整以及可选择匹配的支持等提供匹配灵活性。     

拱桥有支架施工加载程序优化设计

结合和平大桥工程实例,开展了施工单位拟定的拱架加载程序变形与应力计算。针对加载程序中拱架出现的"W"型变形和应力不均匀等问题,提出了有支架施工加载程序优化的一般原则和在加载过程中拱顶临时压重的方法,在此基础上对原有拱架加载程序进行了优化。分析结果表明,优化后的加载程序使拱架变形和应力趋于合理,达到了加载程序优化设计的目的。     

多层住宅轻钢结构静力计算程序设计

本文重点介绍了多层住宅轻钢结构的受力特点、截面形式和静力计算理论;提出了将普通钢结构程序修改为多层住宅轻钢结构程序的具体流程．为多层住宅轻钢结构程序的进一步发展提供参考．     

基于Web的程序执行效果动态演示软件的设计

程序的单步演示有利于学生理解程序的执行流程,也方便教师的讲解.本文介绍的演示软件采用Java Applet编程实现,该软件具有较大适应性,被演示程序和执行效果描述均通过Applet参数传递.     

解读《道路交通安全法》实施后的交通事故处理程序

交通事故处理程序是公安机关交通管理部门行政执法行为中的重要内容，在《中华人民共和国道路交通安全法》(以下简称《交通安全法》)、《中华人民共和国道路交通安全法实施条例》(以下简称《实施条例》)和公安部令第70号《交通事故处理程序规定》(以下简称“程序规定》)中，都对交通事故处理的程序进行了规定。规范公安机关处理交通事故的程序是《程序规定》的主要立法目的之一。根据依法治国和依法行政的要求，行政主体在实施行政行为时，应当遵循程序法定、公正、公开和效率的原则。历史表明没有程序的公正就没有实体的公正。     

交通法规制定程序规定

第一章 总则 第一条为规范交通法规制定程序和交通立法行为,保证交通立法质量,根据<中华人民共和国立法法>、<行政法规制定程序条例>和<规章制定程序条例>,制定本规定.     

交通法规制定程序规定（中华人民共和国交通部2006年第11号令发布）

第一章总则 第一条为规范交通法规制定程序和交通立法行为，保证交通立法质量．根据《中华人民共和国立法法》、《行政法规制定程序条例》和《规章制定程序条例》，制定本规定。     

多项式程序模型的互模拟等价

针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析．给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题．最后给出并发程序的相关实例．     

浅论道路运输管理的行政程序

行政程序是指国家行政机关在行使行政权力,实施行政活动过程中所遵循的方式、步骤、顺序以及时限的总和。根据道路运输管理法规、规章中的行政程序,阐述了行政程序是依法行政的重要保障。