基于ZMK-127型控制器的自动风门的研制与应用

为保证通风系统的安全稳定,通过对现有自动风门在井下运行情况的深入研究,设计了基于PLC的ZMK-127型控制器和受力均衡的门体结构.该风门以井下压气作为动力源,采用可调导轨技术设计门框结构,根据通风负压与门体自重的力学结构原理设计其滑轮系统,同时具有防夹功能.风门控制器为隔爆兼本安型,目前已通过煤安认证和防爆检验.通过...     

优化高校图书馆现刊管理之我见

分析了高校图书馆现刊管理存在的弊端,提出了设计简单的索刊号、流水架号等优化现刊管理的方法和管理措施.     

中文图书索书号统一性的探讨

索书号不统一是造成编目工作人力、财力浪费,加工周期过长的最大瓶颈。国际标准书刊号具有在版印刷、编号唯一、纯数字排列组成等多种优势,如果将其用作索书号重要组成部分的书次号,会大大提高图书编目加工的速度,并可降低成本。介绍了索书号的使用状况,论述了ISBN号和ISSN号用作书次号的可行性,阐述了辅助区分号的规范及索书号组成部分的排列顺序。     

Rookit木马的隐藏机理与检测技术剖析

随着网络技术的发展，基于传统隐藏技术的木马已经很难生存，木马隐藏技术开始由Ring 3级转入Ring 0级．运行在Ring 0级的木马，拥有与系统核心同等级的权限，隐藏与伪装更为容易．笔者讨论了Windows内核系统服务调用机制，分析了删除进程双向链表中的进程对象、SSDT内核挂钩注册表隐藏、端口隐藏等Rootkit木马的隐藏机理，最后对Rookit木马的几种检测技术作了详细的剖析．研究内容对增强人们防患意识、更好地维护计算机系统的安全有一定的参考价值．     

Toffoli门可逆网络计数与级联

分析并证明了同型Toffoli门串联的输出结果与串联门个数之间的关系.为了保证串联过程收敛,给出了Toffoli门串联网络的计数,证明了可逆网络输入向量中Hamming重量的位向量个数与位向量位数之间的关系.提出了一种Toffoli门的串联、并联和混合级联网络的算法,并验证了该算法的有效性.     

塑料密封盒模具的设计与制造

通过对密封盒的使用要求及结构工艺分析，介绍了模具的结构设计过程。加工出的模具及成型后的塑件证明了模具设计的合理性。     

移动通讯网络掉话原因分析和解决方法

以广西移动通讯网络为例,分析掉话的原因并提出相应的解决方法,丰富通讯网络处理掉话的经验。     

杜哈梅尔积分的全解析算法

从杜哈梅尔积分的严格定义式出发，利用其解析式中存在的广义函数，提出杜哈梅尔积分的全解析算法。给出了用于解析计算的通用解析表达式。算例表明，本算法简洁，特别适于当系统的输入ｘ（ｔ）或其阶跃响应ｓ（ｔ）为具有不连续点时的复杂函数情况。     

水流诱发平板闸门垂向振动的分析与计算

本文建立了水流诱发平板闸门垂向非线性振动的数学模型,并通过模型试验确定振动方程中的参数,解决了非线性振动方程的求解问题,计算表明,计算值与实验值吻合较好,说明所建立的数学模型基本上能反映闸门垂向振动的物理机制,对实际平板闸门的振动特性预报具有实用价值。     

PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。