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

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

作者： Davydov, Ivan Vasilyev, Igor Ushakov, Anton V. Sobolev Institute of Mathematics of SB RAS 4 Acad. Koptyug av. Novosibirsk630090 Russia Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov str. Irkutsk664033 Russia Novosibirsk Research Center Huawei Russian Research Institute Novosibirsk630090 Russia

ISBN: (纸本)9783031432569

Personnel scheduling is an active research field motivated by not only economic considerations but also the understanding of importance of improving working conditions and fairness in assigning employees to tasks. A large number of daily tasks and an expanding staff require effective automation of the task allocation process. In the problem under consideration, given sets of tasks and staff, it is required to assign the certain number of employees to each task, taking into account their skills. The goal is to minimize penalties induced by conflicting assignments as well as by uneven workload of the staff. To solve the problem, a two-phase heuristic consisting of a greedy heuristic followed by a randomize tabu search has been developed. Computational experiments shows that the proposed approach allows us to find optimal or near-optimal solutions on instances corresponding to real-life problems. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Tabu search

来源：评论

学校读者我要写书评

暂无评论

The framework of the digital environment for analysing of seismic hazards of lithosphere blocks in Baikal-Mongolian region 2

The framework of the digital environment for analysing of se...

引用

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

作者： Bychkov, I.V. Ruzhnikov, G.M. Paramonov, V.V. Mikhailov, A.A. Fedorov, R.K. Klyuchevskii, A.V. Dem'yanovich, V.M. Demberel, S. Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk Russia Irkutsk Scientific Center SB RAS Irkutsk Russia Institute Mathematics Economics and Informatics of Irkutsk State University Irkutsk Russia Institute of the Earth's Crust SB RAS Irkutsk Russia Institute of Astronomy and Geophysics Mongolian Academy Ulaanbaatar Mongolia

The Baikal-Mongolian region is the territory with high seismic activity for which issues of the dynamic interaction of mobile areas with the platform block at a neotectonic stage. Also, it is a pattern of a late Cainozoic fault formation are insufficiently studied. In this regard development of methods of zoning of seismic hazard of territories, with use of modern geoinformation, web technologies and service – the oriented paradigm is relevant. The information and analytical environment (IAE) of geoportal type allowing to integrate diverse databases of monitoring and to apply services to a solution of a number of problems of comparison and assessment of the dangerous geological processes happening in the region are developed for the analysis and assessment of dangerous geological processes. At the same time can be used, both local services, and distributed in an Internet network that allows application of the models, algorithms and databases developed by other researchers. The offered approach provides a possibility of loading of heterogeneous space and thematic data of IAE, including, contained in directories and bulletins of earthquakes of the Baikal-Mongolian region. IAE allows to carry out creation of various thematic cards and also to visually represent results of modelling of geological processes and zoning of seismic hazard. Copyright © 2019 for this paper by its authors.

关键词： Zoning

来源：评论

学校读者我要写书评

暂无评论

Existence and Relaxation of Bv Solutions for a Sweeping Process with Prox-Regular Sets

SSRN

引用

SSRN 2023年

作者： Tolstonogov, Alexander A. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences Lermontov str. 134 Irkutsk664033 Russia

In this paper, we study a discontinuous sweeping process involving prox-regular sets and a multivalued perturbation in a separable Hilbert space. The variation of the moving set is controlled by a positive Radon measure and the values of the perturbation are closed, not necessarily convex sets. A solution of the sweeping process is a pair consisting of a right continuous function of bounded variation whose differential measure is absolutely continuous with respect to some positive Radon measure and an integrable selector of theperturbation considered on this *** with the original perturbation we consider the perturbation with the convexified values. We prove theorems of existence and relaxation of solutions. The latter means the density of the solution set of the sweeping process with the original perturbation in the solution set of the sweeping process with the convexified perturbation. © 2023, The Authors. All rights reserved.

关键词： Radon

来源：评论

学校读者我要写书评

暂无评论

Ontology Driven Development of Rule-Based Expert systems

Ontology Driven Development of Rule-Based Expert Systems

引用

Russia and Pacific Conference on Computer Technology and Applications (RPC)

作者： Nikita O. Dorodnykh Aleksandr Y. Yurin Alexander B. Stolbov Lab. of Information technologies for the study of natural and technogenic safety Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (ISDCT) Irkutsk Russian Federation Lab. of System analysis and computational methods Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (ISDCT) Irkutsk Russia

ISBN: (纸本)9781538675328

An ontology-driven development process of rule-based expert systems and knowledge bases is described. The process is based on a redefined approach, namely, a model-driven development (MDD). The main feature of the proposed process is the use of ontology as a computation-independent model (CIM). At the same time, ontology is created by analyzing the conceptual models of a subject domain, in particular, UML class diagrams presented in XML-based formats. The Rule Visual Modeling Language (RVML) is used as the extension of a UML for the development of a platform-independent and platform-specific models, and also the C language integrated production system (CLIPS) is used as the target platform. The formalized descriptions of the approach stages and model transformations are considered. The approach proposed allows one: to eliminate programming errors through the automatic code generation; to reduce a time of identification, conceptualization, and formalization stages due to the use of ontologies. The Knowledge Base Development system (KBDS) and the Personal Knowledge Base Designer (PKBD) implement processes and algorithms described and they intend for the rapid development of prototypes of rule-based expert systems and knowledge bases.

关键词： Unified modeling language Ontologies OWL Knowledge based systems Tools Visualization Software

来源：评论

学校读者我要写书评

暂无评论

