逻辑与数据库技术概论

本文对二十余年来人们在逻辑与数据库相结合领域所作的工作进行了归纳总结,并把它们区分为三类:理论和完全关系结构方法,纯理论方法以及理论和不完全关系结构方法。本文简要介绍了这三种方法的基本思想和关键技术,并讨论了它们各自的特点和适用范围。     

网络空间靶场技术研究

网络靶场已经成为支撑网络空间安全技术验证、网络武器试验、攻防对抗演练和网络风险评估的重要手段。本文首先介绍了网络靶场国内外研究现状;然后介绍了靶场相关技术的研究进展,包括大规模网络仿真、网络流量/服务与用户行为模拟、试验数据采集与评估、系统安全与管理等方面;最后阐述了网络靶场发展面临的挑战与发展趋势。     

基于IMS移动终端的即时通信联系人列表管理器

本文主要介绍基于IMS移动终端的即时通信联系人管理器,该管理器主要由XML搜索器、XML解析器、XML管理模块、XCAP通信模块构成。分析联系人列表中联系人的XML片段的定长特性,设计了XML搜索器,实现了节点的快速查找。在XML管理器模块中,以节点路径和消息片段的方式提交联系人修改,减少XML消息传输的字节数,从而提高了消息的传输速率。     

一种基于网络安全数据流的混合CUBE模型

目前,国家在骨干网安全监控方面的一大难题是,面对安全事件数据流具有的海量性、实时性、多变性和持续性等特点,如何高效、可靠地管理这些数据,并从中挖掘关键信息,以进行安全态势分析与预测。本文提出一种基于数据流的混合数据立方体构建方法,并在国家公共互联网监控平台上得以实现。通过实际数据的检验,该方法可以有效实现对于大规模数据流数据的管理,极大缩短了查询响应的时间。     

虚拟角色不确定性行为建模研究

为了增强虚拟环境中虚拟角色行为表现的多样性和变化性,从虚拟角色不确定性行为的相关概念入手,系统地研究了虚拟角色的不确定性行为及其建模的基本问题．指出并证明了个体与群体不确定性行为的关系,基于不确定性函数证明了虚拟角色不确定性行为建模的3种途径一不确定性决策、规划和动作建模,分析了不确定性行为建模的具体实现方法．最后基于坦克群对战仿真实验,说明了相关概念的合理性,验证了相关结论的正确性,实验表明,虚拟角色不确定性行为对仿真应用具有重要的影响．     

软件构件平台持久框架的设计与实现

在分布式企业应用中不可避免地要大量访问数据库,或者保存对象、构件的状态信息。软件构件平台上的持久化技术为此提供了一个透明、简洁、高效的途径。本文介绍了现有各种构件平台、各种开发环境下的持久化技术,分析比较了各种方式的优劣,并提出了StarCCM软件构件平台上持久化框架的设计与实现。     

基于网格聚类的数据流多事件检测

事件检测是事件处理系统最重要的研究问题之一。异常、变化和突发是三类最典型的数据流事件。本文关注如何在数据流中同时检测多种事件,首先研究了多种事件之间的联系,然后给出了基于网格聚类的统一处理方法,最后为了评估事件的严重程度,给出了打分函数。实验验证了所提方法的正确性与有效性。     

IDL到WSDL映射的研究及实现

本文针对IDL语言到WSDL语言映射的实现问题,研究提出了一个IDL2WSDL编译器的设计方案,并在我们自主研制的Web服务运行环境中实现了该编译器。     

SJ—3专家系统的开发技术

本文详细讨论了一个实用专家系统的开发技术,主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．     

基于DTW距离的伪周期数据流异常检测

伪周期数据流是一类常见的数据流,广泛出现于各种监测应用中.在这类数据流中出现的异常可能蕴涵了感兴趣的领域知识,因此有必要检测异常的发生以作为进一步深入分析的基础.DTW距离较之欧氏距离具有更好的鲁棒性,采用DTW距离作为伪周期数据流不同波段间相似性的度量可以有效检测出有较少历史相似波段的异常波段,继而在此基础上提出了一种基于聚类索引的快速近似异常波段检测方法用以加速检测过程,在真实数据集上的实验表明了所提方法的有效性.