我的2460

2460并没有什么特殊的含义,它是佳能的一款激光打印机的型号,全称为CanonBJC—2460网络激光打印机。自从这台打印机在办公室里安家落户以后,我们的工作效率提高了不少,自然,也就将这台2460打印机当成了朋友。 我工作的单位是一家跨国企业     

提高循环水供热经济性的新方法

介绍一种提高循环水系统供热经济性的运行方式,其解决了承担循环水供热机组本身循环水量过大而热网需要循环水量小的矛盾.所采用的方法是将凝汽器循环水并联运行改为串联方式.对改造方案及改造后的运行情况、经济效益也进行了阐述.     

南京岩棉厂岩棉全管套投入生产

南京岩棉厂是中国新型建筑材料公司与地方合资建设的大中型企业,也是我国引进瑞典容克公司年产1.63万吨岩棉制品生产线后,国内自行设计消化翻版制造的第一条生产线。自1986年7月1日点火生产后,一手抓生产,一手开发新产品。1987年初采用模压法试制了岩棉半管壳,一年多来已生产100多吨。但因模压法生产方法太陈旧、工人劳动强度太大、产品合格率低,质量不稳定,产量小,远不能满足市场需求。 1988年1月,采用南京玻璃纤维设计研究院设计所设计的“全管壳”机械化生产设备图     

不可否认协议分析的扩展ZQZ逻辑方法

不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.