基于RTEMS的软件容错系统设计

  

在空间环境下运行的计算机系统,高空辐射可能引发各种各样的异常或错误而导致故障。为了提高系统的可靠性,同时尽可能减少对系统实时性能的影响,需要对其进行有效的容错。针对节点和应用软件的故障检测和故障恢复进行研究与分析,提出了多种灵活有效的软件容错策略与设计方案,并基于四节点的多机硬件… …   相似文献

李小群 《计算机应用研究》2009,26(3):911-913

一种有效的蛋白质序列聚类分析方法

下载全文  

提出了一种有效的基于仿射传播聚类算法和后处理方法的蛋白质序列聚类方法.在聚类分析蛋白质序列时,为了优化仿射传播聚类算法的聚类结果,采用后处理的方式来提高聚类结果的质量.为了度量蛋白质序列之间的相似度,给出了一种改进的无比对计算方法.在6个蛋白质序列数据集上进行对比实验,实验结果表… …   相似文献

唐东明  朱清新  杨凡  陈科 《软件学报》2011,22(8):1827-1837

基于机器学习特性的数据中心能耗优化方法

下载全文  

随着互联网的发展,各种类型的数据呈爆炸式增长.通过机器学习的方法对大量数据进行实时或离线的分析,获取规律性信息,已成为各行业提升决策准确性的重要途径.因此,这些机器学习算法成为各个数据中心运行的主要应用.然而,随着数据规模的增大和数据中心面临的能耗问题的突出,如何实现这些算法的低功耗处理,已成为实现绿色数据中心亟待解决的关键问题之一.为了实现对这些机器算法的绿色计算,首先对运行在数据中心中的关键算法进行了深入的分析,并观察到在这些算法中存在大量的冗余计算.在此基础上,设计和实现了一种面向数据中心典型应用的低功耗调度策略.该算法通过对不同计算部分的输入数据进行匹配来判断计算过程中的冗余部分,并对算法进行调度.实验数据显示,对于数据中心的两种典型应用k-means和PageRank,该算法可以实现23%和17%的能耗节约.… …   相似文献

王肇国  易涵  张为华 《软件学报》2014,25(7):1432-1447

Android 安全加固技术

下载全文  总被引：1，自引：0，他引：1

为了保护Android智能手机安全,在深入分析Android系统安全机制的基础上,提出了一个基于强制访问控制的安全加固技术.该技术首先通过修改Android内核,添加一个平台无关的强制访问框架,其次为进程、文件等系统对象添加安全属性,最后通过制定一套细粒度的强制访问规则,对应用程… …   相似文献

乜聚虎  周学海  余艳玮  吴志忠 《计算机系统应用》2011,20(10):74-77

操作系统内核程序函数执行上下文的自动检验

下载全文  总被引：2，自引：0，他引：2

函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的… …   相似文献

汪黎  杨学军  王戟  罗宇 《软件学报》2007,18(4):1056-1067

文本检索的查询性能预测

下载全文  

目前,查询性能预测(predicting query performance,简称PQP)已经被认为是检索系统最重要的功能之一.近几年的研究和实验表明,PQP技术在文本检索领域有着广阔的发展前景和拓展空间.对文本检索中的PQP进行综述,重点论述其主要方法和关键技术.首先介绍了常用… …   相似文献

郎皓  王斌  李锦涛  丁凡 《软件学报》2008,19(2):291-300

基于粒子群优化的异构多处理器任务调度算法

  

为提高异构多处理器任务调度的执行效率,充分发挥多处理器并行性能,提出一种基于粒子群优化的异构多处理器任务调度算法——FPSOTTS算法。该算法以求得任务最短完成时间为目标,首先通过建立新的编码方式和粒子更新公式实现粒子搜索空间到离散空间的映射,使连续的粒子群优化算法适用于离散的异… …   相似文献

李静梅  张博  王雪 《计算机应用研究》2012,29(10):3621-3624

无线网络中的干扰攻击

下载全文  

在无线网络中,媒介的广播、共享特性使其易于受到干扰性质的拒绝服务攻击,严重影响着网络的性能和安全.分析了当前存在的干扰攻击测度标准和攻击模型;从干扰攻击的检测、防御以及干扰源定位3个方面对当前具有代表性的研究工作进行了详细的分析和总结.最后给出未来可能的研究方向和研究重点,… …   相似文献

孙言强  王晓东  周兴铭 《软件学报》2012,23(5):1207-1221

普适环境下基于软件代理虚拟化的应用迁移

  总被引：1，自引：0，他引：1

虚拟计算环境中的用户在物理空间的移动要求其相关应用能够在网络空间进行相应的移动.为支持应用的迁移,利用软件代理技术来实现计算网络空间以及其中资源的虚拟化.具体而言,就是结合情境感知技术,利用软件代理本身所具有的自治性和移动性实现应用组件的动态绑定和迁移,进而提出一种基于代理的支持… …   相似文献

周宇  马晓星  曹建农  余萍  吕建 《软件学报》2007,18(8):2038-2048

基于可转换代理签密的SAML跨域单点登录认证协议

  

可转换代理签密算法具有保护用户隐私、抗重放攻击、抗抵赖性等优势,基于该算法提出一种SAML跨域单点登录协议(SSPCPS).通过用户与异构域服务器直接交互认证,简化了跨域单点登录认证过程.用户身份票据由双方公钥结合用户随机选取的参数而生成,以密文形式传输,攻击者即使窃取该令牌也无… …   相似文献

王冠众  张斌  费晓飞  熊厚仁 《计算机科学》2015,42(4):106-110, 115