通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

重视工序细部做法 确保后浇带施工质量

介绍后浇带施工主要的工序细部做法和施工缝处的处理方法     

使用热反应型水溶性聚氨酯F-2840E提高纯棉织物"三防"效果

通过试验验证了热反应型水溶性聚氨酯F-2840E可提高“三防”（拒水、拒油、拒污）助剂TG-410H的使用性能，可提高TG-410H等部分有机氟系“三防”整理剂的耐洗性和“三防”效果，减少了“三防”助剂的用量．     

焦作市石灰岩开发及应用

焦作市石灰岩储量极为丰富,要把资源优势转变为经济优势,就要搞好综合开发利用,生产出科技含量高,具有市场竞争能力的新产品。本文旨在探讨石灰岩资源综合利用的新途径,为焦作矿业经济可持续发展作出新贡献,并为焦作市矿产资源规划提供科学依据。     

南（昌）长力钢铁公司优化热送热装率生产实践研究

通过对南（昌）长力钢铁公司2号铸坯机以及棒材生产线轧钢产能分析，优化转炉2号铸坯机一轧钢工序产能合理匹配；提高热送热装率的优化技术，该技术的应用不仅提高了棒材生产线生产能力而且节约能源。     

低铁耗条件下转炉高碳低磷工艺实践与应用

对转炉炼钢实现低铁耗和高碳低磷工艺进行了分析，介绍了南钢公司转炉炼钢实践低铁耗条件下高碳低磷工艺的具体应用措施。     

Comparative study of the elimination of toluene vapours in twin biotrickling filters using two microorganisms Bacillus cereus S1 and S2

BACKGROUND: To investigate the microbial degradation performance of organic pollutants in the atmosphere using a biotrickling filter, two microorganism strains, Bacillus cereus S1 and Bacillus cereus S2, were selected, identified and inoculated into a twin biotrickling filter for comparison. RESULTS: Both strains showed good performance towards the degradation of model organic pollutants when gas flow rates ranged from 100 to 600 L h⁻¹. For S1, the total maximum removal efficiency (RE) of toluene was maintained nearly 100% not only at gas flow rates of 100 L h⁻¹ corresponding to empty bed residence time (EBRT) 199.44 s, but also at gas flow rates of 200 L h⁻¹ (EBRT = 99.72 s) and 300 L h⁻¹ (EBRT = 66.48 s). However, S2 had a much lower degradation capability; near 100% removal efficiency was obtained only at the gas flow rate of 100 L h⁻¹ although both bacteria belong to the same Bacillus cereus. With further increase in gas flow rate, the total REs for both S1 and S2 decreased slightly at first and then dropped sharply to 46% and 35%, respectively, at an EBRT of 33.24 s, corresponding to a gas flow rate of 600 L h⁻¹. Starvation for between 2 and 10 days resulted in the re‐acclimation times of both strains ranging between 1.0 and 15.5 h. CONCLUSION: Strain S1 would be a better choice for inoculation into a biotrickling filter than strain S2, because of its much higher toluene removal capacity and rapid recovery to full performance. Copyright © 2008 Society of Chemical Industry     

On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

基础锚栓预埋加固方案

结合工程实例 ,介绍轻钢结构系统基础锚栓预埋、加固解决方案 ,并介绍了加固系统的制作及使用方法 ,可供工程人员参考     

古老的铁艺再次辉煌

铁艺实用美观，唤起人们的怀旧情怀，从公共场所到家居装饰，应用广泛。介绍铁艺选择、使用、维护与保养知识，分析，预测铁艺的市场前景。