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

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

作者： Shigarov, Alexey Cherepanov, Igor Cherkashin, Evgeniy Dorodnykh, Nikita Khristyuk, Vasiliy Mikhailov, Andrey Paramonov, Viacheslav Rozhkow, Egor Yurin, Alexandr Matrosov Institute for System Dynamics and Control Theory 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 paper is devoted to the problem of an end-to-end table transformation from untagged portable documents (PDF) to linked data. It covers the issues of the table extraction from documents, the reconstruction of logical table structure, the conceptualization of their natural-language content, and the linking of extracted data with external vocabularies. We consider some perspective approaches for the deep-learning-based table detection, heuristic-based table structure recognition, rule-based table analysis, and knowledge-based table interpretation. They can be used as a basis to develop a consistent solution for this problem. Our application experience confirms that such solutions are demanded for populating databases and generating ontologies with tabular data being extracted from weakly and semi-structured documents. Copyright © 2019 for this paper by its authors.

关键词： Linked data

来源：评论

学校读者我要写书评

暂无评论

On global optimality conditions for D.C. Minimization problems with D.C. Constraints

Journal of Applied and Numerical Optimization

引用

Journal of Applied and Numerical Optimization 2021年第1期3卷 175-196页

作者： Strekalovsky, Alexander S. Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov st. 134 Irkutsk664033 Russia

The paper addresses the nonconvex nonsmooth optimization problem with the cost function, and equality and inequality constraints given by d.c. functions, i.e. represented as a difference of convex functions. The original problem is reduced to a problem without constraints with the help of the exact penalization theory. After that, the penalized problem is represented as a d.c. minimization problem without constraints, for which the new mathematical tools under the form of global optimality conditions (GOCs) are developed. The GOCs reduce the nonconvex problem in question to a family of convex (linearized with respect to the basic nonconvexities) problems. In addition, the GOCs are related to some nonsmooth form of the KKT-theorem for the original problem. Besides, the GOCs possess the constructive (algorithmic) property, which, when the GOCs are broken down, implies the producing of a feasible point that is better (in the original problem) than the one in question. The effectiveness of the GOCs is demonstrated by examples. © 2021 Journal of Applied and Numerical Optimization.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Theorem proving software, based on method of positively-constructed formulae

Theorem proving software, based on method of positively-cons...

引用

作者： Larionov, A.A. Cherkashin, E.A. Davydov, A.V. Irkutsk State University Irkutsk Russia Institute for System Dynamics and Control Theory Irkutsk Russia

ISBN: (纸本)9789532330670

The language of positively constructed formulae and its calculus are described in this paper. The results of a software system development for automated theorem proving in the calculus are presented. The implementation of the algorithms is based on different techniques for improving system performance and reduction of the amount of used memory. A number of strategies have been implemented as well. © 2011 MIPRO.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Application of HUBzero platform for the educational process in astroparticle physics 8

Application of HUBzero platform for the educational process ...

引用

Selected Papers of the 8th International Conference "Distributed Computing and Grid-Technologies in Science and Education", GRID 2018

作者： Kazarina, Yulia Bychkov, Igor Kryukov, Alexander Dubenskaya, Julia Korosteleva, Elena Nguyen, Minh-Duc Polyakov, Stanislav Postnikov, Evgeny Mikhailov, Andrey Shigarov, Alexey Fedorov, Oleg Shipilov, Dmitry Zhurov, Dmitry Applied Physics Institute Irkutsk State University Irkutsk Russia Matrosov Institute for System Dynamics and Control Theory Siberian Branch of Russian Academy of Sciences Irkutsk Russia Lomonosov Moscow State University Skobeltsyn Institute of Nuclear Physics Moscow Russia

