浅谈监理程序

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

涵洞计算程序

介绍圆管涵、盖板涵涵长及主要工程数量的计算程序。本程序根据《涵洞设计手册》采用Ｆｏｒｔｒａｎ－７７语言编写。     

交通法规制定程序规定

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

列车运行牵引计算程序

本文介绍了有关电力机车牵引计算的程序。文中着重阐明在程序中是如何解决电力机车牵引计算的各种要求的。当然,也介绍了程序设计的全部细节。     

严密平差通用程序

针对工程测量的平差计算问题，编制了可快速解算复杂平差问题的严密平差通用程序，介绍了该程序的模块式结构及功能，数据文件的格式，并举例进行了计算，最后总结了该程序的优点。     

拱桥计算程序

为了加快主拱圈座标，拱上建筑尺寸和结构承载能力的计算，减少繁琐，利用卡西欧fx-4500P计算器可编程序并根据现行的《公路桥涵设计规范》编制了一套拱桥计算程序，该程序适用于悬链线砖石，混凝土拱桥的主拱圈座标，荷载内力和主拱圈正截面强度验算。     

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

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

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

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

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

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

合同结算表格程序

介绍了在QBASIC环境下自动生成中间计量表格程序的运行过程和使用说明。     

高速公路项目前期审批程序分析

通过对高速公路建设项目立项批复、前期十一项专题审批手续办理的基本程序进行全面分析,并对如何抓好设计阶段的管理做了简要阐述,使我们对项目前期审批程序有较为全面的了解,有助于加快高速公路项目前期审批手续的办理。     

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

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

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

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

通用报表打印程序的设计

给出了一种通用报表打印程序的设计与实现方法     

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

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

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

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

论刑事审判监督程序的现代转型

我国现行的刑事审判监督程序深受传统文化和司法理念的影响，在价值理念和基本制度架构上，均存在着背离现代刑事诉讼理念之处，如价值理念错位、人权保障理念缺位、程序结构异化，等等。与我国现行刑事诉讼制度的发展同步，刑事审判监督程序也面临着由传统向现代转型的艰巨使命。当前，《刑事诉讼法》修改在即，刑事审判监督程序改革成败与否的关节点就在于能否通过现代型刑事诉讼理念的引入，实现刑事审判监督程序的现代转型。     

管辖权异议上诉程序探析

管辖权异议上诉程序旨在于案件管辖权方面为当事人提供更充分的救济途径,然而司法实践中经常被滥用。以管辖权异议上诉程序的价值为研究起点,在对该程序运行状况进行实证分析的基础上,揭示滥用管辖权异议上诉权的主要特点、危害及原因,并对如何规制管辖权异议上诉权的滥用进行了探讨。     

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

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

LASER300微机的重排行号程序

在编制较大的应用程序时经常需要进行程序的成块删除和合并以及对源程序重排行号等操作。在配置64KRAM 扩充卡的 LASER 300微机上,用户可用 BASIC 程序区将近34K 字节,可编制中小型的实用程序。但由于该机没有提供这些程序处理功能,因此在具体工作中很不方便。为此,我们为该机编写了重排行号的程序。本程序按用户给定的起始行号和增量对全程序重排行号,包括修改程序中 GOTO,GOSUB,THEN 以及 ELSE 等语句后面出现的转向行号在内。但不能修改程序注