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

作者： Irtegov, V.D. Titorenko, T.N. Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

暂无评论

Solving weakened cryptanalysis problems for the Bivium keystream generator in the volunteer computing project SAT@home 2

Solving weakened cryptanalysis problems for the Bivium keyst...

引用

2nd International Conference BOINC-Based High Performance Computing: Fundamental Research and Development, BOINC:FAST 2015

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

In this paper, a cryptanalysis of the Bivium keystream generator in the SAT form is considered. For encoding the initial cryptanalysis problem into SAT a special program system Transalg was used. For an obtained SAT instance we use Monte Carlo method to search for a partitioning with good time estimation. Several weakened cryptanalysis instances of the Bivium generator were successfully solved in the volunteer computing project SAT@home using corresponding partitionings found on a computing cluster.

关键词： Monte Carlo methods

来源：评论

学校读者我要写书评

暂无评论

Information modeling of business processes in X-ray fluorescent analysis

Information modeling of business processes in X-ray fluoresc...

引用

作者： Vorobyeva, O.P. Cherkashin, E.A. Ipatov, S.A. Paramonov, V.V. Institute for System Dynamics and Control Theory Irkutsk Russia

ISBN: (纸本)9789532330670

The article is devoted to the formalization of investigation processes of substances by means of the X-ray fluorescence analysis (XRF). The research is aimed at solving the problem of automation of the analytical investigations in the XRF, which suppose to increases the productivity of the analyst and the accuracy of determining the concentration of elements in samples. Decomposition of information processes has been represented in the IDEF0 standard as a hierarchy of the core activities. Based on the decomposition the information model of the domain is developed. The model is represented as UML-diagrams adapted to MDA (Model Driven Architecture) based generative programming tools. These tools allow one to transform the model automatically into a skeleton of information system for XRF techniques automation. © 2011 MIPRO.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

The sphere packing problem into bounded containers in three-dimension non-Euclidean space

引用

IFAC-PapersOnLine 2018年第32期51卷 782-787页

作者： Kazakov, A.L. Lempert, A.A. Ta, T.T. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk National Research Technical University Irkutsk Russia

This paper deals with the problem of optimal packing a given number of equal spheres into different closed sets. We consider the problem both in three-dimensional Euclidean and non-Euclidean spaces. The special algorithm based on optical-geometric approach is suggested and implemented. This approach is previously used only for packing circles in two-dimensional space. Numerical results are presented and discussed. © 2018

关键词： Spheres

来源：评论

学校读者我要写书评

暂无评论

Relaxation in nonconvex optimal control problems with subdifferential operators

引用

Journal of Mathematical Sciences 2007年第6期140卷 850-872页

作者： Tolstonogov, A.A. Institute of System Dynamics and Control Theory Siberian Department Russian Academy of Sciences Russian Federation

We consider the minimization problem of an integral functional in a separable Hilbert space with integrand not convex in the control defined on solutions of the control system described by nonlinear evolutionary equations with mixed nonconvex constraints. The evolutionary operator of the system is the subdifferential of a proper, convex, lower semicontinuous function depending on time. Along with the initial problem, the author considers the relaxed problem with the convexicated control constraint and the integrand convexicated with respect to the control. Under sufficiently general assumptions, it is proved that the relaxed problem has an optimal solution, and for any optimal solution, there exists a minimizing sequence of the initial problem converging to the optimal solution with respect to trajectories and the functional. An example of a controlled parabolic variational inequality with obstacle is considered in detail. © Springer Science+Business Media, Inc. 2007.

关键词： INTEGRAL functions HILBERT space BANACH spaces INNER product spaces CONSTRAINTS (Physics) DIFFERENTIAL geometry

来源：评论

学校读者我要写书评

暂无评论

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 that the semantic connection between the two services is confirmed by a workable example demonstrating the transfer of data from one service to another. In addition, together with the semantic network, we obtain the connectivity of the parameters by the data, the possible values of the parameters, the frequency characteristics of users' use of services and their compositions, the time of the services execution, etc. © 2018 CEUR-WS. All rights reserved.

关键词： Data transfer

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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. In recent years there have been proposed several major heuristics for these algorithms which are assumed to be de facto good for the solvers' performance over diverse sets of benchmarks. The goal of this paper is to evaluate the contribution of each separate heuristic to the performance of a state-of-the-art solver, see the extent to which they are beneficial, and figure out if the heuristics have any particular features that need to be taken into account. © 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9783030778750

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 with a bimatrix game at the lower level. It is known that the problem of finding a Nash equilibrium point in a bimatrix game is equivalent to the special nonconvex optimization problem with a bilinear structure. Nevertheless, we can replace such a lower level with its optimality conditions and transform the original bilevel problem into a single-level nonconvex optimization problem. Then we apply the original Global Search theory (GST) for general D.C. optimization problems and the Exact Penalization theory to the resulting problem. After that, a special method of local search, which takes into account the structure of the problem under consideration, is developed. © 2021, Springer Nature Switzerland AG.

关键词： Local search (optimization)

来源：评论

学校读者我要写书评

暂无评论

Computational study of activation dynamics on networks of arbitrary structure 7th

Computational study of activation dynamics on networks of ar...

引用

7th International Conference on Network Analysis, NET 2017

作者： Semenov, Alexander Gorbatenko, Dmitry Kochemazov, Stepan Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia

ISBN: (纸本)9783319962467

In this paper, we present the results on describing and modeling dynamical properties of collective systems. In particular, we consider the problems of activation and deactivation of collectives, represented by networks, by establishing special agents called activators and deactivators in a network. Such problems are combinatorial and to solve them, we employ the algorithms for solving Boolean satisfiability problem (SAT). Thus, we describe the general technique for reducing the problems from a considered class to SAT. The paper presents the novel approach to analysis of problems related to Computer Security. In particular, we propose to study the developing and blocking of attacks on computer networks as the processes of activation/deactivation. We give a number of theoretical properties of corresponding discrete dynamical systems. For the problems of blocking attacks on computer networks, the corresponding reduction to SAT was implemented and tested. At the present moment using state-of-the-art SAT solvers, it is possible to solve such problems for networks with 200 vertices. © Springer International Publishing AG, part of Springer Nature 2018.

关键词： Chemical activation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：