区分移动实时事务关键性的并发控制策略

在移动实时数据库系统中,事务的关键性代表实时事务的时间紧迫性,由于实时事务的紧迫程度不同,为了保证事务的时间正确性,因而有必要区分事务的关键性提出相应的并发控制策略。该文按满足截止时间的重要性将实时事务分为软、硬事务加以研究,在此基础上分别提出了三种区分事务关键性的优先级并发控制策略,对三种优先级策略进行了性能比较并提出了改进方法。研究结果表明,将实时事务按关键性分类有利于设计事务优先级分派及调度策略。     

信息物理融合系统实时数据服务

信息物理融合系统(CPS)是一个智能化决策和控制系统,在大数据时代背景下能提供实时感知、信息服务及动态控制功能,这意味着它必须是安全的、可靠的、实时的、高效的.由此实时性显得尤为重要,它是保证CPS安全、可靠、高效的基础.对CPS的实时性可以从实时数据服务、实时控制、数据更新事务和控制事务的协同调度角度等进行研究.该文...     

面向普适计算的自适应模糊访问控制方法

普适环境中的上下文信息是普适访问控制的关键因素,对主体的授权和对主体使用权限过程的控制具有决定性影响。系统安全强度和安全策略应随上下文的变化而动态改变。传统访问控制模型均未考虑上下文对安全强度和安全策略的动态影响,不适合普适计算环境。提出了普适环境下安全强度和安全策略随上下文动态变化的思想,基于区间值模糊集合理论建立了上下文信息相关的产生式规则,设计了一种简单高效的区间值模糊访问控制方法,以提高普适计算系统中安全强度和安全策略的自适应性,更符合普适环境。     

基于实时逻辑的时间约束检测方法

本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2) O(n^2) O(2^k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^2),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。     

P2P网络搜索技术的研究

分布式存储系统以其分布式控制、自组织性和普遍的适应性而受到越来越多的关注。搜索是所有存储系统的重要组成部分,而对终端用户的反应时间是衡量一个搜索引擎优良的重要指标。讨论了目前几种流行的P2P网络搜索技术及特点,并比较其优劣,然后对基于分布式哈希表的搜索技术的几种改进方法进行了分析。     

面向方面的中间件

中间件应用领域的不断拓展,给中间件体系结构的设计带来了困难,中间件的体系结构必须在通用性与专用性之间寻找平衡.传统的中间件体系结构产生这些问题的一个基本原因是:使用垂直分解过程获得的软件分解模型不能同时模块化共存的正交设计需求.论述了针对专门领域的面向方面中间件开发的三种工具:AspectIX和QuO处理QoS关注点,DIL从功能代码中分离协议实现.在建造一个中间件系统时,使用这些工具可以获得较好的模块性、可配置性和代码的演化性.     

实时消息传递界面

实时系统消息传递界面(MPI/RT)是高性能计算中消息传递界面(MPI)在实时方面的扩展,可支持实时通信和实时系统的开发.文中介绍了MPI/RT的背景、开发的基本原理、重要技术和重要概念.描述了MPI/RT如何对双边、单边、零边3种类型的通信和时间驱动、事件驱动、优先级驱动3种实时典范以及这些典范的组合的支持.讨论了MPI/RT如何描述和满足高性能的实时系统的QoS要求.最后给出了一个用MPI/RT开发高性能的实时系统的一般过程.     

用XSLT技术实现基于XML多媒体课件系统

主要介绍利用XSLT提供的强大的转换机制和功能实现异构的XML文档变换，这里提出利用XSLT技术实现基于XML课件文档的转换应用，并采用XML XSLT Servlets的方法设计在线远程多媒体课件系统，达到开放性的课件文档的描述和管理方式使之统一格式并具有可扩展效果。     

大数据下的CPS自适应路由服务

作为一个网络信息系统,信息物理融合系统（CPS）包含计算、人类活动以及通过消息通信技术实现的自动决策。CPS由许多异构的子系统组成,不同于其他控制系统,随着多种多样新型网络应用的涌现,传统的路由配置模式越来越难以适应CPS多样化的数据通信需求。因此,需要依据不同类型CPS子系统应用差异化的通信需求,在数据分组的传输路径上配置合适的路由功能,自适应地合成满足分组传输特性的路由服务,改善通信性能。根据大数据带来的数据间关联关系新范式,试图从大量的CPS应用通信流状态数据中,分析获取评判CPS通信服务质量与路由服务各属性之间的依赖关系,从而定制高效的路由服务。基于此,提出了大数据驱动的CPS自适应路由服务定制机制,主要由网内大量流状态数据为驱动,建立了CPS通信属性模型,挖掘CPS的通信性能对路由需求的依赖关系,获得候选路由功能集合。分析结果表明,提出的由大数据驱动的定制化路由服务可以有效地处理不断扩展的CPS网络通信需求。