In the frame of the Karlsruhe-Russian Astroparticle Data Life Cycle Initiative it was proposed to deploy an educational resource *** for the training of students in the field of astroparticle physics. This resource is based on HUBzero, which is an open-source software platform for building powerful websites, which supports scientific discovery, learning, and collaboration. HUBzero has been deployed on the servers of matrosov institute for system dynamics and control theory. The educational resource *** is being filled with the information covering cosmic messengers, astroparticle physics experiments and educational courses and schools on astroparticle physics. Furthermore, the educational resource *** can be used for online collaboration. We present the current status of this project and our first experience of application of this service as a collaboration framework. © 2018 Yulia Kazarina, Igor Bychkov, Alexander Kryukov, Julia Dubenskaya, Elena Korosteleva, Dmitriy Kostunin, Minh-Duc Nguyen, Stanislav Polyakov, Evgeny Postnikov, Andrey Mikhailov, Alexey Shigarov, Oleg Fedorov, Dmitry Shipilov, Dmitry Zhurov.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Congruent circles packing and covering problems for multi-connected domains with non-euclidean metric, and their applications to logistics

Congruent circles packing and covering problems for multi-co...

引用

2016 International Conference Mathematical and Information Technologies, MIT 2016

作者： Kazakov, Alexander Lempert, Anna Lebedev, Pavel Matrosov Institute for System Dynamics and Control Theory SB RAS Lermontov str. 134 Irkutsk664033 Russia Krasovskii Institute of Mathematics and Mechanics of UB RAS S. Kovalevskaja st. 16 Ekaterinburg620219 Russia

The article is devoted to optimal covering and packing prob- lems for a bounded set in a two-dimensional metric space with a given amount of congruous circles. Such problems are of both theoretical interest and practical relevance. For instance, such statements appear in logistics when one needs to locate a given number of commercial or social facilities. A numerical algorithm based on fundamental physical principles due to Fermat and Huygens is suggested and implemented. It allows us to solve the problems for the cases of non-convex sets and non-Euclidean metrics. The results of numerical experiments are presented and discussed. Calculations show the applicability of the proposed approach its high efficiency for covering of a convex set in the Euclidean space by a sufficiently large amount of circles.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

Parallel Clustering Algorithm for the k-medoids Problem in High-dimensional Space for Large-scale Datasets 19

Parallel Clustering Algorithm for the k-medoids Problem in H...

引用

19th International Asian School-Seminar on Optimization Problems of Complex systems, OPCS 2023

作者： Vandanov, Sergey Plyasunov, Aleksandr Ushakov, Anton Novosibirsk State University Department of Physics Novosibirsk Russia Sobolev Institute of Mathematics of Sb Ras Lab. of Mathematical Models of Decision Making Novosibirsk Russia Matrosov Institute for System Dynamics and Control Theory of Sb Ras Irkutsk Russia

ISBN: (纸本)9798350331134

We present a robust, parallel primal-dual heuristic algorithm for the k-medoids clustering problem, a widely utilized method in data mining and machine learning. Our approach surpasses current algorithms by effectively addressing their limitations, such as time-consuming distance matrix calculations, inefficient nearest-neighbor searches, and difficulties in handling large-scale datasets. To overcome these challenges, we employ an efficient parallel implementation, combined with a pioneering subgradient search algorithm. We evaluate our algorithm on the BIRCH and Stanford Dog datasets and demonstrate its superiority over existing k-medoids clustering algorithms in terms of solution quality and run time. Additionally, we introduce a novel vectorization technique that enables our algorithm to handle various types of data, such as images, text, and point data. Overall, our work contributes to the field of data mining and machine learning by providing an efficient and effective solution for the k-medoids clustering problem. The proposed algorithm offers improved performance, and versatility, making it a valuable tool for a wide range of applications. © 2023 IEEE.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

Valid inequalities for time-indexed formulations of the runway scheduling problem 9th

Valid inequalities for time-indexed formulations of the runw...

引用

9th International Conference on Discrete Optimization and Operations Research, DOOR 2016

