排序方式: 共有7条查询结果,搜索用时 0 毫秒
1
1.
在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期.Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑.本文对现有的基于Event-B的软件工程形式化方法进行了分类阐述,主要分为Event-B控制结构、面向对象的Event-B、可重用的Event-B以及实时Event-B模型,并对各种Event-B模型对软件开发全寿命周期的支持进行了汇总,为软件工程形式化方法提供参考和借鉴. 相似文献
2.
3.
本文简述了采用冷冻法生产硝酸磷肥的生产工艺流程,详细解释了酸解工序的基本原理,酸解比的配比要求及控制调节方式,同时分析了影响酸解的各种因素。 相似文献
4.
真实数据集中存在的对抗样本一方面易导致分类器取得较差分类结果,另一方面如果能够被合理利用,分类器的泛化能力将得到显著提高。针对现有大部分分类算法并没有利用对抗样本训练分类模型,提出一种攻击标签信息的对抗分类算法(ACA)。该方法从给定数据集中选取一定比例样本并攻击所选取的样本标签使之成为对抗样本,即将样本标签替换成其他不同类型的标签。利用支持向量机(support vector machine,SVM)训练包含对抗样本的数据集,计算生成的SVM输出误差对于输入样本的一阶梯度信息并嵌入到输入样本特征中以更新输入样本。再次利用SVM训练更新后的样本以生成对抗的SVM(A-SVM)。原理分析与实验结果表明,一阶梯度信息不仅提供了一种分类器输出与输入之间的正相关关系,而且可提高A-SVM的实际分类性能 相似文献
5.
6.
针对现代医疗资源短缺、分配不均匀、效率低下、患者看病难等一系列问题,设计了一种以监控患者生命体征为核心的医护终端系统。该系统利用ARM Cortex A9硬件平台,基于Linux3.0内核完成相应模块驱动设计,其目的是实时监控患者的体征数据,包括体温、心率、血氧保护度以及呼吸指数等,并传送到网络端进行存储显示,供医护人员查看,同时对异常情况进行报警提示,方便医生对患者体征数据的查询,以此来提高医院的诊断效率,充分保障患者健康,促进人类生命健康发展。实验结果表明,该系统可以实时监护患者,提高患者的治疗效率,减轻医护人员的工作压力。 相似文献
7.
针对当前综合模块化航空电子系统(IMA)开发中存在的问题,提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理,抽取分区间通信的特性,采用基于面向特定领域的元建模分析方法,构建了综合航电分区间通信的元模型,通过元模型解析器生成了面向领域的建模语言,通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证,结果表明该建模语言,具有较好的可理解性、易用性,可显著提高航电系统的开发效率,为基于元模型的综合航电系统建模方法奠定基础。 相似文献
1