厚顶煤大断面综放回采巷道围岩支护方案

为解决马道头矿厚顶煤大断面综放回采巷道支护难题,调研了综放回采巷道工程情况与围岩变形破坏特征,分析了影响煤巷围岩稳定的因素。根据已有的支护理论并结合数值模拟研究了支护方案并分析了巷道围岩的稳定性。最后综合现场地质工程概况、模拟研究、理论分析及工程类比确定了厚顶煤大断面综放回采巷道的锚杆索联合控制方案,并将围岩控制方案在现场进行了实践。     

海上“落鱼”井实施打捞与侧钻方案的经济分析

井下"落鱼"打捞工期的不确定性导致施工成本不可控,制定合理的打捞经济决策点至关重要。本文以渤海油田某"落鱼"井为例,不打捞"落鱼"则需在"落鱼"上部进行套管开窗侧钻,为两开井身结构,打捞"落鱼"则在套管鞋下裸眼侧钻,为一开井身结构,放弃打捞或者盲目打捞都并非最经济的方案。通过对冲砂打捞工期进行量化,提出了经济工期和决策工期,通过现场尝试冲砂打捞作业,在决策工期内分析其作业难度,并判断是否能够在经济工期内完成作业,最大程度降低总体实施成本,提高油田开发经济效益。渤海油田A井应用该决策方法,共节约费用近420万元。提出的"落鱼"井打捞经济工期和决策工期计算方法具有一定的推广价值。     

做青工艺对乌龙茶特征香气成分影响的研究进展

做青是乌龙茶加工过程中的关键工序,是形成乌龙茶品质的保证,是形成乌龙茶特有的天然花果香的基础。同时香气品质在乌龙茶毛茶品质中所占比例较大,因此就乌龙茶做青对香气品质影响的分析具有实际生产意义。乌龙茶特征香气组分主要以醇类、酮类、醛类、酯类为主,如橙花叔醇、芳樟醇、香叶醇、β-紫罗酮、法呢烯、苯乙醛、茉莉内酯、茉莉酸甲酯。与乌龙茶特征香气组分形成有重要关系的一类内原酶:β-糖苷酶的研究也逐渐深入,其与糖苷类前体物质的水解反应释放了大量的香气成分。本文对乌龙茶特征香气组分、香气形成机制以及做青工艺对香气形成的影响进行综述,特别是将做青工艺和香气化学机制有机结合,旨在更好地为指导乌龙茶做青和提高品质提供依据和参考。     

电子值班综合报警管理系统的研究

分析自动化报警的管理现状及发展趋势,针对目前管理手段相对落后的现状,提出电子值班综合管理系统软件的设计思想与体系结构,并研究其实现机制.通过对不同子系统中的不同对象的统一监控,将电子值班管理技术平台化、集中化,实用化,从而有效地扩大了自动化监视与控制的范围,提升了自动化智能管理的水平和能力.最后,总结电子值班综合报警管理系统研究的价值.     

基于程序约束的细粒度JVM测试程序约简方法

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷。然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本。测试程序约简技术旨在保障测试程序缺陷检测能力的同时,尽可能的删减测试程序中与缺陷检测无关的代码。现有研究工作基于Delta调试在C程序和XML输入上可以取得较好的约简效果,但是在JVM测试场景中,具有复杂语法和语义依赖关系的Java测试程序约减仍存在粒度较粗、约简效果较差的问题,导致约简后的程序理解成本依然很高。因此,针对具有复杂程序依赖关系的Java测试程序,本文提出一种基于程序约束的细粒度测试程序约简方法JavaPruner。首先在语句块级别设计细粒度的代码度量方法,随后在Delta调试技术上引入语句块之间的依赖约束关系来对测试程序进行约简。以Java字节码测试程序为实验对象,通过从现有的针对JVM测试的测试程序生成工具中筛选出具有复杂依赖关系的50个测试程序作为基准数据集,并在这些数据集上验证JavaPruner的有效性。实验结果表明,JavaPruner可以有效删减Java字节码测试程序中的冗余代码。与现有方法相比,在所有基准数据集上约减能力平均可提升37.7%。同时,JavaPruner可以在保障程序有效性及缺陷检测能力的同时将Java字节码测试程序最大约简至其原有大小的1.09% ,有效降低了测试程序的分析和理解成本。     

