基于Microsoft CryptoAPI框架下的数据安全通信系统开发

针对Internet的迅速普及使网络上传输的敏感数据越来越多,如信用卡号等迫切需要确保信息的安全性这一问题,利用Microsoft操作系统提供的CryptoAPI加密接口,编写出完整的信息安全程序,开发出一套具有数据加、解密及数字签名功能的信息安全系统,使普通用户在不了解复杂的加密机制和加密算法的前提下,对应用程序增加安全管理。经测试使用,其加解密过程方便快捷,切实可行,有较高的实用价值。     

Compositional CSP Traces Refinement Checking

Compositional verification using assume-guarantee reasoning has recently seen an uprise due to the introduction of automatic techniques for learning assumptions. In this paper, we transfer this technique to a setting with CSP as modelling and property specification language, and present an approach to compositional traces refinement checking. The approach has been implemented using the CSP model checker FDR as teacher during learning. The implementation shows that the compositional approach can both drastically outperform as well as underperform FDR's performance, depending on the example at hand.     

Compositional encoding for bounded model checking

Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional process algebras is, however, a highly non-trivial task. One challenge is that the number of system states for process algebra models is not statically known, whereas exploring the full state space is computationally expensive. This paper presents a compositional encoding of hierarchical processes as SAT problems and then applies state-of-the-art SAT solvers for bounded model checking. The encoding avoids exploring the full state space for complex systems so as to deal with state space explosion. We developed an automated analyzer which combines complementing model checking techniques (i.e., bounded model checking and explicit onthe-fly model checking) to validate system models against event-based temporal properties. The experiment results show the analyzer handles large systems.     

液芯压下工艺对CSP连铸连轧SPA-H钢力学性能的影响

通过对珠钢CSP生产现场以同一炉钢水进行液芯压下LCR(Liquid Core Reduction)和非液芯压下工艺条件下铸坯和连铸连轧材力学性能及组织的检测，探讨了CSP工艺生产中LCR／非LCR工艺的异同以及对铸坯和成品材组织、性能的影响。结果表明：在珠钢CSP生产中，两种工艺下成品板材的组织和性能都非常优越，彼此差别不大，只是LCR工艺对铸坯性能改善较明显。     

HEAT TRANSFER ANALYSIS DURING ROLLING OF THIN SLAB IN CSP

A mathematical model has been built to numerically predict the thermal history of thin slab during CSP （compact strip process） rolling. To estimate the temperature distribution in the slab mare accurately, the mathematical model combines heat transfer in the slab, in the roll, and at the roll-slab interface during bite. The numerical results agree with on-site running data, which proves the reliabili~, of the mathematical model. The results show that roll chilling has a significant effect on the temperature distribution in the slab.     

改进型活塞用格来圈在唐钢超薄热带钢生产线上的应用

简要介绍了霞板格来圈的结构、特点，以及在唐钢超薄热带生产线应用中取得的经验。     

ANALYSIS ON THE BEHAVIOR OF PRECIPITATES IN ULTRA-THIN HOT STRIP OF PLAIN LOW CARBON STEEL PRODUCED BY COMPACT STRIP PRODUCTION

This paper investigated the mechanism of precipitation and its influence upon prop-erties of ultra-thin hot strips of low carbon steel produced by CSP techniques using experiment and thermodynamics theory. The experimental results show that there are lots of fine and dispersive precipitates in microstructures. By analysis, most of aluminum nitrides are in grains, while coexisted precipitates of MnS are along grain boundaries. Coexisted precipitates compose cation-vacancy type oxides such as Al2O3 in the core, while MnS is at the fringe of surface. The precipitation behavior of AlN and MnS in the hot strip is studied by thermodynamic calculation. At last, implica-tions between strengthening effect and techniques are analyzed using obtained solubility products.     

珠钢CSP热轧组织性能预报软件界面设计

介绍了针对珠江钢厂CSP热轧生产线开发的组织性能预报系统软件界面，其简洁、直观、易学易用，已在珠钢成功应用。     

CSP线Q235变形规律及微观组织实验研究

借助Gleeble-1500热模拟机,研究了Q235钢不同温度、不同变形量及不同变形速率等参数对变形抗力及组织的影响规律,为生产实践提供了参考。     

在CSP线上开发冷轧用低碳钢带

介绍了包钢CSP厂通过成分调整和工艺优化，研究出适合冷轧生产的热轧低碳钢带生产工艺。IM时通过严格加热炉热工制度和换辊制度等，解决了CSP工艺生产的冷轧用低碳钢热带的表面质量问题，用其生产的冷带成形性能优良，可作为深冲、超深冲使用。