串空间方法分析协议公平性的研究

探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。     

分离石脑油中异戊烷的效益分析

中国石油化工股份有限公司洛阳分公司因产销不平衡,导致一部分石脑油被迫用作汽油调合组分,而石脑油辛烷值低,影响了经济效益。分析石脑油产品主要来源重整拔头油、加氢石脑油、芳烃抽余油等组成,提出分离出石脑油中的异戊烷组分,用于调合汽油的方案。借助于流程模拟软件Petro-SIM,对分离石脑油中的异戊烷组分进行模拟,对比了新建装置和利用闲置的C4/C5分离塔(C202)两种方案下对汽油调合生产以及石脑油产量的影响,最后选定利用C202分离异戊烷组分的方案,这一方案仅需简单改造,投资8×104RMB$,每月效益将可以达到312×104 RMB$。     

一个安全协议度量方法及其应用

简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义,并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则,结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用：对基于模态逻辑的协议分析中隐含假设的分析方法,协议设计和生成方法。     

比例伺服阀在铝带箔轧机中的应用

介绍了新型液压元件比例伺服阀 ,并分析了其特点 ,以KSDG4V为例 ,分别介绍其在铝带箔轧机中带材纠偏系统 ,厚度控制系统和弯辊控制系统的应用。     

双锥头开卷机及卷取机液压系统设计

本文介绍了在铝箔轧机和拉弯矫直机列中常用的几种双锥头开卷机及卷取机液压系统设计方案，并对可能出现的问题进行了分析。     

安全微支付技术应用于分布式系统安全审计的研究

为更安全和高效地在分布式计算环境中进行安全审计，将安全微支付技术引入安全审计的实现。对现有的安全微支付方案在交互步骤和消息内容上进行一定的修改，使之可以适应安全审计的效率要求，同时提高安全审计的安全性。经理论分析，说明了这一方法的安全性、易操作性和实现中的效率配置问题。这证明了安全微支付技术在安全审计中应用的合理性。这种应用同时带来了一些附加安全功能(如单点登录)的可能实现途径，也是下一步研究的一个课题。     

流程模拟软件在连续重整装置的应用与优化

介绍了KBC公司的流程模拟软件Petro-SIM在某炼油厂连续重整装置上的应用情况。用Petro-SIM软件建立了反应机理模型、连续重整全流程模型以及连续重整能耗模型。应用该模型对重整反应压力、重整装置全流程及装置能耗进行分析,通过优化预处理装置预分馏塔与汽提塔的操作,解决了预处理装置预分馏塔再沸炉负荷不足的瓶颈,重整装置进料量提高了5 t/h,每年为企业增效1 000×104RMB$以上。同时,应用该模型还提出节能优化措施,增设预处理装置进料换热器,更换重整进料高效换热器等,通过模拟计算,该项目节能效果显著。结果表明,流程模拟软件能够优化连续重整装置全流程,在改善反应原料、优化操作条件和节能降耗等方面提供指导。     

用统一建模语言描述基于构件的系统

通常基于构件的系统和CORBA ,ActiveX/COM/DCOM ,JavaBeans等具体的技术相紧密结合。提出一种用对象建模语言描述构件及其接口的表示方法 ,这种构件的表示方法能用现有技术实现 ,而又不依赖于某种特定技术的方法和开发工具。先给出构件、接口和基于构件开发的概念 ,然后介绍统一建模语言对构件及其接口的建模和构造原则 ,以及用统一建模语言描述基于构件的系统的方法。     

基于综合安全保护质量的安全服务协商模型

在基于分布式服务的系统体系中，上层应用系统需要确定下层安全服务能够按照要求提供安全服务功能，根据不断变化的实际需要和当前系统状态自适应地调整服务者和服务要求，并同时保障系统的安全性。本文探讨了在应用系统和安全服务之间对安全保护质量进行协商的协议模型，目标是使应用系统所要求达到的安全水平能获得安全服务的支支持，并能得到下层安全服务的有效遵守，使系统的整体安全水平得到保障。     

一种SDH网络层管理系统框架的研究

目前的网络层网管系统大都从单元层网管演化而来，其结构的局限性给网络层网管的性能和扩展性带来了影响。本文基于TMF模型，提出一种SDH网络层管理系统的系统框架，以资源管理为核心，采用被广泛支持的TMF513接口。在资源管理层，为满足网络层对业务管理的需要，将子网连接管理独立出来，重点描述子网连接管理需要完成的功能，并通过一个用例，描述框架内部以及与接口的交互。