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

12th European Conference on Product and Process Modelling (ECPPM)

作者： Kazakov, K. Morozov, S. Semenov, V. Zolotov, V. RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9780429506215;9781138584136

Recently spatial-temporal (4D) modeling is becoming increasingly important in the construction industry due to better planning of project works. One of the advantages not reachable through the usage of traditional methods is the detection of spatial-temporal conflicts in construction schedules. In the paper mathematical methods and software tools for the detection of a special type of conflicts-path conflicts are discussed. A software library for path planning in complex construction environments with non-trivial topology and dynamic behavior is presented. The main attention is paid to its general organization, functionality and object-oriented design. Computational experiments confirm the efficiency of the library and its advanced capabilities for spatial-temporal validation of construction schedules against path conflicts.

关键词： 4D modeling motion planning collision detection software engineering

来源：评论

学校读者我要写书评

暂无评论

70 years of ongoing innovations

70 years of ongoing innovations

引用

Ivannikov Ispras Open Conference (ISPras)

作者： Avetisyan, Arutyun Prokhorov, Sergei RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781728112756

The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative development. The article is devoted to the history of the formation of Russian computer science. One of the stages of the continuous innovation development of computer science in Russia is connected with the intensive development of new directions in system and applied programming, to which the reports presented at the conference are devoted.

关键词： computer science first computers Brook Lebedev BESM Keldysh Sobolev

来源：评论

学校读者我要写书评

暂无评论

Development of a new OpenFOAM solver using regularized gas dynamic equations

引用

COMPUTERS & FLUIDS 2018年 166卷 163-175页

作者： Kraposhin, Matvey V. Smirnova, Elena V. Elizarova, Tatiana G. Istomina, Maria A. RAS Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow Russia RAS Keldysh Inst Appl Math Miusskaya Sq 4 Moscow Russia

The paper introduces the development of a new OpenFOAM solver QGDFoam for the numerical simulation of viscous compressible flows within a wide range of Mach numbers in the framework of the OpenFOAM formalism. The new solver is based on the implementation of regularized, or quasi-gas dynamic (QGD) equations. The mixed finite-volume and finite-difference approximation is constructed on unstructured space grids with co-located variables storage and explicit time scheme for convection approximation. The solver has been tested for a range of 1D Riemann problems and 2D cases, comparing results with analytic solutions and OpenFOAM's implementation of the Kurganov-Tadmor scheme known as rhoCentralFoam. (C) 2018 Elsevier Ltd. All rights reserved.

关键词： Quasi-gas dynamic equations Compressible flows OpenFOAM Unstructured grids RhoCentralFoam QGDFoam Riemann problem Finite volume method Computational fluid dynamics Supersonic jets

来源：评论

学校读者我要写书评

暂无评论

ATR4S: toolkit with state-of-the-art automatic terms recognition methods in Scala

引用

LANGUAGE RESOURCES AND EVALUATION 2018年第3期52卷 853-872页

作者： Astrakhantsev, Nikita RAS ISP Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia

Automatically recognized terminology is widely used for various domain-specific texts processing tasks, such as machine translation, information retrieval or ontology construction. However, there is still no agreement on which methods are best suited for particular settings and, moreover, there is no reliable comparison of already developed methods. We believe that one of the main reasons is the lack of state-of-the-art method implementations, which are usually non-trivial to recreate-mostly, in terms of software engineering efforts. In order to address these issues, we present ATR4S, an open-source software written in Scala that comprises 13 state-of-the-art methods for automatic terminology recognition (ATR) and implements the whole pipeline from text document preprocessing, to term candidates collection, term candidate scoring, and finally, term candidate ranking. It is highly scalable, modular and configurable tool with support of automatic caching. We also compare 13 state-of-the-art methods on 7 open datasets by average precision and processing time. Experimental comparison reveals that no single method demonstrates best average precision for all datasets and that other available tools for ATR do not contain the best methods.

关键词： Automatic term recognition Terminology extraction Open source software

来源：评论

学校读者我要写书评

暂无评论

