摘要：针对可信平台模块(TPM)应用编程接口(API)规范设计的安全性未得到有效验证,本文提出了一种形式化的安全性分析方法.具体内容包括:采用形式化模型定义应用编程接口、攻击者能力与安全目标;借助自动证明机实现了一种基于归结准则和定理证明的推理方法,在该方法中还集成了可执行状态判决机制,在一定程度上缓解了状态空间爆炸的问题.实验结果表明,可信平台模块密钥迁移功能的设计存在一定安全缺陷.

摘要：本文就上海和宝钢地区当前水环境的污染状况,从保障和促进人体健康的目的出发,论述饮水水质的重要性。鉴于在中、短期内实难获得区域性解决水源污染问题的事实,为了保证饮水水质,建议采取局部的或个体的解决办法来改善生活饮水的水质。总厂设计院于1987年曾安装一台净化矿化装置,向全院职工供水。1988年又将一种小型矿化器提供职工家庭。一年多来,调查结果表明,收到了良好的效果。净化矿化装置给人们提供人工矿泉水,带来生活上的方便,保证了水质,增进了健康。可以预计,在总厂范围内,推广采用这一装置有着广阔的前景。

摘要：本文论述能源在钢铁生产中的重要性,着重分析节能降耗的环保价值,介绍宝钢的节能设施及其效果。期望取得一个共识:环保要求节能,节能是实现环保目标的最积极的措施之一。大力推进节能乃是保持和提高宝钢先进环保水平的一条根本途径。

摘要：当今,高炉煤气(BFG)和转炉煤气(LDG)的干法净化回收是一项重要的节能、节水技术措施,具有广阔的应用前景。本文在这个基础上,分析探讨对宝钢现有的煤气湿式洗涤回收工艺进行根本改造的可行性,以期取得共识和支持。在日后的更新改造工程中采用干法净化回收,为宝钢谋求更好的经济、环境和社会效益。

摘要：一、概述随着制铝工业生产规模的扩大,排出的含氟气体对环境的污染日益严重。通常每生产1吨铝排出的有害物量如表1所列。一个年产10万吨的电解铝厂,每天将向外排放5.5吨氟化物,其中HF约4.3吨,严重威胁生产工人和周围居民的健康,对农林牧副渔也有巨大危害。许多国家采取严厉的法律措施,对氟污染进行监测和控制。一般规定车间空气氟浓度在1mg/m^3以下,允许总排放量为550—800公斤/天。

摘要：桅杆作为舰船雷达反射的重要源,将直接影响到舰船的整体隐身性能。基于特定的雷达探测条件,采用物理光学法,针对英国45型驱逐舰桅杆RCS的分布情况进行计算,并结合电磁理论对该舰船桅杆的雷达散射机制进行研究。在此基础上,分别以威胁区域内RCS的最大值、平均值、雷达检测的平均概率及大于临界RCS值概率的4种已有指标对不同围板倾角桅杆模型的隐身性能进行多重评估,并提出修改方案。结果表明,原桅杆模型各项指标良好,该舰船桅杆设计较为合理。

摘要：简要叙述烟气脱硫(FGD)的现状和钢铁企业的硫污染及其特点,着重介绍了宝钢的 SO_2排放状况与控制对策。通过全公司硫平衡计算和分析,可清楚了解宝钢的硫的来源、分布和去向,从而为制订适宜的控制措施,正确选定 FGD 工艺装置提供依据。

摘要：针对传统比例积分微分(PID)控制下的永磁同步电机(PMSM)矢量控制系统存在抗干扰能力弱、控制精度不足等问题,设计了一种滑模无差拍复合控制策略取代PID控制。电流环调节器采用基于无差拍控制原理的电流预测算法,提高电流环控制性能。速度环调节器引入基于趋近律的滑模变结构控制算法,提高系统鲁棒性。实验结果表明所提策略具有更好的动态性能和鲁棒性,有实际意义。

摘要：随着冷轧厂电镀锌工艺的改进 ,废水锌超标成为事实。针对宝钢现有电镀锌废水情况及现有条件 ,选用中和—过滤法解决废水锌超标问题 ,效果较好 ,主要介绍此法的工艺及试验和工程实践结果。

摘要：中层管理者对于企业战略实施和目标完成至关重要,采用什么样的标准来选拔培养管理者成为了企业日常管理工作的重点。胜任力模型则可以为企业管理者提供人才选拔的全新参考方案。文章应用战略文化演绎、高管访谈、优秀管理人员BEI访谈、调查问卷以及工作分析这五种方法,系统化、多样性地提取电力设计企业中层管理者的胜任力模型,通过该模型的相关参数改善企业中层领导的选拔、培训、绩效考核等管理措施。