收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于部件设计的可靠性研究

云晓春  方滨兴  
【摘要】:研究基于部件设计的可靠性问题。首先提出一个基于部件设计的模型:如何抽象地描述一个部件?如何利用已存的部件构造新的部件?如何在给定部件实现的情况下,静态地验证部件的正确性?然后讨论在部件实现不可知的情况下。如何利用包裹(wrapper)术和虚拟部件行为模式动态地检测并保证部件运行的正确性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 云晓春,方滨兴;基于部件设计的运行时验证[J];计算机学报;1999年09期
2 王颖,艾波;SDL-2000的形式语义研究[J];北京邮电大学学报;2001年04期
3 王维维;严晓浪;;一种基于时段演算的VHDL的形式语义[J];电路与系统学报;2006年02期
4 叶晓波;王松;支蕾;;用操作语义解读程序设计语言中的while循环结构[J];楚雄师范学院学报;2010年12期
5 林添荣;蒋建民;;UML活动图的一种逻辑语义[J];福建师范大学学报(自然科学版);2010年03期
6 邓建波;张立臣;邓惠敏;徐碧红;;基于通信序列进程的UML序列图形式化方法[J];计算机应用;2010年10期
7 林洪;王敏;;Gamma的语义研究[J];计算机工程与科学;1996年04期
8 梁义芝,王延章,缪旭东,刘云飞;UML活动图的形式语义及分析[J];计算机工程与应用;2003年18期
9 李青山;褚华;陈平;;基于进程代数的UML序列图的形式语义[J];计算机科学;2004年04期
10 蒋运承;史忠植;;OWL-S的形式语义[J];计算机科学;2005年07期
11 黄海军;陈意云;;用数据流分析方法检查程序信息流安全[J];小型微型计算机系统;2007年01期
12 王聪;王智学;;基于自动机理论的UML活动图模型检验方法[J];系统仿真学报;2007年22期
13 余珊珊;李师贤;苏锦钿;;一种基于共代数的面向对象形式语义[J];计算机科学;2011年08期
14 李旭帅,毛宇光;SQL语言的形式语义[J];微机发展;2005年03期
15 潘理;温颖文;;时间Petri网弱语义模型的形式化分析[J];计算机工程与应用;2006年13期
16 谢鸿波;周明天;;一种新的类BAN逻辑模态语义模型——兼论类BAN逻辑的语法缺陷[J];计算机科学;2006年01期
17 窦增杰;王震宇;姚伟平;王瑞敏;;可执行代码简化中间表示的设计与实现[J];计算机工程与设计;2010年12期
18 邓建波;张立臣;徐碧红;;UML状态图在并行环境的应用研究[J];计算机工程与设计;2011年03期
19 李广元,唐稚松;时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)[J];软件学报;2000年03期
20 崔萌 ,李宣东 ,郑国梁;UML实时活动图的形式化分析[J];计算机学报;2004年03期
中国重要会议论文全文数据库 前10条
1 莫毓昌;刘宏伟;左德承;杨孝宗;;FTCL:面向Statechart描述的测试用例集自动生成工具(英文)[A];第五届中国测试学术会议论文集[C];2008年
2 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年
3 彭路;寿枫;胡越明;;英语中及物动词的形式语义及其实现[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年
4 陈韬略;韩婷婷;颜锋;吕建;;有限状态自动机的移动进程演算模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 李小五;;目前我国逻辑学研究的几个误区[A];2000年逻辑研究专辑[C];2000年
6 周北海;毛翊;;一个关于常识推理的基础逻辑[A];2003年逻辑研究专辑[C];2003年
7 周新华;杨瑞达;;对TDW905N可控减速顶使用寿命及运用中所出现的故障研究[A];《减速顶30周年》学术会论文集[C];2004年
8 陈冬梅;王忠群;;基于UML的动态工作流过程建模的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
9 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年
10 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年
中国博士学位论文全文数据库 前10条
1 郑虹;DNA计算的若干应用及形式语义[D];吉林大学;2012年
2 吴毅坚;面向网格服务的软件体系结构建模及演化研究[D];复旦大学;2006年
3 李晶;Web事务的建模及其语义分析[D];华东师范大学;2008年
4 韩守鹏;分布式仿真系统动态重构技术研究[D];国防科学技术大学;2007年
5 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
6 王兵;逻辑进程范型的形式语义、算法评估及其在空间随机仿真中的应用[D];国防科学技术大学;2011年
7 杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
8 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
9 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年
10 王维维;数字系统形式设计的理论与方法研究[D];浙江大学;2004年
中国硕士学位论文全文数据库 前10条
1 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
2 刘万春;主动服务构件关系研究及智能化可视化组装[D];武汉理工大学;2009年
3 韩波;不完全信息数据库研究[D];南京航空航天大学;2003年
4 陶正;基于CSP形式语义的构件组装研究[D];解放军信息工程大学;2006年
5 董学阳;本体演化的表示方法及其验证[D];吉林大学;2012年
6 刘俏亮;结构抽象分层基于模型诊断的算法改进[D];吉林大学;2008年
7 聂开伟;平面设计中符号语言的模糊性研究[D];苏州大学;2008年
8 孙伟;一个以动作状态为中心的数字权限表达模型研究[D];东南大学;2005年
9 陈海林;进程代数在工作流中的应用研究[D];华侨大学;2007年
10 陈卉;UML顺序图和状态图的形式化方法研究[D];南京师范大学;2008年
中国重要报纸全文数据库 前10条
1 顾臻;三菱见闻 [N];中国工业报;2005年
2 张艾丽;双星鞋潇洒“走”高端[N];经理日报;2004年
3 佳装;欧洲灯具市场要买“环保”门票[N];中国环境报;2004年
4 ;怎样对孩子谈“性”?[N];河南日报;2004年
5 于丹;转攻高端市场[N];经理日报;2004年
6 ;硅激光研究出现重大进展[N];计算机世界;2005年
7 张艾丽;双星鞋挺走高端市场[N];中国工业报;2004年
8 本报特约记者 王传军;日企业寻找投资新方向[N];中华工商时报;2001年
9 傅强;笔记本电脑追“时尚”[N];中华工商时报;2001年
10 马兵;中兴与杰尔联建实验室[N];人民邮电;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978