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

13th IEEE International Conference on Semantic Computing (ICSC)

作者： Wachtel, Alexander Schulz, Sophie Tichy, Walter F. Karlsruhe Inst Technol Chair Programming Syst Prof Walter Tichy Karlsruhe Germany

ISBN: (纸本)9781538667835

In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluation, due to language limits on the system, it could interpret only 59% of user input correctly. In this paper, we provide an approach on the Dialog-based Meaning Derivation Service (DMDS). In case, user input does not match to the system knowledge, DMDS serves various word networks to find relevant synonyms as candidates for the unknown word. DMDS then tries to verify these candidates to the given knowledge base. Finally, matched candidates are presented to the end user by the dialog system for confirmation of a contextual match. The meaning is learned after the user confirmation and is mapped to the given functionality, and can be used afterwards. Therefore, the model developed in this work can be categorized as supervised learning. Finally, both the performance and the quality recorded by input from a user study were examined. However, DMDS improves the correct interpretation of the system from 59% to 82%. Our focus is to improve the interaction between humans and machines and enable the end user to instruct programmable devices, without having to learn a programming language.

关键词： Dialog systems Dialog-based Meaning Derivation Knowledge Base programming in natural language

来源：评论

学校读者我要写书评

暂无评论

Developing requirements management tool for safety-critical systems

Developing requirements management tool for safety-critical ...

引用

6th Conference on Actual Problems of systems and Software Engineering (APSSE)

作者： Kildishev, Denis Khoroshilov, Alexey Russian Acad Sci Ivannikov Inst Syst Programming Software Engn Moscow Russia

ISBN: (纸本)9781728160610

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

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

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

引用

6th Conference on Actual Problems of systems and Software Engineering (APSSE)

作者： Burdonov, Igor Kossachev, Alexandr Yevtushenko, Nina Villa, Tiziano RAS Ivannikov Inst Syst Programming Software Engn Dept Moscow Russia Ivannikov Inst Syst Programming Software Engn Deparment Moscow Russia Univ Verona Comp Sci Dept Verona Italy

ISBN: (纸本)9781728160610

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

来源：评论

学校读者我要写书评

暂无评论

Trusted Artificial Intelligence: Challenges and Promising Solutions

引用

DOKLADY MATHEMATICS 2022年第SUPPL 1期106卷 S9-S13页

作者： Turdakov, D. Yu. Avetisyan, A. I. Arkhipenko, K. V. Antsiferova, A. V. Vatolin, D. S. Volkov, S. S. Gasnikov, A. V. Devyatkin, D. A. Drobyshevsky, M. D. Kovalenko, A. P. Krivonosov, M. I. Lukashevich, N. V. Malykh, V. A. Nikolenko, S. I. Oseledets, I. V. Perminov, A. I. Sochenkov, I. V. Tikhomirov, M. M. Fedotov, A. N. Khachay, M. Yu. Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Skolkovo Inst Sci & Technol Moscow Russia Artificial Intelligence Res Inst Moscow Russia Lomonosov Moscow State Univ Moscow Russia Natl Res Univ Moscow Inst Phys & Technol Dolgoprudnyi Moscow Oblast Russia Natl Res Univ Higher Sch Econ Moscow Russia Russian Acad Sci Inst Syst Anal Fed Res Ctr Comp Sci & Control Moscow Russia Russian Acad Sci Krasovskii Inst Math & Mech Ural Branch Ekaterinburg Russia

Wide applications of artificial intelligence technologies have led to new threats that cannot be effectively addressed using current tools for secure software development. To meet the challenge, the Research Center for Trusted Artificial Intelligence based on the institute for systems Analysis of the Russian Academy of Sciences was founded within the federal project "Artificial Intelligence" in 2021. Its objectives are the creation of scientific and technological basis for building trust in AI technologies. This paper discusses the risks and threats of applying artificial intelligence technologies, and describes the research directions and intermediate results produced at the Research Center for Trusted Artificial Intelligence.

关键词： trusted artificial intelligence attacks on machine learning explainable artificial intelligence trusted intelligent systems

