首页 > 最新文献

Research initiative, treatment action : RITA最新文献

英文 中文
An operational support approach for Mining Unstructured Business Processes 用于挖掘非结构化业务流程的操作支持方法
Pub Date : 2021-01-01 DOI: 10.22456/2175-2745.106277
Zineb Lamghari, M. Radgui, R. Saidi, M. D. Rahmani
The refined process mining framework contains a set of activities that use extracted information from event logs, discovered models and normative ones. Among these activities, we find those dealing with running events in a Structured Business Process (SBP) context, which are the Detect, the Predict and the Recommend activities. These three activities are nominated as operational support system that performs well on SBP while, it stills a challenging task for an Unstructured Business Process (UBP), because of its complex structure. In this regard, a special interest is given to the use of existing process mining techniques to analyse unstructured processes, from the extraction of a process model based on event data to recommendations at a later stage. To this end, we propose the orchestration of process mining activities into an UBP operational support approach, through the following phases: 1.Preparing Normative model, 2.Detect violations, 3.Preparing predictive model and Predictions and 4.Preparing the recommender model and Recommendations.
精细化的流程挖掘框架包含一组活动,这些活动使用从事件日志、发现模型和规范模型中提取的信息。在这些活动中,我们发现那些处理结构化业务流程(SBP)上下文中运行事件的活动,它们是Detect、Predict和Recommend活动。这三个活动被提名为运行支持系统,在SBP上表现良好,但由于其结构复杂,对于非结构化业务流程(UBP)来说仍然是一项具有挑战性的任务。在这方面,特别关注使用现有的过程挖掘技术来分析非结构化过程,从基于事件数据的过程模型的提取到后期阶段的建议。为此,我们建议通过以下阶段将流程挖掘活动编排为UBP操作支持方法:规范性模型的准备;3.检测违规行为。准备预测模型和预测;准备推荐人模型和推荐书。
{"title":"An operational support approach for Mining Unstructured Business Processes","authors":"Zineb Lamghari, M. Radgui, R. Saidi, M. D. Rahmani","doi":"10.22456/2175-2745.106277","DOIUrl":"https://doi.org/10.22456/2175-2745.106277","url":null,"abstract":"The refined process mining framework contains a set of activities that use extracted information from event logs, discovered models and normative ones. Among these activities, we find those dealing with running events in a Structured Business Process (SBP) context, which are the Detect, the Predict and the Recommend activities. These three activities are nominated as operational support system that performs well on SBP while, it stills a challenging task for an Unstructured Business Process (UBP), because of its complex structure. In this regard, a special interest is given to the use of existing process mining techniques to analyse unstructured processes, from the extraction of a process model based on event data to recommendations at a later stage. To this end, we propose the orchestration of process mining activities into an UBP operational support approach, through the following phases: 1.Preparing Normative model, 2.Detect violations, 3.Preparing predictive model and Predictions and 4.Preparing the recommender model and Recommendations.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77434294","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}
引用次数: 4
Business Process Models in the Context of Predictive Process Monitoring 预测性流程监控环境中的业务流程模型
Pub Date : 2021-01-01 DOI: 10.22456/2175-2745.106828
Florian Spree
Predictive process monitoring is a subject of growing interest in academic research. As a result, an increased number of papers on this topic have been published. Due to the high complexity in this research area a wide range of different experimental setups and methods have been applied which makes it very difficult to reliably compare research results. This paper’s objective is to investigate how business process models and their characteristics are used during experimental setups and how they can contribute to academic research. First, a literature review is conducted to analyze and discuss the awareness of business process models in experimental setups. Secondly, the paper discusses identified research problems and proposes the concept of a web-based business process model metric suite and the idea of ranked metrics. Through a metric suite researchers and practitioners can automatically evaluate business process model characteristics in their future work. Further, a contextualization of metrics by introducing a ranking of characteristics can potentially indicate how the outcome of experimental setups will be. Hence, the paper’s work demonstrates the importance of business process models and their characteristics in the context of predictive process monitoring and proposes the concept of a tool approach and ranking to reliably evaluate business process models characteristics.
预测过程监测是一个日益受到学术研究关注的课题。因此,发表了越来越多关于这一主题的论文。由于该研究领域的高度复杂性,采用了各种不同的实验设置和方法,这使得很难可靠地比较研究结果。本文的目的是调查在实验设置中如何使用业务流程模型及其特征,以及它们如何有助于学术研究。首先,进行文献综述,分析和讨论在实验设置的业务流程模型的意识。其次,本文讨论了已确定的研究问题,并提出了基于web的业务流程模型度量套件的概念和排序度量的思想。通过度量套件,研究人员和从业者可以在未来的工作中自动评估业务流程模型特征。此外,通过引入特征排序来对指标进行上下文化,可以潜在地表明实验设置的结果将如何。因此,本文的工作证明了业务流程模型及其特征在预测性流程监控环境中的重要性,并提出了工具方法和排序的概念,以可靠地评估业务流程模型特征。
{"title":"Business Process Models in the Context of Predictive Process Monitoring","authors":"Florian Spree","doi":"10.22456/2175-2745.106828","DOIUrl":"https://doi.org/10.22456/2175-2745.106828","url":null,"abstract":"Predictive process monitoring is a subject of growing interest in academic research. As a result, an increased number of papers on this topic have been published. Due to the high complexity in this research area a wide range of different experimental setups and methods have been applied which makes it very difficult to reliably compare research results. This paper’s objective is to investigate how business process models and their characteristics are used during experimental setups and how they can contribute to academic research. First, a literature review is conducted to analyze and discuss the awareness of business process models in experimental setups. Secondly, the paper discusses identified research problems and proposes the concept of a web-based business process model metric suite and the idea of ranked metrics. Through a metric suite researchers and practitioners can automatically evaluate business process model characteristics in their future work. Further, a contextualization of metrics by introducing a ranking of characteristics can potentially indicate how the outcome of experimental setups will be. Hence, the paper’s work demonstrates the importance of business process models and their characteristics in the context of predictive process monitoring and proposes the concept of a tool approach and ranking to reliably evaluate business process models characteristics.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83788689","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
Co-creating Service-Dominant Business Artifacts with Action Design Research: Towards Ambidextrous Business Process Management 用动作设计研究共同创建以服务为主导的业务工件:走向双向业务流程管理
Pub Date : 2021-01-01 DOI: 10.22456/2175-2745.107748
Egon Lüftenegger
Due to the rise of digital innovations, business process management research requires not only to focus on internal organizational improvement aspects. It should also adopt an explorative focus to include completely new business processes driven by digital innovations. Our research project began as an innovation initiative of an international Dutch conglomerate in the financial services sector for exploring new business models. This effort took the form of collaboration among academics in business informatics and practitioners. We formalized this collaboration by adopting action design research (ADR) for reaching impact within the company while contributing new knowledge. The use of ADR resulted in the artifacts’ co-creation that led to shared benefits, resulting in a win-win situation for the academics and practitioners.On the one hand, academics built a framework and its underlying artifacts for service-dominant business design and engineering. On the other hand, the framework supported the organizational transformation driven by digital innovation. This framework helps explore new strategic approaches that influence the design of new business models enabled by new business processes due to combining new and current capabilities known as business services.
由于数字化创新的兴起,业务流程管理的研究不仅需要关注组织内部的改进方面。它还应该采用探索性的重点,包括由数字创新驱动的全新业务流程。我们的研究项目最初是荷兰一家国际金融服务集团为探索新的商业模式而发起的一项创新计划。这项工作采取了商业信息学学者和实践者之间合作的形式。我们通过采用行动设计研究(ADR)在公司内部产生影响,同时贡献新知识,从而使这种合作正式化。ADR的使用导致了工件的共同创造,从而带来了共享的利益,从而导致了学者和从业者的双赢局面。一方面,学者们为以服务为主导的业务设计和工程构建了框架及其底层构件。另一方面,该框架支持数字化创新驱动的组织转型。此框架有助于探索影响新业务模型设计的新战略方法,这些新业务模型是由新业务流程实现的,因为这些新业务流程结合了称为业务服务的新功能和当前功能。
{"title":"Co-creating Service-Dominant Business Artifacts with Action Design Research: Towards Ambidextrous Business Process Management","authors":"Egon Lüftenegger","doi":"10.22456/2175-2745.107748","DOIUrl":"https://doi.org/10.22456/2175-2745.107748","url":null,"abstract":"Due to the rise of digital innovations, business process management research requires not only to focus on internal organizational improvement aspects. It should also adopt an explorative focus to include completely new business processes driven by digital innovations. Our research project began as an innovation initiative of an international Dutch conglomerate in the financial services sector for exploring new business models. This effort took the form of collaboration among academics in business informatics and practitioners. We formalized this collaboration by adopting action design research (ADR) for reaching impact within the company while contributing new knowledge. The use of ADR resulted in the artifacts’ co-creation that led to shared benefits, resulting in a win-win situation for the academics and practitioners.On the one hand, academics built a framework and its underlying artifacts for service-dominant business design and engineering. On the other hand, the framework supported the organizational transformation driven by digital innovation. This framework helps explore new strategic approaches that influence the design of new business models enabled by new business processes due to combining new and current capabilities known as business services.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75023078","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
The Explainable Business Process (XBP) - An Exploratory Research 可解释的业务流程(XBP)——一项探索性研究
Pub Date : 2021-01-01 DOI: 10.22456/2175-2745.107964
Riham Alhomsi, A. Vivacqua
Providing explanations to a business process, its decisions and its activities, is an important factor to achieve the objectives of the business process, and to minimize and deal with any ambiguity in the process that may cause multiple interpretations, as well as to engender the appropriate trust of the users in the process. As a first step towards adding explanations to business process, we present an exploratory study to merge the concept of explainability and business processes, and we propose a conceptual framework to use explainability with business process in a model that we called the Explainable Business Process (XBP). Furthermore, we propose an XBP lifecycle, based on the Model-based and Incremental Knowledge Engineering (MIKE) approach, in order to show in details the phase where explainability fits in the business process lifecycle, noting that we focus on explaining the decisions and activities of the process in its as-is model, without transforming it into a to-be model.
为业务流程、其决策和活动提供解释,是实现业务流程目标的重要因素,可以最大限度地减少和处理流程中可能导致多种解释的任何歧义,还可以在流程中产生用户的适当信任。作为向业务流程添加解释的第一步,我们提出了一项探索性研究,以合并可解释性和业务流程的概念,并提出了一个概念性框架,以便在我们称为可解释业务流程(Explainable business process, XBP)的模型中将可解释性与业务流程结合使用。此外,我们提出了一个基于基于模型和增量知识工程(MIKE)方法的XBP生命周期,以便详细显示可解释性适合业务流程生命周期的阶段,注意我们专注于在其现有模型中解释流程的决策和活动,而不是将其转换为将来模型。
{"title":"The Explainable Business Process (XBP) - An Exploratory Research","authors":"Riham Alhomsi, A. Vivacqua","doi":"10.22456/2175-2745.107964","DOIUrl":"https://doi.org/10.22456/2175-2745.107964","url":null,"abstract":"Providing explanations to a business process, its decisions and its activities, is an important factor to achieve the objectives of the business process, and to minimize and deal with any ambiguity in the process that may cause multiple interpretations, as well as to engender the appropriate trust of the users in the process. As a first step towards adding explanations to business process, we present an exploratory study to merge the concept of explainability and business processes, and we propose a conceptual framework to use explainability with business process in a model that we called the Explainable Business Process (XBP). Furthermore, we propose an XBP lifecycle, based on the Model-based and Incremental Knowledge Engineering (MIKE) approach, in order to show in details the phase where explainability fits in the business process lifecycle, noting that we focus on explaining the decisions and activities of the process in its as-is model, without transforming it into a to-be model.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85933416","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
Challenges and Perspectives on Real-time Singing Voice Synthesis 实时歌唱声音合成的挑战与展望
Pub Date : 2020-12-23 DOI: 10.22456/2175-2745.107292
L. A. Z. Brum, E. Moreno
This paper describes the state of art of real-time singing voice synthesis and presents its concept, applications and technical aspects. A technological mapping and a literature review are made in order to indicate the latest developments in this area. We made a brief comparative analysis among the selected works. Finally, we have discussed challenges and future research problems.
本文介绍了实时歌声合成技术的发展现状,介绍了实时歌声合成的概念、应用和技术方面。为了表明这一领域的最新发展,进行了技术制图和文献综述。我们对所选作品作了简要的比较分析。最后,我们讨论了挑战和未来的研究问题。
{"title":"Challenges and Perspectives on Real-time Singing Voice Synthesis","authors":"L. A. Z. Brum, E. Moreno","doi":"10.22456/2175-2745.107292","DOIUrl":"https://doi.org/10.22456/2175-2745.107292","url":null,"abstract":"This paper describes the state of art of real-time singing voice synthesis and presents its concept, applications and technical aspects. A technological mapping and a literature review are made in order to indicate the latest developments in this area. We made a brief comparative analysis among the selected works. Finally, we have discussed challenges and future research problems.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76314924","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
Performability Evaluation of Voice Services in Converged Networks 融合网络中语音业务的性能评价
Pub Date : 2020-12-23 DOI: 10.22456/2175-2745.94016
A. Guimarães, D. Rodrigues, B. Nogueira
In the last years, the transmission of voice services in converged networks has experienced a huge growth. However, there are still some questions considering the ability of these networks to deliver voice services with acceptable quality. In this paper, we applied analytical modeling and simulation to analyze the quality of voice services using a new index, called MOS a , which considers jointly the MOS index and the availability of the subjacent infrastructure. We consider the influence of different CODECs (G.711 and G.729), queuing policies (Priority Queuing and Custom Queuing), and the warm standby redundancy mechanism. Our goal is to analyze the quality of these services by taking into account overloading conditions in different  architectures/scenarios. These scenarios were constructed using the modeling mechanisms Reliability Block Diagram and Stochastic Petri Nets in addition to a discrete event simulator. Experimental results indicate that the G.711 CODEC has a higher sensitivity both in terms of data traffic volume and allocated network resources in relation to the G.729 CODEC.
在过去的几年中,融合网络中的语音业务传输经历了巨大的增长。然而,考虑到这些网络以可接受的质量提供语音服务的能力,仍然存在一些问题。在本文中,我们运用分析建模和仿真的方法,利用一个新指标MOS a来分析语音服务的质量,该指标综合考虑了MOS指数和底层基础设施的可用性。我们考虑了不同编码解码器(G.711和G.729)、排队策略(优先排队和自定义排队)和热备用冗余机制的影响。我们的目标是通过考虑不同架构/场景中的过载情况来分析这些服务的质量。这些场景是利用可靠性框图和随机Petri网的建模机制以及离散事件模拟器来构建的。实验结果表明,G.711编解码器在数据流量和网络资源分配方面都比G.729编解码器具有更高的灵敏度。
{"title":"Performability Evaluation of Voice Services in Converged Networks","authors":"A. Guimarães, D. Rodrigues, B. Nogueira","doi":"10.22456/2175-2745.94016","DOIUrl":"https://doi.org/10.22456/2175-2745.94016","url":null,"abstract":"In the last years, the transmission of voice services in converged networks has experienced a huge growth. However, there are still some questions considering the ability of these networks to deliver voice services with acceptable quality. In this paper, we applied analytical modeling and simulation to analyze the quality of voice services using a new index, called MOS a , which considers jointly the MOS index and the availability of the subjacent infrastructure. We consider the influence of different CODECs (G.711 and G.729), queuing policies (Priority Queuing and Custom Queuing), and the warm standby redundancy mechanism. Our goal is to analyze the quality of these services by taking into account overloading conditions in different  architectures/scenarios. These scenarios were constructed using the modeling mechanisms Reliability Block Diagram and Stochastic Petri Nets in addition to a discrete event simulator. Experimental results indicate that the G.711 CODEC has a higher sensitivity both in terms of data traffic volume and allocated network resources in relation to the G.729 CODEC.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83093679","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 Model for Predicting Music Popularity on Streaming Platforms 流媒体平台音乐流行度预测模型
Pub Date : 2020-12-23 DOI: 10.22456/2175-2745.107021
C. V. Araujo, Marco Cristo, Rafael Giusti
The global music market moves billions of dollars every year, most of which comes from streamingplatforms. In this paper, we present a model for predicting whether or not a song will appear in Spotify’s Top 50, a ranking of the 50 most popular songs in Spotify, which is one of today’s biggest streaming services. To make this prediction, we trained different classifiers with information from audio features from songs that appeared in this ranking between November 2018 and January 2019. When tested with data from June and July 2019, an SVM classifier with RBF kernel obtained accuracy, precision, and AUC above 80%.
全球音乐市场每年移动数十亿美元,其中大部分来自流媒体平台。在本文中,我们提出了一个模型,用于预测一首歌曲是否会出现在Spotify的前50名中,这是Spotify中50首最受欢迎的歌曲的排名,Spotify是当今最大的流媒体服务之一。为了进行预测,我们使用2018年11月至2019年1月期间出现在该排名中的歌曲的音频特征信息训练了不同的分类器。使用2019年6月和7月的数据进行测试,RBF核SVM分类器的准确率、精密度和AUC均在80%以上。
{"title":"A Model for Predicting Music Popularity on Streaming Platforms","authors":"C. V. Araujo, Marco Cristo, Rafael Giusti","doi":"10.22456/2175-2745.107021","DOIUrl":"https://doi.org/10.22456/2175-2745.107021","url":null,"abstract":"The global music market moves billions of dollars every year, most of which comes from streamingplatforms. In this paper, we present a model for predicting whether or not a song will appear in Spotify’s Top 50, a ranking of the 50 most popular songs in Spotify, which is one of today’s biggest streaming services. To make this prediction, we trained different classifiers with information from audio features from songs that appeared in this ranking between November 2018 and January 2019. When tested with data from June and July 2019, an SVM classifier with RBF kernel obtained accuracy, precision, and AUC above 80%.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75645509","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}
引用次数: 5
BeeNotified! A Notification System of Physical Quantities for Beehives Remote Monitoring BeeNotified !蜂箱远程监测物理量通知系统
Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.90724
Antonio Rafael Braga, Juliana de Castro Rabelo, A. Callado, A. D. Rocha, B. Freitas, D. Gomes
One of the ways to reduce inappropriate management of hives and monitor bee health is to send notifications/alerts about the data collected through sensors. This study presents  BeeNotified!, a solution for sending notifications through Telegram, e-mail, and SMS. The notifications warn about the level of temperature, humidity, sound, carbon dioxide, oxygen, hive weight and delay in data gathering. From this data, researchers and beekeepers can be informed and make changes in the locations of the hives, avoiding catastrophes and possible diseases. The results obtained with the processing time in the sending of messages showed that the messages sent via SMS and Telegram have a shorter processing time compared to the sending via e-mail. In regards to sending notifications according to user preferences, all notifications were sent correctly.
减少对蜂箱的不当管理和监测蜜蜂健康的方法之一是发送关于通过传感器收集的数据的通知/警报。这项研究提出了beenotification !是一种通过电报、电子邮件和短信发送通知的解决方案。这些通知会警告蜂巢的温度、湿度、声音、二氧化碳、氧气、蜂巢重量和数据收集的延迟。从这些数据中,研究人员和养蜂人可以了解情况,并改变蜂箱的位置,避免灾难和可能的疾病。与短信发送的处理时间相比,短信和电报发送的短信处理时间短于电子邮件发送的短信处理时间。关于根据用户偏好发送通知,所有通知都被正确发送。
{"title":"BeeNotified! A Notification System of Physical Quantities for Beehives Remote Monitoring","authors":"Antonio Rafael Braga, Juliana de Castro Rabelo, A. Callado, A. D. Rocha, B. Freitas, D. Gomes","doi":"10.22456/2175-2745.90724","DOIUrl":"https://doi.org/10.22456/2175-2745.90724","url":null,"abstract":"One of the ways to reduce inappropriate management of hives and monitor bee health is to send notifications/alerts about the data collected through sensors. This study presents  BeeNotified!, a solution for sending notifications through Telegram, e-mail, and SMS. The notifications warn about the level of temperature, humidity, sound, carbon dioxide, oxygen, hive weight and delay in data gathering. From this data, researchers and beekeepers can be informed and make changes in the locations of the hives, avoiding catastrophes and possible diseases. The results obtained with the processing time in the sending of messages showed that the messages sent via SMS and Telegram have a shorter processing time compared to the sending via e-mail. In regards to sending notifications according to user preferences, all notifications were sent correctly.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73451343","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
Reasoning about Partial Correctness Assertions in Isabelle/HOL 关于Isabelle/HOL中部分正确性断言的推理
Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.98483
A. Martini
Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented and concurrent programs. The purpose of this work is to provide a detailed and accessible exposition of the several ways the user can conduct, explore and write proofs of correctness of sequential imperative programs with Hoare logic and the ISABELLE proof assistant. With the proof language Isar, it is possible to write structured, readable proofs that are suitable for human understanding and communication.
Hoare Logic在形式验证方面有着悠久的传统,并不断发展和用于验证广泛的程序类别,包括顺序的,面向对象的和并发的程序。这项工作的目的是提供详细的和可访问的几种方法的说明,用户可以使用Hoare逻辑和ISABELLE证明助手进行,探索和编写顺序命令式程序的正确性证明。使用证明语言Isar,可以编写适合人类理解和交流的结构化、可读的证明。
{"title":"Reasoning about Partial Correctness Assertions in Isabelle/HOL","authors":"A. Martini","doi":"10.22456/2175-2745.98483","DOIUrl":"https://doi.org/10.22456/2175-2745.98483","url":null,"abstract":"Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented and concurrent programs. The purpose of this work is to provide a detailed and accessible exposition of the several ways the user can conduct, explore and write proofs of correctness of sequential imperative programs with Hoare logic and the ISABELLE proof assistant. With the proof language Isar, it is possible to write structured, readable proofs that are suitable for human understanding and communication.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91282716","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
WebGIS development for base flow separation and recharge estimation 基流分离与补给估算的WebGIS开发
Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.94235
Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, V. Schneider
The basic flow rate is characterized by an important hydrological component being responsible for the estimation of the water recharge. Due to the difficulty of measurement, mathematical methods are used to calculate the flow separation. However, when hydrographic analysis is based on long historical series, the use of these methods becomes impracticable, making it necessary to use computational resources. A WebGIS (Web Geographical Information System) was developed for data selection and calculation of base flow separation, based on hydrological data from fluviometric stations located in the Taquari-Antas basin, located in the state of Rio Grande do Sul. A modified version of the Unified Process was used as a software development methodology. We used the MVC software architecture standard and the programming languages PHP 7.0, HTML5, JS and CSS3 for programmatic development of the constituent layers of the system. The hydrological data comes from the HIDROWEB portal, part of the National Information System on Water Resources (SNIRH), with hydrological information collected by the National Hydrometeorological Network (RHN) coordinated by the National Water Agency (ANA). The system facilitates the use of remote and distributed hydrological data, shared over the Internet, for various hydrological analyzes.
基本流量的特征是一个重要的水文分量,负责估算补给水量。由于测量困难,采用数学方法计算流动分离。然而,当水文分析是基于长期的历史序列时,使用这些方法变得不切实际,因此必须使用计算资源。根据位于南里约热内卢Grande do Sul州Taquari-Antas盆地的河流测量站的水文数据,开发了一个WebGIS(网络地理信息系统),用于选择数据和计算基流分离。统一过程的修改版本被用作软件开发方法。采用MVC软件架构标准,使用PHP 7.0、HTML5、JS、CSS3等编程语言对系统各组成层进行编程开发。水文数据来自HIDROWEB门户网站,这是国家水资源信息系统(SNIRH)的一部分,水文信息由国家水利局(ANA)协调的国家水文气象网(RHN)收集。该系统便于利用互联网上共享的远程和分布式水文数据进行各种水文分析。
{"title":"WebGIS development for base flow separation and recharge estimation","authors":"Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, V. Schneider","doi":"10.22456/2175-2745.94235","DOIUrl":"https://doi.org/10.22456/2175-2745.94235","url":null,"abstract":"The basic flow rate is characterized by an important hydrological component being responsible for the estimation of the water recharge. Due to the difficulty of measurement, mathematical methods are used to calculate the flow separation. However, when hydrographic analysis is based on long historical series, the use of these methods becomes impracticable, making it necessary to use computational resources. A WebGIS (Web Geographical Information System) was developed for data selection and calculation of base flow separation, based on hydrological data from fluviometric stations located in the Taquari-Antas basin, located in the state of Rio Grande do Sul. A modified version of the Unified Process was used as a software development methodology. We used the MVC software architecture standard and the programming languages PHP 7.0, HTML5, JS and CSS3 for programmatic development of the constituent layers of the system. The hydrological data comes from the HIDROWEB portal, part of the National Information System on Water Resources (SNIRH), with hydrological information collected by the National Hydrometeorological Network (RHN) coordinated by the National Water Agency (ANA). The system facilitates the use of remote and distributed hydrological data, shared over the Internet, for various hydrological analyzes.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81261701","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
期刊
Research initiative, treatment action : RITA
全部 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