安全工控程序分解与转换的形式化理论研究

工业控制系统作为国计民生关键设施自动化生产的基础组件，是国家安全战略的重要组成部分。随着工业4.0、互联网 时代的到来，工控系统与外界网络环境的交互越来越密切，系统体系架构也越来越复杂，工控系统的安全性与智能化程度都亟需提高，这给安全关键工控系统软件的发展带来了新的挑战。本项目针对工控系统软件高安全性的要求，提出了一套完整的面向物理资源的工业控制系统软件开发方法；研究内容包括：工业建模协作语言，基于精化的模型框架，群体协作模型生成方法三个方面；解决了如何将物理设备资源与控制软件融于统一模型，控制软件分解与转换的可靠性的两大关键问题。研究成果在电力领域火力发电控制器研制过程中展开了示范应用。该开发方法全程由形式化方法作为技术支撑，不仅提高了开发效率而且保证了软件质量，对工控系统的发展具备重要的意义。本项目的研究成果形成学术论文13篇，其中SCIE-2区论文4篇、SCIE-4区论文1篇、CCF-C类论文8篇；申请发明专利4篇，获得软件著作权登记2项；协助培养博士研究生1名、硕士研究生3名。 2100433B

工业控制系统作为国计民生关键设施自动化生产的基础组件，是国家安全战略的重要组成部分。随着工业4.0、互联网 时代的到来，工控系统与外界网络环境的交互越来越密切，系统体系架构也越来越复杂，工控系统的安全性与智能化程度都亟需提高，这给安全关键工控系统软件的发展带来了新的挑战。本项目针对工控系统软件高安全性的要求，运用严格的形式化方法对具备典型特征的工控系统软件进行建模。研究形式化建模语言及其语义模型，设计适用于多物理设备资源的工控程序代数演算规则，完成软件模型的分解与转换，保证工控系统软件的安全性和可靠性，从而形成面向多物理设备资源的工控程序开发理论与方法。该开发方法全程由形式化方法作为技术支撑，不仅提高了开发效率而且保证了软件质量，对工控系统的发展具备重要的意义。

钼精矿的分解方法分火法和湿法两类。前者主要有辉钼矿精矿氧化焙烧后者主要有辉钼矿精矿氧压煮分解和低品位钼矿分解，同时兼属两类的有钼酸铅矿分解。工业上还有用硝酸常压浸出钼精矿的。辉钼矿精矿氧化焙烧所得的氧化钼或其制品钼铁可用作炼钢添加剂。辉钼矿精矿氧化焙烧、辉钼矿精矿氧压煮分解和钼酸铅分解所得的氧化钼或钼酸经氨溶或碱溶以及低品位钼矿分解都得粗钼酸盐溶液液浸出渣。粗钼酸盐溶液尚含有较多有害杂质，须通过钼溶液净化除去 。