摘要：状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.

摘要：近年来计算机犯罪逐年增多,并已成为影响国家政治、经济、文化等各个领域正常发展的重要因素之一。入侵检测技术与入侵取证技术对于打击计算机犯罪、追踪入侵、修补安全漏洞、完善计算机网络安全体系具有重要意义。但是,随着网络的普及以及计算机存储能力的提升,入侵检测及取证技术目前需要分析的往往是GB乃至TB级的海量数据,而且有用信息往往湮没在大量由正常系统行为触发的冗余事件之中。这无疑给分析过程带来了巨大的挑战,也使分析结果的准确性不高。因此,如何设计出一种自动冗余数据删减技术来提高入侵检测及取证方法的准确率及效率,是当前入侵检测和取证领域的关键问题之一。文中即对这方面已有的研究工作进行了综述,首先介绍了冗余数据删减技术的发展历程及其在医学数据分析等传统领域的应用,然后重点介绍了针对入侵检测和入侵取证的现有各种冗余数据删减方法,最后通过对当前冗余数据删除技术的比较,指出了该领域当前存在的问题及未来的研究方向。

摘要：在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下。设计了一种支持动态更新的过程系统。在模型层面上,使用AOP(Aspect Orient Programming,面向方面编织)的方法,实现流程运行时动态更新生成新的模型。在引擎层面上,修改原有引擎,使其能够暂停、恢复实例的运行,从而支持实例的动态迁移。在实例层面上,提出了一种实例迁移的算法,为模型提供动态更新的能力。最后,介绍一个应用案例以验证系统的正确性。

摘要：能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.

摘要：为了认证立体图像的完整性,提出了一种基于立体视觉掩蔽的非对称立体图像水印方法。首先,根据立体视觉特性,建立立体视觉掩蔽计算模型,设计了立体图像左右视点嵌入不同容量的非对称水印;其次,使用小波变换系数计算不同类型的恢复水印,将其分别嵌入2个或3个不同映射块,从而提高篡改恢复质量。仿真实验结果证明,该方法能够有效检测和恢复、拼接、粘贴等不同类型的篡改,并且恢复质量高于现有以及扩展的单图像水印方法。

摘要：设计了一个新颖的基于远程触觉协作的虚拟针灸系统。分析了针灸过程中针体与组织的相互作用力,建立力学模型模拟针体受力,设计插值处理和分频输出以实现力反馈数据的实时网络传输。设计仿真实例对系统中力学模型、插值计算和分频输出的效果进行验证,实验结果表明:提出的力学模型与针灸现实相符,插值方法可以提高远程触觉协作中接收数据的完整性,时延小于专家推荐的经验值,系统能够提供感觉逼真、实时稳定的虚拟针灸远程教学与训练,为针灸教学提供了一种新的手段。

摘要：分布式多Agent构成的社交网络通常表现出不同的特征,针对不同的社交网络和多Agent本身的异质性,提出了一种面向社交网络的基于协作度协商联盟形成机制.该机制依托多Agent构成的社交网络环境,建立面向分布式环境的分布式协商协议,并设计一种考虑到社交网络特征和Agent异质性的基于协作度的协商策略,采用分布式自动协商方式形成联盟.通过对全连通网络、层次网路和小世界网络的仿真实验结果表明,该机制能够有效地实现分布式环境下的联盟形成,并且在反应大多数实际应用环境的小世界社交网络中表现出相对较好的性能.

摘要：随着电子商务与移动代理技术的发展,多个移动代理协作不仅能提高商务交易的效率,更重要的是可用于解决移动代理系统的安全问题。文章先针对系统安全性描述了多移动代理的联合签名机制,随后又基于多移动代理的设计模式,提出了多移动代理系统MMAS的一种基本架构,并借助UML建模工具对一个基于联合签名的多移动代理协作的商务案例进行了安全分析,且得出了若干结论。

摘要：文中介绍一个基于Ｉｎｔｅｒｎｅｔ的信息检索系统：ＤＯＬＴＲＩ－Ａｇｅｎｔ．ＤＯＬＴＲＩ－Ａｇｅｎｔ用于从Ｉｎｔｅｒｎｅｔ上发现和收集用于远程开放教学（ｄｉｓｔａｎｃｅａｎｄｏｐｅｎｌｅａｒｎｉｎｇ，ＤＯＬ）中进行课件设计的教材信息．ＤＯＬＴＲＩ－Ａｇｅｎｔ采用多Ａ－ｇｅｎｔ（ｍｕｌｔｉ－ａｇｅｎｔ）体系结构，能够根据用户的需要主动、智能和协作地从Ｉｎｔｅｒｎｅｔ上各种信息资源（如数据库，ＷＷＷ服务器等）处发现和收集教材信息，并对搜集到的教材信息进行管理和维护．文中主要针对Ａｇｅｎｔ的协作性、互操作性和运行环境讨论ＤＯＬＴＲＩ－Ａｇｅｎｔ提出的解决方案．

摘要：个人外汇买卖是银行的一种业务,在进行外汇交易过程中选择合理的获利平盘时机是非常关键的一步,它和多种不确定因素相关。目前的平盘决策完全凭交易员的经验来决定,为了避免平盘决策中的盲目性,开发了自动平盘决策支持系统,目的是科学地规避汇市中高风险的同时获得最大的利润。