来源：评论

学校读者我要写书评

暂无评论

On estimates of computational complexity and error of the fast algorithm in the vortex methods

On estimates of computational complexity and error of the fa...

引用

International Scientific Conference on Energy Management of Municipal Facilities and Sustainable Energy Technologies (EMMFT)

作者： Kuzmina, K. S. Moreva, V. S. Bauman Moscow State Tech Univ 2nd Baumanskaya Str5 Moscow 105005 Russia RAS Ivannikov Inst Syst Programming Alexander Solzhenitsyn St 25 Moscow 109004 Russia

One of the efficient ways to speedup calculations in the vortex method, namely the Barnes - Hut-type algorithm, is considered. This method is based on the introducing of a hierarchical structure of domains (binary tree), which allows one to take into account approximately mutual influences of clusters of vortex elements located far from each other when calculating convective velocities. Estimates of the computational complexity of the algorithm for convective velocities calculating are derived, as well as estimates of the error, which depend on the parameters of the algorithm. In practice, these estimates make it possible to choose optimal values of the algorithm parameters and to achieve the maximal speedup of calculations at a given level of acceptable calculation error.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing

引用

programming AND COMPUTER SOFTWARE 2020年第8期46卷 511-525页

作者： Alaasam, Ameer B. A. Radchenko, G. Tchernykh, A. Gonzalez Compean, J. L. South Ural State Univ Chelyabinsk 454080 Russia CICESE Res Ctr Carr Tijuana Ensenada 3918 Ensenada 22860 BC Mexico Ivannikov Inst Syst Programming Moscow 109004 Russia CINVESTAV Tamaulipas Carretera Victoria Soto Marina Kilometro 5-5 Cd Victoria 87130 Tamps Mexico

Digital twins of processes and devices use information from sensors to synchronize their state with the entities of the physical world. The concept of stream computing enables effective processing of events generated by such sensors. However, the need to track the state of an instance of the object leads to the impossibility of organizing instances of digital twins as stateless services. Another feature of digital twins is that several tasks implemented on their basis require the ability to respond to incoming events at near-real-time speed. In this case, the use of cloud computing becomes unacceptable due to high latency. Fog computing manages this problem by moving some computational tasks closer to the data sources. One of the recent solutions providing the development of loosely coupled distributed systems is a Microservice approach, which implies the organization of the distributed system as a set of coherent and independent services interacting with each other using messages. The microservice is most often isolated by utilizing containers to overcome the high overheads of using virtual machines. The main problem is that microservices and containers together are stateless by nature. The container technology still does not fully support live container migration between physical hosts without data loss. It causes challenges in ensuring the uninterrupted operation of services in fog computing environments. Thus, an essential challenge is to create a containerized stateful stream processing based microservice to support digital twins in the fog computing environment. Within the scope of this article, we study live stateful stream processing migration and how to redistribute computational activity across cloud and fog nodes using Kafka middleware and its Stream DSL API.

关键词： Fog computing

来源：评论

学校读者我要写书评

暂无评论

Visualization of Large Scenes with Deterministic Dynamics

引用

programming AND COMPUTER SOFTWARE 2020年第3期46卷 223-232页

作者： Semenov, V. A. Shutkin, V. N. Zolotov, V. A. Morozov, S., V Gonakhchyan, V., I Russian Acad Sci Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Natl Res Univ Moscow Inst Phys & Technol Inst Skii Per 9 Dolgoprudnyi 141701 Moscow Oblast Russia Natl Res Univ Higher Sch Econ Ul Myasnitskaya 20 Moscow 101000 Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia

Visualization of large dynamic scenes is a challenging computer graphics problem. There are many approaches to solving this problem: frustum culling, occlusion culling, geometry simplification, and rendering optimization. One of the effective methods is the levels of detail (LOD) for scene objects. For large scenes, the hierarchical LOD (HLOD), whereby the levels of detail are created for large groups of objects, has proven efficient. However, this method faces certain difficulties when processing dynamic scenes. In this paper, we propose a method for visualizing scenes with deterministic dynamics that is based on hierarchical dynamic levels of detail (HDLOD). We also describe methods for generating HDLOD clusters and their visualization. Results of computational experiments conducted confirm high efficiency and practical potential of the proposed method.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

