模袋砼护坡的施工工艺及要求

介绍模袋产品及其发展历史，详细阐述模袋砼护坡的施工工艺及要求，包括边坡处理、模袋铺设、混凝土的生产、充灌及现场清理、养护。     

远程控制及图象传输的研究

对计算机网络环境下的机房管理提出了一些实用工具，论述了使用Windows Sockets实现远程控制等功能的原理、实现技术和实现方法。     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

使用ASM与AAM方法进行器官定位

器官定位是人脸识别中的一个重要环节 ,它的精确性影响到人脸的正确识别率。本文主要研究主动形状模型 (ASM)和主动外观模型 (AAM )的原理、方法 ,并以具体例子说明其在器官定位中的应用 ,分析它们的共同与不同之处     

粮库地理信息系统的设计与实现

将GIS技术应用到中央直属储备粮库的管理 ,建立了中央直属储备粮库地理信息系统 ,论述了系统的设计方法、实现技术。     

求解带球约束的变分不等式问题的二次外梯度投影算法

二次外梯度投影算法是求解变分不等式问题的一种重要算法 .在这种算法中 ,每迭代一次需要计算两次投影 :第一次为到可行域上的投影 ,第二次为到可行域或可行域与一超平面的交上的投影 .本文对现有的变分不等式问题的二次外梯度投影算法进行分析 ,并对可行域为球的二次外梯度投影算法的计算过程进行简化 .最后 ,我们给出了数值分析 .     

数字定时控制交流电源

简要说明定时控制器的概念后,着重分析所给数字定时控制交流电源电路原理,该数字定时控制交流电源既可对用电器定时通电,又可定时断电,且可方便地定时于一天的任意时刻.     

从一个实例分析电磁场的角动量

通过对处于变化外磁场中的圆柱形电容器的定性讨论和定量计算，把电磁场的角动量这一较为抽象的概念具体化，分析并论证了电磁场确具有角动量，且可与机械角动量相互转换，在转换过程中遵循守恒定律。     

张力减径机孔型设计系统

主要研究开发了钢管张力减径机减径过程的传统孔型、圆孔型、椭圆孔型的设计系统 ,研究了有关孔型设计过程的优化问题 ,成功地为钢管生产厂家提供一套张力减径机孔型自动设计系统 ,有效地提高了工作效率和设计的可靠性     

调度指挥在铁路安全生产中的作用

从确保安全生产和提高铁路运输效率两个方面，阐述了调度指挥在整个铁路运输中具有的重要作用，提出了搞好铁路运输调度工作的措施。