把语法教学和语言实践融为一体

本文从人民教育出版社出版的初中义务教育英语新教材(JEFC)的语法教学新思路说起,举例说明初中英语的语法教学必须使用启发式教学并和语言实践活动融为一体,从而达到英语教学整体改革的目的。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

间接式家用燃气热水采暖器的实验研究

本文通过对间接式燃气热水采暖器不同工况的实验研究，得出燃气耗量和水流量对设备的热效率的影响。从而说明适当地控制热负荷的大小可以充分利用设备、节约能源。     

惯性约束中子测温的误差研究

综合分析了ＩＣＦ（惯性约束）中子测温系统的误差与其参数的关系，这些参数包括靶核温度，探测的中子数、靶到探测器的距离、探测器的响应函数以及闪烁体厚度等，考虑到中子与探测器的相互作用，探测器的响应与靶的烧蚀过程，在此基础上提出了新的统计误差计算方法，该方法对于改善中子测温的相对误差并应用于闪烁体的设计具有重要意义。     

MAPGIS在地质图件绘制中的应用

介绍了用地理信息系统进行地质信息管理的特点和优越性以及国产地理信息系统基础软件 -MAPGIS的数据结构、主要功能等。论述了在MAPGIS环境下绘制地质图件的基本方法和步骤。该系统实际应用于陕西省铜川矿务局煤矿地质信息的管理和图件绘制 ,实践证明该方法切实可行 ,效果明显。     

广义拓扑分子格中分子网的θ—收敛性

本文在广义拓扑分子格中建立了分子网的Ｍｏｏｒｅ－Ｓｍｉｔｈθ收敛理论。借助于此理论，我们得到了刻划弱连续序同态的三个特征定理。     

网格计算:全球信息化的下一个里程碑

近几年来，一个不为人们所熟悉的新词“网格”正越来越多地见诸报端，业已成为当今信息技术产业的新热点，众多国家和著名IT厂商都把它列为重要的研发方向。那么，究竟什么是网格呢？网格即下一代的互联网，具体地说，网格是把整个因特网整台成一台巨大的超级计算机，实现各种资源的全面共享，它无疑是全球信息化的下一个重要的里程碑。