论文部分内容阅读
在“五一”国际劳动节即将到来之际，我们在这里隆重召开河南省煤炭工业劳动模范表彰大会。首先，我代表省煤管局党组，向多年来全省煤炭战线涌现出来的各级英模，向这次受到表彰的先进集体、劳动模范和先进工作者，致以热烈的祝贺和崇高的敬意!
大力弘扬劳模精神推动我省煤炭工业又好又快发展——省煤炭工业管理局局长、党组书记常建华在全省煤炭工业劳动模范表彰大会上的讲话（摘要）
【摘 要】
：
在“五一”国际劳动节即将到来之际，我们在这里隆重召开河南省煤炭工业劳动模范表彰大会。首先，我代表省煤管局党组，向多年来全省煤炭战线涌现出来的各级英模，向这次受到表彰的先
【出 处】
：
中州煤炭
【发表日期】
：
2008年3期
其他文献
惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰性切片的线性时态逻辑公式验证方法。该方法
本文针对目前漏电保护器培训平台缺乏的现状及现场实际需求，研制出了安全、功能多样、具有体感演示功能，能进行漏电保护器原理、动作特性、安装、多级配合以及调试等培训项目的
提出了两种变长编码字符型数据的保留格式加密方案。方案1基于Feistel网络构建合适的分组密码,并结合cycle-walking确保密文输出在合理范围内,适用于明文较短且需要隐藏字符
介绍了赵各庄井田急倾斜厚煤层采用的一种新型的半机械化采煤方法——轻型支架放顶煤采煤法，该采煤法具有安全好、成本低、掘进率低等优点。
针对以往边界检测算法提取的噪声边界过多,导致最终检测的效果提高不多的问题,本文提出了一种基于多尺度特征融合的边界检测算法。在单一图像尺度下,该算法利用图像抠图领域的Trimap和抠图算法生成图像中物体层次特征,并结合提取多尺度的像素层次特征得到边界信息。为了进一步减少过多的噪声边界,该算法提取多尺度图像下的边界信息,并通过融合这些边界信息来过滤噪声边界。在美国加州伯克利大学的BSDS500数据集上