基于动态AOP的构件交互行为监测器

在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,提出了基于动态AOP的监测器模型,使得监测器能以更为灵活、松散、透明的方式融入目标系统;利用动态织入机制,能在目标系统运行过程中动态增加或删除监测器,提高了监测的动态性;并在此基础上实现了该监测器并应用于分布式电子商务应...     

基于时序逻辑的软件行为需求描述

计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的。传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作。而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色。通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础。     

基于网络拓扑关系和节点交互行为的动态信任模型

针对无线传感网络点对点安全系统对节点交互行为的动态适应能力和对节点信息反馈能力评估的不足,提出一种基于网络拓扑关系和节点交互行为的动态信任模型.通过网络拓扑结构来衡量节点之间的短期信任度.在此基础上,引入时间衰减因子计算节点之间的长期信任度,考虑到节点交互存在信任的可靠性问题,引入偏差因子衡量节点交互次数的差异并通过偏...     

分布式软件的交互行为监测机制的研究

在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,分析了交互行为监测对象,明确了对交互行为中哪些可信相关数据进行监测;给出了交互行为监测机制的设计原则,遵循此原则设计了3层结构的监测框架;并在此基础上实现了交互行为监测机制。该监测机制已应用于分布式电子商务应用系统中,结果表明该监测机制是有效的。     

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.     

CAD交互行为模型、实现与组织

通过对CAD交互行为研究,描述了该类行为的形式化模型,并基于软件工程思想给出了该模型的统一方法及其组织设计方法.     

基于对象的软件行为模型

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.     

个体交互行为的平滑干预模型

基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.如何使得用户行为主动平滑变化且可区分,成为解决上述问题的关键.针对此问题,提出一种基于个体交互行为系统平滑干预模型:首先,根据用户历史交互行为日志从多个维度...     

基于DIS的视景仿真交互行为研究

分布式交互仿真是分布式仿真与图形特性的有机结合。针对分布式视景仿真的交互行为特性,文章作了相应的研究,分析了分布式交互仿真DIS节点间交互操作的信息传递机制和通信格式,并结合图形特性论述。在分布式视景仿真中结合对象建模对仿真节点间的实体交互行为做出理论分析,并在此基础上提出了用于实时态势仿真的软件平台和实现方法。     

面向随机模型检验的模型抽象技术

随机模型检验是经典模型检验理论的延伸和推广,由于其结合了经典模型检验算法和线性方程组求解或线性规划算法等,并且运算处理的是关于状态的概率向量而非经典模型检验中的位向量,所以状态爆炸问题在随机模型检验中更为严重.抽象作为缓解状态空间爆炸问题的重要技术之一,已经开始被应用到随机模型检验领域并取得了一定的进展.以面向随机模型检验的模型抽象技术为研究对象,首先给出了模型抽象技术的问题描述,然后按抽象模型构造技术分类归纳了其研究方向及目前的研究进展,最后对比了目前的模型抽象技术及其关系,总结出其还未能给出模型抽象问题的满意答案,并指出了有效解决模型抽象问题未来的研究方向.     

有限状态机在动画角色行为中的建模应用

角色行为设计是动画设计的重要环节,也是动画设计的难点。文中提出使用有限状态机来指导动画的角色行为设计,并对有限状态机在动画中的角色行为设计应用作了比较全面的论述。阐述了有限状态机的数学模型,介绍了利用有限状态机建立动画角色行为模型的基本原理。以键盘打字动画中的角色行为设计为例详细介绍了有限状态机建模方法的应用。结果表明,通过使用有限状态机的方法来对动画角色行为建模,能够有效处理复杂的动画角色行为模型,并简化动画的设计。     

有限状态机在动画角色行为中的建模应用

角色行为设计是动画设计的重要环节,也是动画设计的难点。文中提出使用有限状态机来指导动画的角色行为设计,并对有限状态机在动画中的角色行为设计应用作了比较全面的论述。阐述了有限状态机的数学模型,介绍了利用有限状态机建立动画角色行为模型的基本原理。以键盘打字动画中的角色行为设计为例详细介绍了有限状态机建模方法的应用。结果表明,通过使用有限状态机的方法来对动画角色行为建模,能够有效处理复杂的动画角色行为模型,并简化动画的设计。     

模型检测中虚假反例检测方法

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要。本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法。     

反例引导的模型检验工具的设计

针对模型组合中常见的状态空间爆炸问题,分析了抽象和组合两种方法各自的优缺点,采用反例引导的抽象精化框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

基于扩展有限状态机的诱骗服务器关键技术研究

作为防火墙和入侵检测的有效补充,诱骗服务器成为网络安全的越来越重要的部分,本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上,提出了使用有限状态机理论来构建诱骗服务器的方案,并对其中的关键技术做了详细阐述。     

谓词抽象技术研究

随着软、硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展.介绍了谓词抽象的基本算法并比较了不同的求解支持工具;重点分析了反例指导的抽象求精和基于插值的抽象求精原理;分析了产生新谓词的各种方法的优、缺点;最后指出了谓词抽象技术进一步发展所面临的挑战和发展方向.     

Chord协议的抽象状态机模型

P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。     

模型检验中抽象技术研究综述

在模型检验中,抽象技术是解决状态空间爆炸问题的有效方法之一。论文描述了模型检验对抽象模型的基本要求,给出了抽象模型的定义及其评价指标,对抽象技术和自动化的抽象精化技术的主要方法及其研究进展作了比较深入、全面的综述,并讨论了抽象技术今后的发展方向。     

有限状态自动机在助力器检测设备中的应用

针对目前我国真空助力器检测设备的落后现状,采用有限状态自动机与现代控制技术开发了一种新型的汽车真空助力器设备的微机检测系统;通过对检测设备整个系统和各个分系统的动态行为分析,建立整个系统和各个分系统的状态机和子状态机并依据此模型开发出检测系统主控软件;应用结果表明,利用该方案设计的检测主控软件,增强了系统的可靠性与稳定性;软件结构清晰,易于维护和扩展。