The VM2D Open Source Code for Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods on CPU and GPU

The VM2D Open Source Code for Incompressible Flow Simulation...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Kuzmina, Kseniia S. Marchevsky, Ilia K. Ryatina, Evgeniya P. Bauman Moscow State Tech Univ RAS Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781728146232

The main features and data structure of the VM2D code is described. VM2D is the original code that implements the meshless Lagrangian vortex methods for two-dimensional viscous incompressible flows simulation. The code is open source and supports parallel technologies OpenMP, MPI and Nvidia CUDA. The VM2D code can be useful for flow simulation around airfoils as well as system of airfoils and unsteady hydrodynamic loads computation. It is possible to simulate flow around immovable airfoils, airfoils moving according to the given law and solve fluid-structure interaction problems in weakly coupled and strongly coupled statement. Known algorithms of vortex methods and original improvements developed by authors are implemented. The current version of source code of the VM2D is available on GitHub under GNU GPL license (https://***/vortexmethods/VM2D)

关键词： vortex method incompressible flow hydrodynamic loads fluid-structure interaction hydroelasticity open source code boundary integral equation

来源：评论

学校读者我要写书评

暂无评论

Investigation of Characteristics in Mountain Area with the Aim of Collecting Data for Modelling Flow Turbulent Parameters in a Wind Farm Located in a Coastal Area 5

Investigation of Characteristics in Mountain Area with the A...

引用

5th International Conference on Geographical Information systems Theory, Applications and Management (GISTAM)

作者： Strijhak, Sergei Koshelev, Konstantin Kryuchkova, Arina RAS Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia

ISBN: (纸本)9789897583711

The article summarize results of the study of wind farms located on the island of Crete and in Russia using different solvers of open source SOWFA library. Applying large-eddy simulation approach allows to take into account the orography of the area, different physical processes like lower-level jets and will assess the impact of the wind farm and turbulent wakes on the local microclimate of the region.

关键词： Wind Energy Wind Farm Crete Russia Complex Terrain Mountain Large-Eddy Simulation Finite Volume Method Mesh SOWFA Library Solver Wind Turbines Velocity Pressure Temperature Computer Nodes

来源：评论

学校读者我要写书评

暂无评论

The multifractal analysis in Geophysical Flows. In memory of Prof. Jose Manuel Redondo Apraiz

The multifractal analysis in Geophysical Flows. In memory of...

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Tellez-Alvarez, Jackson Strijhak, Sergei, V Tech Univ Catalonia FLUMEN Res Inst Dept Civil & Environm Engn C Jordi Girona 1-3 Barcelona 08034 Spain Russian Acad Sci Ivannikov Inst Syst Programming 25 Alexander Solzhenitsyn St Moscow 109004 Russia

ISBN: (纸本)9781665412919

This paper describes the multifractal methodology for analysis of different geophysical flows such as vertical plumes in water, wakes behind 3D Sparse grid turbulence generators in wind tunnel, wakes behind wind turbines and vortices in the Atmospheric Boundary Layer. A brief description of Kolmogorov K41, K62 theory of turbulence, the energy spectra, the structure function is given. The estimation of the fractal dimension was made using the ImaCalc Software for different cases with geophysical flows. The advantage of this method is that we can estimate the fractal dimension using the numerical results of different open source solvers in OpenFOAM library. The calculated spectra are presented from the ImaCalc program. Furthermore, this paper dedicates to the memory of Prof. Jose Manuel Redondo Apraiz (1956-2020) who worked in UPC, Barcelona, Spain and was a leader of the SIG 14 "Stably Stratified and Rotating Turbulence" in ERCOFTAC.

关键词： Computational Fluid Dynamics turbulence structure function intermittency spectra fractal dimension sparse grid generator plume wake Atmospheric Boundary Layer vortices velocity software Professor ERCOFTAC

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：