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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

481 篇 会议
162 篇 期刊文献
6 册 图书

馆藏范围

649 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

363 篇 工学
- 298 篇 计算机科学与技术...
- 236 篇 软件工程
- 45 篇 力学（可授工学、理...
- 43 篇 控制科学与工程
- 33 篇 信息与通信工程
- 30 篇 机械工程
- 23 篇 电气工程
- 20 篇 安全科学与工程
- 19 篇 电子科学与技术（可...
- 15 篇 化学工程与技术
- 15 篇 航空宇航科学与技...
- 14 篇 生物工程
- 11 篇 仪器科学与技术
- 11 篇 动力工程及工程热...
- 10 篇 生物医学工程（可授...
- 9 篇 光学工程
- 9 篇 交通运输工程
- 8 篇 石油与天然气工程
- 7 篇 材料科学与工程（可...
- 7 篇 土木工程
202 篇 理学
- 121 篇 数学
- 68 篇 物理学
- 45 篇 统计学（可授理学、...
- 16 篇 生物学
- 16 篇 系统科学
- 13 篇 化学
64 篇 管理学
- 33 篇 图书情报与档案管...
- 31 篇 管理科学与工程(可...
- 13 篇 工商管理
8 篇 医学
- 8 篇 临床医学
6 篇 法学
5 篇 农学
3 篇 经济学
1 篇 哲学
1 篇 教育学
1 篇 历史学

主题

29 篇 static analysis
24 篇 libraries
20 篇 conferences
19 篇 computer archite...
18 篇 computational mo...
17 篇 software
15 篇 programming
14 篇 linux
14 篇 safety
13 篇 registers
13 篇 semantics
13 篇 numerical models
12 篇 tools
12 篇 hardware
12 篇 testing
11 篇 xml
11 篇 software testing
10 篇 machine learning
10 篇 cloud computing
10 篇 mathematical mod...

机构

57 篇 ivannikov instit...
45 篇 lomonosov moscow...
42 篇 ivannikov instit...
36 篇 ivannikov instit...
24 篇 moscow institute...
21 篇 ivannikov instit...
20 篇 institute for sy...
19 篇 department of sy...
18 篇 lomonosov moscow...
18 篇 ivannikov instit...
17 篇 bauman moscow st...
17 篇 institute for sy...
17 篇 south ural state...
15 篇 institute for sy...
15 篇 north-caucasus f...
15 篇 institute for sy...
13 篇 bauman moscow st...
12 篇 ivannikov instit...
11 篇 ivannikov instit...
11 篇 ivannikov instit...

作者

22 篇 yevtushenko nina
14 篇 alexander kamkin
13 篇 khoroshilov alex...
12 篇 turdakov denis
12 篇 vishnyakov alexe...
11 篇 mostafa abotaleb
11 篇 kuts daniil
11 篇 josef börcsök
10 篇 gasnikov alexand...
10 篇 parygina darya
10 篇 fedotov andrey
10 篇 arutyun avetisya...
9 篇 denis turdakov
9 篇 avetisyan arutyu...
9 篇 ilia marchevsky
9 篇 burdonov igor
9 篇 el-kenawy el-say...
9 篇 nina yevtushenko
9 篇 abotaleb mostafa
8 篇 drobyshevskiy mi...

语言

628 篇 英文
13 篇 其他
10 篇 俄文
1 篇 中文

检索条件"机构=Institute for System Programming"

共 649 条记录，以下是191-200 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Boundary integral equation solving in vortex method using the Barnes-Hut/multipole algorithm

Boundary integral equation solving in vortex method using th...

引用

2022 Ivannikov Open Conference, ISPRAS 2022

作者： Ryatina, Evgeniya Marchevsky, Ilia Kolganova, Alexandra Bauman Moscow State Technical University Moscow Russia Ivannikov Institute for System Programming of Ras Bauman Moscow State Technical University Moscow Russia

ISBN: (纸本)9798350398533

The problem of efficient solution of the boundary integral equation arising at each time step in problems of 2D outer flow simulation by using the Vortex Particle Method is considered. It is necessary to develop an efficient approach to the corresponding linear system solving with the dense and non-symmetric matrix. For this purpose, an adaptation of the Barnes-Hut-based fast method, which has been initially developed for vortex particles velocities calculation, is suggested. The proposed modification is applied to the second-order numerical scheme with piecewise-linear solution representation since it allows considering vorticity distribution over far-placed panels, and performing integration of the local expansion coefficients over control panels that provides the satisfaction of the boundary condition in Galerkin sense. Besides the speedup effect, it does not require full matrix computation and storage, thus only about 1 % of matrix coefficients should be stored, which are calculated directly. © 2022 IEEE.

关键词： Piecewise linear techniques

来源：评论

学校读者我要写书评

暂无评论

A lock-free cache-friendly software queue buffer for decoupled software pipelining

A lock-free cache-friendly software queue buffer for decoupl...

引用

2010 International Computer Symposium, ICS 2010

作者： Chen, Wen Ren Yang, Wuu Hsu, Wei Chung Programming Language and System Lab Institute of Computer Science and Engineering National Chiao Tung University Hsinchu 30013 Taiwan System Lab. Institute of Computer Science and Engineering National Chiao Tung University Hsinchu 30013 Taiwan

ISBN: (纸本)9781424476404

Multicore has become a trend on server and client computers in recent years. Parallelization is one way to fully utilize the computing power provided by multicore architectures. Most applications of interest have complex data and control dependency, which make traditional parallelization techniques, such as DOALL and DOACROSS, inapplicable. Decoupled Software Pipelining (DSWP), a new parallelization technique, shows its potential on parallelizing general applications. However, its success relies on fast inter-core synchronization and communication. On commodity multicore platforms, the performance of current DSWP disappoints us since the overhead involving lock-based, cache dishonored software approach offsets the benefit from DSWP. We present a lock-free, cache-friendly software queue designed for DSWP. A lock-free, cache-friendly solution need take two different aspects of memory system, memory coherence and memory consistency, into *** show how inattention to these two aspects leads to incorrect or inefficient solutions. We also present our approach to providing a correct and efficient solution with detailed explanation. Due to the nondeterministic nature of parallel programs, traditional testing techniques cannot be used to fully verify the correctness of the implementation. We also discuss the correctness of our implementation both in informal and formal ways. ©2010 IEEE.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

Deep Learning in IoT: An LSTM Approach for NDVI Forecasting 3

Deep Learning in IoT: An LSTM Approach for NDVI Forecasting

引用

3rd IEEE International Conference on Electronic Engineering, ICEEM 2023

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

ISBN: (纸本)9798350323511

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. © 2023 IEEE.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Slurm PaaS in a cloud environment for development and debug purposes

Slurm PaaS in a cloud environment for development and debug ...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Tatiana Ozerova Elena Aksenova Oleg Borisenko Matvey Kraposhin Eshsou Khashba Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423311

Nowadays specialized distributed services and sig-nificant amounts of computing resources are used for solving tasks in Big Data processing and analysis. Cloud environments allow people to create virtual clusters with necessary characteris-tics and tune specialized software for planning jobs and resource allocation. Slurm belongs to such systems class. Unfortunately, lots of problems appear during manual setup and Slurm usage in cloud infrastructure. The article offers the solution to the problem of automating deployment of the Slurm cluster in cloud infrastructure for development and testing purposes. User acquires access using REST API request to get ready for use virtual cluster with preinstalled and preconfigured Slurm cluster. This work also includes analysis for Slurm/HPC clusters effi-ciency running in Openstack environment using virtual machines interconnected with an overlay network compared to classical bare-metal HPC clusters.

关键词： Cloud computing Overlay networks Manuals Big Data Virtual machining Software Planning

来源：评论

学校读者我要写书评

暂无评论

Survey of Open-source Flows for Digital Hardware Design

Survey of Open-source Flows for Digital Hardware Design

引用

2021 Ivannikov Memorial Workshop, IVMEM 2021

作者： Chupilko, Mikhail Kamkin, Alexander Smolov, Sergey Ivannikov Institute for System Programming RAS Plekhanov Russian University of Economics Lomonosov Moscow State University Moscow Institute for Physics and Technology Higher School of Economics Moscow Russia

ISBN: (纸本)9781665423274

This paper considers open-source tools for the logical-synthesis and place-and-route hardware design stages. Several flows (CADs), including qFlow, OpenLANE, Coriolis, VTR, and SymbiFlow, have been described. For experimental evaluation of these flows, two RISC-V implementations have been used: schoolRISCV and PicoRV32. The results show that open-source flows are capable to produce physical layouts for realistic examples. At the same time, commercial CADs allow generating more effective designs in terms of clock frequency. © 2021 IEEE.

关键词： Integrated circuit design

来源：评论

学校读者我要写书评

暂无评论

Automatic verification of the text layer correctness in PDF documents

Automatic verification of the text layer correctness in PDF ...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Oksana V. Belyaeva Aleksandr Golodkov Bekzat Bukhatov Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9798331504663

ISBN: (纸本)9798331504670

PDF documents can contain incorrect textual layers due to low scanning quality, font embedding errors or other reasons. An incorrect text layer can significantly hamper automatic document processing and limit document parsing. To help tackle the problem, this work analyzed the causes of incorrect text layers (gibberish characters) and described a method to automatically extract text information by detecting the correct text layer of PDF files, using OCR and a PDF extractor. To determine the correctness/incorrectness of the text layer obtained from PDF extractors in the method, we trained a binary classifier on the generated *** carried out experiments and assessed the quality of various classification models for text correctness, tested the method on real data, thereby confirming the effectiveness of the developed approach. The obtained results can be useful for further development of methods for automatically checking textual layers and improving the quality of automatic processing PDF documents.

关键词： Conferences Text categorization Optical character recognition Text detection Machine learning Portable document format Data models

来源：评论

学校读者我要写书评

暂无评论

LLM-based Interactive Code Generation: Empirical Evaluation

LLM-based Interactive Code Generation: Empirical Evaluation

引用

2024 Ivannikov Open Conference, ISPRAS 2024

作者： Shaikhelislamov, Danil Drobyshevskiy, Mikhail Belevantsev, Andrey Moscow Institute of Physics and Technology State University Moscow Russia Ivannikov Institute for System Programming The Russian Academy of Sciences Moscow Russia Lomonosov Moscow State University Moscow Russia

ISBN: (纸本)9798331526023

Recently, large language models (LLMs), those pretrained on code, have demonstrated strong capabilities in generating programs from informal natural language intent. However, LLM -generated code is prone to bugs. Developers interacting with LLMs seek trusted code and, ideally, clear indications of potential bugs and vulnerabilities. Verified code can mitigate potential business risks associated with adopting generated code. We use model-agnostic framework CodePatchLLM, an extension for LLM that utilizes Svace feedback to enhance code generation quality. We evaluate CodePatchLLM on four popular LLMs across three datasets. Our experiments show an average absolute reduction of 19.1 % in static analyzer warnings for Java across all datasets and models, while preserving pass@ 1 code generation accuracy. © 2024 IEEE.

关键词： Code verification Large Language Model Trusted code

来源：评论

学校读者我要写书评

暂无评论

Formally verified complete quantifier instatiation strategy for the theory of bounded linear integer arithmetic

Formally verified complete quantifier instatiation strategy ...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Rafael Sadykov Mikhail Mandrykin Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (数字)9781665412919

ISBN: (纸本)9781665448215

The Isabelle/HOL proof assistant provides quite advanced and reliable support for discharging proof goals with external SMT solvers by reconstructing the resulting proof tree within the Isabelle/Pure inference kernel. In particular, currently Isabelle fully and efficiently supports proof reconstruction for the quantifier-free fragments of the theories of equality and uninterpreted functions (QF_UF) and linear integer arithmetic (QF_LIA). Yet there are a number of practically relevant theories that can be decided using relatively efficient algorithms, but are not supported either by the Isabelle proof reconstruction procedure or by the SMT solvers themselves. Meanwhile, if the decision procedure for an extended logical theory can be expressed as a complete quantifier instantiation strategy that reduces the given decision problem into the supported logical fragment (QF_UFLIA), the theory can be fully supported within the existing Isabelle/HOL infrastructure with relatively little additional effort. The goal of our work was to develop a fully formal completeness proof for an efficient quantifier instantiation strategy that translates a satisfiability problem in the logic of bounded linear integer arithmetic (we call it QF_BLIA) into the equisatisfiable problem in the logic of linear integer arithmetic and uninterpreted functions (QF_UFLIA). In this paper we first give the initial informal presentation of the proof, then discuss the most relevant issues of our resulting corresponding formal development of the completeness proof within Isabelle/HOL. The resulting formal proofs tightly follow the provided informal presentation, but at the same time they also contain quite significant amount of auxiliary developments that can potentially be generalized for other similar proof formalizations and automated using theory generation facilities of Isabelle/ML.

关键词： Reliability theory Inference algorithms Kernel

来源：评论

学校读者我要写书评

暂无评论

Modeling the Reservoir Flooding Problem Using the Extended Version of the PorousMultiphaseFoam Library

Modeling the Reservoir Flooding Problem Using the Extended V...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Daria Romanova Sergei Strijhak Konstantin Koshelev Matvey Kraposhin Ivannikov Institute for System Programming of the RAS Lomonosov Moscow State University Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

In this work, we develop software based on porousMultiphaseFoam library in OpenFOAM package to study enhanced oil recovery methods, and to study the influence of these methods on the oil recovery factor. New models of relative phase permeability and capillary pressure were implemented, and their comparative analysis was performed. The code was verified using the analytical approach. A new solver for simulating compressible flow was developed.

关键词： Oils Production Permeability Mathematical model Reservoirs Boundary conditions Libraries

来源：评论

学校读者我要写书评

暂无评论

Futag: Automated fuzz target generator for testing software libraries

Futag: Automated fuzz target generator for testing software ...

引用

Ivannikov Memorial Workshop (IVMEM)

作者： Chi Thien Tran Shamil Kurmangaleev Ivannikov Institute for System Programming of the RAS Moscow Russia

ISBN: (纸本)9781665423281

Recently, Fuzzing is one of the most successful techniques to expose bugs in software. For testing large programs or large codebase with many features and entry-points, the creation of fuzz-targets remains a big challenge. In this paper, we introduce Futag – an automated fuzz target generator for testing software libraries. This approach uses static analysis to collect information about source code: data type definitions, dependencies of types, definitions of functions, etc. Futag has found many vulnerabilities in latest version of popular libraries such as: libopenssl, libpng, libjson-c, liblxml2.

关键词： Software libraries Codes Conferences Computer bugs Static analysis Fuzzing Software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共65页 << < 16 17 18 19 20 21 22 23 24 25 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：