发明名称 |
一种基于约束满足理论的IMA系统配置生成方法 |
摘要 |
本发明公开了一种基于约束满足理论的IMA系统配置生成方法,包含以下步骤:步骤一:构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型;步骤二:将资源约束和分配约束确定为主子问题,根据主子问题对各配置进行搜索,找出满足条件的解集合,即满足可调度性的配置集;步骤三:将时间约束和非功能性约束确定为从子问题,对满足可调度性的配置集中的各配置分别结合从子问题进行检查,筛选出满足可调度性和可靠性要求的解集合并输出,即为约束满足问题的最终解,经过格式转换得到对应的IMA系统的配置描述。本发明将提高系统配置设计效率并有助于配置优化与改进。 |
申请公布号 |
CN106341276A |
申请公布日期 |
2017.01.18 |
申请号 |
CN201610946522.X |
申请日期 |
2016.11.02 |
申请人 |
中国航空无线电电子研究所 |
发明人 |
李铁颖;周庆;熊智勇;王硕 |
分类号 |
H04L12/24(2006.01)I |
主分类号 |
H04L12/24(2006.01)I |
代理机构 |
上海和跃知识产权代理事务所(普通合伙) 31239 |
代理人 |
杨慧 |
主权项 |
一种基于约束满足理论的IMA系统配置生成方法,包含以下步骤:步骤一:构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型;步骤二:将资源约束和分配约束确定为主子问题,根据主子问题对各配置进行搜索,找出满足条件的解集合,即满足可调度性的配置集;步骤三:将时间约束和非功能性约束确定为从子问题,对满足可调度性的配置集中的各配置分别结合从子问题进行检查,筛选出满足可调度性和可靠性要求的解集合并输出,即为约束满足问题的最终解,经过格式转换得到对应的IMA系统的配置描述。 |
地址 |
200233 上海市徐汇区桂平路432号 |