基于Event-B的软件工程形式化方法综述

在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴.     

硝酸磷肥的酸解比控制及调节

本文简述了采用冷冻法生产硝酸磷肥的生产工艺流程,详细解释了酸解工序的基本原理,酸解比的配比要求及控制调节方式,同时分析了影响酸解的各种因素。     

综合航电分区间通信元模型设计研究

真实数据集中存在的对抗样本一方面易导致分类器取得较差分类结果,另一方面如果能够被合理利用,分类器的泛化能力将得到显著提高。针对现有大部分分类算法并没有利用对抗样本训练分类模型,提出一种攻击标签信息的对抗分类算法（ACA）。该方法从给定数据集中选取一定比例样本并攻击所选取的样本标签使之成为对抗样本,即将样本标签替换成其他不同类型的标签。利用支持向量机（support vector machine,SVM）训练包含对抗样本的数据集,计算生成的SVM输出误差对于输入样本的一阶梯度信息并嵌入到输入样本特征中以更新输入样本。再次利用SVM训练更新后的样本以生成对抗的SVM（A-SVM）。原理分析与实验结果表明,一阶梯度信息不仅提供了一种分类器输出与输入之间的正相关关系,而且可提高A-SVM的实际分类性能     

综合航电分区间通信元模型设计研究

针对当前综合模块化航空电子系统（IMA）开发中存在的问题,提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理,抽取分区间通信的特性,采用基于面向特定领域的元建模分析方法,构建了综合航电分区间通信的元模型,通过元模型解析器生成了面向领域的建模语言,通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证,结果表明该建模语言,具有较好的可理解性、易用性,可显著提高航电系统的开发效率,为基于元模型的综合航电系统建模方法奠定基础。