Problem of optimal control in the system of semiconductor quantum points

Problem of optimal control in the system of semiconductor qu...

引用

作者： Gornov, A.Yu. Dvurechenskii, A.V. Zarodnyuk, T.S. Zinov'Eva, A.F. Nenashev, A.V. Institute of System Dynamics and Control Theory Siberian Branch Russian Academy of Sciences Irkutsk Russia Institute of Semiconductor Physics Siberian Branch Russian Academy of Sciences Novosibirsk Russia

For the operation of spin information swapping in the system of two vertically superposed layers of tunnel-coupled semiconductor quantum points, a problem of optimization of the time function of control voltage pulse was formulated. The corresponding problem of optimal control with terminal constraints was stated and solved. © 2011 Pleiades Publishing, Ltd.

关键词： Quantum chemistry

来源：评论

学校读者我要写书评

暂无评论

A proportional distribution of AUVs under decentralized control

A proportional distribution of AUVs under decentralized cont...

引用

Proceedings of the International Convention MIPRO

作者： N.V. Nagul Institute for System Dynamics and Control Theory Irkutsk Russia

The discrete-event model of a group of autonomous underwater vehicles (AUVs), operating under control of distributed supervisor (coordinators) in some large water area, is considered. The Lyapunov functions technique, developed for discrete-event systems, is exploited to establish the accessibility of the set describing a proportional distribution of the AUVs. Such distribution takes into consideration priorities of the areas on which the surveyed water area is divided. The ring topology with shortcuts, describing the placement of coordinators in the areas, is considered.

关键词： Vehicles Trajectory Topology Decentralized control Underwater vehicles Discrete-event systems Bipartite graph

来源：评论

学校读者我要写书评

暂无评论

Information modeling of business processes in X-ray fluorescent analysis

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

引用

Proceedings of the International Convention MIPRO

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

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.

关键词： Unified modeling language Mathematical model Software Object oriented modeling Calibration Decision support systems Analytical models

来源：评论

学校读者我要写书评

暂无评论

Inverting Cryptographic Hash Functions via Cube-and-Conquer

arXiv

引用

arXiv 2022年

作者： Zaikin, Oleg Novosibirsk State University Novosibirsk630090 Russia Matrosov Institute for System Dynamics and Control Theory SB RAS Irkutsk664033 Russia

MD4 and MD5 are fundamental cryptographic hash functions proposed in the early 1990s. MD4 consists of 48 steps and produces a 128-bit hash given a message of arbitrary finite size. MD5 is a more secure 64-step extension of MD4. Both MD4 and MD5 are vulnerable to practical collision attacks, yet it is still not realistic to invert them, i.e., to find a message given a hash. In 2007, the 39-step version of MD4 was inverted by reducing to SAT and applying a CDCL solver along with the so-called Dobbertin’s constraints. As for MD5, in 2012 its 28-step version was inverted via a CDCL solver for one specified hash without adding any extra constraints. In this study, Cube-and-Conquer (a combination of CDCL and lookahead) is applied to invert step-reduced versions of MD4 and MD5. For this purpose, two algorithms are proposed. The first one generates inverse problems for MD4 by gradually modifying the Dobbertin’s constraints. The second algorithm tries the cubing phase of Cube-and-Conquer with different cutoff thresholds to find the one with the minimum runtime estimate of the conquer phase. This algorithm operates in two modes: (i) estimating the hardness of a given propositional Boolean formula;(ii) incomplete SAT solving of a given satisfiable propositional Boolean formula. While the first algorithm is focused on inverting step-reduced MD4, the second one is not area-specific and is therefore applicable to a variety of classes of hard SAT instances. In this study, 40-, 41-, 42-, and 43-step MD4 are inverted for the first time via the first algorithm and the estimating mode of the second algorithm. Also, 28-step MD5 is inverted for four hashes via the incomplete SAT solving mode of the second algorithm. For three hashes out of them, it is done for the first time. Copyright © 2022, The Authors. All rights reserved.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

Logical approach to image recognition with spatial constraints

Logical approach to image recognition with spatial constrain...

引用

作者： Fedorov, R.K. Shigarov, A.O. Siberian Branch Institute of System Dynamics and Control Theory Russian Academy of Sciences Lermontov St. 134 Irkutsk 664033 Russia

In this paper an approach to recognizing objects on images is proposed. The approach is based on a logical inference using structural descriptions of objects. Searching boundary of objects on an image is performed as ... 详细信息

ISBN: (纸本)9789604742332

关键词： Image recognition

来源：评论

学校读者我要写书评

暂无评论

Flat inputs in the MIMO case

Flat inputs in the MIMO case

引用

作者： Waldherr, Steffen Zeitz, Michael Institute for Systems Theory and Automatic Control Universität Stuttgart Pfaffenwaldring 9 Stuttgart Germany Institute for System Dynamics Universität Stuttgart Pfaffenwaldring 9 Stuttgart Germany

ISBN: (纸本)9783902661807

We extend the notion of flat inputs, which we previously introduced in the SISO case, towards non-linear MIMO systems. For MIMO systems, we have to distinguish two cases for differential flatness, corresponding to feedback-linearizability either by a static or a quasistatic feedback. For the first case, the construction of flat inputs can be solved easily by means of the observability codistribution and indices. The second case remains an open problem, and we illustrate with an example that flat inputs can even be constructed for non-observable systems. In addition, we also discuss the problem of realizing flat inputs as physical actuators in mechanical systems. © 2010 IFAC.

关键词： Feedback

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：