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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

329 篇 会议
226 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

317 篇 理学
- 179 篇 数学
- 119 篇 物理学
- 42 篇 统计学（可授理学、...
- 39 篇 系统科学
- 30 篇 化学
- 19 篇 地球物理学
- 12 篇 生物学
- 8 篇 天文学
307 篇 工学
- 198 篇 计算机科学与技术...
- 144 篇 软件工程
- 37 篇 控制科学与工程
- 28 篇 电气工程
- 26 篇 信息与通信工程
- 23 篇 电子科学与技术（可...
- 22 篇 化学工程与技术
- 14 篇 动力工程及工程热...
- 13 篇 土木工程
- 13 篇 环境科学与工程（可...
- 11 篇 力学（可授工学、理...
- 11 篇 生物工程
- 9 篇 材料科学与工程（可...
- 9 篇 水利工程
- 9 篇 航空宇航科学与技...
- 8 篇 机械工程
- 8 篇 建筑学
- 7 篇 农业工程
70 篇 管理学
- 36 篇 图书情报与档案管...
- 35 篇 管理科学与工程(可...
- 26 篇 工商管理
7 篇 农学
- 7 篇 作物学
4 篇 经济学
4 篇 法学
2 篇 医学
1 篇 教育学

主题

12 篇 software
9 篇 differential equ...
8 篇 computational mo...
8 篇 decision making
8 篇 hysteresis
7 篇 dynamical system...
7 篇 task analysis
7 篇 process control
7 篇 control theory
7 篇 mathematical mod...
7 篇 numerical method...
6 篇 tools
6 篇 hadrons
6 篇 ontologies
6 篇 control systems
6 篇 artificial intel...
6 篇 optimal control
6 篇 monte carlo meth...
5 篇 knowledge based ...
5 篇 particle dark ma...

机构

75 篇 matrosov institu...
37 篇 matrosov institu...
31 篇 matrosov institu...
22 篇 matrosov institu...
20 篇 bogoliubov labor...
19 篇 matrosov institu...
19 篇 matrosov institu...
19 篇 department of ph...
18 篇 irkutsk state un...
18 篇 matrosov institu...
18 篇 institute for sy...
16 篇 matrosov institu...
15 篇 departamento de ...
15 篇 matrosov institu...
13 篇 institut für the...
11 篇 matrosov institu...
11 篇 irkutsk scientif...
11 篇 institut für the...
10 篇 of anid fernánde...
10 篇 matrosov institu...

作者

28 篇 shigarov alexey
28 篇 bychkov igor
19 篇 mikhailov andrey
18 篇 zaikin oleg
17 篇 zhevlakov alexey...
17 篇 fedorov roman k.
17 篇 lyubovitskij val...
14 篇 bychkov i.v.
14 篇 kochemazov stepa...
14 篇 oparin g.a.
14 篇 kryukov alexande...
13 篇 gornov alexander
13 篇 bogdanova v.g.
13 篇 vasilyev igor
13 篇 dubenskaya julia
13 篇 pashinin a.a.
13 篇 nguyen minh-duc
12 篇 semenov alexande...
12 篇 kazarina yulia
11 篇 ushakov anton v.

语言

527 篇 英文
22 篇 俄文
9 篇 其他

检索条件"机构=Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk"

共 559 条记录，以下是31-40 订阅

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

详细简洁

排序：

Modeling Agent Behavior in Interacting Microgrids 10

Modeling Agent Behavior in Interacting Microgrids

引用

10th International Conference on Information Technology and Nanotechnology, ITNT 2024

作者： Bychkov, Igor Feoktistov, Alexander Chekan, Mikhail Matrosov Institute For System Dynamics And Control Theory Of Sb Ras Irkutsk Russia

ISBN: (纸本)9798350372939

We propose the agent-based approach to intellectualize data processing and analysis in modeling the operations of interconnected microgrids. Microgrids are modern energy systems with a large share of environmentally friendly and resource-saving equipment. The modeling of different aspects for the organization and operation of microgrids is relevant for their structural and parametric optimization. The study of these aspects in the interaction of microgrids deserves special attention. In this case, it becomes possible to take into account the synergistic effect in the distribution and consumption of electric power. We implement the modeling process using a multi-agent system. In this regard, we describe the structure of this system, methods of its construction, and goals and processes of agent operations. In addition, we provide a model of agent behavior developed based on the basis of a finite-state control machine. The advantages of the proposed approach are demonstrated on a model example of balancing generation and consumption of electric power. © 2024 IEEE.

关键词： Balancing

来源：评论

学校读者我要写书评

暂无评论

Global and Local Search Methods for D.C. Constrained Problems 19th

Global and Local Search Methods for D.C. Constrained Problem...

引用

19th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2020

作者： Strekalovsky, Alexander S. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia

ISBN: (纸本)9783030499877

This paper addresses the general optimization problem ($$\mathcal P$$) with equality and inequality constraints and the cost function given by d.c. functions. We reduce the problem to a penalized problem ($$\mathcal P_{\sigma }$$) without constraints with the help of the Exact Penalization theory. Further, we show that the reduced problem is also a d.c. minimization problem. This property allows us to prove the Global Optimality Conditions (GOCs), which reduce the study of the penalized problem to an investigation of a family of linearized (convex) problems tractable with the help of standard convex optimization methods and software. In addition, we propose a new Local Search Scheme (LSS1) which produces a sequence of vectors converging to a so-called critical point. On the other hand, the vector satisfying the GOCs turns out to be also a critical point. On the basis of the GOCs for finding a global solution to ($$\mathcal P_{\sigma }$$), we develop a Global Search Scheme, including the LSS1 with an update of the penalty parameter, and a special stopping criteria allowing detection of a feasible vector in the original problem ($$\mathcal P$$), and, consequently, a global solution to the original Problem ($$\mathcal P$$). © 2020, Springer Nature Switzerland AG.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Efficient Heuristics for a Partial Set Covering Problem with Mutually Exclusive Pairs of Facilities 1

引用

7th International Conference on Optimization, Simulation and control, COSC 2022

作者： Belykh, Aleksander Gruzdeva, Tatyana Ushakov, Anton Vasilyev, Igor Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (数字)9783031412295

ISBN: (纸本)9783031412288

Set cover problems are among the most popular and well-studied models in facility location. In this paper, we address an extension of the set covering and partial set covering problems. We suppose that a set of customers to be served is divided into two non-overlapped subsets: "mandatory" customers who must always be covered and "optional" customers who do not require obligatory coverage. To avoid a trivial solution that covers only customers from H, we suppose that the number of covered optional customers must be at least larger than a pre-defined threshold In the real world, local laws may prohibit location of a large number of facilities in some places to reduce harm to people and/or nature. To reflect that fact our problem involves pairs of facilities that are mutually exclusive, hence if a facility from such a pair is located, another one is prohibited. We formulate this problem as an integer linear program and develop and implement several fast heuristic approaches capable of finding high-quality solutions of large-scale problem instances arisen in real-life settings. In particular, we develop a hybrid heuristic involving a greedy algorithm and local search embedded into a variable neighborhood framework. We test our algorithms in a series of intensive computational experiments on both real-life problems and synthetically generated instances. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2023.

关键词： Location

来源：评论

学校读者我要写书评

暂无评论

Models and software for agent-based model development based on model-driven approach 1

Models and software for agent-based model development based ...

引用

1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018

作者： Nikolaychuk, Olga A. Pavlov, Alexander I. Stolbov, Alexander B. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

The article discusses the application of the model-driven approach in the development of agent-based simulation models, presents an overview of agent architectures, considers the updated version of the hierarchical system of metamodels for formalizing the agent-based simulation models development methodology, as well as a description of the minimum set of software tools required to develop the software system for creation the applied agent-based simulation models © 2018 CEUR-WS. All rights reserved.

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

The study of inversion problems of cryptographic hash functions from md family using algorithms for solving boolean satisfiability problem

The study of inversion problems of cryptographic hash functi...

引用

2016 International Conference Mathematical and Information Technologies, MIT 2016

作者： Gribanova, Irina Zaikin, Oleg Kochemazov, Stepan Otpuschennikov, Ilya Semenov, Alexander Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

In this paper we present the results of application of state-ofthe-Art SAT solvers to inversion of cryptographic hash functions from the MD family. In particular we consider the problems of finding preimages and collisions for MD4 and MD5. To solve them we use the approach based on reducing the original problems to Boolean satisfiability problem (SAT). The propositional encoding of the algorithms specifying the considered functions was performed using the Transalg software system. The features of this system make it possible to effectively augment the SAT encodings for MD4 and MD5 hash functions with various additional constraints that improve the effectiveness of SAT solvers on corresponding instances. The effectiveness of the proposed algorithms is better than that in a number of preceding papers. We used the developed algorithms to find new families of two-block collisions for MD5 and to construct new differential paths for finding single-block collisions for MD4.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Construction of nearshore elevation model using open satellite data

Construction of nearshore elevation model using open satelli...

引用

2021 All-Russian Conference with International Participation "Spatial Data Processing for Monitoring of Natural and Anthropogenic Processes", SDM 2021

作者： Hmelnov, Alexei E. Gachenko, Andrey S. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

For the tasks considering changes of water level it is required to have a combined (above water and underwater) elevation model. And the highest accuracy requirements are imposed on the parts of the model, which produce the contour lines in the range of the actual water level changes, while the information about the underwater elevation is usually very scarce and rough. In the article we consider the possibility to obtain this part of the elevation model using open high resolution (10 m/pixel) satellite images corresponding to different water levels. Here we describe the technique, which allows us to obtain the subpixel accuracy of the resulting contour lines. And we consider the problems in the quality of the satellite images that the contour lines reveal, and some ways to deal with the problems. © 2021 Copyright for this paper by its authors.

关键词： Cloud detection Correction of horizontal position NDWI Nearshore underwater terrain Remote sensing Sentinel-2 Shoreline Subpixel precision Topo-bathymetry

来源：评论

学校读者我要写书评

暂无评论

Transient process modeling in micrologistic transport systems

Transient process modeling in micrologistic transport system...

引用

2020 International Online Conference on Environmental Transformation and Sustainable Development in Asian Region, EnTransAsia 2020

作者： Zharkov, M.L. Kazakov, A.L. Lempert, A.A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

Micrologistic transport systems are ports, transport hubs, railway terminals (railway stations and marshalling yards), and other micro-level transport objects. Such systems are dynamic ones, whose parameters are time-dependent. Consequently, transient processes appear. These processes last for some time and then subside. Then the system goes into a stationary mode of operation. To solve most engineering problems, it is sufficient to find the stationary characteristics of the system. However, some problems require knowledge of the properties of transients. In this paper, we use the previously presented technology for modeling the operation of micrologistic transport systems to study transients in various transport objects. We consider two types of micrologistic transport systems, such as passenger and cargo, and design their models in the form of two-phase and three-phase queuing systems with BMAP flows. For these queuing systems, we compile Kolmogorov systems of ordinary differential equations. Their analytical study is difficult;therefore, to solve such systems, we use numerical methods. Overall, we find the transition probabilities of system states. We compare the obtained probabilities with stationary characteristics, which allows us to draw conclusions about the properties of transients in the considered systems. © 2021 institute of Physics Publishing. All rights reserved.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

The Stochastic Coverings Algorithm for Solving Applied Optimal control Problems 18th

The Stochastic Coverings Algorithm for Solving Applied Optim...

引用

18th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2019

作者： Gornov, Alexander Zarodnyuk, Tatiana Anikin, Anton Sorokovikov, Pavel Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9783030333935

The paper considers a heuristic method for a global extremum search in an optimal control problem based on the idea of covering a reachable set by n-dimensional balls, including the built-in mechanisms for Lipschitz constant estimating of the objective functional. A step-by-step description of the coverage algorithm and the proposed method for generating start and auxiliary controls are presented. The proposed technique was used for solving applied optimal control problems: the problem of investment programs in Buryatia Republic and the problem of restoring the Black Lands in Kalmykia. © 2019, Springer Nature Switzerland AG.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

A Local Search Scheme for the Inequality-Constrained Optimal control Problem 20th

A Local Search Scheme for the Inequality-Constrained Optimal...

引用

20th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2021

作者： Strekalovsky, A.S. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (纸本)9783030778750

This paper addresses the nonconvex optimal control (OC) problem with the cost functional and inequality constraint given by the functionals of Bolza. All the functions in the statement of the problem are state-DC, i.e. presented by a difference of the state-convex functions. Meanwhile, the control system is state-linear. Further, with the help of the Exact Penalization theory we propose the state-DC form of the penalized cost functional and, using the linearization with respect to the basic nonconvexity of the penalized problem, we study the linearized OC problem. On this basis, we develop a general scheme of the special Local Search Method with a varying penalty parameter. Finally, we address the convergence of the proposed scheme. © 2021, Springer Nature Switzerland AG.

关键词： Linearization

来源：评论

学校读者我要写书评

暂无评论

dynamics of Bipartite Logical Networks 47

Dynamics of Bipartite Logical Networks

引用

47th ICT and Electronics Convention, MIPRO 2024

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute For System Dynamics And Control Theory Of Sb Ras Irkutsk Russia

ISBN: (纸本)9798350382495

Based on the Boolean constraints method several problems of qualitative analysis of bipartite logical networks are solved. The dynamics of the trajectories behavior of these networks is studied over a finite time interval. A method is proposed for splitting a bipartite trajectory into two independent trajectories based on deterministic block-sequential updating of the state vectors of each part. Conditions for the existence, isolation and attraction of cyclic trajectories of a given length are obtained as Boolean constraints. The solvability of such equations reduces to the well-known Boolean satisfiability problem, effectual algorithms for solving which provide dynamic analysis for systems with high dimensionality of the state vector over large discrete time intervals. The program modules implementation for building Boolean constraints and checking their feasibility in the form of microservices ensures their reuse, simplification of deployment, updating, and high scalability in the cloud environment. Multi-agent computation management in an applied microservices package provides the non-procedural problem formulation on a distributed model of the subject area, forms and executes a scheme for solving it, and automates the additional resources provision. The practical significance of the obtained results consists in providing the opportunity for a more detailed study of dynamics of the molecular features of gene regulation networks. © 2024 IEEE.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共56页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：