arXiv - CS - Other Computer Science最新文献_第8页

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM VDM下直升机海上SAR有效扫描宽度建模

arXiv - CS - Other Computer Science Pub Date : 2023-03-29 DOI: arxiv-2304.00983

Alexander Sulaiman, Ken Pierce

{"title":"Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM","authors":"Alexander Sulaiman, Ken Pierce","doi":"arxiv-2304.00983","DOIUrl":"https://doi.org/arxiv-2304.00983","url":null,"abstract":"Search and Rescue (SAR) is searching for and providing help to people in\u0000danger. In the UK, SAR teams are typically charities with limited resources,\u0000and SAR missions are time critical. Search managers need to objectively decide\u0000which search assets (e.g. helicopter vs drone) would be better. A key metric in\u0000the SAR community is effective sweep width (W), which provides a single measure\u0000for a search asset's ability to detect a specific object in specific\u0000environmental conditions. Tables of W for different search assets are provided\u0000in various manuals, such as the International Aeronautical and Maritime SAR\u0000(IAMSAR) Manual. However, these tables take years of expensive testing and\u0000experience to produce, and no such tables exist for drones. This paper uses the\u0000Vienna Development Method (VDM) to build an initial model of W for a known case\u0000(helicopters at sea) with a view to predicting W tables for drones. The model\u0000computes W for various search object sizes, helicopter altitude and visibility.\u0000The results for the model are quite different from the published tables, which\u0000shows that the abstraction level is not yet correct, however it produced useful\u0000insights and directions for the next steps.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138542772","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}

引用次数: 0

CoCoMo: Computational Consciousness Modeling for Generative and Ethical AI CoCoMo:生成和伦理人工智能的计算意识建模

arXiv - CS - Other Computer Science Pub Date : 2023-03-17 DOI: arxiv-2304.02438

Edward Y. Chang

引用次数: 0

Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation 基于动态安全评估的自主无人机信任构建数字孪生模型

arXiv - CS - Other Computer Science Pub Date : 2023-03-15 DOI: arxiv-2303.12805

Danish Iqbal, Barbora Buhnova, Emilia Cioroaica

{"title":"Digital Twins for Trust Building in Autonomous Drones through Dynamic Safety Evaluation","authors":"Danish Iqbal, Barbora Buhnova, Emilia Cioroaica","doi":"arxiv-2303.12805","DOIUrl":"https://doi.org/arxiv-2303.12805","url":null,"abstract":"The adoption process of innovative software-intensive technologies leverages\u0000complex trust concerns in different forms and shapes. Perceived safety plays a\u0000fundamental role in technology adoption, being especially crucial in the case\u0000of those innovative software-driven technologies characterized by a high degree\u0000of dynamism and unpredictability, like collaborating autonomous systems. These\u0000systems need to synchronize their maneuvers in order to collaboratively engage\u0000in reactions to unpredictable incoming hazardous situations. That is however\u0000only possible in the presence of mutual trust. In this paper, we propose an approach for machine-to-machine dynamic trust\u0000assessment for collaborating autonomous systems that supports trust-building\u0000based on the concept of dynamic safety assurance within the collaborative\u0000process among the software-intensive autonomous systems. In our approach, we\u0000leverage the concept of digital twins which are abstract models fed with\u0000real-time data used in the run-time dynamic exchange of information. The\u0000information exchange is performed through the execution of specialized models\u0000that embed the necessary safety properties. More particularly, we examine the\u0000possible role of the Digital Twins in machine-to-machine trust building and\u0000present their design in supporting dynamic trust assessment of autonomous\u0000drones. Ultimately, we present a proof of concept of direct and indirect trust\u0000assessment by employing the Digital Twin in a use case involving two autonomous\u0000collaborating drones.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"42 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522106","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}

引用次数: 0

EuroCrops: All you need to know about the Largest Harmonised Open Crop Dataset Across the European Union EuroCrops:所有你需要知道的关于整个欧盟最大的统一开放作物数据集的信息

arXiv - CS - Other Computer Science Pub Date : 2023-02-20 DOI: arxiv-2302.10202

Maja Schneider, Tobias Schelte, Felix Schmitz, Marco Körner

引用次数: 0

HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem HERMES:高性能可编程微处理器的认证与软件生态系统的开发

arXiv - CS - Other Computer Science Pub Date : 2023-02-09 DOI: arxiv-2302.06427

Nadia Ibellaatti, Edouard Lepape, Alp Kilic, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Franck Wartel

{"title":"HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem","authors":"Nadia Ibellaatti, Edouard Lepape, Alp Kilic, Kaya Akyel, Kassem Chouayakh, Fabrizio Ferrandi, Claudio Barone, Serena Curzel, Michele Fiorito, Giovanni Gozzi, Miguel Masmano, Ana Risquez Navarro, Manuel Muñoz, Vicente Nicolau Gallego, Patricia Lopez Cueva, Jean-noel Letrillard, Franck Wartel","doi":"arxiv-2302.06427","DOIUrl":"https://doi.org/arxiv-2302.06427","url":null,"abstract":"European efforts to boost competitiveness in the sector of space services\u0000promote the research and development of advanced software and hardware\u0000solutions. The EU-funded HERMES project contributes to the effort by qualifying\u0000radiation-hardened, high-performance programmable microprocessors, and by\u0000developing a software ecosystem that facilitates the deployment of complex\u0000applications on such platforms. The main objectives of the project include\u0000reaching a technology readiness level of 6 (i.e., validated and demonstrated in\u0000relevant environment) for the rad-hard NG-ULTRA FPGA with its ceramic hermetic\u0000package CGA 1752, developed within projects of the European Space Agency,\u0000French National Centre for Space Studies and the European Union. An equally\u0000important share of the project is dedicated to the development and validation\u0000of tools that support multicore software programming and FPGA acceleration,\u0000including Bambu for High-Level Synthesis and the XtratuM hypervisor with a\u0000level one boot loader for virtualization.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"31 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522111","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}

引用次数: 0

A Systematic Review on Human Modeling: Digging into Human Digital Twin Implementations 人体建模系统综述:挖掘人体数字孪生实现

arXiv - CS - Other Computer Science Pub Date : 2023-02-04 DOI: arxiv-2302.03593

Heribert Pascual, Xavi Masip Bruin, Albert Alonso, Judit Cerdà

引用次数: 0

Automating Crochet Patterns for Surfaces of Revolution 自动钩针图案的表面的革命

arXiv - CS - Other Computer Science Pub Date : 2023-02-01 DOI: arxiv-2302.02205

Megan Martinez, Amanda Taylor Lipnicki

引用次数: 0

Data Science: A Systematic Treatment 数据科学:系统的处理

arXiv - CS - Other Computer Science Pub Date : 2023-01-31 DOI: arxiv-2301.13761

M. Tamer Özsu

引用次数: 0

Invoice discounting using kelly criterion by automated market makers-like implementations 自动做市商实现使用kelly标准的发票贴现

arXiv - CS - Other Computer Science Pub Date : 2023-01-30 DOI: arxiv-2302.09009

Peplluis R. Esteva, Alberto Ballesteros Rodríguez

{"title":"Invoice discounting using kelly criterion by automated market makers-like implementations","authors":"Peplluis R. Esteva, Alberto Ballesteros Rodríguez","doi":"arxiv-2302.09009","DOIUrl":"https://doi.org/arxiv-2302.09009","url":null,"abstract":"There is a persistent lack of funding, especially for SMEs, that cyclically\u0000worsens. The factoring and invoice discounting market appears to address delays\u0000in paying commercial invoices: sellers bring still-to-be-paid invoices to\u0000financial organizations, intermediaries, typically banks that provide an\u0000advance payment. This article contains research on novel decentralized\u0000approaches to said lending services without intermediaries by using liquidity\u0000pools and its associated heuristics, creating an Automated Market Maker. In our\u0000approach, the contributed collateral and the invoice trades with risk is\u0000measured with a formula: The Kelly criterion is used to calculate the optimal\u0000premium to be contributed to a liquidity pool in the funding of the said\u0000invoices. The behavior of the algorithm is studied in several scenarios of\u0000streams of invoices with representative amounts, collaterals, payment delays,\u0000and nonpayments rates or mora. We completed the study with hack scenarios with\u0000bogus, nonpayable invoices. As a result, we have created a resilient solution\u0000that performs the best with partially collateralized invoices. The outcome is\u0000decentralized market developed with the Kelly criterion that is reasonably\u0000resilient to a wide variety of the invoicing cases that provides sound profit\u0000to liquidity providers, and several premium distribution policies were checked\u0000that contributed with extra resilience to the performance of the algorithm.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"48 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522114","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}

引用次数: 0

A Framework for Operational Volume Feneration for UAM Strategic Deconfliction 面向UAM战略冲突的业务量计算框架

arXiv - CS - Other Computer Science Pub Date : 2023-01-26 DOI: arxiv-2301.12961

Ellis Lee Thompson, Yan Xu, Peng Wei

{"title":"A Framework for Operational Volume Feneration for UAM Strategic Deconfliction","authors":"Ellis Lee Thompson, Yan Xu, Peng Wei","doi":"arxiv-2301.12961","DOIUrl":"https://doi.org/arxiv-2301.12961","url":null,"abstract":"Strategic pre-flight systems focus on the planning and deconfliction of\u0000routes for aircraft systems. The urban air mobility concept calls for higher\u0000levels of autonomy with both onboard and en route systems but also strategic\u0000and other pre-flight systems. Existing endeavors into strategic pre-flight\u0000systems focus on improving the route generation and strategic deconfliction of\u0000these routes. Introduced with the urban air mobility concept is the premise of\u0000operational volumes, 4D regions of airspace, including time, a single aircraft\u0000is expected to operate within, forming a contract of finite operational volumes\u0000over the duration of a route. It is no longer enough to only deconflict routes\u0000within the airspace, but to now consider these 4D operational volumes. To\u0000provide an effective all-in-one approach, we propose a novel framework for\u0000generating routes and accompanying contracts of operational volumes, along with\u0000deconfliction focused around 4D operational volumes. Experimental results show\u0000efficiency of operational volume generation utilising reachability analysis and\u0000demonstrate sufficient success in deconfliction of operational volumes.","PeriodicalId":501310,"journal":{"name":"arXiv - CS - Other Computer Science","volume":"42 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138522012","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}

引用次数: 0