首页 > 最新文献

Research initiative, treatment action : RITA最新文献

英文 中文
Traveling Salesman Problem with Optional Bonus Collection, Pickup Time and Passengers 旅行推销员问题与可选的奖金收集,接送时间和乘客
Pub Date : 2020-01-15 DOI: 10.22456/2175-2745.93733
J. G. L. Filho, M. Goldbarg, E. Goldbarg, V. A. Petch
This study introduces a variant of the Traveling Salesman Problem, named Traveling Salesman Problem with Optional Bonus Collection, Pickup Time and Passengers (PCVP-BoTc). It is a variant that incorporates elements of the Prize Collecting Traveling Salesman Problem and Ridesharing into the PCV. The objective is to optimize the revenue of the driver, which selectively defines which delivery or collection tasks to perform along the route. The economic effect of the collection is modeled by a bonus. The model can be applied to the solution of hybrid routing systems with route tasks and solidary transport. The driver, while performing the selected tasks, can give rides to persons who share route costs with him. Passengers are protected by restrictions concerning the maximum value they agree to pay for a ride and maximum travel duration. The activity of collecting the bonus in each locality demands a specific amount of time, affects the route duration, and is interconnected with the embarkment of passengers. Two mathematical formulations are presented for the problem and validated by a computational experiment using a solver. We propose four heuristic algorithms; three of them are hybrid metaheuristics. We tested the mathematical formulation implementations for 24 instances and the heuristic algorithms for 48.
本文引入了旅行推销员问题的一个变体,即具有可选奖金收集、接送时间和乘客的旅行推销员问题(PCVP-BoTc)。它是一个变体,结合了收集奖品旅行推销员问题和拼车到PCV的元素。目标是优化司机的收入,司机有选择地定义在路线上执行哪些交付或收集任务。收集的经济效果是通过奖金来模拟的。该模型可应用于具有路线任务和统一运输的混合路由系统的求解。司机在执行选定的任务时,可以让与他分担路线费用的人搭便车。乘客受到有关他们同意支付的最高车费和最长旅行时间的限制的保护。在每个地点收集奖金的活动需要特定的时间,影响路线的持续时间,并且与乘客的登船相关联。本文给出了该问题的两个数学公式,并通过求解器的计算实验进行了验证。我们提出了四种启发式算法;其中三个是混合元启发式。我们测试了24个实例的数学公式实现和48个实例的启发式算法。
{"title":"Traveling Salesman Problem with Optional Bonus Collection, Pickup Time and Passengers","authors":"J. G. L. Filho, M. Goldbarg, E. Goldbarg, V. A. Petch","doi":"10.22456/2175-2745.93733","DOIUrl":"https://doi.org/10.22456/2175-2745.93733","url":null,"abstract":"This study introduces a variant of the Traveling Salesman Problem, named Traveling Salesman Problem with Optional Bonus Collection, Pickup Time and Passengers (PCVP-BoTc). It is a variant that incorporates elements of the Prize Collecting Traveling Salesman Problem and Ridesharing into the PCV. The objective is to optimize the revenue of the driver, which selectively defines which delivery or collection tasks to perform along the route. The economic effect of the collection is modeled by a bonus. The model can be applied to the solution of hybrid routing systems with route tasks and solidary transport. The driver, while performing the selected tasks, can give rides to persons who share route costs with him. Passengers are protected by restrictions concerning the maximum value they agree to pay for a ride and maximum travel duration. The activity of collecting the bonus in each locality demands a specific amount of time, affects the route duration, and is interconnected with the embarkment of passengers. Two mathematical formulations are presented for the problem and validated by a computational experiment using a solver. We propose four heuristic algorithms; three of them are hybrid metaheuristics. We tested the mathematical formulation implementations for 24 instances and the heuristic algorithms for 48.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74677764","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
A New Artificial Immune System Based on Continuous Learning for Pattern Recognition 一种基于持续学习的模式识别人工免疫系统
Pub Date : 2020-01-01 DOI: 10.22456/2175-2745.102061
S. F. Souza, F. Lima, F. R. Chavarette
This paper presents a novel approach for pattern recognition based on continuous training inspired by the biological immune system operation. The main objective of this paper is to present a method capable of continually learn, i.e., being able to address new types of patterns without the need to restart the training process (artificial immune system with incremental learning). It is a useful method for solving problems involving a permanent knowledge extraction, e.g., 3D facial expression recognition, whose quality of the solutions is strongly dependent on a continuous training process. In this context, two artificial immune algorithms are employed: (1) the negative selection algorithm, which is responsible for the pattern recognition process and (2) the clonal selection algorithm, which is responsible for the learning process. The main application of this method is in assisting in decision-making on problems related to pattern recognition process. To evaluate and validate the efficiency of this method, the system has been tested on handwritten character recognition, which is a classic problem in the literature. The results show efficiency, accuracy and robustness of the proposed methodology.
本文提出了一种受生物免疫系统运作启发的基于连续训练的模式识别新方法。本文的主要目标是提出一种能够持续学习的方法,即能够在不需要重新启动训练过程的情况下处理新类型的模式(具有增量学习的人工免疫系统)。它是解决涉及永久知识提取的问题的有用方法,例如,3D面部表情识别,其解决方案的质量强烈依赖于持续的训练过程。在这种情况下,采用了两种人工免疫算法:(1)负选择算法,负责模式识别过程;(2)克隆选择算法,负责学习过程。该方法的主要应用是在模式识别过程中辅助决策。为了评估和验证该方法的有效性,对文献中的经典问题手写体字符识别进行了测试。结果表明,该方法具有较高的效率、准确性和鲁棒性。
{"title":"A New Artificial Immune System Based on Continuous Learning for Pattern Recognition","authors":"S. F. Souza, F. Lima, F. R. Chavarette","doi":"10.22456/2175-2745.102061","DOIUrl":"https://doi.org/10.22456/2175-2745.102061","url":null,"abstract":"This paper presents a novel approach for pattern recognition based on continuous training inspired by the biological immune system operation. The main objective of this paper is to present a method capable of continually learn, i.e., being able to address new types of patterns without the need to restart the training process (artificial immune system with incremental learning). It is a useful method for solving problems involving a permanent knowledge extraction, e.g., 3D facial expression recognition, whose quality of the solutions is strongly dependent on a continuous training process. In this context, two artificial immune algorithms are employed: (1) the negative selection algorithm, which is responsible for the pattern recognition process and (2) the clonal selection algorithm, which is responsible for the learning process. The main application of this method is in assisting in decision-making on problems related to pattern recognition process. To evaluate and validate the efficiency of this method, the system has been tested on handwritten character recognition, which is a classic problem in the literature. The results show efficiency, accuracy and robustness of the proposed methodology.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85684094","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
Dimensioning the relationship between availability and data center energy flow metrics 对可用性和数据中心能量流度量之间的关系进行量纲化
Pub Date : 2020-01-01 DOI: 10.22456/2175-2745.107176
Thiago Valentim Bezerra, Wenderson de Souza Leonardo, Gabriel Alves de Albuquerque Júnior, G. Callou
The advancement of technology and the growing number of applications available to network users have increased the demand for services hosted in cloud environments. In 2020, more than 4 billion of people access these services through the Internet, a value 7% higher in comparison to the same period in 2019. To support the demand for such services, an environment that provides such conditions for applications available whenever needed has grown in importance. These environments are generally available from large data centers, which consume large amounts of electricity to provide such demand service capacity. In this context, this work proposes an integrated and dynamic strategy that demonstrates the impact of the availability on the energy consumption of the devices that compose the data center system architecture. In order to accomplish this, colored Petri net models were proposed for quantifying the cost, environmental impact and availability of the electric energy infrastructure ofdata centers. The models presented in this work are supported by the developed prototype. Two case studies illustrate the applicability of the proposed models and strategy. Significant results were obtained, showing an increase close to 100% in the system availability, with practically the same operational cost and environmental impact.
技术的进步和网络用户可用的应用程序数量的增加增加了对托管在云环境中的服务的需求。2020年,超过40亿人通过互联网获得这些服务,比2019年同期增长7%。为了支持对此类服务的需求,在需要时为应用程序提供此类条件的环境变得越来越重要。这些环境通常来自大型数据中心,这些数据中心需要消耗大量的电力来提供这种需求服务能力。在此背景下,本工作提出了一个集成的动态策略,该策略演示了可用性对组成数据中心系统架构的设备能耗的影响。为了实现这一目标,提出了彩色Petri网模型来量化数据中心电力能源基础设施的成本、环境影响和可用性。本工作中提出的模型得到了已开发原型的支持。两个案例研究说明了所提出的模型和策略的适用性。获得了显著的结果,显示系统可用性提高了近100%,而操作成本和环境影响几乎相同。
{"title":"Dimensioning the relationship between availability and data center energy flow metrics","authors":"Thiago Valentim Bezerra, Wenderson de Souza Leonardo, Gabriel Alves de Albuquerque Júnior, G. Callou","doi":"10.22456/2175-2745.107176","DOIUrl":"https://doi.org/10.22456/2175-2745.107176","url":null,"abstract":"The advancement of technology and the growing number of applications available to network users have increased the demand for services hosted in cloud environments. In 2020, more than 4 billion of people access these services through the Internet, a value 7% higher in comparison to the same period in 2019. To support the demand for such services, an environment that provides such conditions for applications available whenever needed has grown in importance. These environments are generally available from large data centers, which consume large amounts of electricity to provide such demand service capacity. In this context, this work proposes an integrated and dynamic strategy that demonstrates the impact of the availability on the energy consumption of the devices that compose the data center system architecture. In order to accomplish this, colored Petri net models were proposed for quantifying the cost, environmental impact and availability of the electric energy infrastructure ofdata centers. The models presented in this work are supported by the developed prototype. Two case studies illustrate the applicability of the proposed models and strategy. Significant results were obtained, showing an increase close to 100% in the system availability, with practically the same operational cost and environmental impact.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91375733","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
Creating Digital Musical Instruments with libmosaic-sound and Mosaicode 用libmosaic-sound和Mosaicode创建数字乐器
Pub Date : 2020-01-01 DOI: 10.22456/2175-2745.104342
L. Goncalves, F. Schiavoni
Music has been influenced by digital technology over the last few decades. With the computer and the Digital Musical Instruments, the musical composition could trespass the use of acoustic instruments demanding to musicians and composers a sort of computer programming skills for the development of musical applications. In order to simplify the development of musical applications, several tools and musical programming languages arose bringing some facilities to lay-musicians on computer programming to use the computer to make music. This work presents the development of a Visual Programming Language (VPL) to develop DMI applications in the Mosaicode programming environment, simplifying sound design and making the creation of digital instruments more accessible to digital artists. It is also presented the implementation of libmosaic-sound library, which supported the VPL development, for the specific domain of Music Computing and DMI creation.
在过去的几十年里,音乐一直受到数字技术的影响。随着计算机和数字乐器的出现,音乐创作可以超越原声乐器的使用,这就要求音乐家和作曲家为开发音乐应用程序而具备某种计算机编程技能。为了简化音乐应用程序的开发,出现了一些工具和音乐编程语言,为计算机编程的外行音乐家提供了一些设施,使他们能够使用计算机制作音乐。这项工作提出了一种视觉编程语言(VPL)的发展,用于在Mosaicode编程环境中开发DMI应用程序,简化声音设计,使数字艺术家更容易创作数字乐器。针对音乐计算和DMI创建的特定领域,给出了支持VPL开发的libmosaic-sound库的实现。
{"title":"Creating Digital Musical Instruments with libmosaic-sound and Mosaicode","authors":"L. Goncalves, F. Schiavoni","doi":"10.22456/2175-2745.104342","DOIUrl":"https://doi.org/10.22456/2175-2745.104342","url":null,"abstract":"Music has been influenced by digital technology over the last few decades. With the computer and the Digital Musical Instruments, the musical composition could trespass the use of acoustic instruments demanding to musicians and composers a sort of computer programming skills for the development of musical applications. In order to simplify the development of musical applications, several tools and musical programming languages arose bringing some facilities to lay-musicians on computer programming to use the computer to make music. This work presents the development of a Visual Programming Language (VPL) to develop DMI applications in the Mosaicode programming environment, simplifying sound design and making the creation of digital instruments more accessible to digital artists. It is also presented the implementation of libmosaic-sound library, which supported the VPL development, for the specific domain of Music Computing and DMI creation.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72459171","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}
引用次数: 18
Comparison of Classical Computer Vision vs. Convolutional Neural Networks for Weed Mapping in Aerial Images 经典计算机视觉与卷积神经网络在航空图像杂草映射中的比较
Pub Date : 2020-01-01 DOI: 10.22456/2175-2745.97835
Paulo César Pereira Júnior, Alexandre Monteiro, Rafael Da Luz Ribeiro, A. Sobieranski, A. V. Wangenheim
In this paper, we present a comparison between convolutional neural networks and classical computer vision approaches, for the specific precision agriculture problem of weed mapping on sugarcane fields aerial images. A systematic literature review was conducted to find which computer vision methods are being used on this specific problem. The most cited methods were implemented, as well as four models of convolutional neural networks. All implemented approaches were tested using the same dataset, and their results were quantitatively and qualitatively analyzed. The obtained results were compared to a human expert made ground truth, for validation. The results indicate that the convolutional neural networks present better precision and generalize better than the classical models.
在本文中,我们提出了卷积神经网络和经典计算机视觉方法的比较,以甘蔗田航空图像杂草映射的具体精准农业问题。进行了系统的文献综述,以找出哪些计算机视觉方法正在用于这一具体问题。实现了引用最多的方法,以及四种卷积神经网络模型。所有实施的方法都使用相同的数据集进行测试,并对其结果进行定量和定性分析。所获得的结果与人类专家制作的地面事实进行了比较,以进行验证。结果表明,与经典模型相比,卷积神经网络具有更好的精度和泛化能力。
{"title":"Comparison of Classical Computer Vision vs. Convolutional Neural Networks for Weed Mapping in Aerial Images","authors":"Paulo César Pereira Júnior, Alexandre Monteiro, Rafael Da Luz Ribeiro, A. Sobieranski, A. V. Wangenheim","doi":"10.22456/2175-2745.97835","DOIUrl":"https://doi.org/10.22456/2175-2745.97835","url":null,"abstract":"In this paper, we present a comparison between convolutional neural networks and classical computer vision approaches, for the specific precision agriculture problem of weed mapping on sugarcane fields aerial images. A systematic literature review was conducted to find which computer vision methods are being used on this specific problem. The most cited methods were implemented, as well as four models of convolutional neural networks. All implemented approaches were tested using the same dataset, and their results were quantitatively and qualitatively analyzed. The obtained results were compared to a human expert made ground truth, for validation. The results indicate that the convolutional neural networks present better precision and generalize better than the classical models.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85337954","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
Cloud infrastructure for HPC investment analysis 用于HPC的云基础设施投资分析
Pub Date : 2020-01-01 DOI: 10.22456/2175-2745.106794
Maicon Anca dos Santos, G. H. Cavalheiro
Resumo: With the consolidation of cloud computing technology, there is a growing interest in exploring it to support High Performance Computing (HPC). However, migrating such applications to public or private cloud environments brings some challenges, in particular, the cost in financing the migration process. In this paper, a literature review is presented with selected papers about analyzing cloud infrastructure investments. In particular, the selected papers analyse how investments impact applications. For discussion of related works, conditions for running HPC applications in the cloud are characterized.
简历:随着云计算技术的整合,人们越来越有兴趣探索它来支持高性能计算(HPC)。但是,将此类应用程序迁移到公共或私有云环境会带来一些挑战,特别是迁移过程的融资成本。在本文中,对有关分析云基础设施投资的论文进行了文献综述。特别地,选定的论文分析了投资如何影响应用。为了讨论相关工作,本文描述了在云中运行HPC应用的条件。
{"title":"Cloud infrastructure for HPC investment analysis","authors":"Maicon Anca dos Santos, G. H. Cavalheiro","doi":"10.22456/2175-2745.106794","DOIUrl":"https://doi.org/10.22456/2175-2745.106794","url":null,"abstract":"Resumo: With the consolidation of cloud computing technology, there is a growing interest in exploring it to support High Performance Computing (HPC). However, migrating such applications to public or private cloud environments brings some challenges, in particular, the cost in financing the migration process. In this paper, a literature review is presented with selected papers about analyzing cloud infrastructure investments. In particular, the selected papers analyse how investments impact applications. For discussion of related works, conditions for running HPC applications in the cloud are characterized.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84114235","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
SafeFollowing: A collaborative model for public security agents to assist people with disabilities and the elderly SafeFollowing:公共安全人员协助残疾人和老年人的协作模式
Pub Date : 2019-11-30 DOI: 10.22456/2175-2745.92117
C. M. Matos, V. Matter, F. Viegas, M. G. Martins, João Tavares, J. Barbosa
In the last survey about the Brazilian population conducted by IBGE, more than 45.6 million of Brazilians declared that they have some kind of disability. Besides that, the same survey revealed that the number of elderly people has been increasing over the years and at that time it already represented 12.1 % of the total. In this scenario, public policies that can efficiently ensure the rights of this share of the population became even more necessary. In the same manner, with the popularization of mobile devices, opportunities to develop new solutions are arising, offering more independence and quality of life to them. Ubiquitous accessibility support solutions have been proposed, such as the MASC model, which resorts to the concept of smart assistive city; and more recently the AccompCare, which predicts the monitoring of people with disabilities and the elderly. This article proposes the SafeFollowing, a model that enables integrated and collaborative acting of the community aiming to assist people with some kind of disability or elderly people. The SafeFollowing predicts the use of police cars mapping, in order to provide a specific follow-up in adverse daily situations. The validation of the model is also presented in the article, which was performed through experiments in real test scenarios.
在IBGE进行的关于巴西人口的最新调查中,超过4560万巴西人声称他们有某种残疾。此外,同一项调查显示,老年人的数量近年来一直在增加,当时已占总数的12.1%。在这种情况下,能够有效确保这部分人口权利的公共政策变得更加必要。同样,随着移动设备的普及,开发新解决方案的机会也在增加,为他们提供了更多的独立性和生活质量。无所不在的可达性支持解决方案已被提出,如利用智慧辅助城市概念的MASC模型;以及最近的AccompCare,它预测了对残疾人和老年人的监测。这篇文章提出了SafeFollowing,这是一个模型,它使社区的整合和协作行动旨在帮助有某种残疾的人或老年人。SafeFollowing预测使用警车地图,以便在不利的日常情况下提供具体的后续行动。本文还对模型进行了验证,并在实际测试场景中进行了实验验证。
{"title":"SafeFollowing: A collaborative model for public security agents to assist people with disabilities and the elderly","authors":"C. M. Matos, V. Matter, F. Viegas, M. G. Martins, João Tavares, J. Barbosa","doi":"10.22456/2175-2745.92117","DOIUrl":"https://doi.org/10.22456/2175-2745.92117","url":null,"abstract":"In the last survey about the Brazilian population conducted by IBGE, more than 45.6 million of Brazilians declared that they have some kind of disability. Besides that, the same survey revealed that the number of elderly people has been increasing over the years and at that time it already represented 12.1 % of the total. In this scenario, public policies that can efficiently ensure the rights of this share of the population became even more necessary. In the same manner, with the popularization of mobile devices, opportunities to develop new solutions are arising, offering more independence and quality of life to them. Ubiquitous accessibility support solutions have been proposed, such as the MASC model, which resorts to the concept of smart assistive city; and more recently the AccompCare, which predicts the monitoring of people with disabilities and the elderly. This article proposes the SafeFollowing, a model that enables integrated and collaborative acting of the community aiming to assist people with some kind of disability or elderly people. The SafeFollowing predicts the use of police cars mapping, in order to provide a specific follow-up in adverse daily situations. The validation of the model is also presented in the article, which was performed through experiments in real test scenarios.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74714686","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
Vulnerability Identification on GNU/Linux Operating Systems through Case-Based Reasoning 基于案例推理的GNU/Linux操作系统漏洞识别
Pub Date : 2019-11-30 DOI: 10.22456/2175-2745.82079
D. Santos, J. Nobre
Operating system security has been steadily evolving over the years. Several mechanisms, softwares and guides of best practices of configuration have been developed to contribute with the security of such systems. The process that makes an operating system safer by considering the default level obtained at the installation is known as hardening. Experience and technical knowledge are important attributes for the professional performing this process. In this context, automated rule-based tools are often used to assist professionals with little experience in vulnerability identification activities. However, the use of rules establishes a dependency on developers for the development of new rules as well as to keep them updated. Failure to update rules can significantly compromise the integrity of vulnerability identification results. In this paper, the Case-Based Reasoning (CBR) technique is used to improve tools that assist inexperienced professionals in conducting vulnerability identification activities. The purpose of using CBR is to make inexperienced professionals obtain similar results as experienced professionals. In addition, the dependence on rule developers is diminished. A prototype was developed considering the GNU/Linux system in order to carry out an experimental evaluation. This evaluation demonstrated that the application of CBR improves the performance of inexperienced professionals in terms of the number of identified vulnerabilities.
多年来,操作系统安全性一直在稳步发展。已经开发了一些机制、软件和配置最佳实践指南,以提高此类系统的安全性。通过考虑安装时获得的默认级别使操作系统更安全的过程称为加固。经验和技术知识是执行此过程的专业人员的重要属性。在这种情况下,自动化的基于规则的工具通常用于帮助缺乏漏洞识别活动经验的专业人员。然而,规则的使用建立了对开发人员的依赖性,以开发新规则并使其保持更新。未能更新规则会严重损害漏洞识别结果的完整性。在本文中,使用基于案例的推理(CBR)技术来改进工具,帮助没有经验的专业人员进行漏洞识别活动。使用CBR的目的是使没有经验的专业人员获得与有经验的专业人员相似的结果。此外,减少了对规则开发人员的依赖。为了进行实验评估,开发了一个考虑GNU/Linux系统的原型。该评估表明,CBR的应用提高了经验不足的专业人员在识别漏洞数量方面的表现。
{"title":"Vulnerability Identification on GNU/Linux Operating Systems through Case-Based Reasoning","authors":"D. Santos, J. Nobre","doi":"10.22456/2175-2745.82079","DOIUrl":"https://doi.org/10.22456/2175-2745.82079","url":null,"abstract":"Operating system security has been steadily evolving over the years. Several mechanisms, softwares and guides of best practices of configuration have been developed to contribute with the security of such systems. The process that makes an operating system safer by considering the default level obtained at the installation is known as hardening. Experience and technical knowledge are important attributes for the professional performing this process. In this context, automated rule-based tools are often used to assist professionals with little experience in vulnerability identification activities. However, the use of rules establishes a dependency on developers for the development of new rules as well as to keep them updated. Failure to update rules can significantly compromise the integrity of vulnerability identification results. In this paper, the Case-Based Reasoning (CBR) technique is used to improve tools that assist inexperienced professionals in conducting vulnerability identification activities. The purpose of using CBR is to make inexperienced professionals obtain similar results as experienced professionals. In addition, the dependence on rule developers is diminished. A prototype was developed considering the GNU/Linux system in order to carry out an experimental evaluation. This evaluation demonstrated that the application of CBR improves the performance of inexperienced professionals in terms of the number of identified vulnerabilities.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73418034","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 the Diffusive Filling-In Algorithm Operating in Spike Mode 尖峰模式下的扩散填充算法模型
Pub Date : 2019-11-30 DOI: 10.22456/2175-2745.86439
Genildo Nonato Santos, J. Gomes
To run cortical circuit simulations in spike mode, i.e. taking into account the neural representation of information in terms of sequences of electrical pulses (also known as spikes), the use of customized hardware, which is specific for this purpose, is recommended. Simulations using more traditional hardware can be prohibitive. In this context, theoretical predictions are important for customized hardware design. For example, theoretical predictions lead to an adequate neuron model choice. To make such theoretical predictions, the cortical circuit simulations are carried out in amplitude mode. Differently from the spike mode, in amplitude mode information is represented by sequences of scalar values that describe neural input and output spike rates. In this paper, it was proposed amplitude and spike mode simulations of a cortical algorithm, namely the diffusive filling-in algorithm, to investigate whether predictions based on the amplitude-mode results approximate well the behavior of the customized hardware (spike mode results). The diffusive filling-in algorithm was chosen because it is simple enough for spike-mode simulation in a conventional computer, but the proposed amplitude-mode prediction method is the same for more complex algorithms or circuits. We provide a highly realistic comparison between amplitude-mode and spike-mode in the diffusive filling-in case, which suggests that the amplitude mode is reliable for theoretical predictions useful for customized hardware design for cortical circuit simulation. The goal of this paper is not to bring closure to these discussions but to suggest a way of avoiding possible issues that could compromise the success of the customized device design.
为了在尖峰模式下运行皮质电路模拟,即考虑到电脉冲序列(也称为尖峰)中信息的神经表示,建议使用专门用于此目的的定制硬件。使用更传统的硬件进行模拟可能会令人望而却步。在这种情况下,理论预测对于定制硬件设计非常重要。例如,理论预测会导致适当的神经元模型选择。为了做出这样的理论预测,在振幅模式下进行了皮质回路模拟。与尖峰模式不同,在振幅模式下,信息由描述神经输入和输出尖峰率的标量值序列表示。本文提出了一种皮质算法(即扩散填充算法)的振幅和尖峰模式模拟,以研究基于振幅模式结果的预测是否很好地近似于定制硬件的行为(尖峰模式结果)。之所以选择扩散填充算法,是因为它对于传统计算机上的尖峰模式模拟来说足够简单,但对于更复杂的算法或电路,所提出的幅模预测方法是相同的。我们提供了在扩散填充情况下振幅模式和尖峰模式之间的高度现实的比较,这表明振幅模式是可靠的理论预测,有助于定制硬件设计的皮质电路模拟。本文的目的不是结束这些讨论,而是提出一种避免可能危及定制设备设计成功的可能问题的方法。
{"title":"A Model for the Diffusive Filling-In Algorithm Operating in Spike Mode","authors":"Genildo Nonato Santos, J. Gomes","doi":"10.22456/2175-2745.86439","DOIUrl":"https://doi.org/10.22456/2175-2745.86439","url":null,"abstract":"To run cortical circuit simulations in spike mode, i.e. taking into account the neural representation of information in terms of sequences of electrical pulses (also known as spikes), the use of customized hardware, which is specific for this purpose, is recommended. Simulations using more traditional hardware can be prohibitive. In this context, theoretical predictions are important for customized hardware design. For example, theoretical predictions lead to an adequate neuron model choice. To make such theoretical predictions, the cortical circuit simulations are carried out in amplitude mode. Differently from the spike mode, in amplitude mode information is represented by sequences of scalar values that describe neural input and output spike rates. In this paper, it was proposed amplitude and spike mode simulations of a cortical algorithm, namely the diffusive filling-in algorithm, to investigate whether predictions based on the amplitude-mode results approximate well the behavior of the customized hardware (spike mode results). The diffusive filling-in algorithm was chosen because it is simple enough for spike-mode simulation in a conventional computer, but the proposed amplitude-mode prediction method is the same for more complex algorithms or circuits. We provide a highly realistic comparison between amplitude-mode and spike-mode in the diffusive filling-in case, which suggests that the amplitude mode is reliable for theoretical predictions useful for customized hardware design for cortical circuit simulation. The goal of this paper is not to bring closure to these discussions but to suggest a way of avoiding possible issues that could compromise the success of the customized device design.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80635737","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
Virtual Reality-based Training for the Motor Developmentof People With Intellectual and Multiple Disabilities 基于虚拟现实的智障及多重残障人士运动发展训练
Pub Date : 2019-11-30 DOI: 10.22456/2175-2745.86478
Rian Dutra da Cunha, Frâncila Weidt Neiva, Rodrigo L. S. Silva
This study investigated the potential of using a virtual reality-based motor coordination and cognitive training for people with intellectual and multiple disabilities, focusing on their autonomy and community participation. A low-cost innovative interaction interface between the user and the virtual environment was proposed to provide a more realistic and intuitive interaction experience. Nine people with disabilities were selected from an institutional care for people with disabilities and they were enrolled in a four-week experiment, which consisted in going through three challenges. The results show that the patients demonstrated statistically significant improvements regarding the task gave, also based on the observational analysis of the instructor and physiotherapist. Thus, the analysis indicates that the VR-based method can be effective in the motor development of those patients, improving their autonomy and cognitive skills.
本研究调查了使用基于虚拟现实的运动协调和认知训练对智力和多重残疾人士的潜力,重点关注他们的自主性和社区参与。提出了一种低成本、创新性的用户与虚拟环境交互界面,为用户提供更加真实、直观的交互体验。我们从一家残障人士护理机构中挑选了九名残障人士,他们参加了为期四周的实验,其中包括三项挑战。结果表明,患者在完成任务方面表现出统计学上的显著改善,这也是基于指导员和物理治疗师的观察分析。因此,分析表明,基于vr的方法可以有效地促进这些患者的运动发展,提高他们的自主性和认知技能。
{"title":"Virtual Reality-based Training for the Motor Developmentof People With Intellectual and Multiple Disabilities","authors":"Rian Dutra da Cunha, Frâncila Weidt Neiva, Rodrigo L. S. Silva","doi":"10.22456/2175-2745.86478","DOIUrl":"https://doi.org/10.22456/2175-2745.86478","url":null,"abstract":"This study investigated the potential of using a virtual reality-based motor coordination and cognitive training for people with intellectual and multiple disabilities, focusing on their autonomy and community participation. A low-cost innovative interaction interface between the user and the virtual environment was proposed to provide a more realistic and intuitive interaction experience. Nine people with disabilities were selected from an institutional care for people with disabilities and they were enrolled in a four-week experiment, which consisted in going through three challenges. The results show that the patients demonstrated statistically significant improvements regarding the task gave, also based on the observational analysis of the instructor and physiotherapist. Thus, the analysis indicates that the VR-based method can be effective in the motor development of those patients, improving their autonomy and cognitive skills.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-11-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79026814","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
期刊
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