复杂仿真系统概念模型评估技术研究

复杂仿真系统概念模型(CSSCM)是对复杂仿真对象的静态特性和动态特性进行首次抽象所获得的模型,用来指导仿真系统的设计、开发、评估和分析,因此必须对CSSCM进行充分的评估,以保证其正确性。探讨了CSSCM的评估技术,建立了评估CSSCM所依据的原则,归纳了评估CSSCM的三类指标,分析了评估CSSCM的三类方法,最后给出一种具有层次化结构的形式化CSSCM,并举例说明层次化评估方法在CSSCM评估中的应用。     

数字签名过程的一个形式描述和验证

通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.     

远程数字视频监控系统中云台镜头的控制

基于Web的数字视频监控系统以网络、实时传输和视频压缩等技术为核心技术,具有远距离监控、方便的控制和管理、良好的可扩充性等优点,但目前的监控系统很少实现远程控制模块,本文围绕远程控制中的云台镜头控制进行较为深入的研究和设计,取得良好的实验效果。     

有效的多协议攻击自动化检测系统

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。     

基于共现分析的分类器链标签序列优化方法

针对分类器链模型采用随机生成方式确定标签序列会极大影响分类器链性能的问题。通过共现分析技术深入挖掘标签间的潜在关系, 提出一种基于贪心算法和n-gram模型的两种标签序列优化策略以提升分类器链模型性能。基于贪心算法的策略通过计算和排序标签之间共现率来生成优化的分类器链标签序列, 而基于n-gram模型的策略则通过最大化标签之间条件概率来生成优化的分类器链标签序列。最后通过多个多标签基准数据集进行实验验证, 实验结果表明, 与当前流行的各种分类器链模型相比, 所提的两种策略很有竞争力, 可以明显提升多标签分类效果。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

抽象用户界面构成关系的形式化描述

本文形式化的描述了构成用户界面的内部数据对象与其在界面上的展示形式的特征和属性,以及它们之间的关系,同时说明了关于用户界面和内部数据对象在分离时的一些需要关注的问题,提高了软件设计的可复用性。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

基于TU模式的历史关系数据库的研究

给出了TU模式的形式化定义，结合实例对该模式进行了深入的分析和研究，指出了其优缺点，并提出了对该模式的下一步研究思想。