没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
基于TLA +的AFDX冗余管理算法的改进
基于TLA +的AFDX冗余管理算法的改进
研究论文
需积分: 9
0 下载量
52 浏览量
2021-05-12
04:07:37
上传
评论
收藏
356KB
PDF
举报
温馨提示
立即下载
基于TLA +的AFDX冗余管理算法的改进
资源推荐
资源评论
AFDX以太网冗余管理的算法设计
浏览:165
为了实现AFDX以太网的冗余发送功能,文中通过研究AFDX以太网协议,分析AFDX冗余调度管理的概念和冗余发送过程中顺序号的定义与作用,根据顺序号的定义来分析数序号在接收端与发送端的作用,然后设计冗余调度算法。根据该算法设计的端系统的实际应用表明,该算法可靠准确,达到了设计的要求。
基于改进粒子群优化算法的冗余机械臂逆运动学求解.pdf
浏览:15
基于改进粒子群优化算法的冗余机械臂逆运动学求解.pdf
基于改进萤火虫算法的冗余机器人轨迹规划.pdf
浏览:127
#资源达人分享计划#
PlusCal-Examples:兰波特 TLA+ 的算法语言 PlusCal 中的算法示例
浏览:83
这些是用 PlusCal 编写的算法示例,PlusCal 是 Leslie Lamport 的 TLA+ 算法规范系统的算法语言。 这些文件是在 TLA+ 工具箱中创建的,因此大多数文件都是在工具箱中运行和使用 TLC 算法验证检查器的支持文件。 ...
vscode-tlaplus:TLA +语言对Visual Studio Code的支持
浏览:182
TLA + for Visual Studio代码 此扩展为VS Code添加了对支持。 它还支持在TLA +规范上运行TLC模型检查器。 特征 TLA +和PlusCal语法突出显示和代码段。 运行PlusCal-to-TLA +转换器和模块解析器。 在TLA +规范上...
Learn-TLA-cn:[WIP]TLA+教程中文翻译
浏览:42
TLA+教程中文翻译(待完成)原作:作者:译者:Gitbook地址: (需要科学上网)阅读方式: 或者直接下载写在前面TLA+属于比较小众的领域,其中的资料更是少之又少。在经过原作者的允许下,翻译这本TLA+的教程供大家入门。这本...
一个静态Web应用程序,用于浏览TLA +状态图并对其进行动画处理。-JavaScript开发
浏览:96
TLA + Graph Explorer这是一个静态Web应用程序,用于浏览TLA +状态图并为其设置动画。 该应用程序通过解析生成的点文件来工作TLA + Graph Explorer这是一个静态Web应用程序,用于浏览和设置TLA +状态图的动画。 该...
基于TLA +的兽人形式语义学
浏览:150
基于TLA +的兽人形式语义学
示例:各种复杂程度的TLA +规范的集合
浏览:42
欢迎使用TLA +示例“ TLA +示例”页面是TLA +分布式算法规范的库。 该页面为TLA +社区提供: 现已提供有关TLA +规范的综合库,以概述如何在TLA +中指定算法。 有关每个问题的参考文献和其他有趣信息的完整列表。 您...
TLA学习笔记.docx
浏览:170
本人学习TLA+时收集整理的资料
tlacli:用于从命令行运行TLA + TLC的脚本
浏览:6
tlacli:TLA +的CLI工具 免责声明:这不是TLA +官方工具,也不是其中的原型。 我不保证任何向后兼容性或不间断的更改或其他任何保证。 这只是我觉得有用的脚本。 tlacli是用于tlacli运行TLC模型检查器的工具。 无论...
tla-rust:在TLA +的协助下,在Rust中编写正确的无锁和分布式状态系统
浏览:50
tla-rust:在TLA +的协助下,在Rust中编写正确的无锁和分布式状态系统
论文研究-基于TLA的事件图模型形式化验证方法.pdf
浏览:88
针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件...
DrTLAPlus:TLA +系列博士-学习算法和协议,研究规范
浏览:167
DrTLAPlus:TLA +系列博士-学习算法和协议,研究规范
tla_tools:使用 TLA+ 的辅助工具
浏览:101
例子: joe@hostname ~/src/some/path $ tlc2 blah.tla例子 joe@hostname ~/src/tla_tools/examples $ pcal-trans 3pc.tlapcal.trans Version 1.8 of 2 Apr 2013Parsing completed.Translation completed.New file ...
learntla:TLA +指南
浏览:129
这是用于构建站点的源代码。 该指南面向希望将其用于简单(但有用!)规范的正式方法的初学者。 “不要让服务器爆炸”,而不是“不要让飞船爆炸”。 设置 克隆回购 与hugo server一起运行(在端口1313上) ...
tlaplus-graph-explorer:一个静态Web应用程序,用于浏览TLA +状态图并对其进行动画处理
浏览:133
TLA +图形浏览器这是一个静态Web应用程序,用于浏览TLA +状态图并对其进行动画处理。 该应用程序的工作方式是解析TLA +规范生成的点文件,然后使用可视化表示形式更轻松地理解并经历可达状态。 编写该应用程序是为了...
tlaplus:TLC是使用TLA +编写的规范的显式状态模型检查器。 TLA +工具箱是TLA +的IDE
浏览:142
有关更多信息,请访问 贡献 在开始进行之前,请阅读我们的。 我们还有一个。 执照 版权所有(c)199?-2003 HP Corporation 版权所有(c)2003-2020 Microsoft Corporation 根据
BlockingQueue:教程“数周的调试可以为您节省数小时的 TLA+”。 每个 git commit 都会引入一个新概念 => 检查 git 历史!
浏览:191
阻塞队列教程式谈话“数周的调试可以为您节省数小时的 TLA+”。 本教程和权威背景阅读材料(含剧透)的灵感来自 。 我相信这一切都可以追溯到 c2 wiki 的 。 每个引入了一个新的 TLA+ 概念。 回到第一个承诺继续跟进...
TLA+ 术语解释及中文翻译
浏览:6
state 状态 A state is an assignment of values to variables. 一个状态就是一组为变量赋值的操作。 state function 状态函数 A state function is an ordinary [removed]one with no ′’′ or □\square□) that...
GVim TLA +插件的设计与实现
浏览:24
GVim TLA +插件的设计与实现
tlaplus-language-server:TLA +语言服务器
浏览:129
tlaplus语言服务器 TLA +语言服务器
行人惯性导航零速检测算法
浏览:106
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览:3
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览:37
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
BA无标度网络中的SIR模型
浏览:81
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览:25
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览:59
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束,一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中,贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下,车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览:119
基于机器学习的设备剩余寿命预测方法综述
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38587924
粉丝: 4
资源:
992
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
115213045771860.zip
Cameron2019_Book_ArduinoApplied.pdf
PHP 语言教程.docx.docx
用scratch如何打造一个原生系统OS
计算机二级基础操作题 + 应用题汇总
yolov5模型,输入为ros读取的数据
C# 语言教程.docx
glusterfs的那些事- all.pdf
汇编实验的课件PPT.zip
使用Openpyxl处理表格
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功