论文部分内容阅读
<正>软件避错是提高软件可靠性的主要方法之一,它包含程序检验,测试,正确性证明等技术,然而,随
使用防卫式程序设计实现软件容错
【摘 要】
：
<正>软件避错是提高软件可靠性的主要方法之一,它包含程序检验,测试,正确性证明等技术,然而,随
【机 构】
：
江西师范大学计算机系,江西师范大学计算机系南昌330027,南昌330027
【出 处】
：
计算机科学
【发表日期】
：
1996年01期
【基金项目】
：
国家863发展计划;国家自然科学基金;国家军用共性软件发展计划资助项目
其他文献
对王兰生先生关于油气无机成因的观点进行了讨论。业已证明：金属元素及同位素可以与有机化合物形成配位离子或配位化合物，它们可用以油气示踪与同位素定年；费-托反应在不同的催
2013年4月4日施行的《最高人民法院、最高人民检察院关于办理盗窃刑事案件适用法律若干问题的解释》将以数额较大财物为目标盗窃未遂排除在犯罪之外。事实上,无论从罪刑均衡
ICT的应用不仅对于人们的生产生活,且对于教育教学都发挥了重要作用,本文主要通过分析ICT的活用与外语教学的关系,着重探讨对日语职业教育模式带来的影响,强化在日语职业教育
西安电子科技大学21岁学生魏则西2016年4月12日因滑膜肉瘤病逝。去世前他在知乎网站撰写治疗经过时称:“百度上搜索出武警某医院的生物免疫疗法,随后在该医院治疗后致病情耽
为了改进和加强督促检查工作,推进党委、政府重大决策的落实,内蒙古党委办公厅、政府办公厅日前发出通知,要求各级党委、政府及其办公部门,切实提高督察工作实效。
从某种层面上看,阅读习惯是提升阅读能力的有效依托。学生没有养成一个良好的阅读习惯,他们的阅读能力就会受到一定的限制。为了提高学生的阅读水平,教师在阅读教学中一定要
<正> 干涉条纹定域在文献[1,2]中有较多的论述,文献[3]～[6]也从各自不同的侧面讨论了这个问题。但由于问题本身的广度和深度,笔者将对波场相干性与衬比度之间的关联,以及依赖
汪峰火了,彻彻底底地火了。2004年,一首让他“一飞冲天”的热门单曲《飞得更高》频频在各大晚会与大型演唱会上响起,也就是从那时,他实现了从非主流到主流,从小众歌手到大众
期刊