基于正则蕴涵算子的三I算法

给出了基于常见正则蕴涵算子的三I算法的计算公式,并考虑算法的还原性.     

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

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

一种压缩图像加密方法

在总结图像的加密方法和过程基础上，引入Lorenz混沌映射生成混沌序列，并通过混沌序列产生加密向量，然后用加密向量在图像的空间域和DCT域对图像进行复合加密，并对加密效果进行全面的评估，也初步建立了图像加密效果的评价体系，提出了四维测定的概念．分析和实验结果表明，这种压缩图像的加密方法具有较快的运算速度、较高的加密强度和相应的压缩性能，而且评价体系也是有效的参考．     

两汉诗学考——以“前三史”为例

《诗经》在汉代的经学地位早已被学界公认,但是对于其在汉代的文学地位还有待于做进一步的研究。笔者从《史记》《汉书》《后汉书》这三部史传中搜集大量例证,旨在归纳汉人的诗学观点——言志说、讽喻说、发愤说,从而探讨《诗经》文学精神在两汉时期的影响。     

《素问》中“殊贯”词义辨析

在对《素问》注疏已有研究成果进行分析、借鉴的基础上,结合中医组方的实际,分析了＂三品＂＂所以明善恶之殊贯也＂的释义,并在此基础上,从中医学的角度对＂贯＂字意义的内涵作了进一步的说明。     

耗散KDV型方程的渐近吸引子

摘 要:本文考虑了耗散KDV型方程 的渐近吸引子,即构造了一个有限维解序列.首先利用数学归纳法证明了该解序列不会远离方程的整体吸引子；其次，证明了它在长时间后无限趋于方程的整体吸引子, 并且给出了渐近吸引子的维数估计.     

资源型城市绿色转型系统探究

以资源型城市系统为切入点,通过原因维、主体维和目标维三方面分析,从而构建资源型城市绿色转型系统的三维结构模型,并阐释绿色转型系统的现实意义及其实现途径,促进资源型城市的可持续发展.     

文献开架借阅与馆藏布局改革

开架借阅既有优势，也存在许多问题。改变传统馆藏布局解决存在的问题，应实行三线典藏制布局，采用分类排架法与颜色书标相结合的标引方式。     

Toffoli门可逆网络计数与级联

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

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

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