计算机基础试卷自动生成系统的开发及应用

文章介绍了一种基于面向对象程序设计方法的计算机基础试题库系统的开发过程,对试题数据库的数据模型、系统的功能、总体设计思路以及系统目前的应用情况作了较详尽的介绍.     

新型锚喷支护结构在萍乡矿区的应用

根据壳体结构的力学原理设计地下新型网壳喷层结构，大幅度提高喷层的抗弯能力，同时使喷层整体具有一定的可缩性，能承受强大变形地压及采动荷载，达到用较少材料又提高喷层支撑能力与让压的目标，较好解决了加强支撑、喷层合理配筋、简化施工作业、降低材料消耗等问题，在萍乡软岩巷道中进行了工业性试验。     

小窑采空区在地震勘探时间剖面上的解释

从山西晋城小窑采掘现状入手，结合钻探制作煤全采、未采、半采三种模型的合成地震记录换层分析，分析其波形特征，标定了时间剖面上的采空区段与矿方实际采空区基本吻合。     

现浇混凝土的质量控制与质量检测

对建筑工程中如何控制与检测现浇混凝土质量的方法做了简单介绍。     

A ROBUST DECOMPOSITION OF LINEAR PROGRAMMING USING A GOAL-PARTITIONING METHOD

The Dantzig/Wolfe linear programming decomposition algorithm has had important economicinterpretations as well as a widespread impact on solving large scale linear programming problem.Inthis paper we consider a similar underlying structure,where however there is only one couplinginequality or equation.With this simplification,we demonstrate how to achieve an equitable partitionof the overall coupling resource to individual subproblem constraints through a simple iterationprocedure which appears to be very efficient.     

基于软件内建自测试的模板和基准程序设计

论述了软件内建自测试项目中“模板”模块的设计方法，利用硬件测试中所使用的基准电路的思想，研究并开发了一种基准程序，使用这种基准程序，可以较为方便地对所生成的测试用例进行测试，最后给出了一个基准程序实例。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

吊舱式推进装置水动力性能试验研究

对吊舱式推进装置进行了多方案的模型试验研究，考察了串列式吊舱推进装置前后桨的负荷匹配及初始相位角的影响。空泡水筒敞水试验结果表明，无论双桨串列式或单桨拖、推式吊舱推进装置，由于吊舱影响使螺旋桨效率均比常规桨有所提高；但若计及吊舱阻力则吊舱推进装置的系统效率有所下降。可以预见，吊舱式推进装置因其众多的优越性而具有广阔的发展前景。     

加入WTO后政府职能的重新界定与细化

加入WTO后政府的角色定位至关重要，基本问题是政府与市场的关系。政府要摆正角色．不过问份外事，退出对经济的不必要干预；干好份内事，强化组织管理，严格组织规范，行政透明、民主、公正、高效。     

在UBBE框架下考虑不肯定的上界的估计方法

对目前的ＵＢＢＥ模型进行了适当的推广，使在解决估计问题时可以考虑那些可能是误差上界的数值，并在此基础上提出了一种方法，能够通过对估计精度和可靠性进行合理的权衡确定所需估计值，实际案例研究结果表明所提方法能够较好地解决估计精度和可靠性之间的矛盾。