模型检测在软件测试中的应用研究

以测试为基础的模型或规格是产生测试用例的一种很有潜力技术。在这种方法中,先要建立一个系统的规格或模型,再由规格或模型产生测试用例。文章对结合模型检测来进行测试的方法进行了研究,从整体上对测试进行考虑,不仅包含了对系统所希望具有的功能进行测试,还包括了对系统不应具有的功能进行测试。通过这种方法,我们可以进一步保证系统的正确性和可靠,大大降低人力和资源的开销,为进一步优化测试奠定了基础。     

基于用户行为的网络管理模型能力分析

现有的网络管理模型一般都侧重网络设备本身的管理,不太适应现在越来越复杂的网络管理。基于用户行为的网络管理模型从用户行为管理的角度出发,关联分析出网络中的用户行为,并根据用户行为管理策略规范用户的网络行为,从而消除不良网络行为对网络性能和安全的影响,使网络能安全稳定地运行,并可大幅度减轻网络管理员的负担。本文讨论基于用户行为的网络管理模型要解决的关键问题,提出并分析模型应具备的4个能力：感知能力、控制能力、取证能力和告知能力,最后讨论它们在实际网络管理中的应用情况,并证明它们的可用性。     

虚拟展示/定制中动态交互的设计与实现

X3D语言不具备与外部交互的能力,为实现虚拟展示和定制过程中的动态交互功能,提出一种X3D场景与外部动态交互的方法。基于这种方法设计一个基于X3D的家具展示／定制的原型系统,实现系统的动态交互功能。为三维虚拟电子商务提供一种可行的实现方法,具有一定的商业价值。     

几何画板在中学数学教学中的应用

多媒体技术的应用为数学教学的更新创造了条件,也给学校教育带来了一场深刻的变革。数学作为一门独立的自然科学,有它自身的特点、体系和规律,而几何画板作为电子尺规,是研究几何图形的关系、动态地观察几何图形运动状态、探索数学信息的有力工具。从几何画板辅助中学数学教学的现状、目标及其意义入手,结合几何画板辅助中学数学教学的实例,就几何画板在中学数学教学中的应用及其在教学活动中的重要作用做了系统地阐述和说明。     

“双向评价评价系统”的软件架构

结合"双向评价系统"开发实践,从系统概述、评价系统主要功能及角色划分、系统数据库结构三个方面讨论了该软件的基本架构,认为只有做到软件架构的科学合理,才能保证软件开发质量的先进实用。     

基于Top-hat变换与主成分分析的人脸识别方法

针对光照条件对人脸识别性能的影响,提出了一种利用Top-hat变换对特征提取前的人脸图像进行预处理的方法,减弱了外界光照对人脸特征提取的影响,并将该方法与基于主成分分析的特征提取方法和基于多类别分类器支持向量机的分类策略相结合,形成完整的人脸辨识算法.最后在ORL人脸库和YALE_B人脸库上,对该方法的识别率进行了测试,并与传统的基于主成分分析和最小近邻分类方法结合的人脸辨识方法进行了比较,得到了较好的结果.     

缺陷需求分析与管理模型

需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷.从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类.建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型.指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示.     

一种基于充要强度的优化规则发现方法

提出了一种基于信息系统的优化规则的提取方法,主要目的是提取信息系统中具有一定充要性的优化规则。首先,提出了充要强度并讨论了它的性质。其次,由于搜索空间的巨大和遗传算法的全局优化的特性,设计了使用遗传算法进行优化规则搜索的方法。最后,通过实验说明方法的有效性。     

通信和指控分布式仿真系统中的桥接成员设计

借鉴"桥"的设计思想,遵循高层体系结构(HLA)分布式仿真技术标准,建立了通信和指控一体化分布式仿真体系结构,研究设计了通信和指控一体化分布式仿真系统中的桥接成员,解决了桥接成员在高速传递异构RTI仿真系统间的交互信息时既高效而又不丢失有用信息的难题,并保证联合仿真时间的一致性.依据特定作战想定,进行了通信和指控一体化联合仿真实验,实验表明桥接成员运行稳定可靠,为实现基于DMSO RTI的通信仿真系统与基于pRTl的指控仿真系统互操作提供了一种有效的技术方法.     

雷达电磁环境仿真的一种设计与实现

本文研究了导弹作战战场雷达电磁环境仿真的设计与实现问题,建立了雷达电磁环境的数学模型和信号威胁等级识别模型,提出了一种可视化系统设计方法,在运用可视化技术的基础上,结合雷达数据库的建立,实现了导弹战场雷达电磁态势显示,其结果有助于战场指挥员快速理解战场电磁态势,为作战指挥提供相应的辅助决策支持.