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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是451-460 订阅

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

详细简洁

排序：

Temporal reasoning on the basis of new logic for intelligent control

Temporal reasoning on the basis of new logic for intelligent...

引用

IEEE International Symposium on Intelligent control (ISIC)

作者： S.N. Vassilyev Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

New logical apparatus for intelligent control is proposed. The problem of temporal reasoning on the basis of this apparatus with application to mobile objects is considered.

关键词： Logic Intelligent control Calculus control theory Application software Current control Real time systems Power system planning Inference mechanisms Production systems

来源：评论

学校读者我要写书评

暂无评论

The method of synthesis of derivability conditions for Horn formulas and some other formulas

The method of synthesis of derivability conditions for Horn ...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： S. Vassilyev Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

A method is given for synthesis of derivability conditions for formulas whose negations can be represented as Horn-type or as disjunctions of Horn-type formulas. These conditions are generated as solutions of the logical equation and are necessary if the process of inference and synthesis is finite and if the synthesis is applied only when the inference cannot be continued. The method restricts the combinatorial space of theorem synthesis by logical equations which bring substantial reduction of combinatorics. Special conditions of mutual compatibility between known members of the equation need not be satisfied a priori. Sufficiently pithy conditions satisfying some compromise between the criteria of deductive unimprovability (necessity) and simple verification of satisfiability are obtained. This paper also has some interrelations with inductive logic programming, which is defined as the method of extending the set of axioms of a particular theory such that the extended theory would be able to explain an assigned set of examples.

关键词： control system synthesis control theory H infinity control Decision making Sufficient conditions Acceleration Equations Calculus Logic programming

来源：评论

学校读者我要写书评

暂无评论

Visual Designing Knowledge Bases for Aircraft Diagnostics Using State Transition Diagrams

Visual Designing Knowledge Bases for Aircraft Diagnostics Us...

引用

Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT)

作者： Aleksandr Yu. Yurin Nikita O. Dorodnykh Yuri V. Kotlov Aleksandr L. Kivokurtsev Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences (ISDCT) Irkutsk National Research Technical University (INRTU) Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences (ISDCT) Irkutsk Russia Irkutsk Branch (MSTUCA) Moscow State Technical University of Civil Aviation Irkutsk Russia

ISBN: (数字)9798350362893

ISBN: (纸本)9798350362909

The development of knowledge bases for classical intelligent systems based on the formalism of logical rules remains an urgent task. One of the ways to improve the efficiency of this task is through visual programming in combination with the use of widely used graphical notations, in particular state transition diagrams. The paper considers the application of these principles in the creation of software components (a virtual assistant knowledge base) to support the diagnostics and maintenance of aircraft. The main steps of the approach are described: analysis of the domain and the allocation of basic concepts and relationships; construction of state transition diagrams using the results of the analysis; creation of elements of logical rules based on the analysis of the diagrams; and debugging and testing of the obtained knowledge base structures. An illustrative example with an indication of the recommended software is given. Based on the results of the approach, it was concluded that state transition diagrams are preferable in describing cyclic processes, as well as that they can be useful for verifying decision tables.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Stabilization of Multi-AUV formation with digital control

Stabilization of Multi-AUV formation with digital control

引用

International Convention on Information and Communication Technology, Electronics and Microelectronics

作者： S. A. Ul'yanov N. N. Maximkin Institute for System Dynamics and Control Theory / Department of Information Control Systems Irkutsk Russia

ISBN: (纸本)9781509025435

Formation stability problem for a team of autonomous underwater vehicles (AUV) with digital control is investigated. A leader-follower formation control algorithm for multi-AUV system is proposed. Feedback control signal for the follower, which is piecewise constant, is computed on the basis of discrete measurements of the distance and the bearing angle to the leader. A discrete observer for estimation of the derivatives of the distance and the bearing angle are used to improve the control performance. The parameters of the controller and observer are synthesized using a digital control system design method based on the vector Lyapunov functions that allows one to take into account the uncertainties of the plant, measurement errors, and control constraints. Numerical simulations are carried out to demonstrate the effectiveness of the proposed control scheme.

