Windows 10 Rodin安装教程（附Java 8安装教程）

最新推荐文章于 2024-05-22 15:52:04 发布
VIP文章 最新推荐文章于 2024-05-22 15:52:04 发布
阅读量1.9k 收藏 9
点赞数 1
文章标签： jdk windows
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43828250/article/details/114929924
版权

由于本学期需要学习Event-B语言。

Event-B是一种基于传统的谓词演算和定理证明的形式化语言。

需要使用Rodin进行开发，因为下载的是3.5版本的，所以需要8以上（包含）的JRE的版本。

软件列表

系统：WIndows 10

软件 安装地址
JDK 8 https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html
Rodin https://wiki.event-b.org/index.php/Main_Page

安装步骤

安装JDK 8

下载JDK 8

下载版本8需要登录oracle，没有账户的话可以注册一下。

打开下载后的jdk-8u281-windows-x64.exe文件：

在这里插入图片描述

点击下一步，可以更改安装路径（也可以按默认路径直接下一步）：

最低0.47元/天 解锁文章
HaloHoohoo
关注
  • 1
    点赞
  • 踩
  • 9
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
Event-B Generic Instantiation:用于通用实例化的Rodin平台插件-开源
05-14
HITACHI和ETHZ为Event-B开发的通用实例化工具是RODIN平台的插件。 该工具的主要功能如下：-通用实例化文件，用于存储有关通用实例化的信息。 -用于创建通用实例化文件的向导。 -通用实例化文件的编辑器。 -通用实例化文件的静态检查器。 -通过基于源项目和通用实例化文件创建一个新项目来执行通用实例化。
Rodin-开源
05-12
Rodin（关系对象数据库，以非专有的方式实现Java绑定）是Matisse（专有对象数据库）的免费实现。 该项目仍处于开发初期。
rodin User's handbook
03-22
rodin平台的使用说明，对于刚学event-b并且开始使用rodin平台的人很有用
Rodin: Functional Analysis－3
06-15
Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第三部分131－195页。
Event-B建模（二）——Rodin安装，插件安装
Campsisgrandiflora的博客
01-31 4707
目录步骤1：下载步骤2：安装和运行步骤3：插件安装 步骤1：下载 可以去wiki找到下载的地址https://wiki.event-b.org/index.php/Main_Page Rodin提供了windows，mac，linux的版本，选择对应版本将压缩包下载到电脑上 步骤2：安装和运行 将压缩包解压到合适的位置，然后打开rodin.exe，即可运行rodin 因为是基于eclipse平台开发的IDE，所以操作起来和eclipse差不多 我们打开个项目看看 左边是项目树结构，中间是编写代码的
Event-B建模（四）——Rodin平台使用及Event-B语言
Campsisgrandiflora的博客
03-18 5031
目录Rodin基本操作Event-B表示法 最近在做一些Event-B建模的事情，而Rodin平台使用的方法的中文说明实在太少，在各个模型建模时候，更想写一些建模的思路与需求文档分析方法，这里就总结一下Rodin平台的使用方法以及Event-B的语法结构 Rodin基本操作 Rodin基于Eclipse开发，所以基本操作和Eclipse差不多 新建工程 填写项目名称 新建Event-B组件 组件类型有Context（上下文）和Machine（机器），组件名字随便起，不过后面会有精化操作，可以从0开始
[转]Unity插件之DOTween教程
小小姑娘
12-15 3627
以前做动画就是：这个动画XXX模块里用到过，复制-粘贴；这个动画好像没实现过，百度-复制-粘贴。今天，我终于下定决心自己学一下DOTween动画。DOTween动画作为众多插件中的一员，成为大部分开发者使用的动画插件是有一定道理的。
CVPR 2023 | 微软提出RODIN：首个3D扩散模型高质量生成效果，换装改形象一句话搞定！...
阿木寺的博客
03-18 2609
点击下方卡片，关注“CVer”公众号AI/CV重磅干货，第一时间送达点击进入—>【扩散模型】微信技术交流群转载自：微软亚洲研究院编者按：近日，由微软亚洲研究院提出的 Roll-out Diffusion Network (RODIN) 模型，首次实现了利用生成扩散模型在 3D 训练数据上自动生成 3D 数字化身（Avatar）的功能。仅需一张图片甚至一句文字描述，RODIN 扩散模型就能秒级...
Event-B建模（九）——用Rodin手动证明
Campsisgrandiflora的博客
05-11 2055
目录环境更改证明规则练习1 前面我们用Rodin建模了各种各样的模型，想必大家都知道Rodin的自动证明器有时候是会出错的吧？有时候，在自动证明器无法证明的情况下，我们需要进行手动的证明 环境更改 我们现在用的是SMT自动证明器，那玩意儿太高级了，为了体验一下手动证明的感觉，我们要首先更改一下我们的环境，来到这个界面，点击new 我们新建的这个证明环境命名为prp1，然后先把右边Loop On All Pending这个东西拖到中间 然后左边的都是证明的方法，把这个Goal in Hypotheses
模拟Rodin不变式保持
04-05
模拟Rodin不变式保持
prob-rodinplugin:ProB模型检查器和动画制作器
05-26
ProB模型检查器和动画制作器 ProB源代码以EPL许可（ ）分发。 （C）2000-2021 Michael Leuschel等。 有关更新，请访问ProB网站： ://www3.hhu.de/stups/prob/ ProB绝对不提供任何担保！ 分发该软件是希望它会有用，但没有任何保证。 作者不承担任何因使用它的后果或它是否用于任何特定目的或根本不起作用的责任。 对软件或其性能不做任何保证。 ProB二进制文件和源代码发行版包含海蒂库（ ），这暗示着进一步的限制：具有海蒂对称性降低的ProB模型检查器不能用于非平凡的军事应用意义。 有关商业支持的可用性，请联系Michael Leuschel（ ）。 虫子 请在新站点报告错误和功能请求 Prolog源代码 可以从下载Prolog二进制文件的最新源代码。 要构建Prolog二进制文件，您需要Sicstus 4（ ）许
Rodin: Functional Analysis－2
06-15
Walter Rodin的泛函分析经典教材，应用数学、计算数学工作者的优秀参考书，第一部分66－130页。
PDT-20-Sergey-Rodin
07-05
PDT-20-谢尔盖-罗丹DZ1 DZ2 DZ3 DZ4 DZ5 DZ6 DZ7
Mac的Rodin安装教程
Hoohoo的博客
04-01 719
上篇文章写的是Windows 10下的Rodin安装，但由于Windows电脑过于沉重，而且续航不行，难以维持2个半小时的课程，故选择在Mac上安装。 软件列表 系统：macOS Big Sur 11.2.3 Rodin 3.5 下载地址：https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ 安装步骤 安装JDK 8 下载JDK 8 方法一 在Mac上直接terminal中输入： brew cask i
最全的Redis安装教程
qq_42184753的博客
04-12 1433
Redis安装Windows 安装 Redis(.msi)Linux 安装Redis通过rpm离线安装 方法一：1、检查是否存在redis安装包2、若未找到redis安装包，则安装epel-release源3、查询是否存在redis4、正常查询，出现5、下载安装包6、安装7、启动redis8、登录Redis通过rpm离线安装 方法二：下载rpm包安装运行并设置自启动设置自启动登录源码包安装[CentOS 7 源码编译安装 Redis]1.下载源码并解压2.编译3.安装4.更改配置5.配置环境变量6.配置启动
接口作为返回类型与类作为返回类型一样吗？
2301_80484340的博客
05-21 372
可以看到 LinkedList实现了Deque（继承了Queue），所以可以用LinkedList类实例化一个对象，而返回类型仍然是。接口，这样就创建好了一个队列（相比与c++创建一个队列非常麻烦）接口，但是接口是不能实例化一个对象的。先看看LinkedList部分源代码。但是你仔细想想，这样写真的对吗？
数据结构【双链表】
2301_80216111的博客
05-22 681
双链表与单链表的区别，双链表的基本操作
毕业设计MATLAB_执行一维相同大小矩阵的QR分解.zip
最新发布
05-27
毕业设计matlab
rodin 怎么写if
05-21
在 Python 中，if 语句的语法如下： ``` if condition: # 如果 condition 为真，则执行这里的代码块 else: # 如果 condition 为假，则执行这里的代码块 ``` 其中，`condition` 是一个条件表达式，它可以是任何可以被解释为布尔值的表达式。如果 `condition` 的值为真，则执行 `if` 后面的代码块；否则，执行 `else` 后面的代码块。 下面是一个简单的例子： ```python x = 3 if x > 0: print("x is positive") else: print("x is non-positive") ``` 在这个例子中，如果 `x` 的值大于 0，则输出 "x is positive"；否则输出 "x is non-positive"。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值