检索结果-内蒙古大学图书馆

arXiv 2022年

作者： Khmelnitsky, Igor Haddad, Serge Ye, Lina Barbot, Benoît Bollig, Benedikt Leucker, Martin Neider, Daniel Roy, Rajarshi Université Paris-Saclay CNRS ENS Paris-Saclay INRIA LMF France Université Paris-Saclay CNRS ENS Paris-Saclay CentraleSupélec LMF France Université Paris-Est Créteil France Université Paris-Saclay CNRS ENS Paris-Saclay LMF France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Carl von Ossietzky University of Oldenburg Germany Max Planck Institute for Software Systems Kaiserslautern Germany

Angluin’s L∗ algorithm learns the minimal (complete) deterministic finite automaton (DFA) of a regular language using membership and equivalence queries. Its probabilistic approximatively correct (PAC) version substitutes an equivalence query by a large enough set of random membership queries to get a high level confidence to the answer. Thus it can be applied to any kind of (also non-regular) device and may be viewed as an algorithm for synthesizing an automaton abstracting the behavior of the device based on observations. Here we are interested on how Angluin’s PAC learning algorithm behaves for devices which are obtained from a DFA by introducing some noise. More precisely we study whether Angluin’s algorithm reduces the noise and produces a DFA closer to the original one than the noisy device. We propose several ways to introduce the noise: (1) the noisy device inverts the classification of words w.r.t. the DFA with a small probability, (2) the noisy device modifies with a small probability the letters of the word before asking its classification w.r.t. the DFA, and (3) the noisy device combines the classification of a word w.r.t. the DFA and its classification w.r.t. a counter automaton. Our experiments were performed on several hundred DFAs. Our main contributions, bluntly stated, consist in showing that: (1) Angluin’s algorithm behaves well whenever the noisy device is produced by a random process, (2) but poorly with a structured noise, and, that (3) almost surely randomness yields systems with non-recursively enumerable languages. © 2022, CC BY.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Methodology of Teaching programming Science Through Online Platforms

Methodology of Teaching Programming Science Through Online P...

引用

Informatics, Electronics, and Radio engineering (PIERE), International Conference Problems of

作者： Akram Nishanov Oybek Allamov Janar Yusupova Marks Matyakubov Baxtiyor Qalandarov Reyimberganov Bahrom Department of Systematic and Practical Programming Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Software Engineering Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Master of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan Student of Urgench branch of TATU named after Muhammad al-Khwarizmi Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench Uzbekistan

ISBN: (数字)9798331516321

ISBN: (纸本)9798331516338

This article presents an experiment conducted among students of the Faculty of “software engineering” of the Urgench branch of TATU named after Muhammad al-Khwarizmi. Teaching programming using online platforms in education has shown promising results in improving student outcomes. This article discusses the methodology used, the comparative results, and the impact of the platform on software education. The rapid adoption of online platforms in education has changed the way programming is taught, providing students with an interactive, hands-on learning environment. This shift is especially relevant in teaching programming, where real-time feedback and practice are essential to mastering algorithms and coding concepts. The study compared two groups: one was trained using the https://***/platform and the assignments were checked using this system, and the second group was trained using traditional methods. The results showed that students who used the online platform had a high level of mastery, which highlighted the effectiveness of integrating https://***/into programming education.

关键词： Education software algorithms Real-time systems software Encoding Computer science education Problem-solving Informatics programming profession

来源：评论

学校读者我要写书评

暂无评论

Sentiment Analysis Technology of English Newspapers Quotes Based on Neural Network as Public Opinion Influences Identification Tool

Sentiment Analysis Technology of English Newspapers Quotes B...

引用

International Computer Sciences and Information Technologies (CSIT)

作者： Serhii Voloshyn Victoria Vysotska Oksana Markiv Ivan Dyyak Ihor Budz Vadim Schuchmann Information Systems and Networks Department Lviv Polytechnic National University Lviv Ukraine Lviv Polytechnic National University Lviv Ukraine Osnabrück University Osnabrück Germany Applied Mathematics Department Ivan Franko National University of Lviv Lviv Ukraine Computational Mathematics and Programming Department Lviv Polytechnic National University Lviv Ukraine Software Engineering Department West Ukrainian National University Ternopil Ukraine

