| 支持语义验证的卫星网络仿真框架研究 |
| |
| 引用本文： | 林琪,熊璋,李智. 支持语义验证的卫星网络仿真框架研究[J]. 系统仿真学报, 2008, 20(21): 5740-5744,5747 |
| |
| 作者姓名： | 林琪 熊璋 李智 |
| |
| 作者单位： | 北京航空航天大学计算机学院，装备指挥技术学院电子信息装备体系研究重点实验室 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 为保证卫星网络仿真异构模型和服务的可重用性和互操作性,支持仿真的正确性验证,使用基于本体的集成工具Protégé和推理机Pellet建立了支持语义的卫星网络仿真框架.在分析支持语义的仿真验证概念基础上,明确了卫星网络集成仿真框架的实现目标,并提出仿真框架三维视图.针对卫星网络覆盖特性仿真任务,根据仿真框架生成的一致性仿真实例,开发了仿真应用并给出仿真分析结果,证明仿真框架可以保证仿真应用的语义正确性.
|
| 关 键 词： | 卫星网络 仿真 语义验证 框架 视图 |
Research on Satellite Network Simulation Framework Based on Semantic Verification |
| |
| LIN Qi,XIONG Zhang,LI Zhi. Research on Satellite Network Simulation Framework Based on Semantic Verification[J]. Journal of System Simulation, 2008, 20(21): 5740-5744,5747 |
| |
| Authors: | LIN Qi XIONG Zhang LI Zhi |
| |
| Abstract: | |
| |
| Keywords: | satellite network simulation semantic verification framework view |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
