Aspects of microstructure in low carbon steels produced by the CSP process

The solidification structure, microstructure evolution during rolling and precipitates with nanometers in dimension of the low carbon steels produced by CSP process with thin slabs have been studied in recent years. Important differences in microstructure and mechanical properties between the CSP products and the conventional one were observed. These differences may arise from the much rapider solidification rate and cooling rate after casting of the thin slabs. Some aspects of the microstructure for the low carbon steels of the CSP thin slabs are summarized and compared with the conventional one.     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

Structural Refinement of Systems Specified in Object-Z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.     

一个基于模拟退火的多主体模型及其应用

近些年,多主体系统的理论及应用得到了人们的广泛关注,并得以迅速发展.研究者提出了很多基于多主体系统理论的模型,用于求解各种问题.AER(Agent-environment-rules)模型正是一个用于求解约束满足问题较为成功的例子.但是,主体的静态策略选择在一定程度上限制了模型的求解性能.将模拟退火算法与多主体系统思想相结合,并赋予主体更为高效的动态策略选择的能力,提出了SAAER模型(simulated annealing based AER model).基于约束满足问题经典实例--N-Queen问题和染色问题的实验表明,改进后的模型较之原模型获得了更高的效率和稳定性.对于N=10000的大规模N-Queen问题,能在200s左右的时间求得精确解.     

X60微合金化钢CSP变形工艺的热模拟实验研究

针对薄板坯连铸连轧的特点,采用Gleeble1500D热模拟机,研究并分析了X60管线钢在CSP过程中前两道次不同变形量对于轧制坯组织的影响.研究表明,CSP工艺条件下,第一道次变形量和前两道次变形量大,有使晶粒粗化的倾向.     

基于MAS的分布式约束满足求解在供应链研究中的应用

简要介绍了多智能体系统(MAS)在供应链研究中的应用，给出了约束满足问题(Constraint Satisfaction Problem,CSP)和分布式约束满足问题(Distributed CSP)的定义以及其应用现状，提出了一个利用基于MAS的分布式约束满足求解来研究供应链问题的基本框架，并给出了其求解过程。     

在CSP线生产V微合金化钢的探讨

分析了V微合金化钢的强韧化机理及CSP生产线的工艺特点，探讨了V微合金化技术在CSP生产线应用的可行性和应注意的主要问题。V微合金化钢控轧控冷工艺技术特点是再结晶轧制与加速冷却相结合，而这一控制轧制特点正是CSP工艺的特征和优势。国外CSP线在投产之后已成功将V微合金化技术应用于该领域，并形成了不同系列。     

CSP低碳钢板的组织和性能

对采用EAF-CSP工艺生产的ZJ330低碳钢热轧板进行了组织、性能和夹杂物分析。结果表明：成品板的晶粒细小、均匀、强度较高、拉伸试样的断口为韧性断口；EBSD分析表明：成品板组织中铁素体晶粒间基本为大角度晶界，择优取向不显著。由于薄板坯连铸时的凝固和冷却速度快，钢水洁净度高，使得夹杂物含量少、尺寸小、钢板的伸长率高。     

CSP生产线轧制力模型的研究及优化

分析了涟钢CSP生产线7机架精连轧机的板带轧制力模型，并针对其在实际生产过程中遇到的一些问题，提出了改进方案，即基于原轧制力模型进行优化，建立了新模型．同时确立了新的变形抗力模型方程．由优化前后的计算和对比分析可知，新模型的精度更好。在生产实际应用中对轧制力的预报准确率大幅度提高。     

涟钢CSP产品现状及未来板带材开发展望

介绍了涟钢CSP产品的现状及其性能。为调整产品结构，提高企业的市场竞争能力，提出了未来开发CSP板带材产品的几点建议。