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

1st International Workshop on Information, Computation, and Control systems for Distributed Environments, ICCS-DE 2019

作者： Feoktistov, A.G. Kostromin, R.O. Fereferov, E.S. Tchernykh, A. Basharina, O.Yu. Dmitriev, V.I. Kurzybova, Ya.V. Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia CICESE Research Center Ensenada-Tijuana Highway Ensenada22860 3918 Mexico Ivannikov Institute for System Programming of RAS Alexander Solzhenitsyn st. 25 Moscow109004 Russia South Ural State University Lenin prospect 76 Chelyabinsk454080 Russia Irkutsk State University Karl Marx St. 1 Irkutsk664003 Russia

The paper addresses an important problem related to automation of simulation modeling of queue systems using high-performance computing. There is a large spectrum of tools for the simulation modeling of such systems. However, these tools often do not use the possibilities of subject-oriented high-performance computing in full. The purpose of the study is the development of the new tools for automation of the simulation modeling of queue systems in a heterogeneous distributed computing environment. To this end, we develop specialized applications for parameter sweep computations in such an environment. A methodology of the application development is based on the integrated use of methods of the conceptual and wireframe programming, methods of the computations planning and resources allocation, methods of parameter sweep computations, and methods of the data analysis. We develop the toolkit named SIRIUS III for the simulation modeling of queue systems using high-performance computing. In addition, we design a conceptual model that represents knowledge about both the subject domain of solved problems and computing environment. Using the proposed toolkit, we solved a number of problems related to warehouse logistics. Computational experiments showed the high scalability of parameter sweep computations on heterogeneous resources. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Queueing theory

来源：评论

学校读者我要写书评

暂无评论

Large language models in source code static analysis

Large language models in source code static analysis

引用

Ivannikov Memorial Workshop (IVMEM)

作者： V. N. Ignatyev N. V. Shimchik D. D. Panov A. A. Mitrofanov Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS) Moscow Russian Federation Lomonosov Moscow State University Moscow Russian Federation

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

Applications of Large Language Models (LLM) for source code analysis and related tasks arising during the development of an industrial static analyzer are becoming increasingly relevant due to the rapid development of LLM capabilities. The paper investigates several problems in the field of industrial static analysis, for which the use of LLM may be promising, provides quality evaluation of the results, key limitations and advantages for each one. Among the problems, the detection of “variable misuse” logic errors and the verification of warnings generated by the the static analysis tools are considered. In addition to tasks directly related to source code error detection, several methods have been developed to address supporting tasks in static analysis. These include generating specifications for library functions based on documentation and source code, as well as translating static analyzer tests developed for one programming language into another. All the methods were implemented within the infrastructure of the industrial static analyzer Svace and were tested on the dataset, which is used for Svace evaluation. Conclusions of results evaluation and possible integration to Svace for all proposed methods are discussed in the paper.

关键词： Computer languages Codes Source coding Large language models Conferences Static analysis Documentation

来源：评论

学校读者我要写书评

暂无评论

Deep Learning in IoT: An LSTM Approach for NDVI Forecasting

Deep Learning in IoT: An LSTM Approach for NDVI Forecasting

引用

Electronic Engineering (ICEEM), International Conference on

作者： Khaled Sherif Mohamed Azmy Khder Alakkari Mostafa Abotaleb El-Sayed M. El-Kenawy Department of Communications Delta Higher Institute Mansoura Egypt Department of Civil Engineering Delta Higher Institute Mansoura Egypt Department of Statistics and Programming Faculty of Economics University of Tishreen Tartous Syria Department of System Programming South Ural State University Chelyabinsk Russia

