搜索筛选:
搜索耗时3.9807秒,为你在为你在102,285,761篇论文里面共找到 38 篇相符的论文内容
发布年度:
[期刊论文] 作者:郦萌,
来源:铁道通信信号 年份:1991
...
[期刊论文] 作者:郦萌,
来源:铁道通信信号 年份:1991
...
[期刊论文] 作者:郦萌,
来源:计算机工程与科学 年份:2002
安全性苛求系统由于其行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统的软件在开发时规定要采取一系列...
[期刊论文] 作者:郦萌,
来源:同济大学学报:自然科学版 年份:2002
安全性苛求系统需要防范意外事件造成对人体,环境或大宗财产的损害,为此,对软件需要进行严格的安全性测试,并对软件防范意外事件的能力进行评价,然而,完全依靠试验统计或事故累积数......
[期刊论文] 作者:郦萌,
来源:铁道通信信号 年份:1991
...
[期刊论文] 作者:郦萌,
来源:质量与可靠性 年份:1994
介绍了容错软件的基本结构,其中重点介绍了多版编程NVP结构和恢复块RB结构:阐述了软件系统的故障、出错和失效的基本概念;指出软件版本的相异性设计,可望提供较好的故障不重...
[期刊论文] 作者:郦萌,
来源:上海铁道学院学报 年份:1993
...
[期刊论文] 作者:郦萌,
来源:上海铁道学院学报 年份:1993
...
[期刊论文] 作者:郦萌,
来源:上海铁道大学学报 年份:2000
童大埙先生,上海市崇明县人,生于1911年(宣统三年)辛亥革命前夕。先生自幼聪颖,4岁入桥镇小学;16岁自南洋公学附中毕业直升国立交通大学,初攻电机,复攻土木.成绩优异,多获褒奖。因家......
[期刊论文] 作者:郦萌,
来源:同济大学学报:自然科学版 年份:2004
提出一种源于猜错测试案例的自描述方法.经过自描述处理后的案例具有普遍的适用性,只要在新的软件测试任务中找到匹配背景,自描述的案例就可以重新变成在新的具体背景下的测...
[期刊论文] 作者:郦萌,
来源:电子学报 年份:1982
本文试用一个线性界限自动机来描述格局可变微处理机多重冗余系统的格局变换;并对非粘失效及相关失效作了某些模型处理,以便能对这类系统的可靠性作更为切合实际的分析。文中...
[期刊论文] 作者:郦萌,
来源:计算机学报 年份:1982
在某些情况下用微处理机所构成的实时控制系统必须同时满足容错(FT)和故障安全(FS)两方面的条件。本文将故障安全系统的定义推广到多重冗余系统,并从可靠性角度论述了冗余格...
[会议论文] 作者:郦萌;,
来源:第九届全国容错计算学术大会 年份:2001
安全性苛求系统(safety critical systems)由于它们的行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全性苛求系统...
[会议论文] 作者:郦萌,
来源:第二届中国测试学术会议 年份:2002
安全性苛求系统需要防范意外事件造成对人体、环境或大宗财产的损害.为此对软件需要进行严格的安全性测试,并对软件防范意外事件的能力进行评价.然而,完全依靠试验统计或事故积累数据进行安全性评价,会由于测试开销过大或等待累积时间过长影响评价的准确性和及......
[期刊论文] 作者:徐翥,郦萌,
来源:同济大学学报:自然科学版 年份:2004
介绍了复杂度的概念及一些度量方法,提出嵌入式应用软件复杂性估计通用平台的概念,并主要研究其实现可行性.考虑到Halstead度量法和McCabe度量法是2种较为经典的复杂性估计方...
[期刊论文] 作者:徐翥,郦萌,
来源:计算机工程 年份:2005
安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害.因此,对安全苛求软件的测试、安全性评价非常重要.多元、多模型、多阶段的3M评价法能够利用后续测试得...
[期刊论文] 作者:郦萌,胡谋,
来源:计算机学报 年份:1983
IEEE第十三届国际多值逻辑学术会议于一九八三年五月二十三日至五月二十五日在日本京都召开。与会各国学者八十余人。共发表论文54篇,另外还有4个专题报告。论文中包括以下方...
[期刊论文] 作者:王铁江,郦萌,
来源:计算机工程与应用 年份:2003
基于对软件可靠性影响最突出的6个因素,结合模糊逻辑和神经网络技术来开发模糊神经网络模型,抽取蕴含在专家判断中的模糊规则。然后利用这些规则和专家对当前软件开发完成情况......
[期刊论文] 作者:杨晋辉,郦萌,,
来源:计算机工程 年份:2006
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其...
[期刊论文] 作者:周清元, 郦萌,,
来源:装甲兵工程学院学报 年份:2004
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食Back to yield...
相关搜索: