一种基于角色的特征模型构件化方法

为了解决领域特征模型混杂交织及其与需求模型过度耦合的问题,本文设计了一种特征模型构件化方法.该方法引入角色的概念,并以角色为中介设计了特征-角色-构件映射算法,将在领域分析过程中提取和抽象的特征映射到不同的构件模型上.通过角色的中介作用,方法实现了特征模型和需求模型的解耦,各个特征模型的可变点可以自由方便地选择和组合,...     

并发模型构件的状态迁移派生图及等价判定

模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一，它可以提高企业建模的效率。针对模型复用，提出了基于代数理论的并发模型构件，刻画了模型构件的状态迁移语义和派生图．给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比，综合考虑了模型构件的状态迁移属性和并发属性，实现了动态过程下并发模型构件的等价性判定．     

DMA并行传输机制的设计与实现

DMA的传输控制机制是影响数据传输速度的最直接因素,经过对传输控制结构和传输协议的分析,采用了流水线的思想,设计了支持突发传输、64位位宽和读写并发的并行传输机制.通过实际应用表明,该设计实现了流水化和读写并发,与串行传输机制相比,数据传输速度提高了三倍.该机制对于DMA控制器的设计具有一定的指导意义.     

基于DEVS的分布式仿真构件形式描述

构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨.     

基于云平台的无线通信远程控制终端设计

面对当前数据传输速率低的问题,提出了基于云平台的无线通信远程控制终端设计。以WiFi温控器为研究对象,使用云平台结构,存储大量无线通信数据,通过网络信号传感器进行远程信号传输,利用无线通信接口实现无线终端与各个服务器端的并发连接。设计控制流程,实现数据传输、定时中断、断线重拨及信息收发的控制方案,同时设立防干扰机制,保障终端各个模块之间的抗干扰能力和安全性。     

程控交换软件设计的一种新方法

介绍程控交换软件面向对象设计方法的原理、特点、关键技术和原型实现、重点阐述了并发对象的概念以及如何构造实时系统的并发对象模型，同时讨论对象划分、软件工程设计方法和ＣＡＳＥ工具选择等问题。     

基于网络处理器的服务质量控制

网络处理器以其优异的性价比和高度的灵活性成为目前路由器中实现服务质量控制的最佳硬件选择。首先简要描述了区分服务机制，然后对其微块划分进行了分析。最后。基于Intel公司IXP2400网络处理器的硬件特征对数据存储模块和服务质量控制处理流程做了相应设计，有效实现了基于IXP2400的服务质量控制。     

基于多版本的多级安全并发控制机制的研究

在多级安全数据库系统中，如果采用传统的并发控制机制，则通过多级事务的协作可以很容易的创建隐通道，因此我们必须研究适合于多级安全数据库的并发控制机制。本文提出了一个基于多版本的安全的并发控制机制，它能阻止隐通道的创建而不会导致检索异常和高级事务的饿死，同时还能提供一个多级事务的可串行化调度。     

《鲁提辖拳打镇关西》动漫作品中的角色设计

角色设计是动漫作品设计和制作中最为重要和核心的环节.本文通过对动漫作品<鲁提辖拳打镇关西>的角色设计,探讨了教学用写实型动漫作品角色设计的原则,阐述了角色外观形象,表情和肢体语言,服饰道具等角色构件的具体设计,给出了角色设计的注意要点.     

一种基于Apla-Java可重用部件库的并行(并发)程序开发方法

介绍了一种基于Apla—Java可重用部件库并行（并发）程序的开发方法，包括Apla—Java可重用部件的设计策略以及部件库并行并发机制的实现方法。并通过一个并行计算的实例验证了Apla—Java可重用部件库应用于并行（并发）程序设计的正确性。     

开放式环境下支持协作设计的并发控制机制的研究

针对现有的分布式并发控制机制存在的缺陷,提出一种适合开放式环境下协作设计事务的并发控制机制。该机制将只读事务和更新事务区分开来,只读事务在执行时遵守多版本时间戳排序协议,而更新事务的执行将按基于两阶段有序相容性封锁的多粒度封锁协议进行。这样不仅使用户可以快速得到查询结果,而且有效提高了协作设计事务的并发度。实验分析表明,该机制比较适合于开放式的协同设计环境。     

基于构件的软件版本管理系统

传统的软件配置管理建立在文件版本控制的基础之上,现代大型软件系统的开发要求在更大粒度上进行版本控制.同时,基于构件的软件开发是当前的发展趋势,也需要适应其特点的配置管理支持工具.本文提出了基于构件的软件版本控制模型,采用将版本控制与并发控制单位分离的策略,从而在大粒度版本控制的同时,保证了并行开发的灵活性.     

Resilient Concurrency Control in Distributed Database Systems

