关于计算科学中的形式方法

来源 :1998年计算机专题学术会议 | 被引量 : 0次 | 上传用户:zjie16
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来计算机硬件和软件中发展的几个人所共知的故障使人们对计算机系统可信性的问题,提高了警觉。计算科学中的形式方法在硬件、软件设计中进一步被重视。但是,形式方法的威力是否真的如此强大,置疑者不少。该文遵循这一线索,用一些实例来说明作者的一些看法。
其他文献
会议
摘 要: 班级是学校教育和管理的基本单位,也是学生成长的重要园地。一个积极进取全面发展的班集体,必将对每一个学生的个体发展起到巨大的潜移默化的教育作用和激励作用。班干部是一个班级里的“领头羊”,是班主任的小助手,只有充分发挥班干部的模范带头作用,才能建立一个优秀的班集体。  关键词: 班干部 选拔与培养 班集体  班干部是一个班集体的核心和中坚力量,他们在老师和同学之间起上通下达、纵横联络的沟通作
叙述了含参数的计算结构力学模型:借助于有限元概念拆、装受力对象,将传统的3 维均匀空间转换为高维、非均匀、有结构的设计变量空间,用含参数的代数方程组代替经典的偏微分方程
摘 要: 班主任工作作为学校教育教学工作的重要组成部分,在学校管理中起着举足轻重的作用,在新的历史时期如何做好班主任工作,成为班主任不断思考和研究的课题。  关键词: 班级管理 责任心 师生关系  班主任,是班级工作的组织者和实施者。班主任每天面对的是学习基础不同、思想品质不一、家庭教育各异的学生。怎样使每个学生健康成长?这不仅需要班主任具有强烈的事业心和责任感,更需要班主任具备一定的组织管理能力
摘 要: 人们在谈及后进生的转化时往往侧重于转化的方法,而忽视了转化或被转化的情感因素和心理因素。作者以为,再好的方法莫过于老师的爱心,有了它,你眼前的后进生会越看越少,并渐渐向特长生转化;有了爱心,你所有的转化工作在学生面前都是自然合理令人满意的;有了爱心,转化后进生的工作就不再只是班主任一人的事,也成了后进生必须履行的义务。在谈及后进生的转化工作时不应忽视老师的爱心,它操纵一切转化方法,涉及整
提供一种在机械科学中评定最上外接圆形状误差的高效、高精度算法。该算法的核心是提出了一种删除对求解最小外接圆不会起任何作用的无关样本点的有效方法。交替运用计算几何
建立了广义的Chebyshev多项式系列,提出了计算机解析谱方法,并用以研究了环空内非定常旋转流动。