首页 > 最新文献

CLEI Electronic Journal最新文献

英文 中文
Monte Carlo Tree Search Algorithm for SSPs Under the GUBS Criterion GUBS 准则下的 SSP 蒙特卡洛树搜索算法
Q4 Mathematics Pub Date : 2024-08-08 DOI: 10.19153/cleiej.27.3.5
Gabriel Nunes Crispino, Valdinei Freire, Karina Valdivia Delgado
The Stochastic Shortest Path (SSP) is a formalism widely used for modeling goal-oriented probabilistic planning problems. When dead ends, which are states from which goal states cannot be reached, are present in the problem and cannot be avoided, the standard criterion for solving SSPs is not well defined in these scenarios. Because of that, several alternate criteria for solving SSPs with unavoidable dead ends have been proposed in the literature. One of these criteria is GUBS (Goals with Utility-Based Semantics), a criterion that makes trade-offs between probability-to-goal and cost by combining goal prioritization with Expected Utility Theory. GUBS is a good choice for these problems because it is one of the only criteria that are known to maintain the ?-strong probability-to-goal priority property, a property that provides guarantees on how a decision criterion can choose policies without having to preprocess any specific SSP problem. Although there already exist two exact algorithms for solving GUBS, eGUBS-VI and eGUBS-AO*, both are offline and there is no algorithm for solving GUBS in an online manner. In this paper we propose UCT-GUBS, an online approximate algorithm based on UCT (a Monte Carlo tree search algorithm) that solves SSPs under the GUBS criterion. We provide an analysis of an empirical evaluation performed on two probabilistic planning domains (Triangle Tireworld and Navigation) to observe how the probability-to-goal and utility values of the resulting policies compare to the optimal values, and also how the time performance of UCT-GUBS compares to the ones of eGUBS-VI and eGUBS-AO*. Our conclusion is that, like other algorithms, the usage of UCT-GUBS has to be evaluated considering the application requirements and of the problem being solved. Depending on these factors, it can be a good alternative for obtaining policies in an online fashion while, for some problems, also being able to have better time performance than other algorithms
随机最短路径(SSP)是一种被广泛用于模拟面向目标的概率规划问题的形式主义。当问题中出现死胡同(即无法到达目标状态的状态)且无法避免时,解决 SSP 的标准准则就无法很好地定义这些情况。因此,文献中提出了几种解决具有不可避免的死胡同的 SSP 的替代标准。其中一个标准是 GUBS(基于效用语义的目标),这是一种通过将目标优先级与期望效用理论相结合,在目标概率与成本之间进行权衡的标准。GUBS 是这些问题的理想选择,因为它是目前已知的唯一能保持 "强概率-目标优先 "特性的准则之一,这一特性为决策准则如何选择政策提供了保证,而无需预处理任何具体的 SSP 问题。虽然目前已经有两种精确求解 GUBS 的算法,即 eGUBS-VI 和 eGUBS-AO*,但这两种算法都是离线算法,还没有在线求解 GUBS 的算法。在本文中,我们提出了 UCT-GUBS,这是一种基于 UCT(蒙特卡罗树搜索算法)的在线近似算法,可在 GUBS 准则下求解 SSP。我们对两个概率规划域(三角轮胎世界和导航)进行了实证评估分析,以观察所得策略的目标概率和效用值与最优值的比较,以及 UCT-GUBS 的时间性能与 eGUBS-VI 和 eGUBS-AO* 的时间性能的比较。我们的结论是,与其他算法一样,在评估 UCT-GUBS 的使用时必须考虑应用要求和要解决的问题。根据这些因素,UCT-GUBS 可以成为在线获取策略的良好替代方案,而对于某些问题,UCT-GUBS 还能比其他算法具有更好的时间性能。
{"title":"Monte Carlo Tree Search Algorithm for SSPs Under the GUBS Criterion","authors":"Gabriel Nunes Crispino, Valdinei Freire, Karina Valdivia Delgado","doi":"10.19153/cleiej.27.3.5","DOIUrl":"https://doi.org/10.19153/cleiej.27.3.5","url":null,"abstract":"The Stochastic Shortest Path (SSP) is a formalism widely used for modeling goal-oriented probabilistic planning problems. When dead ends, which are states from which goal states cannot be reached, are present in the problem and cannot be avoided, the standard criterion for solving SSPs is not well defined in these scenarios. Because of that, several alternate criteria for solving SSPs with unavoidable dead ends have been proposed in the literature. One of these criteria is GUBS (Goals with Utility-Based Semantics), a criterion that makes trade-offs between probability-to-goal and cost by combining goal prioritization with Expected Utility Theory. GUBS is a good choice for these problems because it is one of the only criteria that are known to maintain the ?-strong probability-to-goal priority property, a property that provides guarantees on how a decision criterion can choose policies without having to preprocess any specific SSP problem. Although there already exist two exact algorithms for solving GUBS, eGUBS-VI and eGUBS-AO*, both are offline and there is no algorithm for solving GUBS in an online manner. In this paper we propose UCT-GUBS, an online approximate algorithm based on UCT (a Monte Carlo tree search algorithm) that solves SSPs under the GUBS criterion. We provide an analysis of an empirical evaluation performed on two probabilistic planning domains (Triangle Tireworld and Navigation) to observe how the probability-to-goal and utility values of the resulting policies compare to the optimal values, and also how the time performance of UCT-GUBS compares to the ones of eGUBS-VI and eGUBS-AO*. Our conclusion is that, like other algorithms, the usage of UCT-GUBS has to be evaluated considering the application requirements and of the problem being solved. Depending on these factors, it can be a good alternative for obtaining policies in an online fashion while, for some problems, also being able to have better time performance than other algorithms","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"106 5","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141926676","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
Preface to the CLTM-CLTD 2023 Special Issue CLTM-CLTD 2023 特刊序言
Q4 Mathematics Pub Date : 2024-08-08 DOI: 10.19153/cleiej.27.3.1
Héctor Cancela, Rhadamés Carmona, Alicia García-Holgado, Ana Maguitman, Francisco Tirado
This special issue features four invited papers from the 2023 edition of the MSc. and PhD. thesis contests, organized by CLEI, the Latin American Center for Computing Studies. CLEI's mission includes promoting the scientific growth of all computing fields across Latin America. To recognize these advancements and foster the region's graduate programs, CLEI has been hosting the Latin American Master Thesis Contest (CLTM) annually since 1993 and the Doctoral Thesis Contest (CLTD) since 2016. Both contests are held in conjunction with the Latin American Computing Conference (CLEI conference). The 2023 conference took place in La Paz, Bolivia, and received numerous high-quality submissions for both the MSc. and PhD. contests. Post-conference, the authors of the best works were invited to submit original, unpublished papers to the CLEIej journal. These submissions went through another evaluation round, adhering to the journal's standard review process.
本特刊收录了拉丁美洲计算机研究中心(CLEI)组织的 2023 年硕士和博士论文竞赛的四篇特邀论文。CLEI 的使命包括促进拉丁美洲所有计算领域的科学发展。为表彰这些进步并促进该地区研究生项目的发展,CLEI 自 1993 年起每年举办拉丁美洲硕士论文竞赛(CLTM),自 2016 年起每年举办博士论文竞赛(CLTD)。这两项竞赛均与拉丁美洲计算机会议(CLEI 会议)同期举行。2023 年大会在玻利维亚拉巴斯举行,收到了大量高质量的硕士和博士论文。会后,最佳作品的作者受邀向 CLEIej 杂志提交未发表的原创论文。这些提交的论文按照期刊的标准审查程序进行了另一轮评估。
{"title":"Preface to the CLTM-CLTD 2023 Special Issue","authors":"Héctor Cancela, Rhadamés Carmona, Alicia García-Holgado, Ana Maguitman, Francisco Tirado","doi":"10.19153/cleiej.27.3.1","DOIUrl":"https://doi.org/10.19153/cleiej.27.3.1","url":null,"abstract":"This special issue features four invited papers from the 2023 edition of the MSc. and PhD. thesis contests, organized by CLEI, the Latin American Center for Computing Studies. CLEI's mission includes promoting the scientific growth of all computing fields across Latin America. To recognize these advancements and foster the region's graduate programs, CLEI has been hosting the Latin American Master Thesis Contest (CLTM) annually since 1993 and the Doctoral Thesis Contest (CLTD) since 2016. Both contests are held in conjunction with the Latin American Computing Conference (CLEI conference). \u0000The 2023 conference took place in La Paz, Bolivia, and received numerous high-quality submissions for both the MSc. and PhD. contests. Post-conference, the authors of the best works were invited to submit original, unpublished papers to the CLEIej journal. These submissions went through another evaluation round, adhering to the journal's standard review process.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"11 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141926052","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 Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach 用安全方法对微不足道加密货币协议进行形式分析
Q4 Mathematics Pub Date : 2024-08-08 DOI: 10.19153/cleiej.27.4.3
Adrián Silveira, Gustavo Betarte, C. Luna
A cryptocurrency is a digital currency that enables online transactions for various products and services. Cryptocurrencies are deployed over public blockchains which have the transactions duplicated and dispersed across multiple nodes within a computer network. This decentralized mechanism is devised in order to achieve reliability in a network consisting of unreliable nodes. Privacy, anonymity and security have become crucial in this context. For that reason, formal and mathematical approaches are gaining popularity in order to guarantee the correctness of the cryptocurrency implementations. Mimblewimble is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. Mimblewimble combines confidential transactions, CoinJoin and cut-through to achieve a higher level of privacy and security, as well as, scalability. In this work, we present and discuss these security properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model that is key in the described verification process. Then, we identify and precisely state the conditions for our model to ensure the verification of relevant security properties of Mimblewimble. In addition, we analyze the Grin and Beam implementations of Mimblewimble in their current state of development. We present detailed connections between our model and their implementations regarding the Mimblewimble structure and its security properties. Finally, we analyze the Litecoin soft-fork that enhances privacy over the blockchain based on Mimblewimble features.
加密货币是一种数字货币,可实现各种产品和服务的在线交易。加密货币部署在公共区块链上,公共区块链将交易复制并分散到计算机网络中的多个节点上。设计这种去中心化机制是为了在由不可靠节点组成的网络中实现可靠性。在这种情况下,隐私、匿名和安全变得至关重要。因此,为了保证加密货币实现的正确性,形式和数学方法越来越受欢迎。Mimblewimble 是一种以隐私为导向的加密货币技术,它所提供的安全性和可扩展性使其有别于其他同类协议。Mimblewimble 结合了保密交易、CoinJoin 和穿透技术,以实现更高水平的隐私和安全性以及可扩展性。在这项工作中,我们介绍并讨论了这些安全特性,并概述了模型驱动验证方法的基础,以解决协议实现的正确性认证问题。特别是,我们提出了一个理想化模型,它是所述验证过程的关键。然后,我们确定并精确阐述了模型的条件,以确保验证 Mimblewimble 的相关安全属性。此外,我们还分析了 Mimblewimble 的 Grin 和 Beam 实现的开发现状。我们详细介绍了我们的模型与它们的实现之间在 Mimblewimble 结构及其安全属性方面的联系。最后,我们分析了基于 Mimblewimble 功能增强区块链隐私的 Litecoin 软叉。
{"title":"A Formal Analysis of the Mimblewimble Cryptocurrency Protocol with a Security Approach","authors":"Adrián Silveira, Gustavo Betarte, C. Luna","doi":"10.19153/cleiej.27.4.3","DOIUrl":"https://doi.org/10.19153/cleiej.27.4.3","url":null,"abstract":"\u0000 \u0000 \u0000A cryptocurrency is a digital currency that enables online transactions for various products and services. Cryptocurrencies are deployed over public blockchains which have the transactions duplicated and dispersed across multiple nodes within a computer network. This decentralized mechanism is devised in order to achieve reliability in a network consisting of unreliable nodes. Privacy, anonymity and security have become crucial in this context. For that reason, formal and mathematical approaches are gaining popularity in order to guarantee the correctness of the cryptocurrency implementations. Mimblewimble is a privacy-oriented cryptocurrency technology which provides security and scalability properties that distinguish it from other protocols of its kind. Mimblewimble combines confidential transactions, CoinJoin and cut-through to achieve a higher level of privacy and security, as well as, scalability. In this work, we present and discuss these security properties and outline the basis of a model-driven verification approach to address the certification of the correctness of the protocol implementations. In particular, we propose an idealized model that is key in the described verification process. Then, we identify and precisely state the conditions for our model to ensure the verification of relevant security properties of Mimblewimble. In addition, we analyze the Grin and Beam implementations of Mimblewimble in their current state of development. We present detailed connections between our model and their implementations regarding the Mimblewimble structure and its security properties. Finally, we analyze the Litecoin soft-fork that enhances privacy over the blockchain based on Mimblewimble features. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"33 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141926245","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
The JavaScript Package Selection Task: A Comparative Experiment Using an LLM-based Approach JavaScript 软件包选择任务:使用基于 LLM 方法的比较实验
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.4
Andres Diaz Pace, Antonela Tommasel, H. Vázquez
When developing JavaScript (JS) applications, the assessment and selection of JS packages becomes challenging for developers due to the growing number of technology options available. Given a technology-related task, a common developers’ strategy is to query Web repositories (e.g., from GitHub) via a search engine (e.g., NPM, Google) and then shortlist candidate JS packages. However, this search might return a long list of results and not all of them might be relevant. Thus, these results often need to be (re-)ordered according to the developer’s criteria. To address these problems, in prior work, we developed a recommender system called AIDT that assists developers in the package selection task. AIDT relies on meta-search and machine learning techniques to infer the relevant packages for a query. An initial evaluation of AIDT showed good search effectiveness, but the tool was unable to explain its choices to the developer. Research on Large Language Models (LLMs) has recently opened new opportunities for this kind of recommender systems. Anyway, human developers should judge whether the recommendations (e.g., JS packages) of these tools (either AIDT or LLMs) are fit to purpose. In this paper, we propose a Retrieval Augmented Generation (RAG) architecture for using LLMs in the domain of technology selection, which enhances the AIDT original design. Furthermore, we report on a user study using both AIDT and different LLM-based variants (ChatGPT, Cohere, Llama2) on a sample of JS-related queries, in which we compared their results and also validated them against developers’ criteria for the task. Our findings show that, although the ranking capabilities of LLMs are not yet on par with AIDT or human efforts, the RAG architecture can achieve a decent performance and is good at providing explanations for the package choices in the rankings. The latter feature makes it more transparent than AIDT and, thus, potentially more flexible to support developers’ tasks.
在开发 JavaScript(JS)应用程序时,由于可供选择的技术越来越多,JS 软件包的评估和选择对开发人员来说具有挑战性。对于与技术相关的任务,开发人员的常见策略是通过搜索引擎(如 NPM、Google)查询网络存储库(如 GitHub),然后筛选出候选 JS 包。但是,这种搜索可能会返回一长串结果,而且并非所有结果都是相关的。因此,通常需要根据开发人员的标准对这些结果进行(重新)排序。为了解决这些问题,我们在之前的工作中开发了一个名为 AIDT 的推荐系统,它可以帮助开发人员完成软件包选择任务。AIDT 依靠元搜索和机器学习技术来推断查询的相关软件包。对 AIDT 的初步评估显示其搜索效果良好,但该工具无法向开发人员解释其选择。最近,大型语言模型(LLM)的研究为这类推荐系统带来了新的机遇。无论如何,人类开发人员应该判断这些工具(AIDT 或 LLMs)的推荐(如 JS 包)是否符合目的。在本文中,我们提出了在技术选择领域使用 LLM 的检索增强生成(RAG)架构,该架构增强了 AIDT 的原始设计。此外,我们还报告了一项用户研究,该研究同时使用了 AIDT 和不同的基于 LLM 的变体(ChatGPT、Cohere、Llama2)来处理与 JS 相关的查询样本,在这项研究中,我们比较了它们的结果,并根据开发人员的任务标准对它们进行了验证。我们的研究结果表明,虽然 LLM 的排序能力还无法与 AIDT 或人工排序相提并论,但 RAG 架构可以实现不错的性能,并且善于为排序中的软件包选择提供解释。后一个特点使它比 AIDT 更加透明,因此在支持开发人员的任务方面可能更加灵活。
{"title":"The JavaScript Package Selection Task: A Comparative Experiment Using an LLM-based Approach","authors":"Andres Diaz Pace, Antonela Tommasel, H. Vázquez","doi":"10.19153/cleiej.27.2.4","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.4","url":null,"abstract":"\u0000 \u0000 \u0000When developing JavaScript (JS) applications, the assessment and selection of JS packages becomes challenging for developers due to the growing number of technology options available. Given a technology-related task, a common developers’ strategy is to query Web repositories (e.g., from GitHub) via a search engine (e.g., NPM, Google) and then shortlist candidate JS packages. However, this search might return a long list of results and not all of them might be relevant. Thus, these results often need to be (re-)ordered according to the developer’s criteria. To address these problems, in prior work, we developed a recommender system called AIDT that assists developers in the package selection task. AIDT relies on meta-search and machine learning techniques to infer the relevant packages for a query. An initial evaluation of AIDT showed good search effectiveness, but the tool was unable to explain its choices to the developer. Research on Large Language Models (LLMs) has recently opened new opportunities for this kind of recommender systems. Anyway, human developers should judge whether the recommendations (e.g., JS packages) of these tools (either AIDT or LLMs) are fit to purpose. In this paper, we propose a Retrieval Augmented Generation (RAG) architecture for using LLMs in the domain of technology selection, which enhances the AIDT original design. Furthermore, we report on a user study using both AIDT and different LLM-based variants (ChatGPT, Cohere, Llama2) on a sample of JS-related queries, in which we compared their results and also validated them against developers’ criteria for the task. Our findings show that, although the ranking capabilities of LLMs are not yet on par with AIDT or human efforts, the RAG architecture can achieve a decent performance and is good at providing explanations for the package choices in the rankings. The latter feature makes it more transparent than AIDT and, thus, potentially more flexible to support developers’ tasks. \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"56 12","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141818051","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
On the Measurement of io_uring Performance: a Strategy and Experience in the Envoy Service Mesh 论绩效衡量:特使服务网络的战略与经验
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.3
Lucas O. Martínez, Raúl Gutierrez, Luca Cernuzzi
A growing number of projects from various areas have recently incorporated support for io_uring, a novel technique to reduce system calls and accelerate processing capabilities in network services. This new approach promises to yield benefits within the context of modern infrastructure patterns, such as those embracing the service mesh paradigm. Among these projects, Envoy Proxy has been in the process of gaining io_uring support. An initial experimental trial using Envoy with io_uring reports a 10% increase in bandwidth along with a 10% reduction in latency. Unfortunately there is scarce companion data to support the results and the corresponding communication protocols that were used, all of which would have been quite useful to facilitate the reproducibility of these experiences. Therefore, the main contribution of the present study aims to measure and systematise the impact of io_uring in an Envoy-based service mesh using our proposed matrix of operations and protocols. We have also designed a measurement strategy which is composed of key metrics to assess the impact of io_uring. Our test results show improvements reducing latency and increasing bandwidth. More specifically, for HTTP/1 the obtained results are on par with the initial claims whereas for HTTP/2 they are better than the previous study.
最近,越来越多不同领域的项目都支持 io_uring,这是一种减少系统调用、加速网络服务处理能力的新技术。这种新方法有望在现代基础架构模式(如服务网格模式)中产生效益。在这些项目中,Envoy Proxy 正在获得 io_uring 支持。使用 Envoy 与 io_uring 的初步实验报告显示,带宽增加了 10%,延迟减少了 10%。遗憾的是,支持这些结果和所使用的相应通信协议的辅助数据很少,而所有这些数据对于促进这些经验的可重复性都非常有用。因此,本研究的主要贡献在于利用我们提出的操作和协议矩阵,测量和系统化基于 Envoy 的服务网格中 io_uring 的影响。我们还设计了一种由关键指标组成的测量策略,用于评估 io_uring 的影响。我们的测试结果表明,延迟减少了,带宽增加了。更具体地说,对于 HTTP/1,获得的结果与最初的说法一致,而对于 HTTP/2,则优于之前的研究。
{"title":"On the Measurement of io_uring Performance: a Strategy and Experience in the Envoy Service Mesh","authors":"Lucas O. Martínez, Raúl Gutierrez, Luca Cernuzzi","doi":"10.19153/cleiej.27.2.3","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.3","url":null,"abstract":"\u0000 \u0000 \u0000 \u0000A growing number of projects from various areas have recently incorporated support for io_uring, a novel technique to reduce system calls and accelerate processing capabilities in network services. This new approach promises to yield benefits within the context of modern infrastructure patterns, such as those embracing the service mesh paradigm. Among these projects, Envoy Proxy has been in the process of gaining io_uring support. An initial experimental trial using Envoy with io_uring reports a 10% increase in bandwidth along with a 10% reduction in latency. Unfortunately there is scarce companion data to support the results and the corresponding communication protocols that were used, all of which would have been quite useful to facilitate the reproducibility of these experiences. Therefore, the main contribution of the present study aims to measure and systematise the impact of io_uring in an Envoy-based service mesh using our proposed matrix of operations and protocols. We have also designed a measurement strategy which is composed of key metrics to assess the impact of io_uring. Our test results show improvements reducing latency and increasing bandwidth. More specifically, for HTTP/1 the obtained results are on par with the initial claims whereas for HTTP/2 they are better than the previous study. \u0000 \u0000 \u0000 \u0000","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"91 14","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141818628","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
Simulation-based Reinforcement and Imitation Learning for Autonomous Sailboat Navigation in Variable Environmental Conditions 基于仿真的强化和模仿学习用于多变环境条件下的自主帆船导航
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.5
Agustín Rieppi, Florencia Rieppi, Mercedes Marzoa, Gonzalo Tejera
In light of escalating concerns over climate change, harnessing oceanic data becomes increasingly urgent. Oceans serve as linchpins in understanding the intricate dynamics governing climate phenomena, exerting pivotal influence over global weather patterns and ecological systems. Despite scientific consensus on climate change impacts, including temperature shifts and acidification, a lack of data infrastructure hampers understanding marine ecosystems.This paper presents an adaptive control system for autonomous sailboats that aims to navigate efficiently in varied conditions by favoring the acquisition of oceanographic data. Combining reinforcement and imitation learning, the controller emulates human decision-making, enabling robust navigation. While showcasing promising results, challenges persist in adverse varied conditions. This challenge is exacerbated when confronting necessitating adaptive control mechanisms resilient to wear and tear.Simulators are vital for training due to the need for vast data volumes. Real-world data collection is costly and risky, while simulations accelerate learning. This study employs a simulator operating at ten times real-time speed, significantly simplifying scenario generation by adjusting factors such as sailboat position, orientation, target location, water current, and wind.Nevertheless, this novel approach signifies progress in addressing climate challenges and advancing oceanic research, using advanced computational methods
鉴于人们对气候变化的担忧不断升级,利用海洋数据变得日益紧迫。海洋是了解气候现象复杂动态的关键,对全球天气模式和生态系统有着举足轻重的影响。尽管科学界对气候变化的影响(包括温度变化和酸化)已达成共识,但数据基础设施的缺乏阻碍了人们对海洋生态系统的了解。本文介绍了一种用于自主帆船的自适应控制系统,该系统旨在通过获取海洋学数据,在各种条件下高效航行。结合强化学习和模仿学习,该控制器可模拟人类决策,实现稳健导航。虽然取得了可喜的成果,但在恶劣的各种条件下,挑战依然存在。由于需要大量数据,模拟器对培训至关重要。真实世界的数据收集成本高、风险大,而模拟则能加速学习。本研究采用的模拟器以十倍于实时速度运行,通过调整帆船位置、方向、目标位置、水流和风力等因素,大大简化了场景生成。
{"title":"Simulation-based Reinforcement and Imitation Learning for Autonomous Sailboat Navigation in Variable Environmental Conditions","authors":"Agustín Rieppi, Florencia Rieppi, Mercedes Marzoa, Gonzalo Tejera","doi":"10.19153/cleiej.27.2.5","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.5","url":null,"abstract":"In light of escalating concerns over climate change, harnessing oceanic data becomes increasingly urgent. Oceans serve as linchpins in understanding the intricate dynamics governing climate phenomena, exerting pivotal influence over global weather patterns and ecological systems. Despite scientific consensus on climate change impacts, including temperature shifts and acidification, a lack of data infrastructure hampers understanding marine ecosystems.This paper presents an adaptive control system for autonomous sailboats that aims to navigate efficiently in varied conditions by favoring the acquisition of oceanographic data. Combining reinforcement and imitation learning, the controller emulates human decision-making, enabling robust navigation. While showcasing promising results, challenges persist in adverse varied conditions. This challenge is exacerbated when confronting necessitating adaptive control mechanisms resilient to wear and tear.Simulators are vital for training due to the need for vast data volumes. Real-world data collection is costly and risky, while simulations accelerate learning. This study employs a simulator operating at ten times real-time speed, significantly simplifying scenario generation by adjusting factors such as sailboat position, orientation, target location, water current, and wind.Nevertheless, this novel approach signifies progress in addressing climate challenges and advancing oceanic research, using advanced computational methods","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"99 14","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141818674","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
Preface to the CLEI 2023 Special Issue 中欧法律倡议 2023 年特刊序言
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.1
Hernán Astudillo, Carlos Luna, José Miguel Rojas
{"title":"Preface to the CLEI 2023 Special Issue","authors":"Hernán Astudillo, Carlos Luna, José Miguel Rojas","doi":"10.19153/cleiej.27.2.1","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.1","url":null,"abstract":"","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"44 9","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141818154","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
Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices 超越安全:了解微服务安全嗅觉的多重影响
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.6
Francisco Leonardo Ponce Mella, J. Soldani, Carla Taramasco, Hernán Astudillo, Antonio Brogi
Microservices gained momentum in enterprise IT, as they enable building cloud-native applications. At the same time, they come with new security challenges, including security smells, viz., symptoms of bad (though often unintentional) design decisions that might affect application security. This study aims to explore the impacts of microservice security smells –and of the refactorings known to mitigate their effects– beyond security. In particular, we systematically elicit possible impacts of smells and refactorings on applications’ maintainability, performance efficiency, and adherence to microservices’ key design principles. We then validate the elicited impacts through an online survey targeting experienced practitioners and researchers. Our main contributions include 35 validated impacts and a discussion of the survey results geared towards analyzing the (mis)alignment between practitioners and researchers. Finally, we also provide a holistic view of these impacts, through Softgoal Interdependency Graphs (SIGs).
微服务在企业 IT 领域的发展势头迅猛,因为它们能够构建云原生应用程序。与此同时,微服务也带来了新的安全挑战,包括安全隐患,即可能影响应用程序安全的不良(尽管通常是无意的)设计决策的症状。本研究旨在探索微服务安全气味的影响--以及已知可减轻其影响的重构--的安全性之外的影响。特别是,我们将系统地引出安全漏洞和重构对应用程序可维护性、性能效率以及遵守微服务关键设计原则的可能影响。然后,我们通过一项针对经验丰富的从业人员和研究人员的在线调查来验证所得出的影响。我们的主要贡献包括 35 项经过验证的影响,以及对调查结果的讨论,旨在分析从业人员和研究人员之间的(误)协调。最后,我们还通过软目标相互依存图(Softgoal Interdependency Graphs,SIGs)提供了这些影响的整体视图。
{"title":"Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices","authors":"Francisco Leonardo Ponce Mella, J. Soldani, Carla Taramasco, Hernán Astudillo, Antonio Brogi","doi":"10.19153/cleiej.27.2.6","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.6","url":null,"abstract":"Microservices gained momentum in enterprise IT, as they enable building cloud-native applications. At the same time, they come with new security challenges, including security smells, viz., symptoms of bad (though often unintentional) design decisions that might affect application security. This study aims to explore the impacts of microservice security smells –and of the refactorings known to mitigate their effects– beyond security. In particular, we systematically elicit possible impacts of smells and refactorings on applications’ maintainability, performance efficiency, and adherence to microservices’ key design principles. We then validate the elicited impacts through an online survey targeting experienced practitioners and researchers. Our main contributions include 35 validated impacts and a discussion of the survey results geared towards analyzing the (mis)alignment between practitioners and researchers. Finally, we also provide a holistic view of these impacts, through Softgoal Interdependency Graphs (SIGs).","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"87 14","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141818736","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
Explainability Analysis of the Evaluation Model of the Level of Digital Transformation in MSMEs based on Fuzzy Cognitive Maps 基于模糊认知地图的中小微企业数字化转型水平评估模型的可解释性分析
Q4 Mathematics Pub Date : 2024-07-21 DOI: 10.19153/cleiej.27.2.2
José Aguilar, Jairo Fuentes, E. Montoya, W. Hoyos, Diego Benito
the concept of digital transformation involves exploiting digital technologies to generate new ways of doing things in organizations, including the creation of new processes, models, and services that produce value based on the digitization of data and processes. The application of digital technologies enables organizations to develop capabilities for innovation, automation, etc., utilizing both established and emerging technologies, including the widespread use of artificial intelligence. This article proposes the implementation of Fuzzy Cognitive Maps (FCMs) based on experts and data for the evaluation of the level of digital transformation in MSMEs (Micro, Small and Medium Enterprises). Additionally, this work carries out an explainability analysis of the evaluation models based on FCMs. The main digital transformation variables used to define our FCMs were classified into five groups, based on the COBIT standard: i) Organization and Culture variables related to strategies, way of working, and ecosystems, ii) Customer variables related to services and digital channels and products, iii) Operations and Internal Processes variables related to supply chain, suppliers, and business model, iv) Information Technologies variables related to innovation, digitization, data and analytic. Finally, the fifth type of variable is the target, which indicates the level of digital transformation of the organization. Our model managed to specify with 99.4% the level of digital transformation of the organization. Furthermore, the explanatory capacity of the FCMs developed in this work was explored using different explainability methods, some general and others specific to the FCMs. In general, the results obtained in the work are very encouraging since the quality metrics obtained with the evaluation models are very good, almost always higher than 90%; and the explanations obtained with the explainability methods allow for an in-depth analysis of the behavior of the variables in the results obtained, something very important to understand how to improve the levels of digital transformation in organizations.
数字转型的概念涉及利用数字技术为组织创造新的工作方式,包括创建新的流程、模式和服务,在数据和流程数字化的基础上产生价值。数字技术的应用使组织能够利用成熟技术和新兴技术,包括人工智能的广泛应用,发展创新、自动化等能力。本文提出了基于专家和数据的模糊认知图(FCMs),用于评估微型和中小型企业(MSMEs)的数字化转型水平。此外,这项工作还对基于模糊认知图的评估模型进行了可解释性分析。根据 COBIT 标准,我们将用于定义 FCM 的主要数字化转型变量分为五组:i) 与战略、工作方式和生态系统相关的组织和文化变量;ii) 与服务、数字化渠道和产品相关的客户变量;iii) 与供应链、供应商和业务模式相关的运营和内部流程变量;iv) 与创新、数字化、数据和分析相关的信息技术变量。最后,第五类变量是目标,表示组织的数字化转型水平。我们的模型能够以 99.4% 的准确率说明组织的数字化转型水平。此外,我们还使用了不同的可解释性方法(有些是通用的,有些是专门针对 FCM 的),对本研究中开发的 FCM 的解释能力进行了探索。总的来说,这项工作取得的结果非常令人鼓舞,因为评价模型的质量指标非常好,几乎总是高于 90%;使用可解释性方法获得的解释可以深入分析结果中的变量行为,这对于了解如何提高组织的数字化转型水平非常重要。
{"title":"Explainability Analysis of the Evaluation Model of the Level of Digital Transformation in MSMEs based on Fuzzy Cognitive Maps","authors":"José Aguilar, Jairo Fuentes, E. Montoya, W. Hoyos, Diego Benito","doi":"10.19153/cleiej.27.2.2","DOIUrl":"https://doi.org/10.19153/cleiej.27.2.2","url":null,"abstract":"the concept of digital transformation involves exploiting digital technologies to generate new ways of doing things in organizations, including the creation of new processes, models, and services that produce value based on the digitization of data and processes. The application of digital technologies enables organizations to develop capabilities for innovation, automation, etc., utilizing both established and emerging technologies, including the widespread use of artificial intelligence. This article proposes the implementation of Fuzzy Cognitive Maps (FCMs) based on experts and data for the evaluation of the level of digital transformation in MSMEs (Micro, Small and Medium Enterprises). Additionally, this work carries out an explainability analysis of the evaluation models based on FCMs. The main digital transformation variables used to define our FCMs were classified into five groups, based on the COBIT standard: i) Organization and Culture variables related to strategies, way of working, and ecosystems, ii) Customer variables related to services and digital channels and products, iii) Operations and Internal Processes variables related to supply chain, suppliers, and business model, iv) Information Technologies variables related to innovation, digitization, data and analytic. Finally, the fifth type of variable is the target, which indicates the level of digital transformation of the organization. Our model managed to specify with 99.4% the level of digital transformation of the organization. Furthermore, the explanatory capacity of the FCMs developed in this work was explored using different explainability methods, some general and others specific to the FCMs. In general, the results obtained in the work are very encouraging since the quality metrics obtained with the evaluation models are very good, almost always higher than 90%; and the explanations obtained with the explainability methods allow for an in-depth analysis of the behavior of the variables in the results obtained, something very important to understand how to improve the levels of digital transformation in organizations.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"53 23","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141817974","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
The Application of Ternary AHP in Adopting Security Certifications into Vocational Cyber Security Course 三元层次分析法在高职网络安全课程安全认证中的应用
Q4 Mathematics Pub Date : 2023-09-22 DOI: 10.19153/cleiej.26.2.8
Irfan Syamsuddin, Alimin Daude, David Al-Dabass
This study presents progress in revising curriculum of the Cyber Security course by integrating international security certifications from Cisco, ECCouncil and ISACA in a vocational education. The main objective of establishing a new Cyber Security curriculum is to improve the quality of learning materials and updating its contents in order to enhance student competitive advantages at international levels. Considering the issue involves multi criteria perspectives, the study proposes the application of Ternary Analytic Hierarchy Process (Ternary AHP) technique as a novel approach in dealing with the problem. Final result suggests selecting 14 topics from Cisco, ECCouncil and ISACA for the formation of the new curriculum of Cyber Security course.
本研究通过将Cisco、ECCouncil和ISACA的国际安全认证整合到职业教育中,展示了网络安全课程的修订进展。建立新的网络安全课程的主要目标是提高学习材料的质量并更新其内容,以提高学生在国际水平上的竞争优势。考虑到该问题涉及多准则视角,本研究提出应用三元层次分析法(Ternary AHP)作为解决该问题的一种新方法。最终结果建议从Cisco、ECCouncil和ISACA中选择14个主题,形成网络安全课程的新课程。
{"title":"The Application of Ternary AHP in Adopting Security Certifications into Vocational Cyber Security Course","authors":"Irfan Syamsuddin, Alimin Daude, David Al-Dabass","doi":"10.19153/cleiej.26.2.8","DOIUrl":"https://doi.org/10.19153/cleiej.26.2.8","url":null,"abstract":"This study presents progress in revising curriculum of the Cyber Security course by integrating international security certifications from Cisco, ECCouncil and ISACA in a vocational education. The main objective of establishing a new Cyber Security curriculum is to improve the quality of learning materials and updating its contents in order to enhance student competitive advantages at international levels. Considering the issue involves multi criteria perspectives, the study proposes the application of Ternary Analytic Hierarchy Process (Ternary AHP) technique as a novel approach in dealing with the problem. Final result suggests selecting 14 topics from Cisco, ECCouncil and ISACA for the formation of the new curriculum of Cyber Security course.","PeriodicalId":30032,"journal":{"name":"CLEI Electronic Journal","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136060463","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
期刊
CLEI Electronic Journal
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1