切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件可靠性估计与计算复杂性的关系浅析
软件可靠性估计与计算复杂性的关系浅析
来源 :软件学报 | 被引量 : 0次 | 上传用户:conan_1126
【摘 要】
:
软件可靠性估计是软件可靠性研究的重要问题之一。
【作 者】
:
朱鸿
【机 构】
:
南京大学计算机软件研究所,南京大学计算机软件新技术国家重点实验室
【出 处】
:
软件学报
【发表日期】
:
1998年9期
【关键词】
:
软件可靠性
可靠性估计
复杂性分析
Software reliability
reliability estimation
random testing
【基金项目】
:
国家863高科技项目基金,国家杰出青年基金,国家教委优秀年轻教师基金,国家教委留学回国人员基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件可靠性估计是软件可靠性研究的重要问题之一。
其他文献
一种避免数据偏斜的动态Hash连接方法
本文提出了一种新的动态Hash连接方法--DHJ,以解决并行数据库连接操作中的数据偏斜现象,为避免目前某些算法提出的预处理中隐含的高额费用,该方法在划分阶段通过增添附加桶的方法来平衡输
期刊
数据偏斜
动态Hash连接法
并行数据库
Join
data skew
dynamic hash
bucket
balance output
试论成人教育的合谐发展
社会的进步、经济的发展、人们日益增长的精神文化需求给发展中的成人教育提出了前所未遇的新课题。以科学发展观、构建和谐社会为指南,审视发展中的成人教育,虽然硕果累累,但也
期刊
科学发展
和谐社会
成人教育
发展
日照市“第十四期初中校长培训”在华中师范大学举行
5月8日,山东省日照市“第十四期初中校长培训班”在华中师范大学举行了开班典礼。山东省日照市教育局师训科科长许加勤、日照市师范学校师训处主任朱庆方、华中师范大学继续教
期刊
华中师范大学
校长培训班
日照市
初中
继续教育学院
党委副书记
师范学校
山东省
并行遗传算法在弧岛模型上的设计和分析
本文探讨了遗传算法的并行化原理;给出了并行遗传算法弧岛模型上的具体实现方法;分析和比较了用串行遗传算法和并行遗传算法求解TSP的实验结果,获得了接近线性的加速比,最后讨论了相
期刊
并行遗传算法
弧岛模型
货郎担问题
国外教育规划的主要方法评析
教育的供给与需求是教育事业发展的一对基本矛盾。如何使教育供给更符合社会与群众的多样需求是指导教育发展的重要原则,由此也就产生了研究教育供求平衡的教育规划理论。在规
期刊
教育规划
教育供给
方法
技工院校师资现状及其应对措施
摘 要:通过研究技工院校师资队伍现状,本文探讨了目前存在的问题,从课堂教学督导、课后教学后主题反思等十个方面提出提升师资水平的应对措施。 关键词:师资现状 课堂教学督导 参观学习大赛 入企实践 师资队伍建设是技工院校打造核心竞争力的关键因素,是提高教学质量、提升人才培养质量的根本所在。当前技工院校师资现状如何,学校应采取什么措施提升师资水平,是笔者一直在思考和研究的问题。 一、技工院校师资队
期刊
师资现状
课堂教学督导
参观学习大赛
入企实践
从上海民众的老年观看老年教育的发展趋势
一砍关于上海民众老年观的调查显示,上海民众的老年价值观以积极的为主,老年生活形态观以开放的为主,老年亲子观以独立的为主。由此,预测我国的老年教育将出现规模不断扩大、向老
期刊
上海民众
老年观
老年教育
远程学习者学习困难及形成因素的调查分析——以北京理工大学现代远程教育学院为例
由于远程学习者自身的特点以及远程学习环境和学习过程的特殊性,远程学习者在学习准备和学习中面临很多困难和障碍。本研究以北京理工大学现代远程教育学院为例,通过问卷调查,从
期刊
远程学习
学习困难
形成因素
中职学校机房课程管理与教学技巧
摘要:当前职业教育虽然蓬勃发展,但中职学校生源无论数量还是质量较之以前都有大幅下滑。中职学校的教学与课堂管理令一线教师感到头痛,其中机房类课程管理与教学更是存在许多问题。如何维持好机房课堂的秩序,有效完成各项教学任务,保证教学目标的达成是一个必须解决的问题,本文对此进行深入分析。 关键词:中职 机房课程 管理教学技巧 课程结构 一、当前中职学生特点 1.心理特点 中职学生年龄正逢十五六岁,
期刊
中职
机房课程
管理教学技巧
课程结构
NURBS双向蒙皮造型方法的研究与实现
本文通过对NURBS造型方法技术的研究,在自主开发的SuperMan CAD/CA集成系统中成功地实现了基于复杂曲线的NURBS双向蒙皮曲面的造型功能,从而建立了完全基于NURBS方法的CAD/CAM系统。通过大量的工程应用和实例验证表
期刊
NURBS
双向蒙皮曲面
节点插入
CAD/CAM
Graph algorithms
cycle
shortest circuits
parallel a
与本文相关的学术论文