logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--问题框架理论中领域因果行为形式化验证的研究
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
岛际小型电动船舶的锂电池管理系统
A公司产品可靠性测试流程优化研究
论当事人民事诉讼行为
Verilog等价性验证系统前端
试论形式化困境—对“中国古代文
猪12号染色体上增加肌内脂肪含量
形式化验证技术在EDA软件开发
因果作用到因果规律--论休谟
因果概念和英语因果生成与扩展
一种对NAND闪存硬件和闪存转换
名称描述理论和历史因果理论比较研
跨群体因果性与因果建模研究
拱坝变形安全监控因果模型研究
英语因果复合句与汉语因果复句
基于知识理论安全协议形式化验证
密码模块API形式化验证技术研究
Web输入验证脆弱性检测方法研究
列车通信网络系统形式化建模与验证
因果·目·条件复句功能连续性
基于因果因果推断
基于频域Granger因果分析研
VTOS形式化验证框架与VTOS
因果知识特征性质对因果位置效应
群论问题形式化验证研究
汇编语言形式化验证模型、方法和
真理、因果性与探索动机——爱因
汇编语句形式化验证方法研究及其
Xen安全模型设计与形式化验证
学前教师领域教学知识研究
基于CAN信息物理系统形式化
车辆远程诊断授权协议设计与形式化
网络攻击过程形式化描述方法研究
龙芯2号功能部件半形式化验证方法
VTOS系统任务设计与形式化验证
混合系统形式化验证
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
问题框架理论中领域因果行为形式化验证的研究
 
     论文目录
 
摘要第3-5页
ABSTRACT第5-6页
第1章 绪论第9-14页
    1.1 研究背景和意义第9-11页
        1.1.1 研究背景第9-10页
        1.1.2 研究意义第10-11页
    1.2 国内外研究现状分析第11页
    1.3 论文的创新点和贡献第11-12页
    1.4 论文的组织结构与安排第12-13页
    1.5 本章小结第13-14页
第2章 需求工程分析第14-19页
    2.1 需求工程的产生第14页
    2.2 需求工程的含义第14-16页
    2.3 形式化对需求工程的重要意义第16-17页
    2.4 需求工程形式化程度现状分析第17-18页
    2.5 本章小结第18-19页
第3章 问题框架理论及其形式化技术第19-28页
    3.1 问题框架理论概述第19-20页
    3.2 问题建模第20-23页
        3.2.1 上下文图第20页
        3.2.2 问题图第20-23页
    3.3 问题渐变思想第23-24页
    3.4 KRIPKE结构第24-25页
    3.5 NUSMV验证器概述第25-26页
    3.6 NUSMV建模语言第26-27页
    3.7 本章小结第27-28页
第4章 关键问题领域形式化检验第28-35页
    4.1 关键问题领域第28-29页
    4.2 关于KRIPKE结构的UML状态机语义第29-33页
        4.2.1 变量声明第29页
        4.2.2 变量初始化第29-30页
        4.2.3 变量值的顺序迁移第30页
        4.2.4 变量值的选择迁移(无冲突选择迁移)第30-31页
        4.2.5 同步并发组合第31-32页
        4.2.6 异步并发组合第32-33页
    4.3 时序逻辑第33-34页
    4.4 本章小结第34-35页
第5章 案例研究第35-50页
    5.1 案例一——地铁站售票系统第35-44页
        5.1.1 问题域及其描述第35页
        5.1.2 画出上下文图,定位问题第35-36页
        5.1.3 导出问题图,确定关键问题域第36-37页
        5.1.4 UML状态图第37-39页
        5.1.5 NuSmv程序第39-42页
        5.1.6 使用CTL描述待验证领域性质第42-43页
        5.1.7 使用NuSMV验证器验证第43-44页
    5.2 案例二——胰岛素泵控制系统第44-49页
        5.2.1 案例背景第44-45页
        5.2.2 问题图第45页
        5.2.3 领域状态迁移第45-46页
        5.2.4 SMV程序第46-47页
        5.2.5 工具验证第47-49页
    5.3 本章小结第49-50页
第6章 总结与展望第50-52页
    6.1 全文总结第50-51页
    6.2 未来工作展望第51-52页
参考文献第52-56页
攻读硕士学位期间科研成果和其他获奖情况第56-57页
致谢第57-58页

 
 
论文编号BS2848257,这篇论文共58
会员购买按0.35元/页下载,共需支付20.3元。        直接购买按0.5元/页下载,共需要支付29元 。
我还不是会员,注册会员
会员下载更优惠!充值送钱!
我只需要这篇,无需注册!
直接网上支付,方便快捷!
 您可能感兴趣的论文
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我