组合逻辑电路时序安全可替换性

讨论了组合逻辑电路的时序安全可替换性问题，即如何判断一个组合逻辑电路可以替换另一个组合逻辑电路而电路的速度不会降低，提出了一种新的判断时序安全可替换性的方法，该方法通过计算组合逻辑电路的延迟特征函数的蕴涵关系来判断时序安全可替换性，避免了直接计算电路的精确延迟特征，从而提高了算法的效率，使其可以对更大规模的组合逻辑电路进行时序分析。     

矿山企业安全投资优化研究

文章总结了现有的安全投资理论，指出其只从安全局部考虑，忽略矿山企业整体效益的片面性。利用机会成本分析法，阐明企业在其效益最大化下，如何进行正确的安全投资。最后文章利用Cobb—Douglas生产函数建立了矿山安全投资优化模型，并进行了推导与应用。本文为矿山企业进行合理有效的安全投资指明了方向，极大地促进矿山企业的资源优化配置。     

淮北煤炭师范学院校园网总体设计

校园网的建设和开发对于高等学校的教学、科研、管理和国内外信息交流具有重要作用．本文分析了校园网建设的几种模式，介绍了淮北煤炭师范学院校园网建设的总体设计方案以及校园网所能提供的服务     

浅谈企业如何搞好安全工作

安全生产是保障人民群众生命安全的关键所在,企业只有搞好安全生产,才能创造良好的经济效益.通过论述阻碍企业安全生产顺利发展的主要原因,提出了如何搞好企业安全生产的对策.     

正确认识化学农药的毒性及残留问题

阐述了化学农药在历史上的贡献,重点论述了化学农药的毒性及毒性残留问题,对人们合理安全地使用化学农药具有指导作用。     

山区高墩施工安全控制要点

桥梁工程建设具有生产线长、专业面广、技术要求高、环境影响因素多等特点，因此，如何有针对性的搞好桥梁工程的安全生产是公路建设需要时刻思考和探索的问题。通过对高墩施工安全控制要点进行论述，为高墩、大跨桥梁施工安全专项方案的编制进行了探讨。     

安注过程蒸汽直接接触冷凝的数值模拟

压水反应堆发生失水事故（LOCA）时，应急堆芯冷却系统（ECCS）将过冷的安注水注入到冷管段中，安注水与管道中的蒸汽发生直接接触冷凝，导致温度波动及压力振荡。选用流体体积分数模型、大涡湍流模型和双阻力冷凝模型，在FLUENT平台上对饱和蒸汽与安注水直接接触冷凝过程进行数值模拟，获得直接接触冷凝过程中温度场和压力场的变化情况。结果表明，冷凝主要发生在汽液界面附近，主管内蒸汽流量的增加能够阻止安注水回流现象发生。     

综采综放工作面特殊条件的风量计算方法

给出了综采综放工作面在高产高效、煤层易自燃、高温、防灭火注Ｎ２工艺等特殊条件下以及普通低瓦斯矿井高瓦斯涌出生产工作面风量计算的方法，这些方法可以直接在矿井生产实际中应用。     

基于神经网络的超声无损检测缺陷定征方法的研究

针对超声无损检测中缺陷分类难、分类结果可靠性差等问题，给出了一种以神经网络为基础的缺陷特征分类方法。利用Ｆｉｓｈｅｒ线性判别方法对表征缺陷特征的时域信号的波形参数进行了选择，并将这些参数作为神经网络的输入矢量对网络进行训练，用该网络对缺陷特征进行了识别，结果表明：神经网络的识别率远大于传统的贝叶斯分类方法。     

论高速与安全航速

就高速船舶如何理解和使用安全航速，特别是在能见度不良时，高速船舶如何遵守安全航速条款提出见解，并就安全航速中的高速与过分速度之区分进行了探讨。