王坡选煤厂系统改造研究

随着矿井生产能力的扩大,王坡选煤厂需进行相应的扩能改造。在综合考虑工艺要求、煤质特征的基础上,进行了工艺系统分析,确立了改造原则和方案,改造收到了较好效果。     

粘钢加固梁粘结锚固性能的试验研究及建议

通过对１６ 根外部粘钢加固钢筋混凝土梁正截面受弯和斜截面受剪的试验观察,分析研究了粘钢加固梁的破坏特征和粘结锚固性能,试验结果表明：仅具有足够的锚固长度,虽可以保证外贴钢板与构件的共同工作,发挥钢板的强度,但构件的延性较差,钢板与混凝土交接面易产生破坏,导致钢板脱落。由于钢板与构件间不仅存在着切向的剪应力,同时由于构件的弯曲作用,还存在着径向的正应力,因此在粘钢加固设计时,不仅要保证足够的锚固长度,尚应采取附加措施,避免在径向正应力的作用下产生破坏。     

螺旋分选机在王坡选煤厂的应用

介绍了王坡选煤厂应用螺旋分选机分选-0.5mm粗粒煤泥的必要性和可行性,论述了螺旋分选机的工作原理及工艺流程;实践表明,应用螺旋分选机回收低灰优质无烟煤泥,不但提高了全厂精煤产率,降低了洗水浓度,而且由于该设备无动力、工艺简单,大大节约了电能,降低了生产成本。     

W8F48块煤浅槽重介分选机在王坡选煤厂的应用

阐述了W 8F48块煤浅槽重介分选机的结构和工作原理,并介绍了其在王坡选煤厂100~13mm块煤分选中的应用情况。实践表明:该机分选出的矸石灰分为80.95%,块精煤的灰分为13.64%,可能偏差为0.07,分选效率可达到95%以上,分选效果较好。结合生产实践,介绍了该分选机的常见故障及解决方案。     

动态防御模型在军用网络上的应用

当前军用网络安全体系还没有形成统一的安全策略,难以保障军用网络上重要信息的安全。提出一种利用蜜罐技术改进P2DR模型的防御模型。该模型通过对蜜罐部署的优化和对入侵行为的重定向等方法,有效提高了针对网络入侵的事前检测能力,改善了P2DR的效能,并初步实现了在军用网络上的应用,增加了军用网络的防御纵向深度。     

基于基本块标识方法的控制流图生成器设计

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。     

基于Kerberos的RAS消息认证系统

在H．235协议框架基础上，提出了一种基于“推”型认证模式的RAS消息认证机制，并介绍了实现该机制的基于Kerberos的RAS消息认证系统。该认证系统具有安全、利于管理、消息认证速度快的特点。     

东台市卫生局7层住宅楼整体平移设计

根据7层砖混结构住宅楼整体平移及下坡的设计实例，介绍了楼房平移及下坡设计的主要内容以及关键技术，主要包括结构内力计算、整体平移和下坡方案设计、上下轨道梁设计、基础设计以及住宅楼与新基础的连接。     

用直流电阻电桥测量导体电阻测量不确定度的评定

本文论述了用双臂电桥测量导体电阻测量不确定度的的评定方法。     

基于动态时序描述逻辑的动作理论

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。