分析和设计安全协议的新逻辑

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.     

DTECS系统TCN协议的设计

详细介绍了DTECS系统的TCN协议中MVB总线的实现、WTB总线的实现、RTP协议的实现和网络管理的实现.对协议的用户编程接口和可靠性设计进行了简介.最后对TCN协议的发展提出了一些看法.     

动车组车载信息车地间数据传输协议集的设计

通过研究高速动车组车载信息车地间数据传输的应用环境和性能要求,提出适用于我国高速动车组车地间数据传输的通信协议设计方案.该协议是车载无线传输设备与地面信息采集处理系统之间用于信息交换的应用层协议,包括服务内容、通信环境的假设、通信协议中事件的定义、车地间交换信息的过程规则、车地间传输信息的报文格式等内容.介绍动车组车地间数据传输的内容分类、传输流程,动车组车地间数据传输协议的设计方案.     

强强结合开创企业计算的先河

Compaq公司与Digital公司于1998年1月26日签署了合并协议,这一合并实际是强强结合。因为Compaq公司的优势是:服务器,数据存储,工作站,台式机及便携机;解决方案集成;总拥有成本;全球分销网络;财务和电信界的关键任务解决方案。Digital公司的优势是:全球性客户服务和技术支持网络;企业系统集成,信息技术管理和技术支持;全球性企业销售     

中国铁路物资总公司资讯

总公司位列2005年中国企业500强第59位；总公司被评为“2004年金属流通十强企业”之首；总公司与兴业银行银企合作协议暨短期融资券主承销协议签字仪式在京举行；总公司召开商贸系统2005年上半年经济活动分析会；总公司发布并宣讲《铁路用混凝土枕质量管理标准》；中铁物总进出口有限公司（CRMIE）获得海关实施A类管理资格；中铁物总进出口有限公司（CRMIE）出口孟加拉国4300公吨（MT）钢轨；北京公司获“全路模范职工之家”称号；西安公司荣获“陕西省钢材贸易50强暨建材类10强”称号。     

浅析竞价采购

竞价采购是与询比价、招投标、协议采购等方式并列的一种采购方式,竞价采购方式在国外广泛运用于工业品采购、政府采购及全球采购等领域中.最近两年,我国一些大公司也纷纷采用竞价采购方式,如联想、中石化等企业大力推广竞价采购,取得了很好的经济效益.……     

基于CAN总线的机车电气监控系统的设计

介绍CAN总线及其相关协议,设计了基于CAN总线的机车电气监控系统的硬件结构,阐述了现场控制模块应用层通讯协议的设计并给出了具体的流程图.     

BT模式下弱电承包合同签订阶段应注意的问题

BT项目的运作一般有5个阶段,即项目的启动、项目招标准备、招标和商务谈判、项目的建设、项目回购和移交.着重探讨后两个阶段对弱电承包合同签订的影响. 乙方各参建单位组成的联合体,共同与甲方签署《BT项目合同文件》;乙方各参建单位签署《联合体协议》,约定各方在项目中的权力和义务. “总承包商”指本合同确定的与项目公司签订施工总承包协议的并承担本工程主要建设内容的当事人.“甲方”指最终用户,即政府授权行使业主责任方.“乙方”指联合体牵头方、总承包商和弱电承包商组成的联合体.“项目公司”指乙方为实施本项目由联合体依法成立的公司.     

一种适合于铁路机车车辆使用的CAN协议开发

根据CAN总线的特点,设计了一种基于CAN总线的简单实用的现场总线协议,该协议特别适合于基于铁路机车车辆控制的使用。     

令牌总线CircLink在列控系统中的应用

主要研究基于改进型令牌传递协议的现场总线CircLink在列车运行控制(ATC)系统车载设备中的应用.在列控系统中引入新型令牌总线CircLink,对于提高其通信性能有着重要的意义.给出车载CircLink总线的应用及工作原理,深入剖析新型令牌总线CircLink和传统令牌总线ARCNet的令牌传递协议,得出CircLink在协议上优于ARCNet的结论,为CircLink在列车控制系统以及更广泛领域中的应用提供了有力的依据.