首页 > 最新文献

2022 IEEE 16th International Scientific Conference on Informatics (Informatics)最新文献

英文 中文
Natural semantics visualization for domain-specific language 领域特定语言的自然语义可视化
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083439
William Steingartner, Richard Zsiga, D. Radaković
In this article, we refer to current research in the field of semantic methods for a selected set of domain-specific languages. In our research, we focus on the formulation and definition of semantic methods for describing the meaning of programs in a simple domain-specific language for controlling a robot in an orthogonal system. Considering the importance for current and future programmers and IT specialists to know how programs work and prevent possible mistakes at the design and algorithmic stages, we consider it important in educating young IT professionals to provide them with a solid foundation in formal methods for software engineering. Semantic modeling forms the necessary basis for these formal methods. Therefore, we continue our research by formulating semantic methods for selected domain-specific languages. We also developed a software tool for the mentioned method as a support in education to increase its attractiveness.
在本文中,我们参考了一组特定领域语言的语义方法领域的当前研究。在我们的研究中,我们专注于用一种简单的领域特定语言描述正交系统中控制机器人的程序的意义的语义方法的制定和定义。考虑到当前和未来的程序员和IT专家了解程序如何工作并防止在设计和算法阶段可能出现的错误的重要性,我们认为教育年轻的IT专业人员为他们提供软件工程形式化方法的坚实基础非常重要。语义建模是这些形式化方法的必要基础。因此,我们通过为选定的领域特定语言制定语义方法来继续我们的研究。我们还为上述方法开发了一个软件工具,作为教育方面的支持,以增加其吸引力。
{"title":"Natural semantics visualization for domain-specific language","authors":"William Steingartner, Richard Zsiga, D. Radaković","doi":"10.1109/Informatics57926.2022.10083439","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083439","url":null,"abstract":"In this article, we refer to current research in the field of semantic methods for a selected set of domain-specific languages. In our research, we focus on the formulation and definition of semantic methods for describing the meaning of programs in a simple domain-specific language for controlling a robot in an orthogonal system. Considering the importance for current and future programmers and IT specialists to know how programs work and prevent possible mistakes at the design and algorithmic stages, we consider it important in educating young IT professionals to provide them with a solid foundation in formal methods for software engineering. Semantic modeling forms the necessary basis for these formal methods. Therefore, we continue our research by formulating semantic methods for selected domain-specific languages. We also developed a software tool for the mentioned method as a support in education to increase its attractiveness.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123856260","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
Geometry Algebra and Gauss Elimination method for solving a linear system of equations without division 求解无除法线性方程组的几何代数和高斯消去法
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083445
M. Cervenka
This paper aims to calculate the Gaussian elimination method without division operation, which is useful for cases where the division operation is considerably expensive, not optimised or inconvenient. To substitute the division, more multiplication steps are performed. The division is completely avoided, reaching only 7 % longer execution time on a modern computer. Memory savings and also less multiplication has been reached in comparison to the state-of-the-art approach.
本文的目的是计算不进行除法运算的高斯消去法,这种消去法适用于除法运算相当昂贵、不优化或不方便的情况。要代替除法,需要执行更多的乘法步骤。完全避免了除法,在现代计算机上只延长了7%的执行时间。与最先进的方法相比,已经达到了内存节省和更少的乘法。
{"title":"Geometry Algebra and Gauss Elimination method for solving a linear system of equations without division","authors":"M. Cervenka","doi":"10.1109/Informatics57926.2022.10083445","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083445","url":null,"abstract":"This paper aims to calculate the Gaussian elimination method without division operation, which is useful for cases where the division operation is considerably expensive, not optimised or inconvenient. To substitute the division, more multiplication steps are performed. The division is completely avoided, reaching only 7 % longer execution time on a modern computer. Memory savings and also less multiplication has been reached in comparison to the state-of-the-art approach.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"713-715 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127945990","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
E-Learning Study Support and Accessible Documents Creation for Students with Special Needs 为有特殊需要的学生提供电子学习支持和无障碍文件创建
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083394
M. Jenčik, A. Grincova, D. Simsík, A. Galajdová
This paper discusses the need for automated accessible documents creation in a world of disabled people inclusion and their education. Converting study materials into more accessible formats is not a trivial problem. We will try to review several possible solutions to this problem. The first very used solution for producing study scientific documents is to produce them in LaTeX language, but when we generate PDF documents directly from LaTeX, math expressions are not accessible by screen readers and braille displays. They can be made accessible by using LaTeX package, which automatically produces a hidden text corresponding to the LaTeX commands that generate the math expressions. The second solution is used the system LAMBDA for reading and writing mathematics especially for people with visual impairments. This system does not help to produce accessible math documents but it can be used as e-learning study system. The third solution is RoboBraille service. RoboBraille is automatized system for decentralized study materials production and automated document conversion service. RoboBraille can very easily convert study documents into digital Braille, MP3 audio files, DAISY structured audio books and various types e-books. Finally yet importantly, solution for e-learning study support students with special needs is to use computer algebra system. The main features of using computer algebra system MAPLE in the e-learning process as a supporting tool in the education of people with disabilities. We will illustrate on the solution of the differential equation in the chapter five.
本文讨论了在残疾人包容和残疾人教育的世界中,自动无障碍文档创建的必要性。将学习材料转换成更容易理解的格式并不是一个简单的问题。我们将试着回顾这个问题的几种可能的解决方案。用于生成研究科学文档的第一种常用解决方案是用LaTeX语言生成它们,但是当我们直接从LaTeX生成PDF文档时,屏幕阅读器和盲文显示器无法访问数学表达式。可以通过使用LaTeX包访问它们,该包自动生成与生成数学表达式的LaTeX命令相对应的隐藏文本。第二个解决方案是使用LAMBDA系统来读写数学,特别是为有视觉障碍的人。该系统不能帮助生成可访问的数学文档,但可以作为电子学习学习系统使用。第三个解决方案是机器盲文服务。RoboBraille是一个自动化系统,用于分散的学习材料制作和自动文档转换服务。RoboBraille可以很容易地将学习文档转换为数字盲文,MP3音频文件,DAISY结构化音频书籍和各种类型的电子书。最后,也是最重要的,解决方案是使用计算机代数系统来支持有特殊需要的学生。主要特点是利用计算机代数系统MAPLE在残疾人电子学习过程中作为辅助工具进行教育。我们将在第五章中说明微分方程的解。
{"title":"E-Learning Study Support and Accessible Documents Creation for Students with Special Needs","authors":"M. Jenčik, A. Grincova, D. Simsík, A. Galajdová","doi":"10.1109/Informatics57926.2022.10083394","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083394","url":null,"abstract":"This paper discusses the need for automated accessible documents creation in a world of disabled people inclusion and their education. Converting study materials into more accessible formats is not a trivial problem. We will try to review several possible solutions to this problem. The first very used solution for producing study scientific documents is to produce them in LaTeX language, but when we generate PDF documents directly from LaTeX, math expressions are not accessible by screen readers and braille displays. They can be made accessible by using LaTeX package, which automatically produces a hidden text corresponding to the LaTeX commands that generate the math expressions. The second solution is used the system LAMBDA for reading and writing mathematics especially for people with visual impairments. This system does not help to produce accessible math documents but it can be used as e-learning study system. The third solution is RoboBraille service. RoboBraille is automatized system for decentralized study materials production and automated document conversion service. RoboBraille can very easily convert study documents into digital Braille, MP3 audio files, DAISY structured audio books and various types e-books. Finally yet importantly, solution for e-learning study support students with special needs is to use computer algebra system. The main features of using computer algebra system MAPLE in the e-learning process as a supporting tool in the education of people with disabilities. We will illustrate on the solution of the differential equation in the chapter five.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130123196","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
Heterogeneous Cloud Systems and Criteria for Enhanced Performance 异构云系统和增强性能标准
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083443
J. Škrinárová
Cloud systems are managed on the basis of au-tonomous systems. We present criteria that are suitable for optimization or improvement of modern cloud systems. In every operating system, task scheduling is very important. In clouds systems, where large amount of tasks runs on numerous machines, optimized task scheduling leads to significant reduction of computing time. Cloud providers have to comply with service level agreement from technical and from the quality of service point of view. For this reason, we specify quality of service criteria and limits for service level agreement violation. Clouds are virtualized by virtual machines or containers. We show approaches for power consumption minimization. Fog computing helps to improve middleware technology between cloud computing and the IoT devices. We specify criteria for correct decomposition of parallel and distributed application. We conclude that understanding of effective work of the system, can improve design and implementation of parallel and distributed application.
云系统在自治系统的基础上进行管理。我们提出了适合于优化或改进现代云系统的标准。在每个操作系统中,任务调度都是非常重要的。在云系统中,大量任务在许多机器上运行,优化的任务调度可以显著减少计算时间。云提供商必须从技术和服务质量的角度遵守服务水平协议。出于这个原因,我们指定了服务质量标准和违反服务水平协议的限制。云是由虚拟机或容器虚拟化的。我们展示了最小化功耗的方法。雾计算有助于改进云计算与物联网设备之间的中间件技术。我们指定了正确分解并行和分布式应用程序的标准。了解系统的有效工作原理,可以提高并行和分布式应用程序的设计和实现。
{"title":"Heterogeneous Cloud Systems and Criteria for Enhanced Performance","authors":"J. Škrinárová","doi":"10.1109/Informatics57926.2022.10083443","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083443","url":null,"abstract":"Cloud systems are managed on the basis of au-tonomous systems. We present criteria that are suitable for optimization or improvement of modern cloud systems. In every operating system, task scheduling is very important. In clouds systems, where large amount of tasks runs on numerous machines, optimized task scheduling leads to significant reduction of computing time. Cloud providers have to comply with service level agreement from technical and from the quality of service point of view. For this reason, we specify quality of service criteria and limits for service level agreement violation. Clouds are virtualized by virtual machines or containers. We show approaches for power consumption minimization. Fog computing helps to improve middleware technology between cloud computing and the IoT devices. We specify criteria for correct decomposition of parallel and distributed application. We conclude that understanding of effective work of the system, can improve design and implementation of parallel and distributed application.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126377652","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
How to improve blockchain for blogosphere? 如何为博客圈改进区块链?
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083488
Sergiusz Slawczyk, Olga Siedlecka-Lamch
The article presents the impact of the problem of Byzantine generals on the blockchain-based network on the example of the decentralised blogosphere. The oral message algorithm's implementation was tested and compared to the signed message algorithm adapted to the blogosphere example. The work showed that the problem of the Byzantine generals poses a significant threat to the correct operation of the network. However, it has also been proven that, based on authentication methods, it is possible to implement an algorithm that allows for the detection of fraud attempts and an appropriate reaction without the need for many recursive calls. A further research direction was also proposed - adapting the above algorithm to situations where not all servers will receive complete information from other nodes.
本文以去中心化博客圈为例,介绍了拜占庭将军问题对基于区块链的网络的影响。对口头消息算法的实现进行了测试,并与适用于博客圈示例的签名消息算法进行了比较。研究表明,拜占庭将军的问题对网络的正常运行构成了重大威胁。然而,也已经证明,基于身份验证方法,有可能实现一种算法,该算法允许检测欺诈企图并做出适当的反应,而不需要许多递归调用。提出了进一步的研究方向——将上述算法应用于并非所有服务器都能从其他节点接收到完整信息的情况。
{"title":"How to improve blockchain for blogosphere?","authors":"Sergiusz Slawczyk, Olga Siedlecka-Lamch","doi":"10.1109/Informatics57926.2022.10083488","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083488","url":null,"abstract":"The article presents the impact of the problem of Byzantine generals on the blockchain-based network on the example of the decentralised blogosphere. The oral message algorithm's implementation was tested and compared to the signed message algorithm adapted to the blogosphere example. The work showed that the problem of the Byzantine generals poses a significant threat to the correct operation of the network. However, it has also been proven that, based on authentication methods, it is possible to implement an algorithm that allows for the detection of fraud attempts and an appropriate reaction without the need for many recursive calls. A further research direction was also proposed - adapting the above algorithm to situations where not all servers will receive complete information from other nodes.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121357145","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
Towards Safer Parallel STL Usage 迈向更安全的并行STL使用
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083416
Benjámin Barth, Richárd Szalay, Z. Porkoláb
Effective and safe parallel programming is among the biggest challenges of today's software technology. The C++ 17 standard introduced Parallel STL: a set of overloaded functions taking an additional “execution policy” parameter in the Algorithms chapter of the Standard library. During the years since its introduction, a few shortages of Parallel STL have been revealed. While the Standard defines the semantics of the individual algorithms, adherence to their abstract requirements - e.g., absolutely no data races or deadlocks during the evaluation of a predicate or other customisation point - is up to the developer. Experience shows that programmers frequently make mistakes and write erroneous code, which is hard to debug. In this paper, we investigate some of the critical issues of the Parallel STL library and suggest improvements to increase its safety. While a fully automatic detection of erroneous constructs is computationally infeasible to do, we introduce a framework with which the user will be able to indicate - axiomatically, based on absolute trust - that an operation has “safe” properties, e.g., commutativity of certain functors. We implemented a prototype of the proposed framework to demonstrate its usability and effectiveness.
有效和安全的并行编程是当今软件技术面临的最大挑战之一。c++ 17标准引入了并行STL:一组重载函数,在标准库的算法章节中有一个额外的“执行策略”参数。自引入以来的几年里,并行STL的一些不足已经显露出来。虽然标准定义了各个算法的语义,但是否遵守它们的抽象要求——例如,在对谓词或其他自定义点进行评估期间绝对没有数据竞争或死锁——取决于开发人员。经验表明,程序员经常犯错误并编写错误的代码,这很难调试。在本文中,我们研究了并行STL库的一些关键问题,并提出了提高其安全性的改进建议。虽然完全自动检测错误构造在计算上是不可行的,但我们引入了一个框架,用户将能够根据绝对信任(axi公理)指出操作具有“安全”属性,例如某些函子的可交换性。我们实现了该框架的原型,以证明其可用性和有效性。
{"title":"Towards Safer Parallel STL Usage","authors":"Benjámin Barth, Richárd Szalay, Z. Porkoláb","doi":"10.1109/Informatics57926.2022.10083416","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083416","url":null,"abstract":"Effective and safe parallel programming is among the biggest challenges of today's software technology. The C++ 17 standard introduced Parallel STL: a set of overloaded functions taking an additional “execution policy” parameter in the Algorithms chapter of the Standard library. During the years since its introduction, a few shortages of Parallel STL have been revealed. While the Standard defines the semantics of the individual algorithms, adherence to their abstract requirements - e.g., absolutely no data races or deadlocks during the evaluation of a predicate or other customisation point - is up to the developer. Experience shows that programmers frequently make mistakes and write erroneous code, which is hard to debug. In this paper, we investigate some of the critical issues of the Parallel STL library and suggest improvements to increase its safety. While a fully automatic detection of erroneous constructs is computationally infeasible to do, we introduce a framework with which the user will be able to indicate - axiomatically, based on absolute trust - that an operation has “safe” properties, e.g., commutativity of certain functors. We implemented a prototype of the proposed framework to demonstrate its usability and effectiveness.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124102578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Simulation-based optimization of personnel assignment in railway nodes 基于仿真的铁路节点人员配置优化
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083470
Andrea Galadíková, N. Adamko
Operational management of railway nodes, such as marshalling yards or maintenance depots, is important to ensure the efficient operation of the whole railway transportation system. Due to the nature of the railway operation, many tasks in such systems have to be performed by dispatchers. This paper proposes methods that could provide support for operational management carried out by dispatchers, namely the allocation of personnel to individual work tasks. A mathematical optimization model was designed for these needs. To lower the computational time required for the optimization, an algorithm combining simulation and optimization method is proposed, in which the optimization is performed on the reduced state space. The usefulness of proposed approach has been verified using simulation model of an existing railway maintenance depot.
铁路节点的运营管理,如编组站或维修站,是保证整个铁路运输系统高效运行的重要环节。由于铁路运营的性质,这种系统中的许多任务必须由调度员执行。本文提出了可以为调度员进行的业务管理提供支持的方法,即将人员分配到各个工作任务。针对这些需求,设计了数学优化模型。为了减少优化所需的计算时间,提出了一种模拟与优化相结合的算法,该算法在约简状态空间上进行优化。利用某既有铁路维修站的仿真模型验证了该方法的有效性。
{"title":"Simulation-based optimization of personnel assignment in railway nodes","authors":"Andrea Galadíková, N. Adamko","doi":"10.1109/Informatics57926.2022.10083470","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083470","url":null,"abstract":"Operational management of railway nodes, such as marshalling yards or maintenance depots, is important to ensure the efficient operation of the whole railway transportation system. Due to the nature of the railway operation, many tasks in such systems have to be performed by dispatchers. This paper proposes methods that could provide support for operational management carried out by dispatchers, namely the allocation of personnel to individual work tasks. A mathematical optimization model was designed for these needs. To lower the computational time required for the optimization, an algorithm combining simulation and optimization method is proposed, in which the optimization is performed on the reduced state space. The usefulness of proposed approach has been verified using simulation model of an existing railway maintenance depot.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126237920","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
Software Engineers' Questions and Answers on Stack Exchange 关于Stack Exchange的软件工程师问答
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083403
Matúš Sulír, Marcel Regeci
There exists a large number of research works analyzing questions and answers on the popular Stack Overflow website. However, other sub-sites of the Stack Exchange platform are studied rarely. In this paper, we analyze the questions and answers on the Software Engineering Stack Exchange site that encompasses a broader set of areas, such as testing or software processes. Topics and quantities of the questions, historical trends, and the authors' sentiment were analyzed using downloaded datasets. We found that the asked questions are most frequently related to database systems, quality assurance, and agile software development. The most attractive topics were career and teamwork problems, and the least attractive ones were network programming and software modeling. Historically, the topic of domain-driven design recorded the highest rise, and jobs and career the most significant fall. The number of new questions dropped, while the portion of unanswered ones increased.
在流行的Stack Overflow网站上有大量分析问题和答案的研究工作。然而,对Stack Exchange平台的其他子站点的研究却很少。在本文中,我们分析了软件工程堆栈交换站点上的问题和答案,该站点包含了更广泛的领域,例如测试或软件过程。使用下载的数据集分析问题的主题和数量、历史趋势和作者的情绪。我们发现被问到的问题最常与数据库系统、质量保证和敏捷软件开发相关。最吸引人的话题是职业和团队问题,最不吸引人的话题是网络编程和软件建模。从历史上看,领域驱动设计的话题记录了最高的增长,而工作和职业的下降最为显著。新问题的数量减少了,而未回答问题的比例增加了。
{"title":"Software Engineers' Questions and Answers on Stack Exchange","authors":"Matúš Sulír, Marcel Regeci","doi":"10.1109/Informatics57926.2022.10083403","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083403","url":null,"abstract":"There exists a large number of research works analyzing questions and answers on the popular Stack Overflow website. However, other sub-sites of the Stack Exchange platform are studied rarely. In this paper, we analyze the questions and answers on the Software Engineering Stack Exchange site that encompasses a broader set of areas, such as testing or software processes. Topics and quantities of the questions, historical trends, and the authors' sentiment were analyzed using downloaded datasets. We found that the asked questions are most frequently related to database systems, quality assurance, and agile software development. The most attractive topics were career and teamwork problems, and the least attractive ones were network programming and software modeling. Historically, the topic of domain-driven design recorded the highest rise, and jobs and career the most significant fall. The number of new questions dropped, while the portion of unanswered ones increased.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114783759","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
Supervised learning data preprocessing for short-term traffic flow prediction 短期交通流预测的监督学习数据预处理
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083399
Anca-Maria Ilienescu, A. Iovanovici, Mircea Vladutiu
The goal of the investigation is to develop and test a system capable of providing short-term (less than an hour) traffic flow predictions in an urban environment. We present a data acquisition and preprocessing pipeline capable of filtering and normalizing data collected using Here Maps API. The data is used for training a supervised machine learning model which is afterwards validated by observing actual road traffic conditions and making empirical observations on the predicted routes. All the experimental determinations were carried on the city of Timisoara, Romania. The traffic flow data collected and used is available as an open dataset.
调查的目的是开发和测试一个能够在城市环境中提供短期(少于一小时)交通流量预测的系统。我们提出了一个数据采集和预处理管道,能够过滤和规范化使用Here Maps API收集的数据。这些数据用于训练一个有监督的机器学习模型,该模型随后通过观察实际道路交通状况和对预测路线进行经验观察来验证。所有的实验测定都在罗马尼亚的蒂米什瓦拉市进行。收集和使用的交通流量数据作为开放数据集可用。
{"title":"Supervised learning data preprocessing for short-term traffic flow prediction","authors":"Anca-Maria Ilienescu, A. Iovanovici, Mircea Vladutiu","doi":"10.1109/Informatics57926.2022.10083399","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083399","url":null,"abstract":"The goal of the investigation is to develop and test a system capable of providing short-term (less than an hour) traffic flow predictions in an urban environment. We present a data acquisition and preprocessing pipeline capable of filtering and normalizing data collected using Here Maps API. The data is used for training a supervised machine learning model which is afterwards validated by observing actual road traffic conditions and making empirical observations on the predicted routes. All the experimental determinations were carried on the city of Timisoara, Romania. The traffic flow data collected and used is available as an open dataset.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115453692","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 1D CNN-based model for IoT anomaly detection using INT data 利用INT数据进行物联网异常检测的一维cnn模型
Pub Date : 2022-11-23 DOI: 10.1109/Informatics57926.2022.10083469
Gereltsetseg Altangerel, M. Tejfel, Enkhtur Tsogbaatar
Due to the limited capacity and versatility of Internet of Things (IoT) devices, it isn't easy to implement advanced security mechanisms and adhere to common security standards on IoT devices. Our study proposes a network-based solution to address these issues in the IoT environment. This solution leverages the advantages of a programmable data plane, Software-Defined Networking (SDN), and machine learning. In-Band Network Telemetry (INT) is a novel monitoring application developed using a programmable data plane to collect network characteristics (INT data) in real time without affecting network performance. We aim to detect IoT attacks based on INT data using a 1D CNN-based deep learning model. As far as we know, this model is the first attempt to use INT data to detect IoT attacks. We created an SDN network infrastructure in a simulation environment and collected INT data from IoT devices in the event of an attack or non-attack. Our proposed 1D CNN-based model using INT data can detect IoT attacks with approximately 99.63 % accuracy. Our solution is relatively cost-effective and performs well compared to other competing models.
由于物联网(IoT)设备的容量和多功能性有限,在物联网设备上实施高级安全机制并遵守通用安全标准并不容易。我们的研究提出了一个基于网络的解决方案来解决物联网环境中的这些问题。该解决方案充分利用了可编程数据平面、软件定义网络(SDN)和机器学习的优势。带内网络遥测(INT)是一种利用可编程数据平面实时采集网络特征(INT数据)而不影响网络性能的新型监控应用。我们的目标是使用基于一维cnn的深度学习模型来检测基于INT数据的物联网攻击。据我们所知,这个模型是第一次尝试使用INT数据来检测物联网攻击。我们在模拟环境中创建了SDN网络基础设施,并在发生攻击或非攻击的情况下从物联网设备收集INT数据。我们提出的基于cnn的一维模型使用INT数据可以检测物联网攻击,准确率约为99.63%。我们的解决方案相对成本效益高,与其他竞争机型相比表现良好。
{"title":"A 1D CNN-based model for IoT anomaly detection using INT data","authors":"Gereltsetseg Altangerel, M. Tejfel, Enkhtur Tsogbaatar","doi":"10.1109/Informatics57926.2022.10083469","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083469","url":null,"abstract":"Due to the limited capacity and versatility of Internet of Things (IoT) devices, it isn't easy to implement advanced security mechanisms and adhere to common security standards on IoT devices. Our study proposes a network-based solution to address these issues in the IoT environment. This solution leverages the advantages of a programmable data plane, Software-Defined Networking (SDN), and machine learning. In-Band Network Telemetry (INT) is a novel monitoring application developed using a programmable data plane to collect network characteristics (INT data) in real time without affecting network performance. We aim to detect IoT attacks based on INT data using a 1D CNN-based deep learning model. As far as we know, this model is the first attempt to use INT data to detect IoT attacks. We created an SDN network infrastructure in a simulation environment and collected INT data from IoT devices in the event of an attack or non-attack. Our proposed 1D CNN-based model using INT data can detect IoT attacks with approximately 99.63 % accuracy. Our solution is relatively cost-effective and performs well compared to other competing models.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115558369","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
期刊
2022 IEEE 16th International Scientific Conference on Informatics (Informatics)
全部 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