formal method lecture 7 文件系统
紫色的是变量的定义
红色的判断这些变量的判断
有两种方法能够做schema的操作
inclusion
有很多新的变量
说白了就是把两个schema拼在一起
这样也有很多的新的预测的点
我们能判断,这两组
有更强的判断的能力
这一个小符号
告诉其他的东西不变
这个原来的值是要改变的
唯一变化的地方
我们这个系统需要有很多的操作
要让老师能够知道你想表达啥
我们看看文件系统怎么做
看看我们怎么做一些操作
文件被用户拥有
每一个文件有一个文件地址
user的数量是有上界的
我们最简单的操作就是这个操作的type是啥
就跟找类一样
找一个set来装这些东西
我们后来回去看这些block都能干啥
先看看状态空间
那些block属于哪些地方?
哪些block是free的?
system_users是users的子集
owns是一个function能够mapping users 到files
occupies:是一个function能够把files做占据的blocks找到
frees_blocks是block的集合的子集
users的上界是自然数
————————
现在我们来看看的precaters怎么样
there is an upper bound to the number of users
#system_users<=no_users
files must be owned by someone
the blocks used to store files are not free for subsequent use
the blocks not used to store files are free
“#” 这个符号是说明了这个集合里面有多少个元素
dom的意思是domain
natural language的表达和不一定和predicate是一样的
考试的时候有很多的很多的解释的东西
说实话就是
这是一个能够加人的操作
说实话
formal method lecture 7 文件系统相关推荐
- formal method lecture 13
抖一抖机灵 看看英国宿舍的一角
- formal method lecture 11
- formal method lecture 9
bags containing other bags function的 性质在所有的bag中都适用 这个贼有用 c is not in the domain of the function
- formal method lecture 2: propositional logic
每一个都是一个能够判断是真的还是假的 atomic是能够判断对错的 from simple to complex p and q are formula negation of p and negat ...
- 第五课 formal method 的课件和翻译,原来老师用latex打印的,pdf转成markdown,之后翻译的
COMP 313 - Formal Methods Lecture 5 : FunctionsinZ MartinZimmermann(UniversityofLiverpool) Planfor t ...
- April 24, 17:30-20:00, 1479, Concentration-compactness/Rigidity method lecture 3 by Yang Lan
时间:April 24 (Wed.), 17:30-20:00 地点:理科一号楼1479 报告人:兰洋(北大本科生) 在几个报告中,兰洋将详细报告"Concentration-compact ...
- formal method revision
- formal method
- formal method online checking tool
https://www.react.uni-saarland.de/tools/online/EAHyper/
最新文章
- pcie ep 应该支持哪种interrupt_双盘位NAS支持PCI扩展可以做什么?QNAP QM2-2S10G1T应用场景讨论...
- 剑指offer 二维有序数组查找
- 前端学习(2477):封装数据接口
- [tools]python的mkdocs模块分分钟将md搞成一个网站
- Spring Boot中日志框架的使用——Logback
- 保存时自动加分号_JavaScript 语句后应该加分号么?
- 图解项目管理详细流程全景图
- 基于内外环PD控制的四旋翼飞行器控制系统simulink仿真
- ipad上写代码???阿里云+vscode-server助你一臂之力
- 《动手学深度学习》(PyTorch版)代码注释 - 51 【Style_transfer】
- python上传钉钉媒体文件_python 上传钉钉图片
- 测开学习篇-html
- Shiro 第十七章 OAuth2集成
- 【宇麦科技】群晖NAS网络不通畅?跟着这篇教程来就对了!
- 12岁“乖乖女”出走后割腕欲轻生 警方3小时全城搜寻
- linux系统安装--安装文件大于4G,fat32的硬盘或者优盘无法安装--解决方案
- [转载]软件加密技术和注册机制
- 入职中国平安三周年的一些总结
- ATmega16和avr
- Retrieval of ice cloud microphysical parameters using the CloudSat millimeter‐wave radar and tempera
热门文章
- 《系统集成项目管理工程师》必背100个知识点-25变更请求
- Openlayers中使用Overlay实现点击要素显示html内容弹窗并且动态更改弹窗内容
- 系统架构师考试知识点mp3资料免费下载
- 添加与编辑共用一个jsp页面时,控制按钮的显示与隐藏
- 微信小程序 获取用户信息 官网例程 详解
- bs架构 mysql_基于BS架构OA办公系统的设计(PHP,MySQL)(三人组)(含录像)
- 神策数据林美天于大数据与人工智能分享沙龙分享
- 当遭遇“用户增长”停滞,你应该怎么办?
- 神策数据与达观数据达成战略合作,共拓大数据服务市场
- 《你不知道的Javascript--中卷 学习总结》(类型、值)