Comparative Performance Analysis of Information Dispersal Methods 24

Comparative Performance Analysis of Information Dispersal Me...

引用

24th Conference of Open-Innovations-Association (FRUCT)

作者： Deryabin, Maxim Chervyakov, Nikolai Tchernykh, Andrei Berezhnoy, Viktor Djurabaev, Anvar Nazarov, Anton Babenko, Mikhail North Caucasus Fed Univ Stavropol Russia CICESE Res Ctr Ensenada Baja California Mexico South Ural State Univ Chelyabinsk Russia RAS Inst Syst Programming Moscow Russia

ISBN: (纸本)9789526865386

In this paper, we present an analysis of information dispersal methods for using in distributed storage systems, processing, and transmission of data. We provide a comparative study of the methods most widely used in practice considering performance, reliability and cryptographic security. There are three main approaches to the information dispersal: Information Dispersal Algorithm by Rabin, Residue Number system (RNS) and Polynomial Residue Number system. We propose an efficient data recovery algorithm based on data representation in the RNS. Comprehensive experimental analysis shows that the most productive approach for bit length up to 256 bits is the use of the RNS with our developed algorithm. We show that the use of the RNS for the design of distributed storage systems, data transmission, and data processing, can significantly reduce the time of information processing.

关键词： Cryptography Encoding Distributed databases Error correction codes Redundancy

来源：评论

学校读者我要写书评

暂无评论

Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS 1

引用

12th International Andrei P. Ershov Informatics Conference (PSI)

作者： Zelenova, Sophia A. Zelenov, Sergey, V Russian Acad Sci ISP RAS Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow Russia Natl Res Univ Higher Sch Econ HSE 20 Myasnitskaya Ulitsa Moscow 101000 Russia

ISBN: (数字)9783030374877

ISBN: (纸本)9783030374877;9783030374860

In the paper, we suggest new approach to schedulability problem for strict periodic tasks (a periodic task is strict if it must be started in equal intervals of time - task's period). Given permissible tasks' periods, our approach allows to obtain quickly all schedulable sets of tasks with such periods and to build immediately a conflict-free schedule for each obtained set. The approach is based on mathematical methods of graph theory and number theory. We illustrate the approach by a number of examples and present current practical results.

关键词： Scheduling Real-time system Strict periodic task

来源：评论

学校读者我要写书评

暂无评论

An Extension of the Method of Aggregated Regulators to a Discrete Stochastic Object

An Extension of the Method of Aggregated Regulators to a Dis...

引用

International Siberian Conference on Control and Communications (SIBCON)

作者： Kolesnikova, S. Tsvetnitskaya, S. Pobegailo, P. St Petersburg State Univ Aerosp Instrumentat Inst Computat Syst & Programming St Petersburg Russia Natl Res Tomsk State Univ Inst Appl Math & Comp Sci Tomsk Russia RAS AA Blagonravov Mech Engn Res Inst Moscow Russia

ISBN: (纸本)9781538651421

A problem statement for the synthesis of a robust stochastic regulator based on the principles of control on manifolds and a new algorithm for designing a second-order stochastic discrete object are presented. Illustrative examples of solving two applied problems based on the designed regulator are given. The first demonstrates an application of the regulator for controlling an economic object unstable in an open position. The second contains a theoretical result in the form of a new algorithm for synthesizing a system of control over a vector object of the "manipulating system" type, whose physical model represents an implement of a single-bucket hydraulic excavator. The problem of constructing a system of control over the process of stabilization of the bucket angular position is considered. The algorithm for designing a control system and the respective control algorithm applied to the solution of the problem of stabilization of the robot-excavator bucket motion across the engineered surface could be useful for any manipulating systems.

关键词： robust stochastic regulator control on manifolds manipulating systems

来源：评论

学校读者我要写书评

暂无评论

Grammar-based Fuzzing

Grammar-based Fuzzing

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Sargsyan, Sevak Kurmangaleev, Shamil Mehrabyan, Matevos Mishechkin, Maksim Ghukasyan, Tsolak Asryan, Sergey Yerevan State Univ Syst Programming Lab Yerevan Armenia RAS Ivannikov Inst Syst Programming Compiler Technol Moscow Russia Russian Armenian Univ Syst Programming Lab Yerevan Armenia

ISBN: (纸本)9781538676905

This article presents new method for fuzzing programs accepting complex structured data based on BNF grammars. The majority of existing fuzzing methods do not take into account the structure of inputs for target program. Existing BNF structured data generating tools have various restrictions: BNF rules must be specified for target program, they are not scalable, generated data is not fully compatible with BNF rules, etc. We propose new algorithm for BNF structured data generation which uses ANTLR platform's descriptions of BNF rules for more than 120 languages and data formats. Every rule of grammar designed as universal pushdown automata, which allows as automatically generate BNF compatible data. Then we embed it as mutation plugin in fuzzing tool. According to experimental results in some cases we were able significantly increased code coverage.

关键词： fuzzing BNF program generation

来源：评论

学校读者我要写书评

暂无评论

Security Checking Experiments with Mobile Services 19

Security Checking Experiments with Mobile Services

引用

19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM)

