Research on satellite network simulation framework based on semantic verification

被引：0
|
作者：
School of Computer, Beijing University of Aero./Astronautics, Beijing 100083, China [1 ]
不详 [2 ]
机构：
来源：
Xitong Fangzhen Xuebao | 2008年 / 21卷 / 5740-5744+5747期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：5740 / 5744
相关论文
共 50 条
  • [1] Semantic Modeling in Satellite Network Simulation
    Lin, Qi
    Xiong, Zhang
    Li, Zhi
    7TH INTERNATIONAL CONFERENCE ON SYSTEM SIMULATION AND SCIENTIFIC COMPUTING ASIA SIMULATION CONFERENCE 2008, VOLS 1-3, 2008, : 877 - +
  • [2] The Research and Simulation of the Satellite Network Routing Algorithm based on Game Theory
    Qiao, Rongyan
    Zhao, Xinguo
    2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CLOUD COMPUTING (ISCC), 2014, : 124 - 130
  • [3] Research on Simulation of Satellite MPLS Network in OPNET
    Deng, Fuxing
    Hu, Shuang
    Zhang, Junxiang
    Zhang, Siyao
    Wu, Jing
    Jiang, Hao
    MECHANICAL COMPONENTS AND CONTROL ENGINEERING III, 2014, 668-669 : 1306 - +
  • [4] Framework Based Universal Simulation For Satellite Project
    Xin, Xing
    Li, Zhen
    Zeng, Xiangyuan
    Liu, Xiangdong
    Yang, Zhi
    Xie, Song
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 9718 - 9723
  • [5] RESEARCH ON THE FRAMEWORK OF SEMANTIC BASED SEARCH ENGINE
    Xiu, Jiapeng
    Wang, Bai
    CIICT 2008: PROCEEDINGS OF CHINA-IRELAND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS TECHNOLOGIES 2008, 2008, : 681 - 684
  • [6] Research on integrated simulation platform framework for satellite control system
    Guan Fangjing
    2018 17TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS FOR BUSINESS ENGINEERING AND SCIENCE (DCABES), 2018, : 84 - 87
  • [7] A modular neural network simulation system for teaching/research based on .NET framework
    Feng, Shuai
    Wang, Pan
    PROCEEDINGS OF THE 2007 1ST INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES AND APPLICATIONS IN EDUCATION (ISITAE 2007), 2007, : 422 - 427
  • [8] An Abstraction-Based Framework for Neural Network Verification
    Elboher, Yizhak Yisrael
    Gottschlich, Justin
    Katz, Guy
    COMPUTER AIDED VERIFICATION (CAV 2020), PT I, 2020, 12224 : 43 - 65
  • [9] A Network Interconnection System and Framework Based on Semantic Communication
    Li, Mingda
    Xiong, Qingxv
    Yuan, Long
    PROCEEDINGS OF 2017 VI INTERNATIONAL CONFERENCE ON NETWORK, COMMUNICATION AND COMPUTING (ICNCC 2017), 2017, : 187 - 190
  • [10] A real-time simulation framework for development and verification of distributed satellite control algorithms
    Wang, ZK
    Zhang, YL
    System Simulation and Scientific Computing, Vols 1 and 2, Proceedings, 2005, : 767 - 771
12345