收藏本站
《2005年全国理论计算机科学学术年会论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

部分状态空间的建模及其验证

韩婷婷  陈韬略  颜锋  吕建  
【摘要】:正 1 引言模型检测技术使用状态空间搜索的方法来全自动地检验一个有穷状态系统是否满足其设计规约,进而提高软件的安全性和正确性。然而随着目前软件系统规模的日益增大,在早期(如需求分析阶段)无法获取系统完整的信息,这就导致了某种意义上的不确定性。不确定性的来源之一是抽象技术(abstraction),它通过将细粒度的信息变成了粗粒度的信息,从而可能将原本确定的

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 赵毅寰;高静;郑力文;;基于攻击期望的双模攻击图生成算法[J];航空兵器;2011年03期
2 郑霖;;自适应降低复杂度的预均衡最大似然序列检测[J];桂林电子科技大学学报;2011年04期
3 史建伟;蔡远文;苏明;;基于CPN的在轨服务概念建模[J];系统仿真学报;2011年S1期
4 卫凯华;唐劲松;肖田元;;基于Petri网仿真的电梯导轨精矫流程优化[J];计算机仿真;2011年06期
5 王雷;许跟起;;双回路复杂波网络的镇定[J];控制理论与应用;2011年06期
6 刘学;焦淑红;;拟蒙特卡罗自适应粒子滤波的机载无源定位算法[J];西安交通大学学报;2011年09期
7 赵会群;孙晶;魏莹;王文文;郭峰;;基于模型的网构软件可达性检测方法研究[J];计算机学报;2011年06期
8 骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期
9 翟永智;;多尺度粒子滤波算法对目标状态估计的研究[J];弹箭与制导学报;2011年04期
10 管峰;;MATLAB预测控制仿真发布系统设计[J];数字技术与应用;2011年06期
中国重要会议论文全文数据库 前10条
1 韩婷婷;陈韬略;颜锋;吕建;;部分状态空间的建模及其验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 王彦博;谢柏翰;王智洋;Le Quang-Tuyen;;基于地震反应监测资料之结构损伤探测[A];全国结构振动与动力学学术研讨会论文集[C];2011年
3 王红;;非线性控制系统与状态空间的几何结构[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
4 肖扬;;非线性条件下二维状态空间数字系统的稳定性分析[A];中国科学技术协会首届青年学术年会论文集(工科分册·上册)[C];1992年
5 侯秀慧;邓子辰;;哈密顿系统下夹层圆柱壳波传播的精确数值解[A];中国力学学会学术大会'2009论文摘要集[C];2009年
6 钟铁毅;王晓明;冯吉利;;桅杆结构振动响应的计算研究[A];第八届全国结构工程学术会议论文集(第Ⅲ卷)[C];1999年
7 刘艳秋;张颖;汪定伟;;赋流值3-state装置网络可靠度计算方法[A];1999中国控制与决策学术年会论文集[C];1999年
8 陈怀琛;屈胜利;何雅静;;控制系统化简的矩阵方法[A];第二十九届中国控制会议论文集[C];2010年
9 黄国君;黄晨光;江中华;刘乙君;伍敏;;基于光纤光栅的结构健康监测技术及应用研究[A];2010’力学与工程应用学术研讨会论文集[C];2010年
10 陈伟球;丁皓江;;具有黏性界面的层合板壳弯曲的精确解[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
中国重要报纸全文数据库 前10条
1 ;BEA助Oni显著降低应用开发成本[N];人民邮电;2007年
2 ;IBM ThinkPad T41闪亮登场[N];电脑报;2003年
3 本报记者 金苹苹实习生 崔君仪;股指期货:破茧待出[N];上海证券报;2007年
4 孙迎基 编译;让新药研发随心所欲[N];医药经济报;2002年
5 崔丹丹 蔡莲红;情感语音的分析与转换[N];计算机世界;2007年
6 记者 王健康 郑秋丽;北京构建循环水务 满足发展需求[N];中国水利报;2006年
7 马美谊;跨平台管理 提高网络可用度[N];中国计算机报;2006年
8 中国科学院计算技术研究所 万长林史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年
9 沈学友;食品包装如何防霉[N];中国国门时报;2008年
10 记者 王高峰;我市是首批测试城市之一[N];咸阳日报;2011年
中国博士学位论文全文数据库 前10条
1 张德珍;串联机械系统运动方案设计的状态空间理论与方法的研究[D];大连理工大学;2003年
2 周云英;多场耦合层状结构的振动与波动[D];浙江大学;2011年
3 赵锡英;随机进程代数的等价性判定计算[D];兰州大学;2007年
4 张建明;机械产品概念设计的若干方法研究[D];大连理工大学;2006年
5 韩泽光;机械系统运动与结构方案集成设计理论与方法[D];大连理工大学;2008年
6 王生发;网络化制造中知识流的控制技术研究及应用[D];浙江大学;2007年
7 宋志伟;基于逻辑马尔可夫决策过程的关系强化学习研究[D];中国科学技术大学;2006年
8 杨阳;钢铁企业轧线批调度问题的建模与最优化方法的研究[D];东北大学;2010年
9 吴亚锋;子空间系统辨识方法及其在复杂结构中的应用[D];西北工业大学;2000年
10 彭志红;合作式多移动机器人系统的路径规划、鲁棒辨识及鲁棒控制研究[D];中南大学;2000年
中国硕士学位论文全文数据库 前10条
1 邓清华;基于TCP协议漏洞的攻击性行为研究[D];中南大学;2005年
2 徐若冰;基于极点配置的倒立摆控制器设计[D];哈尔滨工程大学;2007年
3 邹艳妮;基于价格时间Petri网的Web服务组合建模与分析[D];安徽理工大学;2008年
4 方鑫;状态空间法求解脑电静动态逆问题[D];浙江大学;2011年
5 关英辉;子空间辨识算法在铁水硅含量中的建模研究[D];内蒙古科技大学;2011年
6 王冰山;网络两端可靠性问题的研究[D];西安电子科技大学;2011年
7 关英辉;子空间辨识算法在铁水硅含量中的建模研究[D];内蒙古科技大学;2011年
8 姜玮;基于J2EE的异地转移系统的设计与实现[D];北京交通大学;2010年
9 刘佳;基于可持续发展的山东半岛城市群旅游环境承载力研究[D];中国海洋大学;2007年
10 聂云姬;多变量闭环系统辨识算法的研究[D];北京化工大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026