ISBN: (纸本)9798350334326

This article dwells upon research concerning human language processing techniques, namely emotion analysis, conducted to identify emotions of author quotations in English newspaper articles. The publication describes general information about human language processing, brief description of analogues based on machine learning and neural network to analyse emotions in text. The main goal is to develop intelligent system for sentiment analysis of English language quotations and keywords identification that influences public opinion. The article describes sequence of program actions and tools that have been used. Then, statistics of tasks performed by neural networks with various functions of activators have been described. In the publication, product demo version has been described, and primary usage scenario has been depicted. In the end, research results have been summarised.

关键词： Training Sentiment analysis Vocabulary Dictionaries Mood Neural networks Text categorization

来源：评论

学校读者我要写书评

暂无评论

Formalization of data derivative structures

Formalization of data derivative structures

引用

2020 International Conference on Information Science and Communications Technologies, ICISCT 2020

作者： Vosilovich Kabulov, Rustam Bakhtiyorovich Ruzibaev, Ortik Temur Ataxanovich, Kuchkorov Saidqulovich Muminov, Sanjar Tashkent University of Information Technologies Named after Muhammad Al-Khwarizimi Department of Software Engineering Amir Temur str. 108 Tashkent100200 Uzbekistan Department of System and Application Programming of Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Amir Temur str. 108 Tashkent100200 Uzbekistan

ISBN: (纸本)9781728199696

The paper considers the topical issue of formal description of data structures. Data structures are widely used in modern object-oriented programming to solve various practical problems. The paper introduces functions for performing operations with such data structures as stack, queue, and priority queue. The conditions that these functions must satisfy are introduced as axioms. To describe the axioms, an approach based on an abstract data type, algebraic and programmatic approaches were used. © 2020 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

International Conference on Actual Problems of Systems and software engineering

作者： Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona

ISBN: (纸本)9781728160627

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite state machine (FSM) Quasi-deterministic FSM Quasi-complete FSM Moore pair Synchronous composition Pairing multi-input output ports harbors finite state machines deterministic

来源：评论

学校读者我要写书评

暂无评论

Non-intrusive MC/DC measurement based on traces 13

Non-intrusive MC/DC measurement based on traces

引用

13th International Symposium on Theoretical Aspects of software engineering, TASE 2019

作者： Ahishakiye, Faustin Jaksic, Svetlana Lange, Felix Dino Schmitz, Malte Stolz, Volker Thoma, Daniel Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany

ISBN: (纸本)9781728133423

We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Instead, we use the Intel Processor Trace (Intel PT) facility present on modern Intel CPUs. Our tooling consists of the following parts: a frontend that detects so-called decisions (Boolean expressions) that are used in conditionals in C source code, a mapping from conditional jumps in the object code back to those decisions, and an analysis that computes satisfaction of the MC/DC coverage relation on those decisions from an execution trace. This analysis takes as input a stream of instruction addresses decoded from Intel PT trace data, which was recorded while running the software under test. We describe our architecture and discuss limitations and future work. © 2019 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Escape from Escape Analysis of Golang

Escape from Escape Analysis of Golang

引用

IEEE/ACM International Conference on software engineering: software engineering in Practice Track (ICSE-SEIP)

作者： Cong Wang Mingrui Zhang Yu Jiang Huafeng Zhang Zhenchang Xing Ming Gu KLISS BNRist School of Software Tsinghua University Beijing China Compiler and Programming Language Lab Huawei Technologies Hangzhou China College of Engineering and Computer Science ANU Canberra Australia

ISBN: (数字)9781450371230

ISBN: (纸本)9781728165240

