咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 560 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 318 篇 理学
    • 180 篇 数学
    • 119 篇 物理学
    • 42 篇 统计学(可授理学、...
    • 39 篇 系统科学
    • 30 篇 化学
    • 19 篇 地球物理学
    • 12 篇 生物学
    • 8 篇 天文学
  • 308 篇 工学
    • 199 篇 计算机科学与技术...
    • 144 篇 软件工程
    • 37 篇 控制科学与工程
    • 29 篇 电气工程
    • 27 篇 信息与通信工程
    • 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
  • 8 篇 mathematical mod...
  • 7 篇 dynamical system...
  • 7 篇 task analysis
  • 7 篇 process control
  • 7 篇 control theory
  • 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 篇 俄文
  • 10 篇 其他
检索条件"机构=Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk"
560 条 记 录,以下是11-20 订阅
排序:
Implementation of a brute force attack on the A5/1 keystream generator in a GPU-based volunteer computing project  3
Implementation of a brute force attack on the A5/1 keystream...
收藏 引用
3rd International Conference BOINC-Based High Performance Computing: Fundamental Research and Development, BOINC:FAST 2017
作者: Bulavintsev, Vadim Semenov, Alexander Zaikin, Oleg Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
We present an advanced brute force attack on the A5/1 keystream generator, that is still widely used in modern GSM networks. To greatly reduce the search space, we use a well-known idea, introduced by R. Anderson more... 详细信息
来源: 评论
An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step Generator  20th
An Improved SAT-Based Guess-and-Determine Attack on the Alte...
收藏 引用
20th International Conference on Information Security, ISC 2017
作者: Zaikin, Oleg Kochemazov, Stepan Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
In this paper, we propose an algorithm for constructing guess-and-determine attacks on keystream generators and apply it to the cryptanalysis of the alternating step generator (ASG) and two its modifications (MASG and... 详细信息
来源: 评论
On Solving Bilevel Optimization Problems with a Nonconvex Lower Level: The Case of a Bimatrix Game  20th
On Solving Bilevel Optimization Problems with a Nonconvex Lo...
收藏 引用
20th International Conference on Mathematical Optimization theory and Operations Research, MOTOR 2021
作者: Orlov, A.V. Matrosov Institute for System Dynamics and Control Theory of SB of RAS Irkutsk Russia
This paper addresses the optimistic statement of one class of bilevel optimization problems (BOPs) with a nonconvex lower level. Namely, we study BOPs with a convex quadratic objective function at the upper level and ... 详细信息
来源: 评论
Analysis of service calls for construction of the semantic network of services  1
Analysis of service calls for construction of the semantic n...
收藏 引用
1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018
作者: Fedorov, Roman K. Shumilov, Alexander S. Voskoboynikov, Mikhail L. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
The paper proposes a method for obtaining the missing information in the construction of a semantic network, based on the analysis of statistical data about the service use by users. The advantage of the method is tha... 详细信息
来源: 评论
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
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 pla... 详细信息
来源: 评论
Algorithm for improvement of digital terrain models represented by triangulations  1
Algorithm for improvement of digital terrain models represen...
收藏 引用
1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018
作者: Hmelnov, Alexei E. Hmelnova, Tatiana F. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
When constructing a digital terrain model from the available vector data, iso-lines (relief contour lines) are used as the main source of information. Also the maps may contain the point elevation marks. To obtain the... 详细信息
来源: 评论
A domain-specific language for transformation models  1
A domain-specific language for transformation models
收藏 引用
1st Scientific-Practical Workshop on Information Technologies: Algorithms, Models, systems, ITAMS 2018
作者: Dorodnykh, Nikita O. Yurin, Alexandr Yu. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
The efficiency of the intelligent systems engineering on the basis of conceptual models can be improved through the use of specialized languages. The paper describes a domain-specific language designed for describing ... 详细信息
来源: 评论
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
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 condit... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Analysis of comparative effectiveness of state-of-the-art heuristics for CDCL SAT solvers  1
Analysis of comparative effectiveness of state-of-the-art he...
收藏 引用
1st International Workshop on Advanced Information and Computation Technologies and systems, AICTS 2020
作者: Kochemazov, Stepan Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia
The Conflict-Driven Clause Learning algorithms for solving the Boolean satisfiability problem comprise the major part of the methods used to solve various instances of the problems that arise in industry and science. ... 详细信息
来源: 评论