检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京航空航天大学电子信息工程学院,北京100083
出 处:《计算机工程》2009年第16期7-9,共3页Computer Engineering
基 金:国家部委基金资助项目
摘 要:针对基于策略的DVB-RCS卫星通信系统服务质量管理,提出一种策略提炼模型,结合实例给出目标提炼过程。该模型以线性时态逻辑为基础,在提炼模式的辅助下从高层目标中提取出低层策略,可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段,该模型用于指导系统功能规划与设计,在系统运行阶段,该模型为网络管理人员提供高层策略向系统设备行为的映射方法。This paper proposes a policy refinement model applied to policy-based QoS management in DVB-RCS system. A refinement scenario is provided to describe the goal refinement process. Based on Linear Temporal Logic(LTL), the model derives lower-level policies from higher-level goals to ensure the correctness, rationality and consistency of the whole policy refinement process. The model can be used to guild the system function planning and designing in system design period and offer network manager a mapping method between high-level policies and system device behavior.
分 类 号:N945[自然科学总论—系统科学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.7