密码协议的秘密性证明

在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法，该方法在消息事件结构中引入会话标识符，给出协议满足秘密性的充要条件，大大简化了协议秘密性的证明，高效且适合机械化实现。     

开展九千标准认证提高后勤服务水平

随着高校后勤社会化改革的不断深入 ,如何建立现代企业管理制度 ,使后勤工作管理科学化、规范化 ,后勤服务标准化 ,以满足广大师生日益提高的服务要求 ,是高校后勤工作急待解决的问题。而后勤服务实体开展ISO90 0 1:2 0 0 0标准质量体系认证 ,强化市场竞争能力 ,便是提高企业管理水平和高校后勤服务水平的有效途径之一。1　 ISO90 0 1:2 0 0 0标准的特点及作用ISO90 0 1:2 0 0 0标准是由质量管理质量保证技术委员会制定并由国际标准化组织正式颁布的国际标准 ,它具有以下特点 :强调以顾客为关注焦点 ,将顾客满意或不满意信息的监控作为…     

吉林电网AGC性能指标统计的在线程序开发

介绍吉林电网AGC运行过程中性能指标的统计方法 ,并进行了在线程序开发。该程序由获取数据模块和人机界面模块组成 ,通过API接口函数从EMS系统的数据库中取得相关数据。运行实践表明采用该方法后 ,能够较好地反映吉林电网AGC的运行性能     

聊城发电厂2×600MW机组英国Symphony热控系统综述

对正在建设中的聊城发电厂 2× 60 0MW机组热控系统从总体结构、集控室布置、机组自动化水平常规仪表的设置原则及主要热控系统、设备装置的功能配置情况进行介绍     

远距离多点温度测试系统及单片机接口技术

介绍了一种远距离多点温度测量系统，利用V／F变换把传感器信号长距离高精度传输。该温度测试系统具有体积小、成本低、结构简单、精度高等特点，为慢变化量传感器信号远距离传输提供了一种切实可行的方案。     

测量归心改正模型的完善

针对目前归心改正计算模型存在的问题，提出了用于归心改正计算的通用严密的数学模型．用该模型进行计算，可保证野外观测量在数学化算过程中不损失精度．     

话务台微机计次系统

话务台微机计次系统选用８０３１单片机作为前台机实时采集数据，选用３８６个人微机作为后台机用高级语言分析处理和储存数据，解决了采集数据、数据处理和数据传输等问题。     

PTCR阵列式液位传感及检测系统

液位检测涉及的面甚广,如化学工业、水文、地质、环保等领域．因它们各有特点和要求,出现了众多类别的液位传感器．80年代末,德国VDO汽车公司推出以NTC温敏电阻为主体的液位传感器．可惜,在恒电压条件下,空载测试时,容易遭致损坏．所以,我们改用PTC     

80C196KB在动车组重联嵌入式系统中的应用

动车组是一种新型的快速火车编组,它的最大特点就是头尾双车驱动,并且双车互联,自动运行.真正实现了机车全电气化运行.该文结合这种新型机车电气控制系统的研制,深入剖析了嵌入式微处理器在电气控制工程领域所起的作用,同时介绍了这种新型机车电器控制系统中所采用的80C196KB微处理器,以及它在系统中的控制功能和通信功能的实现.     

PCI-X总线研究及其主桥实现技术

PCI-X V1.0总线规范是由康柏，IBM，HP等顶级服务器厂商组成的PCISG（PCI特别兴趣小组）在1999年正式发表的，总线频率更高，带宽更宽，并且采用了分离事务等高级技术实现了更高的总线性能，该对PCI-X总线的性能及其关键技术进行了剖析，对PCI-X的总线命令在时序上进行了研究，介绍了PCI-X主桥的功能原理与实现技术。