摘要：云计算是一种新兴的计算模式,倡导一切皆服务.云计算由于能够共享分布在世界各地的计算资源,在大规模计算和数据存储中越来越受到重视.云计算是当前IT工业界、学术界研究的热点领域,云环境中的资源可用性已成为云计算不可忽视的问题.对于云计算,当处理器的处理速度不同,不是一直可用于计算时,可用性成为设计和发展云计算系统的关键需求.根据并行任务图及树形云平台的结构特点,分别讨论了影响并行任务可用性需求和计算资源可用性保障的关键因素,给出一种可用性的量化计算公式.并且通过感知任务"可用性需求"和计算资源"可用性保障",实现可用性匹配,提出了两种可用性感知的调度算法Afsa和Agsa.模拟实验表明该算法能够改善云环境中资源可用性和可靠性,对提高任务调度的成功率具有实际意义.

摘要：该文提出了基于系统辨识的显微镜点扩散参数提取方法 ;在此方法基础上设计并完成了标定试验 ,建立了显微镜点扩散参数和被观察物体Z坐标之间的映射关系 ;作为其应用 ,实现了一个具有显微图像效果的微操作拟实环境 ,当拟实环境中虚拟微操作工具Z坐标发生改变时 ,显微图像中虚拟微操作工具的像的模糊度随之发生变化 ;人眼观测表明 ,它与实际显微图像的微操作工具的模糊程度变化符合得很好 ;整个系统表现出高精度和很好的实时性 .

摘要：CC标准是一个新的国际标准 ,由于缺乏可借鉴的范例 ,开发符合 CC标准的安全操作系统是一项挑战性的工作 .借助一项研究实验结合中国安全保护等级划分准则第 3条款 ,讨论了安全 L inux内核安全功能在 CC框架下的设计与实现问题 ,通过 CC功能需求组件给出安全功能的定义 ,从系统结构和安全模型方面讨论安全功能的实现方法 ,并测算安全机制产生的性能负面影响 .研究表明 ,中国国家标准的要求可以通过 CC标准进行描述 .最后 ,还指出了安全操作系统进一步的研究方向 .

摘要：为了实现对泡沫柱空间姿态的调整,研究了基于双路视觉的泡沫柱空间位姿调整策略,建立了系统的运动学模型,在此基础上,提出了基于图像特征偏差的位姿调整策略。在仿真分析中,推导了基于Broyden方法的图像雅可比矩阵在线估计方程,建立了系统的运动学模型与视觉成像模型,设计采用了比例控制器。仿真结果表明,采用的图像雅可比矩阵估计方法可以很好地跟踪目标图像特征,图像特征偏差可以快速收敛到设定要求。

摘要：介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .

摘要：移动 agent计算模式将成为未来网络计算的主流模式 .迁移技术是移动 agent的核心技术之一 ,受到了广泛的关注 .在分析现有 agent系统迁移机制的基础上 ,提出了一种结构化的 agent迁移机制 ,该机制提供了任务级迁移 ,采用结构化旅行计划表分离移动信息和 agent功能体 ,在降低 agent开发复杂度的同时保证了较高的灵活性和表达能力 .最后 ,结合自行研制的移动 agent系统—— Mogent系统 ,讨论了该机制的实现工作 .

摘要：本文给出了一个基于谱分割并行求解稀疏矩阵特征值的方案,将矩阵的特征值求解区间划分为多个独立的子区间,分别对各个子区间内的特征值进行独立的并行求解.在该方案中,提出了一种通过盖尔圆信息估计矩阵特征值分布的方法,并结合二分法以及插值方法修正特征值的分布,提高估计的准确性,进行谱区间分割.本文还结合谱分割和基于围道积分的近似谱投影算法设计出一个特征值问题多级并行算法,并在"深腾7000"和"元"超级计算机上验证了本文提出谱分割方案的有效性、均衡性以及特征值并行求解的高效性.同通用求解方法相比,基于谱区间分割的并行算法在1024核上性能提高了5倍以上,并行求解的可扩展性显著提升.

摘要：非均衡网络流量、局部密集网络拓扑等应用特征以及低能耗、高实时通信等应用需求给应用于输电线路监测网络的MAC设计提出了挑战.针对原应用与输电线路监测网络低流量时段的X-MAC协议的不足,通过引入同步操作、精确预估唤醒时刻,提出了SX-MAC协议.SX-MAC最大限度地减少网络中前导码报文的长度,节省了网络能量.通过分析SX-MAC协议的网络能耗,得出最优同步周期的理论值.又提出了占空比交错调度机制,优化上行数据的实时性.采用了OPNET进行了仿真验证,结果表明,在此应用背景下,SX-MAC协议比X-MAC协议能够更好地节约网络能量和满足网络实时性要求.仿真条件下最优的同步周期为15分钟.

摘要：MAC协议是无线传感器网络领域中的一个广泛研究的问题,然而,现有的MAC协议较少是针对具体的应用而设计.针对基于无线传感器网络的坡道转弯交通控制系统,设计并实现了一个事件驱动、应用感知的MAC协议EDA-MAC(Event Driven Application MAC).此协议使用竞争时隙分配算法选择优先级最高的汇报事件,根据此优先级作为可以汇报事件的基准,限制低优先级事件的汇报,有效降低数据包的碰撞,保证了数据传输的完整性和实时性.同时,提出一个时隙动态调整算法,根据已有汇报事件的信息,动态调整非竞争周期和非活动周期的时隙数目,减少节点的空闲监听时间,最大程度地使节点处于睡眠状态,有效降低了节点能耗.试验结果表明,该MAC协议支持优先事件传输,具有较好的实时性和能量高效性,适用于基于无线传感器网络的坡道转弯交通控制系统.

摘要：提出一类 Toeplitz循环三对角方程组的一种分布式并行算法 .在求解由一阶线性双曲型方程 (如迁移方程 )在一定边界条件下导出的隐式差分方程组时 ,要重复地求解此类 Toeplitz循环三对角方程组 .算法基于对系数矩阵的分解 ,贯彻并行算法设计中“分而治之”的原则 ,充分利用了系数矩阵结构的特殊性 .算法实现中通过秦九韶公式的运用 ,避免了不必要的冗余计算 ;理论分析和数值试验表明 ,算法是数值稳定的 ,且当方程组规模充分大时 ,该算法加速比趋近线性加速比的理想情况 .