采用多目标优化的深度学习测试优化方法

随着深度学习技术的快速发展,对其质量保障的研究也逐步增多.传感器等技术的迅速发展,使得收集测试数据变得不再困难,但对收集到的数据进行标记却需要花费高昂的代价.已有工作尝试从原始测试集中筛选出一个测试子集以降低标记成本,这些测试子集保证了与原始测试集具有相近的整体准确率(即待测深度学习模型在测试集全体测试输入上的准确率),但却不能保证在其他测试性质上与原始测试集相近.例如,不能充分覆盖原始测试集中各个类别的测试输入.提出了一种基于多目标优化的深度学习测试输入选择方法 DMOS(deep multi-objectiveselection),其首先基于HDBSCAN(hierarchicaldensity-basedspatialclusteringofapplicationswith noise)聚类方法初步分析原始测试集的数据分布,然后基于聚类结果的特征设计多个优化目标,接着利用多目标优化求解出合适的选择方案.在8组经典的深度学习测试集和模型上进行了大量实验,结果表明, DMOS方法选出的最佳测试子集(性能最好的Pareto最优解对应的测试子集)不仅能够覆盖原始测试集中更多的测试输入类别...     

并网独立双模式控制高性能逆变器设计与实现

本文设计并实现了一种小型的用于分布式发电系统的功率调节系统。高性能，高可靠性，高功率密度是功率变换装置的基本要求。传统的并网逆变器输出采用工频变压器，体积重量大，成本高。本文采用高频隔离的逆变器，消除了输出端的工频变压器。传统的桥式逆变电路存在桥臂直通问题，本文将双降压式逆变器用于并网发电场合，提高了可靠性，提高了效率。半周期调制方式的采用减小了器件的开关损耗，以及功率场效应管的导通损耗。以往的文献对并网逆变器的分析侧重于单独工作模式或者并网模式，较少涉及到独立工作和并网工作切换过程的分析。本文分析了双模式运行的逆变器的切换过程。采用TMS320F240DSP芯片实现数字锁相同步，实现并网和独立控制的逻辑和基准切换。在此基础上实现了一个500VA的实验样机证明了方案的可行性。     

一种基于遗传算法的多缺陷定位方法

基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善.为改善上述问题,提出一种基于遗传算法的多缺陷定位方法 GAMFal,具体来说:首先基于搜索的软件工程思想对多缺陷定位问题进行建模,构建了候选缺陷分布的染色体编码方式,并基于扩展的Ochiai系数计算个体的适应度值;随后使用遗传算法在解空间中搜索具有最高适应度值的候选缺陷分布,在终止条件被满足后返回最优解种群;最后根据这个种群对程序实体进行排序.这样开发人员可以依次对程序实体进行检查并最终确定多个缺陷的具体位置.实证研究以Siemens套件中的7个程序和Linux的3个程序(gzip、grep和sed)作为评测对象,并扩展传统的定位方法评测标准EXAM至EXAMF和EXAML,通过与其他经典的缺陷定位方法(Tarantula、Improved Tarantula及Ochiai)进行对比,并通过Friedman检测和最小显著性差异测试可得,提出的GAMFal方法在整体定位效率方面优于传统方法,且需要更少的人工交互.除此之外,GAMFal的执行时间也在可接受的范围之内.     

关于高等教育教学质量管理的策略研究

当今社会，高等教育教学的管理成为了当代高等教育的重大理论与实践问题，得到了高校教师与高校学生的广泛关注。教育教学管理是高等教育的生命线，也是其实现长久发展的基础。本文在介绍高等教育教学质量管理概念的基础上，对其内容进行了深入的阐述，进而提出了合理的教育教学管理策略，为今后我国高等教育教学质量管理的发展提供了理论依据。     

市场经济需要高素质人才

市场经济需要高素质人才唐山市水利局王赞，张庆宽一、现状１９９３年初唐山市水利系统共有干部职工３４２９人，其中行政干部１９０人。技术干部５７８人（占总人数的１６．８６％），工人２６６１人。在技术干部中，大学本科１００人，占１７．３％；大专１９３人，占３...