首页 > 最新文献

CLEI Electron. J.最新文献

英文 中文
On the specification and verification of the PCR parallel programming pattern in TLA+ TLA+中PCR并行编程模式的规范与验证
Pub Date : 2023-05-25 DOI: 10.19153/cleiej.26.1.6
Jos'e E. Solsona
Physical limitations in processor design have made computer industry shift from improving the speed of a single processor to increasing the number of processing core units. But the design of software to exploit parallel processing power in a correct and cost-effective way is a challenging task requiring a high degree of expertise. In 2017, Pérez and Yovineproposed a platform-agnostic parallel programming pattern called PCR, that eases writing parallel code. In this thesis, we formalize the PCR pattern in terms of TLA+ —a formal specification language for concurrent systems that is being used at places suchas Intel, Amazon and Microsoft. We seek to provide a formal framework mainly for (1) expressing high level PCR designs and prove their functional correctness in the sense that their parallel computation computes a given mathematical function, and (2) being able to formally relate different PCR designs. In this way, we contribute to the state of the art in formal verification of parallel programs by leveraging TLA+-related tools to proving properties about high-level PCR-based algorithms such as their functional correctness and refinement.
处理器设计的物理限制使计算机工业从提高单个处理器的速度转向增加处理核心单元的数量。但是,以正确和经济的方式设计软件以利用并行处理能力是一项具有挑战性的任务,需要高度的专业知识。2017年,prez和yovine提出了一种平台无关的并行编程模式,称为PCR,可以简化并行代码的编写。在本文中,我们使用TLA+来形式化PCR模式,TLA+是一种用于并发系统的形式化规范语言,正在英特尔、亚马逊和微软等地使用。我们寻求提供一个形式化框架,主要用于(1)表达高水平PCR设计,并证明其功能正确性,因为它们的并行计算计算给定的数学函数,以及(2)能够形式化地关联不同的PCR设计。通过这种方式,我们通过利用TLA+相关工具来证明基于高级pcr的算法的特性,例如它们的功能正确性和精细化,从而为并行程序的形式化验证做出了贡献。
{"title":"On the specification and verification of the PCR parallel programming pattern in TLA+","authors":"Jos'e E. Solsona","doi":"10.19153/cleiej.26.1.6","DOIUrl":"https://doi.org/10.19153/cleiej.26.1.6","url":null,"abstract":"Physical limitations in processor design have made computer industry shift from improving the speed of a single processor to increasing the number of processing core units. But the design of software to exploit parallel processing power in a correct and cost-effective way is a challenging task requiring a high degree of expertise. In 2017, Pérez and Yovineproposed a platform-agnostic parallel programming pattern called PCR, that eases writing parallel code. In this thesis, we formalize the PCR pattern in terms of TLA+ —a formal specification language for concurrent systems that is being used at places suchas Intel, Amazon and Microsoft. We seek to provide a formal framework mainly for (1) expressing high level PCR designs and prove their functional correctness in the sense that their parallel computation computes a given mathematical function, and (2) being able to formally relate different PCR designs. In this way, we contribute to the state of the art in formal verification of parallel programs by leveraging TLA+-related tools to proving properties about high-level PCR-based algorithms such as their functional correctness and refinement.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134506058","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
Cluster-based LSTM models to improve Dengue cases forecast 基于聚类的LSTM模型改进登革热病例预测
Pub Date : 2023-05-25 DOI: 10.19153/cleiej.26.1.4
Juan Vicente Bogado Machuca, Diego Herbin Stalder Díaz, Christian Emilio Schaerer Serra
Public health problems such as dengue fever need accurate forecasts so governments can take effective preventive measures. Deep learning (DL) and machine learning have become increasingly popular as the volume of data increases continuously. Nevertheless, performing accurate predictions in areas with fewer cases can be challenging. When we apply DL models using long short-term memory (LSTM) in different cities considering weekly dengue incidence and climate, some models may present heterogeneous behaviours and poor accuracy because of the need for more data. To mitigate this problem, clustering analysis across time series is performed based on scores to measure the clustering quality in 217 Paraguayan cities. First, we compare the raw and feature-based clustering techniques considering several metrics.Our results indicate that hierarchical clustering combined with Spearman correlation is the most appropriate approach. Finally, several LSTM models built using clustering results were compared. The main contribution of this work is a technique that can improve the performance of time series models that combine information from similar time series and weather data.
登革热等公共卫生问题需要准确的预报,以便政府采取有效的预防措施。随着数据量的不断增加,深度学习(DL)和机器学习变得越来越流行。然而,在病例较少的地区进行准确预测可能具有挑战性。当我们在考虑登革热周发病率和气候的不同城市应用使用长短期记忆(LSTM)的深度学习模型时,由于需要更多的数据,一些模型可能会表现出异质行为和较差的准确性。为了缓解这一问题,在巴拉圭217个城市中,基于分数进行了跨时间序列的聚类分析,以衡量聚类质量。首先,我们比较了原始聚类技术和基于特征的聚类技术。结果表明,分层聚类结合Spearman相关是最合适的聚类方法。最后,对聚类结果构建的LSTM模型进行了比较。这项工作的主要贡献是一种技术,可以提高时间序列模型的性能,该模型结合了来自相似时间序列和天气数据的信息。
{"title":"Cluster-based LSTM models to improve Dengue cases forecast","authors":"Juan Vicente Bogado Machuca, Diego Herbin Stalder Díaz, Christian Emilio Schaerer Serra","doi":"10.19153/cleiej.26.1.4","DOIUrl":"https://doi.org/10.19153/cleiej.26.1.4","url":null,"abstract":"Public health problems such as dengue fever need accurate forecasts so governments can take effective preventive measures. Deep learning (DL) and machine learning have become increasingly popular as the volume of data increases continuously. Nevertheless, performing accurate predictions in areas with fewer cases can be challenging. When we apply DL models using long short-term memory (LSTM) in different cities considering weekly dengue incidence and climate, some models may present heterogeneous behaviours and poor accuracy because of the need for more data. To mitigate this problem, clustering analysis across time series is performed based on scores to measure the clustering quality in 217 Paraguayan cities. First, we compare the raw and feature-based clustering techniques considering several metrics.Our results indicate that hierarchical clustering combined with Spearman correlation is the most appropriate approach. Finally, several LSTM models built using clustering results were compared. The main contribution of this work is a technique that can improve the performance of time series models that combine information from similar time series and weather data.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"177 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114384959","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
2D Simplified Wildfire Spreading Model in Python: From NumPy to CuPy 2D简化野火蔓延模型在Python:从NumPy到CuPy
Pub Date : 2023-05-25 DOI: 10.19153/cleiej.26.1.5
Daniel San Martín, Claudio Torres
Wildfires are a problem of great interest in the world because of the damage they cause every year to forest, wild fauna and flora, an also threatening human lives, among others. There are some computational models for numerical simulations to address this phenomena, and a few of them have an open-source implementation. The goal of this work is to extend a CPU Python’s implementation of wildfire open-source framework developed in NumPy, to a GPU improved version using CuPy. The algorithm used is based on a numerical discretization of a wildfire spreading mathematical model described by a system of partial differential equations. Computational and mathematical components, numerical simulations and applications are described in details in the document. In addition, this work includes includes a brief performance comparison between both implementations, pointing out that we can achieve good execution times using the CuPy GPU implementation without spending enough programming effort.
野火是世界上非常感兴趣的问题,因为它们每年对森林、野生动植物造成破坏,也威胁着人类的生命等。有一些用于数值模拟的计算模型来处理这种现象,其中一些有开源实现。这项工作的目标是将CPU Python在NumPy中开发的wildfire开源框架的实现扩展到使用CuPy的GPU改进版本。所使用的算法是基于用偏微分方程组描述的野火蔓延数学模型的数值离散化。计算和数学组件,数值模拟和应用在文件中详细描述。此外,这项工作还包括两种实现之间的简短性能比较,指出我们可以使用CuPy GPU实现获得良好的执行时间,而无需花费足够的编程工作。
{"title":"2D Simplified Wildfire Spreading Model in Python: From NumPy to CuPy","authors":"Daniel San Martín, Claudio Torres","doi":"10.19153/cleiej.26.1.5","DOIUrl":"https://doi.org/10.19153/cleiej.26.1.5","url":null,"abstract":"Wildfires are a problem of great interest in the world because of the damage they cause every year to forest, wild fauna and flora, an also threatening human lives, among others. There are some computational models for numerical simulations to address this phenomena, and a few of them have an open-source implementation. The goal of this work is to extend a CPU Python’s implementation of wildfire open-source framework developed in NumPy, to a GPU improved version using CuPy. The algorithm used is based on a numerical discretization of a wildfire spreading mathematical model described by a system of partial differential equations. Computational and mathematical components, numerical simulations and applications are described in details in the document. In addition, this work includes includes a brief performance comparison between both implementations, pointing out that we can achieve good execution times using the CuPy GPU implementation without spending enough programming effort.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131114839","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 2022 Special Issue CLTM-CLTD 2022特刊前言
Pub Date : 2023-05-25 DOI: 10.19153/cleiej.26.1.1
H. Cancela
This preface opens the special issue on invited papers related to the 2023 edition of the MSc. and PhD. thesis contests organized by CLEI, the Latin American Center for Computing Studies. One of the main objectives of CLEI is furthering the scientific development of all Computing areas in Latin America. To recognize such developments, as well as the achievements of the graduate programs in the region, and promote the development of new programs, CLEI organizes yearly since 1993 the LatinAmerican Master Thesis Contest (CLTM), and since 2016 the Doctoral Thesis Contest (CLTD). Both events take place jointly with the Latin American Computing Conference (also known as CLEI conference) . In the 2022 edition, the conference took place in Armenia, Quindio, Colombia; both the MSc. and PhD. contests received a number of high quality submissions, leading to very interesting presentations during the conference and to excellent prizes. After the conference, the authors of the best works (receiving prizes as well as runner-ups) were invited to submit original works, not already published, to the CLEIej journal. These submissions were evaluated by independent reviewers, following the usual review process of the journal. As a result of this selection process, we are proud to present the current Special Issue.  
这篇序言开启了与2023年版MSc相关的受邀论文特刊。和博士学位。由拉丁美洲计算机研究中心(CLEI)组织的论文竞赛。CLEI的主要目标之一是促进拉丁美洲所有计算领域的科学发展。为了表彰这些发展以及该地区研究生项目的成就,并促进新项目的发展,CLEI自1993年以来每年组织拉丁美洲硕士论文竞赛(CLTM),并自2016年以来组织博士论文竞赛(CLTD)。这两个活动与拉丁美洲计算会议(也称为CLEI会议)联合举行。在2022年的版本中,会议在亚美尼亚,金迪奥,哥伦比亚举行;两个MSc。和博士学位。竞赛收到了许多高质量的提交,导致会议期间非常有趣的演讲和优秀的奖项。会议结束后,最佳作品(获奖和亚军)的作者被邀请向CLEIej期刊提交尚未发表的原创作品。这些提交的论文由独立审稿人根据期刊的常规审查程序进行评估。经过这一遴选过程,我们很荣幸地推出本期特刊。
{"title":"Preface to the CLTM-CLTD 2022 Special Issue","authors":"H. Cancela","doi":"10.19153/cleiej.26.1.1","DOIUrl":"https://doi.org/10.19153/cleiej.26.1.1","url":null,"abstract":"This preface opens the special issue on invited papers related to the 2023 edition of the MSc. and PhD. thesis contests organized by CLEI, the Latin American Center for Computing Studies. \u0000One of the main objectives of CLEI is furthering the scientific development of all Computing areas in Latin America. To recognize such developments, as well as the achievements of the graduate programs in the region, and promote the development of new programs, CLEI organizes yearly since 1993 the LatinAmerican Master Thesis Contest (CLTM), and since 2016 the Doctoral Thesis Contest (CLTD). Both events take place jointly with the Latin American Computing Conference (also known as CLEI conference) . \u0000In the 2022 edition, the conference took place in Armenia, Quindio, Colombia; both the MSc. and PhD. contests received a number of high quality submissions, leading to very interesting presentations during the conference and to excellent prizes. \u0000After the conference, the authors of the best works (receiving prizes as well as runner-ups) were invited to submit original works, not already published, to the CLEIej journal. These submissions were evaluated by independent reviewers, following the usual review process of the journal. As a result of this selection process, we are proud to present the current Special Issue. \u0000 ","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131194053","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
Medium Access Control Techniques for Massive Machine-Type Communications in Cellular IoT Networks 蜂窝物联网网络中大规模机器类型通信的介质访问控制技术
Pub Date : 2023-05-25 DOI: 10.19153/cleiej.26.1.2
Carlos Alberto Astudillo Trujillo, N. Fonseca
A key component of the Internet of things (IoT) ecosystem is wide-area network connectivity, for which cellular network technologies are a promising option through their support of massive machine-type communications (mMTC). However, numerous devices transmitting sporadically small data packets in a highly synchronized way can generate overload on the radio access network. This situation leads to a shortage of resources, especially those associated with the random access procedure for contention, control, and data transmission, causing preamble collision, control message blocking, and data collision. As a result, mMTC traffic can jeopardize the provisioning of quality of service (QoS) to end-devices, decrease the network efficiency, and increase access latency and device energy consumption. This paper proposes medium access control (MAC) techniques for addressing problems related to the support of mMTC in cellularnetworks. First, a solution for allocating control resources with QoS provisioning and access differentiation is provided, including a resource management model, a scheduling algorithm, and a message prioritization policy. Second, a mechanism for reducing data collisions is also proposed. This solution comprises a protocol in which every device with scheduled retransmission uses a probabilistic policy to decide whether to retransmit, a novel method at the device to estimate the number of nodes trying random access, and two different retransmission policies employing this estimation. Results show that the proposals support QoS, decrease access latency, decrease the device energy consumption, and increase resource utilization under massive random access.  
物联网(IoT)生态系统的一个关键组成部分是广域网连接,蜂窝网络技术通过支持大规模机器类型通信(mMTC)而成为一个有前途的选择。然而,大量的设备以高度同步的方式传输零星的小数据包会在无线接入网上产生过载。这种情况导致资源短缺,特别是与争用、控制和数据传输的随机访问过程相关的资源短缺,从而导致前导冲突、控制消息阻塞和数据冲突。因此,mMTC流量可能危及向终端设备提供服务质量(QoS),降低网络效率,并增加访问延迟和设备能耗。本文提出了一种介质访问控制(MAC)技术,用于解决蜂窝网络中与支持mMTC相关的问题。首先,提出了一种具有QoS配置和访问差异化的控制资源分配解决方案,包括资源管理模型、调度算法和消息优先级策略。其次,提出了一种减少数据冲突的机制。该解决方案包括一个协议,其中每个具有计划重传的设备使用一个概率策略来决定是否重传,在设备上使用一种新方法来估计尝试随机访问的节点数量,以及采用该估计的两种不同的重传策略。结果表明,在海量随机接入的情况下,这些方案支持QoS,降低了访问延迟,降低了设备能耗,提高了资源利用率。
{"title":"Medium Access Control Techniques for Massive Machine-Type Communications in Cellular IoT Networks","authors":"Carlos Alberto Astudillo Trujillo, N. Fonseca","doi":"10.19153/cleiej.26.1.2","DOIUrl":"https://doi.org/10.19153/cleiej.26.1.2","url":null,"abstract":"A key component of the Internet of things (IoT) ecosystem is wide-area network connectivity, for which cellular network technologies are a promising option through their support of massive machine-type communications (mMTC). However, numerous devices transmitting sporadically small data packets in a highly synchronized way can generate overload on the radio access network. This situation leads to a shortage of resources, especially those associated with the random access procedure for contention, control, and data transmission, causing preamble collision, control message blocking, and data collision. As a result, mMTC traffic can jeopardize the provisioning of quality of service (QoS) to end-devices, decrease the network efficiency, and increase access latency and device energy consumption. This paper proposes medium access control (MAC) techniques for addressing problems related to the support of mMTC in cellularnetworks. First, a solution for allocating control resources with QoS provisioning and access differentiation is provided, including a resource management model, a scheduling algorithm, and a message prioritization policy. Second, a mechanism for reducing data collisions is also proposed. This solution comprises a protocol in which every device with scheduled retransmission uses a probabilistic policy to decide whether to retransmit, a novel method at the device to estimate the number of nodes trying random access, and two different retransmission policies employing this estimation. Results show that the proposals support QoS, decrease access latency, decrease the device energy consumption, and increase resource utilization under massive random access. \u0000 ","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126754540","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
Blockchain Interoperability: a Feature-based Classification Framework and Challenges Ahead 区块链互操作性:基于特征的分类框架和未来的挑战
Pub Date : 2023-03-18 DOI: 10.19153/cleiej.25.3.4
Guzmán Llambías, Laura González, R. Ruggia
Blockchain is one of the most recent disrupting technologies. Since Bitcoin emerged as its initial application, many blockchain projects arose offering different features for general and domain specific scenarios. In turn, Blockchain platforms work as isolated environments and they do not support interaction (i.e. interoperability) between each other.During the last years, some academic and industry efforts were performed in order to achieve interoperability between blockchain platforms. However, these efforts solve specific use cases and do not provide a general interoperability solution. In order to organize existing work in the area, this paper provides a feature-based classification framework based on 16 key interoperability features, that enabled the classification of 65 academic papers in three categories and six subcategories.The results show that nowadays research is focused on public interoperability, while private and public-to-private interoperability are still on their first steps. Based on these results, this work also discusses nowadays blockchain interoperability landscape, identifies challenges, and suggests future research directions.
区块链是最新的颠覆性技术之一。自从比特币作为其最初的应用出现以来,许多区块链项目出现了,为一般和特定领域的场景提供了不同的功能。反过来,区块链平台作为孤立的环境工作,它们不支持彼此之间的交互(即互操作性)。在过去几年中,为了实现区块链平台之间的互操作性,进行了一些学术和行业努力。然而,这些努力解决了特定的用例,并没有提供通用的互操作性解决方案。为了组织该领域的现有工作,本文提供了一个基于16个关键互操作性特征的基于特征的分类框架,使65篇学术论文分为3大类和6个子类。结果表明,目前的研究主要集中在公共互操作性方面,而私有互操作性和公-私互操作性还处于起步阶段。基于这些结果,本工作还讨论了当今区块链互操作性的前景,确定了挑战,并提出了未来的研究方向。
{"title":"Blockchain Interoperability: a Feature-based Classification Framework and Challenges Ahead","authors":"Guzmán Llambías, Laura González, R. Ruggia","doi":"10.19153/cleiej.25.3.4","DOIUrl":"https://doi.org/10.19153/cleiej.25.3.4","url":null,"abstract":"Blockchain is one of the most recent disrupting technologies. Since Bitcoin emerged as its initial application, many blockchain projects arose offering different features for general and domain specific scenarios. In turn, Blockchain platforms work as isolated environments and they do not support interaction (i.e. interoperability) between each other.During the last years, some academic and industry efforts were performed in order to achieve interoperability between blockchain platforms. However, these efforts solve specific use cases and do not provide a general interoperability solution. In order to organize existing work in the area, this paper provides a feature-based classification framework based on 16 key interoperability features, that enabled the classification of 65 academic papers in three categories and six subcategories.The results show that nowadays research is focused on public interoperability, while private and public-to-private interoperability are still on their first steps. Based on these results, this work also discusses nowadays blockchain interoperability landscape, identifies challenges, and suggests future research directions.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131207555","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}
引用次数: 2
Conformance Checking and Pushdown Reactive Systems 一致性检查和下推反应系统
Pub Date : 2023-03-18 DOI: 10.19153/cleiej.25.3.2
A. Bonifácio, A. Moura
Due to their asynchronous interactions, testing reactive systems is a  laborious activity present in any software development project. In this setting, the finite memory formalism of Labeled Transition Systems has been used to generate test suites that can be applied to check ioco conformance of implementations to a given specification. In this work we turn to a more complex scenario where a stronger formalism is considered, the Visibly Pushdown Labeled Transition System (VPTS), which allows access to a potentially infinite pushdown memory. We study an extension of the ioco conformance relation to VPTS models and develop polynomial time algorithms to verify conformance for VPTS models in a white-box testing scenario.
由于它们的异步交互,测试响应式系统在任何软件开发项目中都是一项费力的活动。在这种情况下,已使用标记转换系统的有限内存形式来生成测试套件,这些测试套件可用于检查实现是否符合给定规范。在这项工作中,我们转向一个更复杂的场景,其中考虑了更强的形式化,可见下推标记转换系统(VPTS),它允许访问潜在的无限下推内存。我们研究了ioco一致性关系到VPTS模型的扩展,并开发了多项式时间算法来验证白盒测试场景下VPTS模型的一致性。
{"title":"Conformance Checking and Pushdown Reactive Systems","authors":"A. Bonifácio, A. Moura","doi":"10.19153/cleiej.25.3.2","DOIUrl":"https://doi.org/10.19153/cleiej.25.3.2","url":null,"abstract":"Due to their asynchronous interactions, testing reactive systems is a  laborious activity present in any software development project. \u0000In this setting, the finite memory formalism of Labeled Transition Systems has been used to generate test suites that can be applied to check ioco conformance of implementations to a given specification. \u0000In this work we turn to a more complex scenario where a stronger formalism is considered, the Visibly Pushdown Labeled Transition System (VPTS), which allows access to a potentially infinite pushdown memory. \u0000We study an extension of the ioco conformance relation to VPTS models and develop polynomial time algorithms to verify conformance for VPTS models in a white-box testing scenario.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132578031","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}
引用次数: 1
Support for Accessible Software Coding: Results of a Rapid Literature Review 对可访问软件编码的支持:快速文献综述的结果
Pub Date : 2023-03-18 DOI: 10.19153/cleiej.25.3.1
Cassio Andrade Furukawa, M. S. Soares, Maria Istela Cagnin, D. M. B. Paiva
Due to difficulties faced by people with disabilities, it is necessary to provide all citizens with mechanisms to guarantee the accessibility of information and services offered through the internet. This study aims to identify which models and tools support developers in the software coding phase in order to meet accessibility requirements. The data obtained were extracted from the literature and were evaluated with professionals working with information technology. It was possible to conclude that taking accessibility into account throughout the software development cycle from the early stages, as well as having models and tools that help during the software coding process are essential to succeed in creating accessible products.
鉴于残疾人面临的困难,有必要为所有公民提供机制,以保障通过互联网提供的信息和服务的可及性。本研究旨在确定哪些模型和工具在软件编码阶段支持开发人员,以满足可访问性需求。获得的数据是从文献中提取出来的,并由从事信息技术工作的专业人员进行评估。可以得出这样的结论:从早期阶段开始,在整个软件开发周期中考虑可访问性,以及在软件编码过程中提供帮助的模型和工具,对于成功创建可访问的产品是必不可少的。
{"title":"Support for Accessible Software Coding: Results of a Rapid Literature Review","authors":"Cassio Andrade Furukawa, M. S. Soares, Maria Istela Cagnin, D. M. B. Paiva","doi":"10.19153/cleiej.25.3.1","DOIUrl":"https://doi.org/10.19153/cleiej.25.3.1","url":null,"abstract":"Due to difficulties faced by people with disabilities, it is necessary to provide all citizens with mechanisms to guarantee the accessibility of information and services offered through the internet. This study aims to identify which models and tools support developers in the software coding phase in order to meet accessibility requirements. The data obtained were extracted from the literature and were evaluated with professionals working with information technology. It was possible to conclude that taking accessibility into account throughout the software development cycle from the early stages, as well as having models and tools that help during the software coding process are essential to succeed in creating accessible products.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127683773","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
Semantic Similarity of Product and Service Names in Portuguese: An Approach Based on Onto.PT 葡萄牙语中产品和服务名称的语义相似度:一种基于Onto的方法。PT
Pub Date : 2023-03-18 DOI: 10.19153/cleiej.25.3.3
E. Gonçalves
The problem of conceptual comparison of names plays an important role in the field of natural language processing. In this task, the goal is to choose, among a set of names, which one refers to the same concept or object as a given input name. In this paper, we propose an algorithm for comparing names of products and services in Portuguese that takes account of the semantic information contained in the names. The semantic similarity between two names is calculated using information from Onto.PT, the largest public lexical ontology for the Portuguese language. Experiments were conducted on a dataset composed of 5,000 pairs of names of products and services in Portuguese. Our experimental results show that the algorithm based on Onto.PT is more effective than other well-known algorithms for name comparison, producing the highest recall and precision. Moreover, results also provide interesting insights into the advantages and disadvantages of using Onto.PT for assessing the semantic similarity of names and other kinds of short texts.
名称的概念比较问题在自然语言处理领域中占有重要地位。在这个任务中,目标是在一组名称中选择哪个名称与给定的输入名称引用相同的概念或对象。在本文中,我们提出了一种比较葡萄牙语产品和服务名称的算法,该算法考虑了名称中包含的语义信息。使用来自Onto的信息计算两个名称之间的语义相似度。PT,葡萄牙语最大的公共词汇本体。实验是在一个由5000对葡萄牙语产品和服务名称组成的数据集中进行的。我们的实验结果表明,该算法基于Onto。PT比其他知名的名称比较算法更有效,具有最高的查全率和查准率。此外,结果还提供了使用Onto的优点和缺点的有趣见解。用于评估名称和其他类型的短文本的语义相似性。
{"title":"Semantic Similarity of Product and Service Names in Portuguese: An Approach Based on Onto.PT","authors":"E. Gonçalves","doi":"10.19153/cleiej.25.3.3","DOIUrl":"https://doi.org/10.19153/cleiej.25.3.3","url":null,"abstract":"The problem of conceptual comparison of names plays an important role in the field of natural language processing. In this task, the goal is to choose, among a set of names, which one refers to the same concept or object as a given input name. In this paper, we propose an algorithm for comparing names of products and services in Portuguese that takes account of the semantic information contained in the names. The semantic similarity between two names is calculated using information from Onto.PT, the largest public lexical ontology for the Portuguese language. Experiments were conducted on a dataset composed of 5,000 pairs of names of products and services in Portuguese. Our experimental results show that the algorithm based on Onto.PT is more effective than other well-known algorithms for name comparison, producing the highest recall and precision. Moreover, results also provide interesting insights into the advantages and disadvantages of using Onto.PT for assessing the semantic similarity of names and other kinds of short texts.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"29 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125628428","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
Designing a Diagnosis Instrument to Determine e-Commerce Readiness for Micro and Small Enterprises in Rural Areas 农村小微企业电子商务准备度诊断工具设计
Pub Date : 2022-05-24 DOI: 10.19153/cleiej.25.2.11
Michael Barquero, Gabriela Marín-Raventós, Gustavo López
Electronic commerce, as a new way of commercialization, is not only a business decision, since not all companies, nor all consumers in a region, are technologically prepared to adopt electronic commerce. To implement this type of trade, companies should carry out a diagnostic study, both to know if the technological resources are available internally, and to determine if the potential clients are also ready and willing to use the channel. From this perspective, this work seeks to design an instrument that allows diagnosing the e-Commerce readiness of micro and small businesses, and their potential consumers in rural areas. An iterative process to create the diagnosis instruments was used.  It involved iterations of design and evaluation stages. Academic experts with extensive experience in instrument design carried out the first evaluation; the second iteration was evaluated in a pilot field study where 6 companies and 10 consumers from similar regions participated. Finally, in a case study in the canton of Río Cuarto de Alajuela, 29 companies and 261 consumers from the region participated in this study. The diagnosis highlights that most of these companies express that they are not technologically prepared to implement e-commerce, while most of the participating consumers indicated that they do feel technologically prepared to use these platforms.
电子商务作为一种新的商业化方式,不仅仅是一种商业决策,因为不是所有的公司,也不是一个地区的所有消费者,在技术上都准备好采用电子商务。为了实施这种类型的贸易,公司应该进行诊断研究,既要知道内部是否有技术资源,又要确定潜在客户是否也准备好并愿意使用该渠道。从这个角度来看,本工作旨在设计一种工具,用于诊断微型和小型企业及其在农村地区的潜在消费者的电子商务准备情况。采用迭代过程创建诊断仪器。它涉及设计和评估阶段的迭代。具有丰富仪器设计经验的学术专家进行了首次评估;第二次迭代在试点实地研究中进行了评估,来自类似地区的6家公司和10家消费者参与了该研究。最后,在Río阿拉胡埃拉省的案例研究中,来自该地区的29家公司和261名消费者参与了这项研究。诊断强调,大多数这些公司表示,他们没有技术上准备实施电子商务,而大多数参与的消费者表示,他们确实觉得技术上准备使用这些平台。
{"title":"Designing a Diagnosis Instrument to Determine e-Commerce Readiness for Micro and Small Enterprises in Rural Areas","authors":"Michael Barquero, Gabriela Marín-Raventós, Gustavo López","doi":"10.19153/cleiej.25.2.11","DOIUrl":"https://doi.org/10.19153/cleiej.25.2.11","url":null,"abstract":"Electronic commerce, as a new way of commercialization, is not only a business decision, since not all companies, nor all consumers in a region, are technologically prepared to adopt electronic commerce. To implement this type of trade, companies should carry out a diagnostic study, both to know if the technological resources are available internally, and to determine if the potential clients are also ready and willing to use the channel. \u0000From this perspective, this work seeks to design an instrument that allows diagnosing the e-Commerce readiness of micro and small businesses, and their potential consumers in rural areas. An iterative process to create the diagnosis instruments was used.  It involved iterations of design and evaluation stages. Academic experts with extensive experience in instrument design carried out the first evaluation; the second iteration was evaluated in a pilot field study where 6 companies and 10 consumers from similar regions participated. Finally, in a case study in the canton of Río Cuarto de Alajuela, 29 companies and 261 consumers from the region participated in this study. The diagnosis highlights that most of these companies express that they are not technologically prepared to implement e-commerce, while most of the participating consumers indicated that they do feel technologically prepared to use these platforms.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116318331","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}
引用次数: 1
期刊
CLEI Electron. J.
全部 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