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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

381 篇 会议
302 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

394 篇 理学
- 228 篇 数学
- 142 篇 物理学
- 53 篇 系统科学
- 49 篇 统计学（可授理学、...
- 35 篇 化学
- 21 篇 地球物理学
- 15 篇 生物学
- 10 篇 天文学
368 篇 工学
- 221 篇 计算机科学与技术...
- 160 篇 软件工程
- 56 篇 控制科学与工程
- 32 篇 电气工程
- 31 篇 信息与通信工程
- 28 篇 化学工程与技术
- 27 篇 电子科学与技术（可...
- 17 篇 动力工程及工程热...
- 15 篇 土木工程
- 14 篇 环境科学与工程（可...
- 13 篇 力学（可授工学、理...
- 13 篇 生物工程
- 12 篇 航空宇航科学与技...
- 11 篇 机械工程
- 10 篇 材料科学与工程（可...
- 9 篇 建筑学
- 9 篇 水利工程
- 9 篇 核科学与技术
- 7 篇 农业工程
76 篇 管理学
- 41 篇 管理科学与工程(可...
- 38 篇 图书情报与档案管...
- 29 篇 工商管理
7 篇 农学
5 篇 经济学
4 篇 法学
3 篇 医学
1 篇 教育学

主题

14 篇 software
12 篇 optimal control
11 篇 differential equ...
10 篇 control theory
10 篇 mathematical mod...
9 篇 control systems
8 篇 task analysis
8 篇 computational mo...
8 篇 process control
8 篇 decision making
8 篇 calculus
8 篇 hysteresis
7 篇 dynamical system...
7 篇 optimization
7 篇 artificial intel...
7 篇 numerical method...
6 篇 tools
6 篇 maximum principl...
6 篇 planning
6 篇 hadrons

机构

74 篇 matrosov institu...
37 篇 matrosov institu...
31 篇 matrosov institu...
22 篇 irkutsk state un...
22 篇 matrosov institu...
20 篇 bogoliubov labor...
19 篇 matrosov institu...
19 篇 matrosov institu...
19 篇 department of ph...
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...
11 篇 institute of sys...
10 篇 of anid fernánde...

作者

30 篇 bychkov igor
28 篇 shigarov alexey
20 篇 mikhailov andrey
18 篇 fedorov roman k.
18 篇 zaikin oleg
17 篇 zhevlakov alexey...
17 篇 lyubovitskij val...
16 篇 kryukov alexande...
15 篇 bychkov i.v.
14 篇 kochemazov stepa...
14 篇 vasilyev igor
14 篇 oparin g.a.
14 篇 nguyen minh-duc
13 篇 gornov alexander
13 篇 igor bychkov
13 篇 bogdanova v.g.
13 篇 dubenskaya julia
13 篇 korosteleva elen...
13 篇 pashinin a.a.
12 篇 radzhabov a.e.

语言

650 篇 英文
22 篇 俄文
14 篇 其他

检索条件"机构=Matrosov Institute For System Dynamics And Control Theory"

共 687 条记录，以下是41-50 订阅

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

详细简洁

排序：

Necessary optimality conditions for optimal impulsive control problems with hysteresis 14

Necessary optimality conditions for optimal impulsive contro...

引用

14th International Conference "Stability and Oscillations of Nonlinear control systems" (Pyatnitskiy's Conference), STAB 2018

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

ISBN: (纸本)9781538645567

We study a class of optimal control problems for measure-driven differential equations with rate independent hysteresis. The hysteresis is modeled by an evolution variational inequality equivalent to the action of play operator generalized to the case of discontinuous inputs of bounded variation. A method to obtain optimality conditions for impulsive processes is proposed. © 2018 IEEE.

关键词： Hysteresis

来源：评论

学校读者我要写书评

暂无评论

Binary Dynamic Models of Structural Synthesis of Programs 46

Binary Dynamic Models of Structural Synthesis of Programs

引用

46th ICT and Electronics Convention, MIPRO 2023

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (纸本)9789532331042

In this paper, we propose a matrix-vector Boolean differential model for constructing plans of computational actions in solving non-procedural problems on a computational model of a modular software system. The conditions of the problem of structural synthesis of a program from pre-implemented modules are formulated as a system of Boolean differential equations, the solutions of which, under given initial conditions (consistent with the non-procedural formulation of the problem), determine the solvability of the problem and give constructive plans for its solution (including parallel ones). The proposed method of structural synthesis is focused on high-dimensional models. It allows highly efficient software implementation due to the high parallelism of performing vector-matrix operations on binary vectors at the level of machine instructions. The developed model is used for planning computations in packages of applied microservices based on the HPCSOMAS-MSC platform. © 2023 MIPRO Croatian Society.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

Classification in Binary Feature Space Using Logical Dynamic Models 44

Classification in Binary Feature Space Using Logical Dynamic...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (纸本)9789532331011

The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science and industry, in particular, socionics, geology, mechanical engineering, and others. Binary synchronous autonomous linear and nonlinear dynamic models with an unknown characteristic matrix are considered. Matrix elements are chosen the way that these binary feature vectors are equilibrium states of the binary dynamic model. The areas of attraction of equilibrium states act as classes. One reference vector corresponds to each class. The classification process consists of constructing trajectories of a logical-dynamic system with a given initial state. It aims to verify the reachability of one of the equilibrium states. A meaningful example of the proposed method is considered. © 2021 Croatian Society MIPRO.

关键词： Dynamic models

来源：评论

学校读者我要写书评

暂无评论

Knowledge bases engineering on the basis of fault trees analysis 1

Knowledge bases engineering on the basis of fault trees anal...

引用

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

作者： Berman, Alexandr F. Dorodnykh, Nikita O. Nikolaychuk, Olga A. Yurin, Alexandr Yu. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

The paper describes an approach for the computer-aided development of rule-based knowledge bases on the basis of analysis of fault trees represented with the aid of the author’s notation. The approach is based on the extraction of structural elements from the fault trees specification and converting them to the target constructions of knowledge representation language, in particular, CLIPS. The description of main approach stages, the analyzed structures of fault trees in the XML-format are presented. © 2018 CEUR-WS. All rights reserved.

关键词： Knowledge acquisition

来源：评论

学校读者我要写书评

暂无评论

The space-time representation for optimal impulsive control problems with hysteresis 9th

The space-time representation for optimal impulsive control ...

引用

9th International Conference on Optimization and Applications, OPTIMA 2018

作者： Samsonyuk, Olga N. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9783030109332

An optimal control problem for a sweeping process driven by impulsive controls is considered. The control system we study is described by both a measure-driven differential equation and a differential inclusion. This system is the impulsive-trajectory relaxation of an ordinary control system with nonlinearity of hysteresis type, in which the hysteresis is modeled by the play operator and considered as a particular case of a nonconvex sweeping process. The concept of a sweeping process for the so-called graph completions of functions of bounded variation, defining the corresponding moving set, is developed. The space-time representation based on the singular space-time transformation and a method to obtain optimality conditions for impulsive processes are proposed. By way of motivation, an example from mathematical economics is considered. © Springer Nature Switzerland AG 2019.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

On a Solving Bilevel D.C.-Convex Optimization Problems 19th

On a Solving Bilevel D.C.-Convex Optimization Problems

引用

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

作者： Orlov, Andrei V. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia

ISBN: (纸本)9783030586560

This work addresses the optimistic statement of a bilevel optimization problem with a general d.c. optimization problem at the upper level and a convex optimization problem at the lower level. First, we use the reduction of the bilevel problem to a nonconvex mathematical optimization problem using the well-known Karush-Kuhn-Tucker approach. Then we employ the novel Global Search theory and Exact Penalty theory to solve the resulting nonconvex optimization problem. Following this theory, the special method of local search in this problem is constructed. This method takes into account the structure of the problem in question. © 2020, Springer Nature Switzerland AG.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties 44

Service-oriented Application for Solving Parametric Synthesi...

引用

44th International Convention on Information, Communication and Electronic Technology, MIPRO 2021

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory of SB RAS Irkutsk Russia

ISBN: (纸本)9789532331011

A constructive logical method for the synthesis of the characteristic matrix of a linear binary dynamical system with a given set of one-point attractors and one-step dynamics of reaching this set from any state is proposed. The problem conditions are written as a quantified Boolean formula with subsequent verification of its truth using the QSAT solver. This solver provide the values of the elements of the required matrix as a certificate. The proposed method implementation is performed using automation tools for constructing and executing composite services in an applied microservices package for solving problems of qualitative research of binary dynamic systems. These tools provide cloud services for getting a quantified Boolean formula in QDIMACS format, verifying its truth, getting a constructive solution to the considered problem, and supporting synchronization of cloud and local data in a hybrid cloud infrastructure using Dew Computing. © 2021 Croatian Society MIPRO.

关键词： Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

On Solving the Quadratic Sum-of-Ratios Problems 19th

On Solving the Quadratic Sum-of-Ratios Problems

引用

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

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

ISBN: (纸本)9783030499877

This paper addresses the numerical solution of fractional programs with quadratic functions in the ratios. Instead of considering a sum-of-ratios problem directly, we developed an efficient global search algorithm, which is based on two approaches to the problem. The first one adopts a reduction of the fractional minimization problem to the solution of an equation with an optimal value of a parametric d.c. minimization problem. The second approach reduces the original problem to the optimization problem with nonconvex (d.c.) constraints. Hence, the fractional programs can be solved by applying the Global Search theory of d.c. optimization. The global search algorithm developed for sum-of-ratios problems was tested on the examples with quadratic functions in the numerators and denominators of the ratios. The numerical experiments demonstrated that the algorithm performs well when solving rather complicated quadratic sum-of-ratios problems with up to 100 variables or 1000 terms in the sum. © 2020, Springer Nature Switzerland AG.

关键词： Functions

来源：评论

学校读者我要写书评

暂无评论

Implicit Boolean Network for Planning Actions 45

Implicit Boolean Network for Planning Actions

引用

45th Jubilee International Convention on Information, Communication and Electronic Technology, MIPRO 2022

作者： Oparin, G.A. Bogdanova, V.G. Pashinin, A.A. Matrosov Institute for System Dynamics and Control Theory of Sb Ras Irkutsk Russia

ISBN: (纸本)9789532331035

It is usual to classify the automated searching of a plan as an artificial intelligence problem. In planning, the environment is defined as a set of both states and transitions between them. Planning consists in searching for a finite transitions sequence (actions) that transfers the initial state to one of the states, satisfying the objective. As a model of the planning environment, we propose to use implicit Boolean networks - binary dynamic systems, the transition function of which is defined by the implicit Boolean equation relative to the current state variables vector and some subsequent variables vectors. For this model, the forming of a plan is reduced to qualitative analysis of dynamic properties of the implicit binary dynamic system. In particular, these are reachability or cyclicity properties over a given discrete time interval. At the final stage of this method, the verification of the Boolean formula satisfiability is performed. This formula includes the equation of the dynamics of the implicit Boolean network and the specification of the dynamical property being verified. The considered approach is demonstrated on the problem of planning a river crossing and constructing a Hamiltonian cycle in a graph. A specialized parallel algorithm for solving deeply structured Boolean satisfiability problems is proposed, which provides scalability with an increase in their dimension. © 2022 Croatian Society MIPRO.

关键词： Hamiltonians

来源：评论

学校读者我要写书评

暂无评论

On a Global Search in Bilevel Optimization Problems with a Bimatrix Game at the Lower Level 23rd

On a Global Search in Bilevel Optimization Problems with ...

引用

23rd International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2024

作者： Orlov, Andrei V. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia

ISBN: (纸本)9783031627910

This paper addresses one class of bilevel optimization problems (BOPs) with an equilibrium at the lower level (in optimistic statement). Namely, we study BOPs with a convex quadratic optimization problem under linear constraints at the upper level and with a parametric non-normalized bimatrix game at the lower one, where we need to find a Nash equilibrium. In order to construct numerical methods for the problem in question, first, we transform the original bilevel problem into a single-level nonconvex optimization problem by replacing the lower level with its optimality conditions. Then we apply the Exact Penalization theory and Global Search theory (GST) to the resulting problem. According to the standard research of nonconvex problems by the GST, we construct the d.c. representations of all nonconvex functions from the original statement (into the differences of two convex functions), formulate the Global Optimality Conditions in terms of reduced penalized problem, and develop local and global search method taking into account the specific of problem in question. The main feature of the developed methods consists in the possibility of varying the penalty parameter within the methods themselves. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：