This study presents a novel application of a Long Short-Term Memory (LSTM) deep learning model for time-series analysis of the Normalized Difference Vegetation Index (NDVI) from January 1, 1984, to April 21, 2023. As remote sensing technologies generate substantial environmental data, advanced analytics like LSTM provide essential tools for precise interpretation and forecasting. Through grid search optimization, hyperparameters were fine-tuned for optimal LSTM performance. The NDVI mean value over the study period is 0.332, indicative of a moderate vegetation presence. The data series’ sta-tionarity, confirmed through the Dickey-Fuller test, contributes to accurate prediction outcomes. The LSTM model demonstrates superior predictive performance, evidenced by the Root Mean Squared Error (RMSE) values of 0.000764 and 0.000900 for the training and testing datasets respectively. The high R-squared and correlation values further substantiate its efficacy. This study paves the way for leveraging LSTM models in large-scale NDVI data analysis, contributing to environmental monitoring, climate change tracking, and vegetation health assessments. Future work can extend this model to other remote sensing indices and explore various deep learning architectures for enhanced predictive accuracy. The main objective is to identify the optimal LSTM hyperparameters for NDVI prediction using grid search optimization. Our results are expected to provide valuable insights into how LSTM models can be effectively tuned for improved NDVI prediction, potentially benefiting environmental monitoring and decision-making processes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Validation of a newly developed implementation of the PFEM-2 method using an open-source framework

Validation of a newly developed implementation of the PFEM-2...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Andrey Popov Ilia Marchevsky Georgy Serbin Bauman Moscow State Technical University Moscow Russia Ivannikov Institute for System Programming of the RAS Bauman Moscow State Technical University Moscow Russia

ISBN: (纸本)9781665423311

A description of a newly developed implementation of the Particle Finite Element Method, 2 nd generation (PFEM-2) is given. Main steps of the FEM and particles' parts of the algorithm are outlined. The results of its validation for a benchmark computation of a laminar flow are presented. Comparison with results obtained in the OpenFOAM code is also given.

关键词： Costs Codes Software packages Benchmark testing Libraries Finite element analysis Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

ESL design with RTL-verified predesigned abstract communication channels

ESL design with RTL-verified predesigned abstract communicat...

引用

East-West Design & Test Symposium (EWDTS)

作者： Hamed Najafi Haghi Mikhail Chupilko Alexander Kamkin Zainalabedin Navabi University of Tehran Tehran Tehran IR Institute for System Programming of the Russian Academy of Sciences School of Electrical and Computer Engineering Faculty of Engineering-University of Tehran

ISBN: (纸本)9781509006946

Electronic system Level (ESL) design flow tries to handle the complexity of today's system-on-Chip design and verification. Due to this complexity, design and verification methodologies start from an abstraction level higher than Register Transfer Level (RTL). In ESL, verification becomes a major bottleneck in the design flow, and finding a good verification methodology at this abstraction level is important. In this paper, we focus on communication parts of ESL designs rather than the computation parts. Here, we propose a new environment for ESL designs called RTL+, which is an abstraction level higher than RTL and yet lower than TLM-2 implementation of ESL. For RTL+ models verification, we propose using a simulation-based toolkit named C++TESK.

关键词： Libraries Standards Hardware design languages Complexity theory Hardware Support vector machines Time-varying systems

来源：评论

学校读者我要写书评

暂无评论

An EFSM-driven and model checking-based approach to functional test generation for hardware designs

An EFSM-driven and model checking-based approach to function...

引用

East-West Design & Test Symposium (EWDTS)

作者： Alexander Kamkin Mikhail Lebedev Sergey Smolov Moscow Institute of Physics and Technology Dolgoprudny Moscow Region Russia Institute for System Programming of the Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9781509006946

This paper describes a model-based functional test generation method for hardware designs. The main principles are as follows. Two models are extracted from an HDL description: a functional model, which represents the design under scrutiny, and a coverage model, which represents a set of testing goals. Each goal is specified in the negative form to force a model checker to find a counterexample - an execution of the functional model that violates the given property, and thus reaches the testing goal. The coverage criterion is defined on top of extended finite state machines derived from a design's source code. Experiments have shown the method flexibility and effectiveness.

关键词： Hardware design languages Model checking Hardware Radiation detectors Automata Labeling

来源：评论

学校读者我要写书评

暂无评论

Using Machine Learning Techniques for Assessing Media Text Readability 24

Using Machine Learning Techniques for Assessing Media Text R...

