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

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

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

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

浅谈监理程序

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

公路桥梁桩基础计算方法及其程序实现

本文阐述了所研制的公路桥梁桩基础设计计算程序系统的数学模型、结构和主要特点.该系统已在生产实践中通过.     

C程序递归变换预编译系统的设计

针对Ｃ语言程序中递归函数的变换问题，给出了预编译系统的设计。     

PLC测长数显系统的开发研究

利用ＰＬＣ的功能指令及内存资源，对输入的脉冲信号进行运算，存储和七段ＬＥＤ智能显示，给出梯形图原理程序和功能说明，中所用的机型为日本ＭＩＴＳＵＢＩＳＨＩ的ＦＸ２晶体管输出型ＰＬＣ。     

条码文法研究

以Ｃｈｏｍｓｋｙ关于形式语言的基本理论为工具研究了条码，得出了一组结论。这些结论对通用解码程序设计的研究，具有直接的指导作用。     

线性规划问题的一解双优性

本文研究了线性规划问题的目标函数与约束条件互换的问题,给出了一解双优的结论.即:若目标函数在X~((h))点取得最大值c.且约束条件过X~((h))点,当二者互换后,得新规划问题的目标函数在X~((h))点必取得最小值b_k:反之,若原目标函数在X~((h))点取得最小值c.则互换后,新的目标函数在X~((h))点必取得最大值b_k.     

基于ISO13584开放式零件库开发模式研究

给出ISO 13584零件库标准体系的具体内容．提出了Browse/Server零件库开发模式，研究了零件库的总体结构及各部分功能．对服务器端零件库组成结构进行了深入研究；对客户端的基于用户CAD系统的几何编程接口给出两种可行的实现方法。     

机会约束的影子价格

为了进一步对随机规划进行研究，通过定义机会约束规划的可靠规划的对偶规划，得到了随机规划的对偶规划的一些性质．从对偶规划的最优解出发，得到了机会约束的影子价格的概念，它反映了随机约束条件对于目标函数最优值的影响．通过实例来说明它在经济决策中的应用．     

TKCAD程序系统的总体设计,大部件图绘制及工程图库管理

TKCAD是在微机上开发的一个铁道客车CAD程序系统。本文探讨了其总体设计思想,研制了大部件图、明细表及技术档案的生成程序,并用Turbo Pascal语言编制了一个图库管理程序CADLIB。     

二层线性规划的模糊数学解法(Ⅱ)

针对上层有约束条件、下层有Ｎ个独立的决策单元的二层线性规划问题，提出了一种模糊数学解法。首先，把这种规划分解为若干单层规划；然后引入隶属函数，用３个定理对各单层规划的解进行讨论，最终把这种二层线性规划转化为求解一个单层线必规划问题。使问题得到了简化。     

考虑轨道弹性的机车动力曲线通过计算方法及程序实现

本文以科罗廖夫机车动力曲线通过计算理论为依据,探讨了考虑轨道的弹性时,机车动力曲线通过的计算方法,并通过编制计算机程序实现了这种算法.