关键词： Observers Digital control Vehicle dynamics Stability analysis Feedback control Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Zero-Order Stochastic Conditional Gradient Sliding Method for Non-smooth Convex Optimization 22nd

Zero-Order Stochastic Conditional Gradient Sliding Method fo...

引用

22nd International Conference on Mathematical Optimization theory and Operations Research , MOTOR 2023

作者： Lobanov, Aleksandr Anikin, Anton Gasnikov, Alexander Gornov, Alexander Chukanov, Sergey Moscow Institute of Physics and Technology Dolgoprudny Russia ISP RAS Research Center for Trusted Artificial Intelligence Moscow Russia Moscow Aviation Institute Moscow Russia Matrosov Institute for System Dynamics and Control Theory Irkutsk Russia Institute for Information Transmission Problems RAS Moscow Russia Caucasus Mathematical Center Adyghe State University Maikop Russia Federal Research Center "Computer Science and Control" RAS Moscow Russia

ISBN: (纸本)9783031432569

The conditional gradient idea proposed by Marguerite Frank and Philip Wolfe in 1956 was so well received by the community that new algorithms (also called Frank–Wolfe type algorithms) are still being actively created. In this paper, we study a non-smooth stochastic convex optimization problem with constraints. Using a smoothing technique and based on an accelerated batched first-order Stochastic Conditional Gradient Sliding method, we propose a novel gradient-free Frank–Wolfe type algorithm called Zero-Order Stochastic Conditional Gradient Sliding (ZO-SCGS). This algorithm is robust not only for the class of non-smooth problems, but surprisingly also for the class of smooth black box problems, outperforming the SOTA algorithms in the smooth case in term oracle calls. In practical experiments we confirm our theoretical results. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Modelling energy systems of Vietnam with integration of renewable power sources 1

Modelling energy systems of Vietnam with integration of rene...

引用

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

作者： Edelev, A.V. Karamov, D.N. Sidorov, I.A. Binh, D.V. Nam, N.H. Anh, N.H. Duy, P.V. Hanh, P.T. Melentiev Energy Systems Institute of Siberian Branch of SB RAS Lermontov St. 130 Irkutsk664033 Russia Matrosov Institute for System Dynamics and Control Theory of SB RAS Lermontov St. 134 Irkutsk664033 Russia Institute of Energy Science of VAST Block A9 Hoang Quoc Viet Street Cau Giay District Hanoi Viet Nam

The paper addresses the research of the large-scale penetration of renewable energy into the power system of Vietnam. The proposed approach presents the optimization of operational decisions in different power generation technologies as a Markov decision process. It uses a stochastic base model that optimizes a deterministic lookahead model. The first model applies the stochastic search to optimize the operation of power sources. The second model captures hourly variations of renewable energy over a year. The approach helps to find the optimal generation configuration under different market conditions. Copyright © 2019 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Renewable energy resources

来源：评论

学校读者我要写书评

暂无评论

Digital monitoring of Lake Baikal and its coastal area 2

Digital monitoring of Lake Baikal and its coastal area

引用

2nd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2019

作者： Bychkov, Igor V. Ruzhnikov, Gennadii M. Khmelnov, Alexey E. Fedorov, Roman K. Madzhara, Taras I. Popova, Anastasia K. Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Lermontov st. 134 Irkutsk Russia Irkutsk Scientific Center Siberian Branch of Russian Academy of Sciences Lermontov st. 134 Irkutsk Russia Institute of Mathematics Economics and Informatics Irkutsk State University Gagarin Blvd. 20 Irkutsk Russia

The directions of the formation of a digital environmental monitoring system for Lake Baikal and its coastal territory are considered. An approach to its digitalization is proposed, based on the use of a service-oriented paradigm, infrastructure approach, and Web technologies. The collection of large volumes of digital data (Big Data) of environmental monitoring in a single data processing center will allow combining the speed of receiving, on-line transmission with information processing services about the current state of Lake Baikal, which will improve the quality of decisions. Copyright © 2019 for this paper by its authors.

