Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_43
Liping Zhu, Fangfang Wu, Pei Yang, J. Yan, Li Ma
{"title":"Formal Modeling and Correctness Proof of Spatial Partition Algorithm","authors":"Liping Zhu, Fangfang Wu, Pei Yang, J. Yan, Li Ma","doi":"10.1007/978-3-030-73539-5_43","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_43","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117224932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_50
Dangdang Zheng, Liqian Ren, Ying Wu, Juntang Liu
{"title":"Research on Multi-physical Modeling and Co-simulation of Aircraft","authors":"Dangdang Zheng, Liqian Ren, Ying Wu, Juntang Liu","doi":"10.1007/978-3-030-73539-5_50","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_50","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115125567","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_49
Yongsheng Wu, Guangyuan Wang, J. Zu
{"title":"Research on Multi-disciplinary Integrated Design Method of Remote Sensing Satellites","authors":"Yongsheng Wu, Guangyuan Wang, J. Zu","doi":"10.1007/978-3-030-73539-5_49","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_49","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126777869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_27
K. Shibuya, Nobuyuki Kobayashi, S. Shirasaka
{"title":"Proposal of Assurance Case Description Method in Design for Environment (DfE) Process","authors":"K. Shibuya, Nobuyuki Kobayashi, S. Shirasaka","doi":"10.1007/978-3-030-73539-5_27","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_27","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126081398","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_7
Tao Li, Bowen Ye, Dawei Wang, Hu Cao
{"title":"A Preliminary Research on Zonal Safety Analysis Method for Aircraft Complex Systems by Using Virtual Reality and Augmented Reality","authors":"Tao Li, Bowen Ye, Dawei Wang, Hu Cao","doi":"10.1007/978-3-030-73539-5_7","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_7","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124145271","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_37
H. Xiong, Tao Li, Heyu Li, Changgui Yu
{"title":"A Preliminary Research on Performance Prediction Model of Catapult Launched Take-Off for a Large Wingspan Unmanned Aerial Vehicle","authors":"H. Xiong, Tao Li, Heyu Li, Changgui Yu","doi":"10.1007/978-3-030-73539-5_37","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_37","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126930774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_26
Chuangye Chang, Gang Xiao, Yaqi Zhang
{"title":"Ontology for Systems Engineering Technical Processes","authors":"Chuangye Chang, Gang Xiao, Yaqi Zhang","doi":"10.1007/978-3-030-73539-5_26","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_26","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124730261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_21
Junjie Ye, Wei-Nian Guo, J. Xue, Qi He, Yongqian Zhao, Liangyu Zhao
{"title":"MBSE Adoption for Cabin Temperature Control System Design of Civil Aircraft","authors":"Junjie Ye, Wei-Nian Guo, J. Xue, Qi He, Yongqian Zhao, Liangyu Zhao","doi":"10.1007/978-3-030-73539-5_21","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_21","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134128924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1900-01-01DOI: 10.1007/978-3-030-73539-5_12
Xing Huang, Hong Yang, Min Kang, Juan Zhang
{"title":"An MBSE Framework for Civil Aircraft Airborne System Development","authors":"Xing Huang, Hong Yang, Min Kang, Juan Zhang","doi":"10.1007/978-3-030-73539-5_12","DOIUrl":"https://doi.org/10.1007/978-3-030-73539-5_12","url":null,"abstract":"","PeriodicalId":282879,"journal":{"name":"CSDM Asia / CSDM","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129994777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}