Escape analysis is widely used to determine the scope of variables, and is an effective way to optimize memory usage. However, the escape analysis algorithm can hardly reach 100% accurate, mistakes of which can lead to a waste of heap memory. It is challenging to ensure the correctness of programs for memory *** this paper, we propose an escape analysis optimization approach for Go programming language (Golang), aiming to save heap memory usage of programs. First, we compile the source code to capture information of escaped variables. Then, we change the code so that some of these variables can bypass Golang's escape analysis mechanism, thereby saving heap memory usage and reducing the pressure of memory garbage collection. Next, we present a verification method to validate the correctness of programs, and evaluate the effect of memory optimization. We implement the approach to an automatic tool and make it open-source 1 . For evaluation, we apply our approach to 10 open-source projects. For the optimized Golang code, the heap allocation is reduced by 8.88% in average, and the heap usage is reduced by 8.78% in average. Time consumption is reduced by 9.48% in average, while the cumulative time of GC pause is reduced by 5.64% in average. We also apply our approach to 16 industrial projects in Bytedance Technology. Our approach successfully finds 452 optimized cases which are confirmed by developers.

关键词： Optimization Memory management Heuristic algorithms Computer languages Open source software Tools software engineering

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

International Conference on Actual Problems of Systems and software engineering

作者： Denis Kildishev Alexey Khoroshilov Software Engineering Ivannikov Institute for System Programming of the Russian Academy of Sciences

ISBN: (纸本)9781728160627

Requirements management is a significant part of development of complex safety-critical systems. software support predetermines most aspects of requirements management process, its efficiency and seamlessness. The paper reveals some implementation details of Requality open source requirements management tool that is being applied in several projects developed according DO-178C and that is expanding with features originating from these projects.

关键词： Requirements management tool Safety-critical systems Implementation details Requirements safety-critical software Systems software open source Requirements management

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Editor for Fast Robot Mission Prototyping

A Hybrid Editor for Fast Robot Mission Prototyping

引用

IEEE/ACM International Conference on Automated software engineering - Workshops (ASE Workshops)

作者： Thomas Witte Matthias Tichy Inst. of Software Engineering and Programming Languages Ulm University Ulm Germany

We present an editor that creates an interactive live preview for simple robot missions. The preview provides instant feedback and the statements in the script can be adapted through direct manipulation of the visualization. While the program is executed to draw the preview, it decorates each value with location information and the expression that produced it. If a value is changed in the visualization, the change can be traced back to the source to produce the desired result. An application prototype demonstrates that our approach produces sensible and generalizing results even in the presence of control flow structures in our DSL.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SusTrainable: Promoting Sustainability as a Fundamental Driver in software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes

arXiv

引用

arXiv 2022年

作者： Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria

These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in software Development Training and Education and the interested reader may know more about it at: https://*** The flagship contribution is the organization of two summer schools on sustainable software production. The first summer school is moved due to the Corona pandemic. It is now scheduled for July 2022 in Rijeka, Croatia. This summer school will consist of lectures and practical work for master and PhD students in the area of computing science and closely related fields. There will be contributions from Plovdiv University, University of Ko\v{s}ice, University of Coimbra, University of Minho, E\"otv\"os Lor\'and University, University of Rijeka, Radboud University Nijmegen, University of Pula, University of Amsterdam and Babe\c{s}-Bolyai University. To prepare and streamline this summer school, the consortium organized a teacher training in Nijmegen, the Netherlands. This was an event of five full days on November 1-5, 2022 organized by Ingrid Berenbroek, Mart Lubbers and Pieter Koopman on the campus of the Radboud University Nijmegen, The Netherlands. Sustainability is one of the themes within the strategy of the Radboud University called `A Significant Impact', see https://***/sustainability/organisation/radboud-sustainable/. Sustainability plays an important role in education, research, and management. The contributions were reviewed and give a good overview of what can be expected from the summer school. Based on these papers and the very positive and constructive atmosphere, we expect a high quality and pleasant summer school. We are looking forward to contributing to a sustainable future. © 2022, CC BY-NC-ND.

关键词： Personnel training

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：