振动外分类算法研究

给出了一种新的外分类算法:振动外分类.它不必预先产生初始归并段,即可得到预期的效果,在特定的数据和硬件配置下,性能上超过了二路平衡归并法和二路多步归并法.详细分析了其系统开销,给出了算法正确性证明,用C语言在PC586及以上机得以实现.     

硬实时环境下固定优先级调度的离线优化

RM调度算法具有简单的实现机制和较低的调度开销,被广泛应用于硬实时调度领域.然而这类算法的固定优先级特征使其在高任务负载环境下具有极高的抢占次数,从而导致了较大的系统开销,因此提出一种方法来减少RM调度的抢占次数.该方法通过离线计算任务集的最优属性来减少基于RM调度的系统在运行时的抢占次数,进而降低系统的抢占开销.仿真结果表明,该方法可以在不付出额外调度开销的前提下有效减少RM调度的抢占次数,降低实时系统的抢占开销.     

分子电子学

作为纳米电子学的一个重要分支,分子电子学在近年来得到了巨大的发展,并成为国际上研究的热点。本文介绍了各种分子器件的制作技术及基本工作原理,回顾了近年来分子电子学的最新进展,展望了分子电子学的未来发展。     

快速外分类算法

给出了一种新的外分类算法——快速外分类。详细分析了其系统开销；给出了算法正确性证明；用ＰＡＳＣＡＬ语言在ＰＣ５８６上得以实现。     

考虑缓存预热时间的多核调度系统验证

随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时间.为此基于调度理论的测试方法比较悲观,在作可调度性判定时,引入模型检测.考虑缓存预热时间的抽象模型仅局限在双核,提出一种建模方法,能够在更多核的条件下,验证调度系统的正确性和可调度性.     

基于位置感知的大规模LEO星座分布式路由算法

针对传统星座路由算法应用在大规模低地球轨道(low earth orbit, LEO)星座中, 存在鲁棒性差、资源开销大、路由效率低等缺点。根据卫星运行时的位置可预测特性, 提出了基于位置感知的分布式路由算法。考虑卫星资源受限, 大规模LEO星座具有卫星节点多、动态性大等特点, 基于位置感知提出一种路径预选机制, 初步确定数据包的传输路径。在此基础上, 考虑业务服务质量(quality of service, QoS)需求, 基于状态和传播矢量函数提出一种路径收敛机制, 无重合确定数据包传输主路径和备用路径。理论和仿真结果证明, 相比于传统路由算法, 所提算法降低了路由存储和开销, 随着中断概率的增大, 提高了星座的吞吐量, 降低了端到端时延。