Web页面中元素间交互技术研究

随着Ｗｅｂ的飞速发展,Ｗｅｂ页面中可以包含的元素种类也越来越多。一个功能强大Ｗｅｂ应用要求同一Ｗｅｂ页面中各元素之间进行交互操作。该文以层次化方式给出了几种实现Ｗｅｂ页面中元素之间交互的技术,并对这些技术进行了比较。     

一个基于Ada的面向对象建模语言

给出了一个基于Ada的建模语言AML.AML以Ada95为基础,吸取了Ada95的基本原理和思想,利用支持建模的设施对其进行扩充,以便适用于软件建模的各个阶段.AML沿用了Ada95中的程序包概念,并将程序包作为它的核心成份,同时,沿用了Ada95的任务单元和保护单元等设施,以精确描述了软件系统中主动控制成份和资源保护成份的各种特性;AML吸取了图形化面向对象建模语言与建模方法所采用的多视点模型思想,将实体不同侧面的特征分开描述;AML利用一种新的并发模型和限制设施,有效地解决了系统的并发特性和不确定性等非功能特性的描述问题;AML有较强的可扩充性,能应用于各种应用领域.总之,AML是一个既面向用户,面向开发者,又面向系统的通用建模语言,有效地克服了现有一些建模语言在表达能力和应用范围等方面存在的诸多不足.     

TBFL和SAFL方法熵分析

为TBFL(testing-based fault localization)方法和SAFL(similarity-aware fault localization)方法构造了熵模型,并用该模型对Dicing方法、TARANTULA方法、SAFL方法在一个实例上进行分析比较。结果表明,熵模型可以为构造以及分析TBFL方法和SAFL方法提供一个原则性框架。     

基于CORDIC改进算法的反正切函数在FPGA中的实现

针对基于FPGA的分布式导航系统中涉及大量的三角函数运算,而传统的查找表或差值法计算,在精度、运算速度方面不能兼得,且占用资源多,本文提出了基于CORDIC算法的反正切函数计算的改进方法与流水线结构的实现方法,使用VHDL硬件描述语言进行编程实现,在Quartus ii 9.0中对算法进行功能仿真,最后通过Altera公司的FPGA Cyclone ii系列芯片进行了具体验证。验证结果表明,针对累加器中因截尾而产生的误差所作的算法改进,显著地提高了算法精度,而且运算速度快。     

一种利用模块内聚性的对象抽取方法

引入子程序-类型关系图来表示程序中类型和子程序之间的关系,讨论了模块内聚性的几个度量准则,并分析了增删子程序对模块内聚度的影响.在此基础上,给出了基于模块内聚性的对象抽取算法.     

连铸用不同材质滑板热应力行为数值模拟

利用有限元法对2种不同配方、同一形状的滑板在浇注过程中瞬态传热过程进行了研究,得到了滑板在浇注过程中的应力场分布.研究表明,钢液的瞬间冲击会导致滑板产生内应力,这是造成滑板在浇注过程中损毁的主要原因之一.通过对相同条件下两种滑板的比较,得出降低滑板的弹性模量和膨胀系数,可以降低滑板浇注过程中的热应力的结论.     

脱硫废水高温旁路干燥塔蒸发系统仿真研究

针对某燃煤电厂脱硫废水高温旁路干燥塔,采用流体计算动力学软件中离散相模型,进行了脱硫废水喷雾蒸发过程仿真及影响因素分析。研究结果表明,相比单喷嘴布置和四喷嘴布置,三喷嘴布置可以获得更佳的脱硫废水喷雾蒸发效果。提高烟气温度和烟气流速均有利于喷雾液滴的蒸发,但不是温度越高越好,也不是流速越快越好。将烟气用量对锅炉效率的影响纳入考虑,在等量脱硫废水条件下进行了高温旁路干燥塔蒸发系统的三因素优化仿真分析。研究结果表明,雾化粒径不超过80μm时,旁路干燥塔蒸发系统最佳工艺条件为烟气速度7～10 m/s和烟气温度600～623 K。     

专家数据库系统的未来方向

本文为专家数据库系统应用提出一些可能的体系结构,并断言只有以紧密耦合为基础的体系结构才是普遍适用的一种结构。还探讨了规则系统与 DBMS 相集成的研究方向,认为目前规则系统的优化技术没有得到足够的重视。最后,论述了专家数据库系统的若干特性。     

FORTRAN 2000与C＋＋面向对象机制比较

本文在简单讨论面向对象方法的基本机制的基础上,比较分析了FORTRAN 2000与C^ 语言对面向对象机制的支持．涉及对象、继承、多态性、操作以及可访问性控制等多个方面。