引用

24th IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2023

作者： Laputenko, Andrey Evtushenko, Tatiana Klochkova, Elena Yevtushenko, Nina National Research Tomsk State University Department of Information Technologies Tomsk Russia Graduate School of Applied Linguistics and Translation Studies Peter the Great St. Petersburg Polytechnic University Saint Petersburg Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Department of Software Engineering Moscow Russia

ISBN: (纸本)9798350336870

The paper addresses the problem of assessing media text readability depending on the correlation of objective and subjective text complexity. Objective text complexity refers to a set of measurable characteristics such as baseline, morphological, syntactic and lexical characteristics of a media text (a piece of news published on university websites), which is calculated automatically for each text. In total, 34 parameters are considered. Subjective text complexity score is assigned to each text by human experts who assess the clarity, structure, cohesion and coherence of the text. The correlation between subjective and objective text complexity is studied using machine learning models. The readability level is measured using machine learning methods and regression-correlation analysis. Namely, an artificial neural network and regression models are used. It is demonstrated that the use of polynomial features and lasso regularization allows to get a compact regression model of a high quality. The use of the chosen machine learning techniques made it possible to estimate the impact of distinct linguistic features on the readability level. © 2023 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.

关键词： Unified modeling language Contracts Monitoring Embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

Testing logic circuits at different abstraction levels: An experimental evaluation

Testing logic circuits at different abstraction levels: An e...

引用

East-West Design & Test Symposium (EWDTS)

作者： Sergey Smolov Jorge Lopez Natalia Kushik Nina Yevtushenko Mikhail Chupilko Alexander Kamkin Institute for System Programming of the Russian Academy of Sciences Moscow Russia CNRS Université Paris-Saclay Evry France Tomsk State University Tomsk Russia

ISBN: (纸本)9781509006946

The paper presents an experimental evaluation of test generation methods for digital circuits. Two methods are considered: an EFSM-based one, aimed at the code coverage of high-level (RTL) descriptions, and an equivalence-checking based on low-level (gate) description. High-level code and low-level fault coverage are measured for generated tests. Low-level mutants were generated for several fault models. Experiments have been performed for a subset of ITC'99 benchmarks. The results show that in most cases, the mutant coverage remains rather low for RTL tests. Vice versa, low-level tests have lower or the same RTL code coverage as high-level ones.

关键词： Logic gates Circuit faults Hardware design languages Latches Digital circuits Integrated circuit modeling Logic circuits

来源：评论

学校读者我要写书评

暂无评论

Local SGD for Near-Quadratic Problems: Improving Convergence under Unconstrained Noise Conditions

arXiv

引用

arXiv 2024年

作者： Sadchikov, Andrey Chezhegov, Savelii Beznosikov, Aleksandr Gasnikov, Alexander Moscow Institute of Physics and Technology Moscow Russia Ivannikov Institute for System Programming RAS Moscow Russia Sber AI Lab Moscow Russia Innopolis University Innopolis Russia

Distributed optimization plays an important role in modern large-scale machine learning and data processing systems by optimizing the utilization of computational resources. One of the classical and popular approaches is Local Stochastic Gradient Descent (Local SGD), characterized by multiple local updates before averaging, which is particularly useful in distributed environments to reduce communication bottlenecks and improve scalability. A typical feature of this method is the dependence on the frequency of communications. But in the case of a quadratic target function with homogeneous data distribution over all devices, the influence of frequency of communications vanishes. As a natural consequence, subsequent studies include the assumption of a Lipschitz Hessian, as this indicates the similarity of the optimized function to a quadratic one to some extent. However, in order to extend the completeness of the Local SGD theory and unlock its potential, in this paper we abandon the Lipschitz Hessian assumption by introducing a new concept of approximate quadraticity. This assumption gives a new perspective on problems that have near quadratic properties. In addition, existing theoretical analyses of Local SGD often assume bounded variance. We, in turn, consider the unbounded noise condition, which allows us to broaden the class of studied problems. Copyright © 2024, The Authors. All rights reserved.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：