资料介绍
Altarica3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSM攴持穷尽式的模型检验技术,因此对Δlτ a rica3.θ模型进行扩展,提岀了基于语言解析器生成器 ANTLR( Another Tool for Language recognition)的 Alta rica3.0模型到NusMⅤ模型的转换规则和算法。首先,利用 ANTLR构建Alta rica3.0平展化GTS模型的AST( Abstract Syntax Tree);其次,设计语言结构转换规则,显示 Altarica3.0和 NUSMV之间的行为语义对应关系;然后,设计转换算法G2N,在遍历AST时,G2N对结点存储的GTS模型语言信息进行获取和转换,在保留语义的情况下,通过不断地遍历转换过程来获取转换后的 NUSMV文件;最后,以需求工程中的4个典型案例为例进行实验分析,验证了(2N的有效性和需求模型的安全性。实验结果表明,G2N算法可以在词法和语法层次上完成Δ Italicα3.0模型到NuSMⅤ模型的转换工作。
- 移植深度学习算法模型到海思AI芯片 11次下载
- 基于果蝇算法的混合小波神经网络交通流预测模型 40次下载
- 基于遗传算法等的光伏阵列模型鲁棒参数辨识 14次下载
- 基于改进曲率驱动模型的敦煌壁画修复算法 6次下载
- 基于场景聚类和遗传算法相结合的模型求解算法 2次下载
- 基于随机森林与转换算法实现海洋数据的协同转换 1次下载
- 基于规范化函数的深度金字塔模型算法 14次下载
- 贝叶斯网络模型之一依赖估测器模型研究 12次下载
- 基于分层策略的三维非刚性模型配准算法 3次下载
- 规则半自动学习的概率软逻辑推理模型 6次下载
- 如何进行数据库设计数据库设计和ER模型有什么关系 10次下载
- AltaRica 3.0模型到Promela模型转换与验证方法研究 1次下载
- 基于GSPN的机载构件化软件可靠性评估 7次下载
- 一种新的模糊加权关联规则挖掘算法 16次下载
- 城市发展预测细胞自动机模型及转换规则 14次下载
- 请问Saber是如何将MOR电热模型转换为MAST模型的? 410次阅读
- Topic 模型的使用 293次阅读
- 百川的大模型KnowHow介绍 729次阅读
- AI大模型网络如何搭建 1784次阅读
- 从进程模型转换成线程模型的优缺点 252次阅读
- 如何使用TensorRT框架部署ONNX模型 2507次阅读
- 模型评估、模型选择和算法选择技术的正确使用 713次阅读
- 集成模型的原理及创建集成模型的方法 4810次阅读
- firefly NCC S1--MDK - SSD模型工具包介绍 1855次阅读
- 科普 | 商业分析与数据分析、算法模型的关系与区别 4962次阅读
- 如何构建强化学习模型来训练无人车算法 4570次阅读
- 深读解析反向传播算法在解决模型优化问题的方面应用 5185次阅读
- PRAM模型、BSP模型、LogP模型优缺点分析 1.4w次阅读
- MOS管模型分类 NMOS的模型图详解 5.1w次阅读
- 理想buck变换器模型与非理想buck变换器模型 1.6w次阅读
下载排行
本周
- 1东芝BiCD集成电路硅单片TB67S109AFNAG数据手册
- 1.93 MB | 5次下载 | 免费
- 2SP3060A/30120A/30160A/30320A/30520A系列数字合成扫频仪使用说明书
- 4.16 MB | 3次下载 | 1 积分
- 3具有双通道 DC-DC转换器、由串行接口控制的9通道电机驱动器TPIC2010数据表
- 1.15MB | 2次下载 | 免费
- 4USB Type-C PD快充协议智能触发芯片FS312B数据手册
- 0.75 MB | 1次下载 | 免费
- 5USB Type_C PD快充协议智能触发芯片FS8025B数据手册
- 1.29 MB | 1次下载 | 免费
- 6触摸按键PCB 设计要点V01
- 1.42 MB | 1次下载 | 免费
- 75V升压充电两串锂电池充电管理IC FS4058数据手册
- 2.98 MB | 次下载 | 免费
- 8真关断同步升压IC FS2009数据手册
- 2.08 MB | 次下载 | 免费
本月
- 1DCDC原理详解
- 0.98 MB | 63次下载 | 免费
- 2allegro快速入门教程
- 1.98 MB | 36次下载 | 免费
- 3FU-7(807)胆机原理图
- 11.93 MB | 25次下载 | 1 积分
- 4用于汽车应用的高压电源管理IC TPS65311-Q1数据表
- 1.05MB | 22次下载 | 免费
- 5电子元件基础知识介绍
- 8.76 MB | 13次下载 | 2 积分
- 6华为海思Ascend 310芯片的资料说明
- 0.12 MB | 10次下载 | 10 积分
- 7GD32F10x系列MCU用户手册
- 11.5MB | 9次下载 | 免费
- 86A 输出电流同步降压稳压器TPS65286数据表
- 2.05MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935083次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420045次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233067次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191308次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183308次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73785次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多