关键词： Lakes

来源：评论

学校读者我要写书评

暂无评论

An approach to information export from database for complex master-detail table hierarchies into a single flat table form 1

An approach to information export from database for complex ...

引用

1st International Workshop on Advanced Information and Computation Technologies and systems, AICTS 2020

作者： Hmelnov, Alexei Ruzhnikov, Gennadiy Li, Tianjiao Xu, Huan Matrosov Institute for System Dynamics and Control Theory Siberian Branch Russian Academy of Sciences 134 Lermontov st. Irkutsk Russia "the Belt and Road" Institute for Information Technology Hangzhou Dianzi University No.115 Wenyi Road Xihu District Hangzhou China Hangzhou Dianzi University No.1158 Number Two Street Jianggan District Hangzhou China

When developing a database client application it is usually required to implement a capability to export information from database tables into some simple data-exchange representations of tables like the CSV (Comma-Separated Values) format. It is very straightforward to implement the export for a single database table. But some information about the records of a master table may be represented by the records from, sometimes, several detail tables, so the resulting CSV table would be incomplete without this information. We develop AIS (automated information systems) using declarative specifications of database applications (SDA). The AIS'es are implemented using general algorithms, which are directed by the specifications. In this article we'll consider the approach to generation of flat tables from the master-detail groups of tables, which allows users to represent compactly the data from a hierarchy of tables related by the master-detail relationships and to select conveniently which kind of information to include into the resulting table. © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Approach for Dynamic Elasticity of Virtual Machines Provisioning in Heterogeneous Distributed Computing Environment

Multi-Agent Approach for Dynamic Elasticity of Virtual Machi...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Alexander Feoktistov Ivan Sidorov Andrei Tchernykh Alexei Edelev Valery Zorkalzev Roman Kostromin Sergey Gorsky Igor Bychkov Arutyun Avetisyan Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia Matrosov Inst. for Syst. Dynamics & Control Theor. Irkutsk Russia Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia Melentiev Energy Systems Institute of the Siberian Branch of the Russian Academy of Sciences Irkutsk Russia

ISBN: (纸本)9781538678800

We address dynamic elasticity issues of VM provisioning in a heterogeneous distributed computing environment that integrates resources of a data center. We consider the scenario when the center includes dedicated resources (private cloud) for providing virtualized service and non-dedicated resources for Grid-computing. Existing platforms for the resource virtualization does not support management of such an infrastructure. We propose an approach to a job management based on the dynamic elasticity of virtual machines provisioning using resources of both types. We develop the multi¬agent job scheduler for dedicated resources and hypervisor shell to launch virtual machines through queues of resource management systems in non-dedicated resources. The scheduler provides a dynamic elasticity of virtual machine provisioning. Advantages of the offered approach to the resource virtualization are demonstrated by an example of a job flow management for a scalable application to solve the complicated practical problem. It is related to the energy security of Vietnam. Provided experiments show that using the developed tools together with the platform for the resource virtualization enables agents to significantly speed up the problem-solving process.

关键词： Cloud computing Resource management Dynamic scheduling Virtual machine monitors Elasticity Virtual machining

来源：评论

学校读者我要写书评

暂无评论

Telescope guidance via automatic theorem proving

Telescope guidance via automatic theorem proving

引用

IEEE International Conference on systems, Man and Cybernetics

作者： E. Cherkashin S. Vassilyev Institute of System Dynamics and Control Theory Russian Academy of Science Irkutsk Russia

The problem of real-time intelligent guidance of a telescope to the center of a planet in non-full phase is considered. A new logical first-order language of positively constructed formulae and its calculus are used as a logical instrument for deriving the control. Such an approach allows the characteristics of control systems to be improved. The authors consider in detail the control synthesis on the basis of an automatic refutation technique in time-driven and temporal reasoning modes.

关键词： Telescopes Automatic control Planets control systems Calculus Intelligent control Moon Instruments Optical devices Earth

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共69页 << < 42 43 44 45 46 47 48 49 50 51 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：