浅谈物理概念的教学方法

在物理教学生涯中，常感到学生把概念背得滚瓜烂熟，但一遇到实际问题，就茫然不知所措，辨别不清，运用不了－为解决这一问题，近年来，我根据初中学生的实际情况和实施素质教育的要求，探索了４种方法。一、应用语文式教学，剖析概念，掌握概念实质每讲一个新概念，引导学生粗读、精读，学会在断句、咬文嚼字、初步弄清意思的基础上，分析它的成分，剖析它的结构，抓住概念中的关键词语，辅助词语，分析各词语所述概念间的联系。例如：比热这个概念：“单位质量的某种物质温度升高１℃吸收的热量叫做物质的比热。”构成这个概念的成份是：…     

基于代数变换的脉动阵列的综合

本文给出一个基于代数变换的脉动阵列的自动综合系统,它能自动地将用FP 描述的并行算法程序变换成脉动算法的形式描述。这与以往的人为地借助于FP代数进行脉动阵列设计的ad hoc 的讨论不同.为了便于描写并行算法,首先扩充了原来的FP,引入了流递归方程和若干高阶算子.同时为了便于全自动的综合,对FP 的递归方程进行了限制,提出了结构递归方程.在此基础上,还给出了一个系统化的且可构造的脉动阵列自动综合的算法,包括递归方程的展开,规整结构的映射和同步机制的实现.     

左线性重写系统的合流性

讨论左线性的项重写系统的合流性,通过引入重写系统的局部归约序,可证明对于具有局部归约序的左线性重写系统R,R具有合流性,当且仅当,对于任意M→R P和M→R Q,P和Q在M下相对局部归约序子连通。     

类JVML在线部分计值器的正确性证明

定义了JVML指令序列的程序语义，构造了相关的JVML子集部分计值器并形式化地给出了计值规则，证明了计值规则的正确性，说明了表达式和语句在一定的环境下通过部分/剩余（Partial/Residual)计值和全局（Total)计值的不变性。     

FORTRAN程序正确性的形式证明

本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件产品的可靠性无疑有促进作用。     

一个最优广播站点的选择算法

随着计算机网络技术的飞速发展,如何使信息以最快的速度在网络中传播出去,并使用户最快地获取所需信息,已成为一个实际而且紧迫的问题．文中设计了一个网络中的最快广播站点的选择算法（逆向推进法）,并给出了实现该算法的主要数据结构．以此方法在网络中选择一点作为起始结点,可使信息最快地传遍全网．     

PCC技术的应用和改进

随着基于Ｉｎｔｅｒｎｅｔ的分布式计算的兴起,如何在确保系统安全的情况下有效地使用网络上的各种计算资源已成为计算机科学的研究热点之一．由Ｎｅｃｕｌａ和Ｌｅｅ提出的自带证明代码（ＰＣＣ）概念被认为是一种可行的技术,文中研究ＰＣＣ技术所涉及的技术问题,分析比较了ＰＣＣ和其他安全技术的适应性,指出了该技术的优点和限制,提出了相应的改进措施,探讨了其在远程高性能并行计算及可移动代码迁移系统中应用的可能性．     

一个块同步并行（BSP）的改进I／O代价模型

提出了一个改进的BSP的I／O代价模型,不但易于实现,而且利用该模型能减少I／O,通信及同步时间,显著地提高BSP程序的运行效率,给出了在这两种模型下实现并行排序算法的时间代价比较。     

科技英文摘要翻译技巧探讨

对科技论文摘要英译过程中经常出现的问题,做出实例分析,介绍了几种实用性较强的翻译技巧,强调了通过体会分析典型实例提高科技论文摘要英译水平的重要性。     

参数化类型及动态类型检查

数据类型是程序设计语言设计中的一个重要概念。该文通过对Milner多态类型系统的扩展,提出了一个允许将类型作为一阶对象处理的参数化类型系统,并给出了相应的动态类型检查规则。