期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
分布式任务关键系统生存性自动分析与验证 被引量:4
1
作者 王健 王慧强 赵国生 《高技术通讯》 EI CAS CSCD 北大核心 2009年第6期572-579,共8页
提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务... 提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务水平,以连续随机逻辑建立系统生存性的形式化规约。借助概率模型检测工具PRISM对模型进行统计和验证,并图形化地表示出系统生存性的自动分析结果。理论分析和实验结果验证了上述方法的合理性和有效性,这些结果可在理论上指导可生存系统的设计和实现。 展开更多
关键词 生存性 概率模型检测 形式化规约 任务关键系统 量化分析
下载PDF
基于网络环境域认知的任务关键系统自配置模型与感知算法 被引量:1
2
作者 赵中楠 乔佩利 +1 位作者 王健 赵利军 《哈尔滨理工大学学报》 CAS 2013年第4期74-78,共5页
硬件问题、软件bug、人为误操作及恶意攻击等现象使得人工完成任务关键系统的管理和维护、保持关键服务的持续提供变得日益困难,为解决上述问题,提出了一种自配置管理模型,并对面向系统内外的环境感知算法进行了研究.采用心跳机制实现... 硬件问题、软件bug、人为误操作及恶意攻击等现象使得人工完成任务关键系统的管理和维护、保持关键服务的持续提供变得日益困难,为解决上述问题,提出了一种自配置管理模型,并对面向系统内外的环境感知算法进行了研究.采用心跳机制实现系统的内部环境感知,引入上下文建模技术形式化描述用户活动和系统资源状况,以获得系统外部环境信息.自配置管理模型在组件整体运行过程中模块之间具有交互性,能够有效地提高任务关键系统的自主管理能力. 展开更多
关键词 任务关键系统 网络环境域 自配置 环境感知
下载PDF
任务关键系统赛博安全性评估 被引量:1
3
作者 赵鑫 刘书航 黄鑫 《指挥信息系统与技术》 2015年第5期7-12,共6页
面对日益增加的赛博空间威胁,评估任务关键系统能否有效运转变得更加紧要。首先,介绍了任务关键系统赛博安全性的概念内涵;然后,通过系统核心能力分析,构建了综合体现系统运行与安全特征的评估指标体系,并依据指标分类给出了几种典型指... 面对日益增加的赛博空间威胁,评估任务关键系统能否有效运转变得更加紧要。首先,介绍了任务关键系统赛博安全性的概念内涵;然后,通过系统核心能力分析,构建了综合体现系统运行与安全特征的评估指标体系,并依据指标分类给出了几种典型指标的计算/评估模型;最后,提出了一种赛博安全性评估试验方法,并结合典型场景进行了试验验证。 展开更多
关键词 赛博空间 任务关键系统 赛博安全性评估
下载PDF
任务关键网络系统的最佳恢复策略判定方法
4
作者 梁存良 叶海智 《计算机工程与应用》 CSCD 北大核心 2011年第20期96-98,120,共4页
高可用性是任务关键网络系统的主要特征和根本需求。在分析系统重启层次及微重启技术的基础上,给出了一种基于概率的任务关键网络系统最佳恢复策略判定方法。该方法根据系统不同层次对象的失效概率,递归计算出各种策略所需要的重启恢复... 高可用性是任务关键网络系统的主要特征和根本需求。在分析系统重启层次及微重启技术的基础上,给出了一种基于概率的任务关键网络系统最佳恢复策略判定方法。该方法根据系统不同层次对象的失效概率,递归计算出各种策略所需要的重启恢复时间,然后将重启时间最短的策略作为最佳恢复策略。实例研究结果表明,该方法可尽可能地降低系统的重启恢复时间,提高系统的可用性。 展开更多
关键词 重启 任务关键网络系统 高可用性 最佳恢复策略
下载PDF
任务关键系统的时间约束验证与最优路径分析 被引量:1
5
作者 陈莹 孙晓波 +1 位作者 邢建春 杨启亮 《计算机工程》 CAS CSCD 北大核心 2018年第5期60-65,77,共7页
针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务... 针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。 展开更多
关键词 WEB服务组合 任务关键系统 时间验证 最优路径 着色时间Petri网
下载PDF
时间约束下任务关键系统的可调度性分析 被引量:2
6
作者 陈莹 邢建春 +1 位作者 杨启亮 张孝鹏 《计算机工程》 CAS CSCD 北大核心 2018年第12期115-119,128,共6页
针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务... 针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。 展开更多
关键词 任务关键系统 时间约束着色Petri网 工作流 可调度性分析 修正策略
下载PDF
MCS系统的应用研究
7
作者 范珂 董雷 《无线互联科技》 2019年第21期23-24,共2页
MCS作为3GPP制定的国际宽带集群标准,为专网行业用户提供了语音、视频、数据业务,并且完整支持各级系统之间的互联互通。文章针对MCS系统,从标准演进、系统组成、系统特点、未来前景等角度进行了应用研究和探讨。
关键词 关键业务服务 通信技术 关键任务系统
下载PDF
一种分阶处理的软件自恢复方法 被引量:1
8
作者 杨光 董玺坤 王丹 《电脑知识与技术》 2010年第7期5245-5248,共4页
任务关键系统要求高可用性,因此当系统发生故障时需要快速恢复。由于任务关键系统中的故障多与软件相关,为满足恢复时间短、对系统副作用小等任务关键系统的恢复需求,提出一种分阶处理的软件自恢复方法。在预处理过程中,采用所提出的微... 任务关键系统要求高可用性,因此当系统发生故障时需要快速恢复。由于任务关键系统中的故障多与软件相关,为满足恢复时间短、对系统副作用小等任务关键系统的恢复需求,提出一种分阶处理的软件自恢复方法。在预处理过程中,采用所提出的微重启技术自动修改二进制文件使其在出现异常时重启恢复成为一种自律行为;在系统运行时,采用所提出的基于MD5监测算法及热插拔技术的软件自修复方法对系统实施监测及自动修复。该方法可恢复系统内部失效如响应超时、资源泄漏等问题;对系统受到外部攻击的情况,如病毒修改二进制文件,非授权用户非法篡改系统文件等,该方法也可有效动态恢复,同时可以兼容系统动态升级需求。 展开更多
关键词 任务关键系统 自恢复 微重启 热插拔 分阶处理
下载PDF
A Deadlock-Avoidance Dispatching Method for Multiple-Load AGVs Based Transportation System 被引量:2
9
作者 XIAO Haining WU Xing +1 位作者 ZOU Ting ZHAI Jingjing 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2021年第1期181-192,共12页
In recent years,multiple-load automatic guided vehicle(AGV)is increasingly used in the logistics transportation fields,owing to the advantages of smaller fleet size and fewer occurrences of traffic congestion.However,... In recent years,multiple-load automatic guided vehicle(AGV)is increasingly used in the logistics transportation fields,owing to the advantages of smaller fleet size and fewer occurrences of traffic congestion.However,one main challenge lies in the deadlock-avoidance for the dispatching process of a multiple-load AGV system.To prevent the system from falling into a deadlock,a strategy of keeping the number of jobs in the system(NJIS)at a low level is adopted in most existing literatures.It is noteworthy that a low-level NJIS will make the processing machine easier to be starved,thereby reducing the system efficiency unavoidably.The motivation of the paper is to develop a deadlock-avoidance dispatching method for a multiple-load AGV system operating at a high NJIS level.Firstly,the deadlock-avoidance dispatching method is devised by incorporating a deadlock-avoidance strategy into a dispatching procedure that contains four sub-problems.In this strategy,critical tasks are recognized according to the status of workstation buffers,and then temporarily forbidden to avoid potential deadlocks.Secondly,three multiattribute dispatching rules are designed for system efficiency,where both the traveling distance and the buffer status are taken into account.Finally,a simulation system is developed to evaluate the performance of the proposed deadlock-avoidance strategy and dispatching rules at different NJIS levels.The experimental results demonstrate that our deadlock-avoidance dispatching method can improve the system efficiency at a high NJIS level and the adaptability to various system settings,while still avoiding potential deadlocks. 展开更多
关键词 automatic guided vehicle(AGV)dispatching deadlock avoidance multiple-load AGV system critical tasks multi-attribute rules
下载PDF
业务连续 容灾必需
10
作者 张建军 《现代商业银行》 2004年第7期59-60,共2页
纵观今天的领先企业,其业务战略与IT战略无不紧密配合,并且共同发展。在中国国内,目前,容灾系统中的70%-80%都是在金融、银行领域.几乎所有的银行都上了容灾方案。随着中国信息化以及企业信息化的不断深入与发展.中国更多的行业与企... 纵观今天的领先企业,其业务战略与IT战略无不紧密配合,并且共同发展。在中国国内,目前,容灾系统中的70%-80%都是在金融、银行领域.几乎所有的银行都上了容灾方案。随着中国信息化以及企业信息化的不断深入与发展.中国更多的行业与企业将从容灾解决方案中受益无穷。使自己的业务永远处于连续状态。 展开更多
关键词 业务连续性 容灾方案 关键任务系统 连续性访问存储设备 数据容灾系统 虚拟存储
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部