基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

过滤烦恼“直饮”健康

<正>古人云:水为万物之源,土为万物之母,饮资于水,食资于土,饮食者,人之命脉也,而营卫赖之。世界上许多物质都可以找到它的替代品:用陶瓷或塑料代替钢;用一种金属代替另一种金属,但迄今为止,还没有一种物质可以取代水,水是不可替代的有限资源。地球上的水有97.2%是海水,淡水只占2.8%,而全世界可利用的淡水资源不足淡水总量的1%。长期以来,人们都认为水     

基于有载调压配变的移动巡查平台研究

在电力应用中,电压的稳定性是影响用电安全的重要因素.为了提高电压的合格率,电力公司在安装了20多台在线滤油有载调压配变基础上,进一步扩大安装规模.同时,在实践中我们发现有载调压配变的定期巡检工作难度较大,为了进一步确保设备使用的安全性和可靠性,对不同分布区域的调压配变进行巡查,有必要加强有载调压配变巡查系统的研发.论文首先介绍研发的背景,概括研发目标和进程,然后进一步对项目的具体开展、创新点进行细化分析,最后对研发成效和工作中的不足进行探讨,力求通过创新项目研发改善我们的有载调压配变工作效率.     

存储发展技术综述

本文根据存储介质产生的先后顺序,并结合实例介绍了各个阶段存储介质形式的发展,概括了当前存储技术的发展状况及方向,并重点介绍了网络存储及其相关的技术。     

员工健康优先——衡阳电科电源有限公司职业健康管理侧记

<正>在提倡节能环保的今天,二次充电电池已经成为了使用者的首选。然而,生产此类电池却需要大量重金属,甚至是有毒金属原料,因而,在该类电池生产企业中,做好员工的职业健康工作成为了安全监管的重中之重。衡阳电科电源有限公司(以下简称"电科电源公司")创建于2011年10月,本着"员工的健康优于一切"的安全理念,公司成立伊始就以保证员工健康、安全作为立足根本,致力于创建安全无灾害单位。制度是"软防线"     

无线远传监测技术在油田生产管理的应用探析

我国油井油田的数量较多,分布面积较广,油田的生产管理不仅仅关系着油田生产的正常运行,而且关系着油田经济效益.该文就无线远传监测技术在油田生产管理的应用进行讨论研究,希望能给相关工作者提供参考和建议,全面掌握无线远传技术的应用原理及其相关的技术要点,同时了解当前远传监测技术存在的缺陷,及时对其进行改进和完善,确保油田生产的安全进行.     

精益生产管理在企业经营中的实际应用探讨

随着我国社会经济的快速发展,以及社会主义市场经济体制的逐渐完善,在激烈的市场竞争中企业主体的发展模式已经开始发生转变,由过去的重视企业生产规模的扩大、产值的提高,转变为对企业运行成本的精打细算,这在很大程度上提升了企业的经济效益。在这种企业发展形势下,精益生产管理是企业实现成本效益的主要途径,该文将从精益生产管理的角度出发,结合当前企业主体经营管理的实际,对精益生产管理在企业经营中的实际应用进行简要探讨。     

卷烟厂生产车间环境空气的差异分析

以Tenax-TA管富集采样,热脱附和气相色谱/质谱联用法定性定量分析生产车间环境空气的挥发性组分,以DNPH采样管富集,乙腈洗脱后HPLC法定性定量分析生产车间环境空气的醛酮组分,比较了卷烟厂异地搬迁后生产车间的环境空气的差异;同时采用烟丝模拟样品与老厂对照样品进行三点评吸以评价环境空气的差异对卷烟感官质量产生的影响。结果显示:新老两厂的环境空气样品在组分的种类和含量上存在差异,并且评吸结果显示空气成分的检测结果和模拟样品的评吸结果具有较好的一致性。为卷烟厂生产车间的环境气息评价提供了技术支撑,也为甄别车间异味来源及治理提供了参考依据。     

解放战争时期太行区民用工厂研究——以组织生产为中心

抗战期间兴办并壮大起来的太行区民用工业构成了中共革命重要的经济基础。1946年解放战争爆发后,太行区民用工厂基础薄弱的现状尚未彻底改观,兼有"左"的思想、工厂内部管理及工资政策等问题,工厂生产较难有序进行。为扭转局面,太行区集思广益,从多方面筹措资金、解决工厂劳动力来源、改良生产技术和提升工人思想觉悟,使民用工业生产得以恢复和发展。此举不仅有力地支援了解放战争的顺利进行,中共还在此过程中收获了许多企业管理经验。