This paper presents the resiliency features of the optimistic approach to concurrency control and demonstrates how it lends itself to a design of a reliable distributed database system. The validation of concurrency control, integrity control, and atomicity control has been integrated. This integration provides a high degree of concurrency and continuity of operations in spite of failures of transactions, processors, and communication system.     

Flow synchronization protocol

Presents an adaptive flow synchronization protocol that permits synchronized delivery of data to and from geographically distributed sites. Applications include inter-stream synchronization, synchronized delivery of information in a multisite conference, and synchronization for concurrency control in distributed computations. The contributions of this protocol in the area of flow synchronization are the ability to synchronize over arbitrary topologies, the introduction of an adaptive synchronization delay, the flexibility to maintain multiple synchronization groups, and the use of a modular architecture that permits the application to tailor synchronization calculations to its service requirements. The authors take advantage of network protocols capable of maintaining network clock synchronization in the millisecond range     

Energy-efficient MAC in ad-hoc networks inspired by conflict resolution concepts

In this paper, we address the medium access control (MAC) problem in ad-hoc networks from the energy-efficiency perspective and develop a residual-energy-based collision resolution algorithm (CRA) for energy-limited terminals. In this interval-splitting-based algorithm, packets involved in a collision are partitioned into subsets according to the amount of residual battery energy left at the corresponding terminals, and retransmissions are scheduled according to a tree structure. To avoid possible performance degradations for cases of not evenly spread battery energies, we propose a hybrid approach that interchangeably uses energy-based and first-come-first-served CRA’s to resolve packet conflicts. We extend the proposed energy-based collision resolution (CR) approach to cases without hard energy constraints but, rather, with energy-efficiency objectives. The algorithm then utilizes the distance from the receiver as the criterion. We then address energy-efficient conflict resolution in general multi-hop ad-hoc networks. In this context, a useful but yet simple method is proposed to reduce the interdependence between collision resolution processes at different receivers, which would otherwise distort the general structure of tree-splitting algorithms. We evaluate the proposed algorithms via simulation for communication systems ranging from simple single-cell classical collision channel models to general multi-hop wireless ad-hoc networks.     

基于ABE算法的访问控制方法研究

访问控制是信息安全的一种重要技术,目前的主要方法是基于角色的访问控制方法,但在管理和安全性方面存在不足。在ABE算法发展史的基础上,给出了一种基于ABE算法的访问控制模型,模型将RBAC中的角色用一组可描述的属性标识。然后具体实现了基于CP-ABE算法的访问控制方法,从算法复杂度、安全性、函数实现等方面分析其性能,给出了相关性能测试。实验结果表明算法在这些方面有一定的优势,能有效抵抗联合攻击,体现了良好的安全性。最后根据实验结果提出几种算法优化方案,旨在设计出更高效安全的访问控制方法。     

Power-allocation policy and optimized design of multiple-antenna systems with imperfect channel estimation

We here focus on the optimized design and performance of Rayleigh-faded multiple-antenna multiple-input-multiple-output systems when both transmitter and receiver share imperfect (i.e., error impaired) channel estimates computed via training sequences. In particular, according to the emerging principle of the so-called synchronized detection, for this operating scenario we propose a simple water-filling (WF)-like strategy for allocating power over transmit antennas and test its actual performance. Afterward, we introduce and evaluate some related figures of merit summarizing the overall system's performance and use these last for noting effective system's design guidelines. In particular, some optimized solutions for power-versus-bandwidth efficiency tradeoff are presented and their validity limits are debated. All the developed results explicitly take into account the actual reliability of the achievable channel estimates.     

基于计算控制通信融合的车联网资源协同优化技术研究

车联网高度动态且业务种类多样,安全业务和非安全业务并存。如何同时满足差异化的业务需求,是车联网面临的重大挑战。分析了计算、控制与通信等要素在车联网中的融合方式,并指出以协同管理多维资源提升驾驶安全性和业务体验质量的必要性。针对业务特点分别介绍了面向自动驾驶的控制与通信融合机制、面向信息娱乐业务的计算与通信资源协同管理机制以及面向差异化业务并发的多维资源协同管理机制,最后基于相关挑战展望了该领域未来的技术发展趋势。     

IEEE802.11无线局域网中一种支持业务区分的回退算法

支持QoS的MAC机制是WLAN支持QoS的关键所在.我们已经给出了一种低分组碰撞概率的MAC层回退机制——RWBO+BEB.该文进一步讨论如何让RWBO+BEB支持业务区分的问题.首先提出了一个Markov链模型,分析如何根据无线终端的带宽比率设置最小竞争窗口,然后给出了一种新的支持业务区分的回退算法——DS-RWBO,仿真结果表明,DS-RWBO能根据局域网中每个终端的带宽比率分配无线信道的带宽资源.