作者： Avella, Pasquale Boccia, Maurizio Mannino, Carlo Vasilyev, Igor DING - Dipartimento di Ingegneria Università del Sannio Russia SINTEF ICT Norway Matrosov Institute for System Dynamics and Control Theory Siberian Branch of the Russian Academy of Sciences Lermontov 134 Irkutsk664033 Russia

The problem of sequencing and scheduling airplanes landing and taking off on a runway is under consideration. We propose a new family of valid inequalities which are obtained from the study of the single machine sched... 详细信息

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

The architecture of the software tool for the agent-based simulation models specification development 2

The architecture of the software tool for the agent-based si...

引用

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

作者： Pavlov, A.I. Stolbov, A.B. Dorofeev, A.S. Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of the Russian Academy of Sciences 134 Lermotov st. Irkutsk Russia Irkutsk National Research Technical University 83 Lermotov st. Irkutsk Russia

The architecture and a set of components of the software tool providing the development of agent-based simulation models (ABSMs) specifications are considered in the paper. The underlying of the proposed tool is the author’s methodology which specializes the well-known MDD (Model-Driven Development) approach to the ABSM development process. The components are implemented as interacting web-oriented applications utilizing modern standards of communications (HTTPS, SOAP, WSS). The third-party software (Madkit, Jade, Drools, Jboss) was also adapted for supporting component functionality. Copyright © 2019 for this paper by its authors.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Workbench for vulnerability analysis of Vietnam energy sector 3

Workbench for vulnerability analysis of Vietnam energy secto...

引用

3rd Scientific-Practical Workshop Information Technologies: Algorithms, Models, systems, ITAMS 2020

作者： Edelev, A.V. Fereferov, E.S. Hmelnov, A.E. Melentiev Energy Systems Institute of Siberian Branch of SB RAS Lermontov Str. 130 Irkutsk664033 Russia Matrosov Institute for System Dynamics and Control Theory of SB RAS 134 Lermontov St. Irkutsk664033 Russia

The paper addresses the problem of supporting research of the Vietnam energy sector vulnerability. The vulnerability study is understood as search for system weak points. A mathematical model has been developed to describe the energy sector of Vietnam. The model takes into account the characteristics and constraints of all objects of the energy sector: suppliers, consumers and the transport system. To study the vulnerability of the energy sector and make decisions, we have created a workbench that allows simulating increased loads and calculating the consequences. Specification-based database application development technology was applied to create the workbench. This technology allows you to quickly develop applications that provide interaction with databases and digital maps, as well as support interaction with external software modules. The main advantage of the proposed workbench is its flexibility and applicability at all stages of the study of the Vietnam energy sector vulnerability starting from gathering the energy operation and development information and ending with evaluation of satisfying demand in energy. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Development of cross-platform problem-oriented systems using specifications of database applications 2

Development of cross-platform problem-oriented systems using...

引用

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

作者： Hmelnov, Alexei Fereferov, Evgeny Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences 134 Lermontov st. Irkutsk Russia Institute of Mathematics Economics and Informatics Irkutsk State University Gagarin Blvd. 20 Irkutsk Russia

We consider the approach to development of AIS (automated information system) using declarative specifications of database applications (SDA). The specifications of database applications contain all the information about database structure, which is required to build a typical AIS. The information is represented in its pure form, so the specifications are rather concise. The AIS’es are implemented using general algorithms, which are directed by the specifications. We have developed algorithms for such tasks as: user interface generation, query building, report generation, GIS interaction. Using the specifications of database applications and the algorithms the software system GeoARM was implemented. The technology considered was well-tried by use of the system GeoARM for development of several dozens of true-life AIS for different purposes. In this article we’ll describe the approach, that we use for creation of several versions of the GeoARM engine, which use different data access libraries, from the common source code base. The resulting versions of the GeoARM engine allow us to create problem-oriented AIS’es for all the supported platforms from the single SDA. Copyright © 2019 for this paper by its authors.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：