面向GUI软件测试的交互图生成及其实现*

从控件的信息入手,研究了界面的控件间功能交互关系,提出了基于交互图的GUI测试方法,并开发了一个基于交互图的GUI测试工具GUITester.它能自动生成交互图和测试用例,大大提高了GUI软件测试的效率和覆盖率.     

分组遗传算法优化大学考试时间表

大学考试时间表是一个多约束条件下的优化问题。传统遗传算法寻优的计算量是指数级的规模,而寻优的操作有可能会破坏时间表的硬约束条件,从而最终得到的解并不一定理想甚至不可行。该文从某高校的实际应用出发,对用图着色模型得到的已经满足了硬约束条件的初始考试时间表,用改进的分组遗传算法在既不破坏硬约束条件也不延长考试周的条件下扩大并平均分配了学生的复习时间,并且还大大减少了寻优的计算量。     

基于云计算平台的虚拟集群构建技术研究

为了灵活构建高性能计算集群并根据用户作业需求弹性的提供计算资源以及提高物理机器的利用率,采用了基于Eucalyptus开源框架构建云计算平台,利用OpenPBS集群管理软件构建了虚拟集群(Virtual Cluster),并实现了对虚拟集群的管理及监控,提高了集群资源的利用率及实现了弹性计算的理念,通过若干实验证实了构建虚拟集群的可行性和有效性.     

面向图形的CAD集成系统

CAD/CAM集成技术是一项牵涉面很广的新兴技术。CAD/CAM集成系统的开发将继续是90年代计算机应用发展的新潮流。以某面向图形的CAD集成系统为例,着重介绍了其集成方案,并提出一种有效的系统集成方法——面向图形的集成方法。     

基于消息语义解析的软件网络行为分析

通过对软件网络行为的研究,提出了通过结合动态分析软件行为技术和网络消息语义解析技术对软件网络行为进行分析的系统模型。系统主要由动态二进制分析模块、消息语义解析模块和网络行为分析模块组成。通过动态二进制分析,利用行为监控和劫持机制,获取软件对于应用程序编程接口(API)函数和系统函数的调用情况;通过动态污点分析,对消息语义进行解析。实验验证表明,软件行为和消息语义解析的结合可以用于分析软件网络行为。     

逻辑型语言和过程型语言中的COM技术

本文探讨了在过程型程序设计语言与逻缉型程序设计语言中COM(Component 0bject Model)技术的实现方法，从而改变了以往用这两类语言编写的程序之间的松耦合关系，实现了两类不同种类语言之间的无缝连接，使它们能在深层次上自由地进行信息交流．本文还以Visual C 和Visual．Prolog为例，给出了一些有参考价值的实例．     

一种快速的点一多边形／多面体关系分类算法

本文提出了一种基于半空间法的改进射线法用于点一多边形／多面体关系分类算法．该算法不必求出交点即可确定射线与多边形或多面体的交点个数，从而大大提高计算速度．实践证明，这一算法是稳定而有效的．本文还进一步给出了该算法的实际应用．     

专家系统中的同步解释和驾驭推理技术研究

专家系统中的解释一般是在推理结束后把推理结果和过程显示给用户,而不能在推理的过程中同步给出解释,并让用户主动地参与到推理过程中进行共同推理。因此,提出了一种可以实现同步解释和驾驭推理的交互式推理机(IRM：Interactive Reasoning Machine)模型。在推理过程中,一方面IRM可以把推理的过程和中间结果同步地显示给用户：另一方面用户可以直接参与到推理过程中,根据当前的推理信息修改当前使用的规则和证据以完成驾驭推理.     

基于RBF神经网络的属性约简方法

提出了一种用径向基函数(Radial Basis Function)神经网络进行属性约简的方法,定义了影响度等概念来量化评价各属性与待求解问题关系的紧密程度,根据影响度对属性做出约简处理。实验表明,该方法是合理、有效的,明显地提高了机器学习的性能。     

网络环境下高校自动排课系统中教室安排算法的设计与分析

自动排课系统在高校教学管理中处于重要位置，也是一个难题。本文设计了一种高校自动排课系统中教室安排算法，对算法中四类不同的教室安排方式结果的合理性和效率进行了详细地比较和分析，设计并实现了高校教室安排与管理系统。