聚能爆破管技术在岩巷掘进中的应用

介绍了聚能管爆破技术原理，给出爆破参数和数值，制定爆破图表，根据爆破效果进行了技术经济比较。     

聚能管爆破技术在岩巷掘进中的应用

介绍了聚能管爆破技术原理,给出了爆破参数和数值,制定了爆破图表,根据爆破效果进行了技术经济比较。     

MS-41型塑料膨胀可回收金属锚杆在回采巷道的应用

介绍一种用于煤矿回采巷道支护的新型锚杆,分析研究该锚杆在回采巷道工业性试验中的力学性能及支护特性。结合支护效果与其它支护形式进行技术经济比较。     

顺序程序的并行转换器

在分布式系统环境下,如何将在单机上运行的顺序程序转换成可在多机上并行执行的并行程序,是急待解决的问题。本文提出了一个基于程序相关图(PDG)的顺序程序的并行转换系统。该系统在相关分析的基础上,对相关图实施优化,系统地削弱了语句间的数据相关性,提高了程序的并行性;并在优化的基础上对相关图进行分割,最终生成并行程序段。     

NGEST—新一代专家系统工具的一个原型

1.引言 专家系统自从六十年代中期问世以来,已经取得了令人瞩目的成果。当今专家系统已经深入到各种应用领域,形成遍地开花的局面,遗憾的是,同人类专家相比,现有专家系统只能达到一般水平,现有专家系统的缺欠迫使人们研制第二代专家系统。第二     

线性规划在时序电路中的应用

针对ＡＳＩＣ的逻辑综合典型过程中结构级优化后出现的时钟歪斜、时序混乱现象，分析了电路的结构。运用线性规划方法解决了逻辑综合中同步时序电路的优化和组合逻辑电路优化的问题。为逻辑综合中时序正常的运行提供了最佳方案。     

群机系统上单并发任务簇的近优分配算法

缩短程序的序的时间是并行处理的首要目标,有效的任务分配算法是实现这一目标的关键,对群机４系统来说更是如此。文中针对并行语言中常用的并行范式－单并发任务簇提出了近优分配算法ＯＰＴＡ,并在群机系统上做了与ＭＨ算法的比照实验,结果表明较ＭＨ算法缩短程序执行时间１０％左右．     

聚能管爆破技术在岩巷掘进中的应用

介绍了聚能管爆破技术在宁煤集团二矿三水平暗副斜井下部车场大巷172m试验段掘进爆破中的应用情况。阐述了聚能管爆破技术原理,对爆破效果进行了技术经济分析。     

使用轨楔加固碹体端头

介绍一种用于加固料石砌碹巷道碹体端头的器具——轨楔,分析其工作原理及支护状态,介绍使用方法。     

A metrics suite for coupling measurement of software architecture

To better evaluate the quality of software architecture,a metrics suite is proposed to measure the coupling of software architecture models,in which CBC is used to measure the coupling between components,CBCC is used to measure the coupling of transferring message between components,CBCCT is used to measure the coupling of software architecture,WCBCC is used to measure the coupling of transferring message with weight between components,and WCBCCT is used to measure the coupling of message transmission with weight in the whole software architecture. The proposed algorithm for the coupling metrics is applied to the design of serve software architecture. Analysis of an example validates the feasibility of this metrics suite.