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

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

技术组织的进化

通过对技术发展过程的分析，揭示了技术组织形式必然要进化的原因。介绍了技术组织的历史发展过程，指出随着生产的发展、技术的进步，技术组织会不断地进化。     

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

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

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

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

反思的现代性与技术理性的解构--海德格尔和福柯论现代技术问题

海德格尔和福柯对于现代技术问题的思考属于某种反思的现代性立场：无论前者对机械技术的本质的追问，还是后者对自我技术的谱系学分析，都没有简单地否定现代技术，而是揭示了现代技术的解蔽和遮蔽双重性。这样的立场告诉我们：面对现代技术的极度张扬，哲学应该坚持一种保守主义姿态，应该在更新的意义上恢复经验的地位。     

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

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

LOGISTICS SCHEDULING： ANALYSIS OFTWO-STAGE PROBLEMS

This paper studies the coordination effects between stages for scheduling problems where decision-making is a two-stage process. Two stages are considered as one system. The system can be a supply chain that links two stages, one stage representing a manufacturer; and the other, a distributor It also can represent a single manufacturer, while each stage represents a different department responsible for a part of operations. A problem that jointly considers both stages in order to achieve ideal overall system performance is defined as a system problem. In practice, at times, it might not be feasible for the two stages to make coordinated decisions due to (i) the lack of channels that allow decision makers at the two stages to cooperate, and/or (ii) the optimal solution to the system problem is too difficult (or costly) to achieve.Two practical approaches are applied to solve a variant of two-stage logistic scheduling problems. The Forward Approach is defined as a solution procedure by which the first sta     

一种可视化CFD网格生成方法

结合可视化技术 ,提出一种CFD前处理中的网格生成方法。阐述了CFD前处理中存在的问题 ,并针对这些问题构架起专用的绘图平台。详细介绍了网格划分的思路及实现方法 ,并将网格自动生成模块集成在绘图平台中。实践证明 ,这种可视化CFD网格划分平台操作界面方便友好 ,算法简捷正确 ,大大简化了前处理工作的复杂性 ,具有很高的实用价值     

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

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

哈夫曼编码的JAVA实现

叙述了哈夫曼编码的思想以及用JAVA语言实现其程序设计的详细过程