论文部分内容阅读
软件体系结构设计已成为软件工程的一部分，为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ，它注重连接器的定义（即协议），提供了形式化推理和体系结构的一致性检查的工具。实现了体系结构设计的要求。
体系结构描述语言——WRIGHT
【摘 要】
：
软件体系结构设计已成为软件工程的一部分，为体系结构开发提供工具和环境也就更加重要。本文介绍一个支持体系结构规范说明的语言ＷＲＩＧＨＴ，它注重连接器的定义（即协议），提供了形式化推理和
【机 构】
：
蚌埠医学院
【出 处】
：
安徽大学学报：自然科学版
【发表日期】
：
1998年4期
其他文献
提出了一种先分层，后布线的减少连通孔的布线算法，该算法的主要思想是从总体上考虑布一的，即先从总体上考虑连通孔最小化，再行布线比传统的布线方法更为紧和有效，最后通过实例验证
本文分析了一种折射率为球对称梯度分布的球形透镜的像差，得到了该透镜对无限远物点的纵、横向球基及其焦距的精确表达式。严格的数值计算表明，该类透镜的像差明显小于通常的均
散文教学是语文记叙文教学的重要组成部分，对提高学生的阅读能力、写作能力和审美能力，作用颇大。笔者认为教师在教学散文时，应该基于散文的特点从文学欣赏的角度，引导学生去品尝
探究式教学是新形势下适应新课改教学、培养学生创新意识的一条有效途径。本文结合物理教材中“单摆”教学中应用探究式教学的个案,提出对物理教学中探究式教学应用的理解,指
爱因斯坦曾经说过：“提出问题比解决问题更为重要”。形象地概括了“问题”在人的发展中的作用。数学作为学生思维的体操，离不开问题。而保护和发展学生的问题意识．开展问题性教
数学教师的重要任务在于返璞归真，对教材进行处理、加工，运用适度的非形式化方法，将数学的学术形态转化为教育形态，向学生展示出平易近人的数学，激起学生学习数学的热情。在教学中
何为“语感”？语感包含了哪些方面的内容？有人认为语感就是对文字灵敏的感觉。教育家吕叔湘先生则认为语感包括语义感、语法感、语音感等。叶圣陶先生曾强调：“语言文字的训练．最
用灰关联分析方法对拟合曲线定量分析，通过曲线与测量系统的关联性，确定精密测微系统测量精度。
本文认为中学图书馆是教育改革中新课程体系中重要的一环。要做好图书管理工作,必须打破传统,变“藏”为用,整合资源,用服务代替管理,努力参与教育改革。
孩子的心灵是一方奇妙的净土，只有在他们有效的心灵里播下健康、美好、快乐的种子,他们才可能健康、快乐地成长。作为教师，就应该处处尊重学生，关心学生，帮助学生，走进他们的心灵，