会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
DWJdollar
博客园
首页
新随笔
联系
管理
订阅
2019年6月9日
前言
摘要: 前言 目标和原由 在控制理论中,物理过程的复杂模型(例如微分或差分方程系统)通常用简单的规范来进行检验,例如稳定性和集不变性。在形式化方法中,可以用丰富的规范(如语义 languages和时间逻辑方程 formulas oftemporal logics)来检验软件程序和数字电路的简单模型(如有限转
阅读全文
posted @ 2019-06-09 16:21 DWJdollar
阅读(273)
评论(0)
推荐(0)
编辑
公告