作者： Ermakov, Anton D. Prokopenko, Svetlana A. Yevtushenko, Nina, V Tomsk State Univ Tomsk Russia RAS Inst Syst Programming Moscow Russia

ISBN: (纸本)9781538650219

In this paper, we continue to investigate the problem of software security. The problem is to check if software under test has some vulnerabilities such as exceeding of admissible values of input/output parameters or internal variables or can reach states where the software (service) behavior is not defined. We illustrate by experiments that the well-known verifier Java Path Finder (JPF) can be utilized for this purpose. We apply JPF-mobile to Android applications and results of security checking experiments are presented.

关键词： JPF-mobile security checking

来源：评论

学校读者我要写书评

暂无评论

The Turkic colour term kok 'blue-green'. The evolution of its semantics and its impact on the system of colour terms in the contact languages

TURKIC LANGUAGES

引用

TURKIC LANGUAGES 2020年第1期24卷 10-29页

作者： Dubrovskaya, Natalia Normanskaya, Julia Tomsk State Univ TSU Fac Philol Lab Linguist Anthropol Lenina 36 Tomsk Russia Tomsk State Pedag Univ TSPU Kievskaya 60 Tomsk 634000 Russia ISP RAS Lab Linguist Platforms Ivannikov Inst Syst Programming RAS Bolshoy Kislovsky Lane 1Bldg 1 Moscow 125009 Russia RAS Moscow Inst Linguist Bolshoy Kislovsky Lane 1Bldg 1 Moscow 125009 Russia

According to B. Berlin and P. Kay's classic theory of the universality of colour terms, the basic colour lexicon in various languages of the world must historically have passed through certain universal evolutionary stages of development in the appropriate order. The article aims to contribute to the study of questions related to the evolution of colour term systems characterized by macrocolours, which depict the main parts of the spectrum of blue, green and yellow. The linguistic representation of such systems is featured by the designation of blue-green, or yellow-green, or blue-yellow-green parts of the spectrum by means of one term. The study shows that in the 20th century, significant number of the languages of Eurasia were characterized by the existence of the blue-green colour system. It can be assumed that the reason for the destruction of such systems in the languages of the European part of the continent was the close interaction with the native speakers of the Iranian, Volga and Perm languages in the Seljuk and Bulgar States. The situation was different for the languages geographically located in Siberia, where the Turkic and Tungusic languages, with their blue-green systems, had an assimilating effect on speakers of the Samoyed and Ob-Ugric languages, for which in the 18th century the yellow-green-blue system was recorded, which became blue-green for the majority of the speakers by the 20th century. Our analysis of the changes is based on the actual fixations of the relevant linguistic phenomena in dictionaries and written documents. It shows how the systems with macrocolours evolved, outlies the areas of their distribution and explains the evolutionary processes caused by the intensive interlanguage contacts, the study of which yields two possible scenarios for the development of the systems of colour terms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：