卫星通信系统QOS管理的策略提炼

针对基于策略的DVB—RCS卫星通信系统服务质量管理，提出一种策略提炼模型，结合实例给出目标提炼过程。该模型以线性时态逻辑为基础，在提炼模式的辅助下从高层目标中提取出低层策略，可以有效保证策略提炼过程的正确性、合理性及一致性。在系统设计阶段，该模型用于指导系统功能规划与设计，在系统运行阶段，该模型为网络管理人员提供高层策略向系统设备行为的映射方法。

Policy Refinement of QoS Management in Satellite Communication System

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 be...