Springer

67655

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Abductive Inference Method in Problems of Explaining the Observed

ISBN/ISSN: 

1555-6530

DOI: 

10.1134/S1064230721010111

Наименование источника: 

  • Journal of Computer and Systems Sciences International

Обозначение и номер тома: 

V. 60 № 1

Город: 

  • Moscow

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

153-161
Аннотация
The problems of artificial intelligence, control and decision-making with incomplete or unreliable information include a wide class of problems of abductive explanation of the observed, including cause–effect problems. The study is devoted to the substantiation of the method of logical formation of hypotheses explaining the observed. Means of knowledge representation and derivation of hypotheses are proposed. A language possessing the property of substitutability is introduced. The properties of language and the calculi introduced in it provide hypothesizing by combining deduction and abduction. In contrast to the well-known logical methods of abduction, the proposed techniques make it possible to derive hypotheses (minorants) that are necessary and sufficient for a formal explanation of the observed. Based on minorants in combination with the basic theory of the subject area, reliable causes of the observed or relevant circumstances leading to these causes are formed. In this case, in situations with the availability of empirical data, these causes and circumstances can also be formed in plausible versions. Examples from technology and medicine are considered.

Библиографическая ссылка: 

Васильев С.Н. Abductive Inference Method in Problems of Explaining the Observed // Journal of Computer and Systems Sciences International. 2021. V. 60 № 1. С. 153-161.

67624

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Coverage Path Planning for 3D Terrain with Constraints on Trajectory Curvature Based on Second-Order Cone Programming

ISBN/ISSN: 

978-3-030-92710-3

DOI: 

10.1007/978-3-030-92711-0_18

Наименование конференции: 

  • Advances in Optimization and Applications (OPTIMA 2021, Montenegro)

Наименование источника: 

  • Communications in Computer and Information Science (CCIS)

Обозначение и номер тома: 

Vol. 1514 CCIS

Город: 

  • Cham

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

258-272 https://link.springer.com/chapter/10.1007%2F978-3-030-92711-0_18
Аннотация
В точном земледелии часто рассматривается оптимальное создание полного покрытия для неровного поля с параллельными дорожками. Как правило, покрытие может быть определено некоторым начальным путем, относительно которого строится все покрытие. Для различных целей, таких как минимизация количества поворотов, некоторая часть границы поля может быть выбрана в качестве начального пути. Намеченные пути используются сельскохозяйственной техникой для выполнения своей работы. Предположим, что машина, идущая по пути, имеет так называемый рулевой механизм Аккермана. В этом случае транспортное средство может использовать только пути, кривизна которых не превышает заданное пороговое значение. По этой причине некоторые пути могут быть недопустимыми, что приводит к появлению пробелов в зоне покрытия поля. В этой статье мы рассматриваем метод планирования пути, который использует перекрытие некоторых заданных полос для исключения областей пропусков (необработанных областей). Для аппроксимации путей мы используем однородные кубические B-сплайновые кривые. Каждый элементарный сплайн этой кривой определяется четырьмя контрольными точками, которые рассчитываются алгоритмом. Целевой путь всегда лежит внутри выпуклой оболочки четырех соседних контрольных точек. Наш метод включает в себя наложение условий на оценку кривизны траектории, которые могут быть представлены как конусные ограничения второго порядка. Кроме того, в критерий оптимизации включена оценка кривизны, что позволяет выпрямлять пути при их построении. В результате задача построения соседнего пути может быть представлена ​​как задача программирования конуса второго порядка (SOCP). Алгоритм протестирован на данных, взятых на реальных полях.

Библиографическая ссылка: 

Рапопорт Л.Б., Тормагов Т.А. Coverage Path Planning for 3D Terrain with Constraints on Trajectory Curvature Based on Second-Order Cone Programming / Communications in Computer and Information Science (CCIS). Cham: Springer, 2021. Vol. 1514 CCIS. С. 258-272 https://link.springer.com/chapter/10.1007%2F978-3-030-92711-0_18.

67554

Автор(ы): 

Автор(ов): 

3

Параметры публикации

Тип публикации: 

Доклад

Название: 

Mechanisms of Information Support for the Digital Transformation of Space Complexes Based on the Concept of Socio-cyber-physical Self-organization

ISBN/ISSN: 

2367-3370

DOI: 

10.1007/978-3-030-87178-9_62

Наименование конференции: 

  • 5th International Scientific Conference on Intelligent Information Technologies for Industry (IITI 2021, Sochi)

Наименование источника: 

  • Lecture Notes in Networks and Systems

Обозначение и номер тома: 

Vol. 330

Город: 

  • Cham

Издательство: 

  • Springer

Год издания: 

2022

Страницы: 

629-637
Аннотация
The article is devoted to the development of information support mechanisms for the digital transformation of space industry enterprises. To ensure the operation of spacecraft in the conditions of uncertainty of external influences, the article proposes a model-oriented approach to the design and support of the development of space industry enterprises as socio-cyber-physical systems. The purpose of the socio-cyber-physical model is to build digital twins and models of enterprise products on a common methodological basis for the development and debugging of large-scale functional systems that obey heuristic norms and patterns of sustainable and safe existence, reflexive behavior in regular and non-standard situations. With the current requirements for increasing the operating time of the spacecraft in orbit, it is necessary to predict the behavior of the onboard equipment for a period longer than the standard one. The article shows that for a time interval less than the planned active lifetime, the reliability characteristic is underestimated. With the transition over the planned period, traditional methods give a significant overestimation of the reliability function. In order to improve the mechanisms for creating spacecraft, the onboard equipment we considered as a large system, which has characterizes by the interaction functions of its elements. This approach allows us to evaluate the functional reliability of on-board equipment. In this regard, for informational support, the article focuses on big data and its use for modeling multicomponent systems connected to the environment of new technologies. Based on the study of the dynamics of the technical condition of functional blocks, this technology supposes to find reserves.

Библиографическая ссылка: 

Юркевич Е.В., Степановская И.А., Крюкова Л.Н. Mechanisms of Information Support for the Digital Transformation of Space Complexes Based on the Concept of Socio-cyber-physical Self-organization / Lecture Notes in Networks and Systems. Cham: Springer, 2022. Vol. 330. С. 629-637.

67508

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

The dispersionless Veselov--Novikov equation: symmetries, exact solutions, and conservation laws

ISBN/ISSN: 

1664-2368

DOI: 

10.1007/s13324-021-00563-8

Наименование источника: 

  • Analysis and Mathematical Physics

Обозначение и номер тома: 

Vol. 11, Iss. 3

Город: 

  • Berlin

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

126 (1-26) https://link.springer.com/article/10.1007/s13324-021-00563-8
Аннотация
We study symmetries, invariant solutions, and conservation laws for the dispersionless Veselov--Novikov equation. The emphasis is placed on cases when the {\sc ode}s involved in des\-crip\-ti\-on of the invariant solutions are integrable in quadratures. Then we find some non-invariant solutions, in particular, solutions that are polynomials of an arbitrary degree $N \ge 3$ with respect to the spatial variables. Finally we compute all conservation laws that are associated to cosymmetries of second order.

Библиографическая ссылка: 

Морозов О.И., Chang J.-H. The dispersionless Veselov--Novikov equation: symmetries, exact solutions, and conservation laws // Analysis and Mathematical Physics. 2021. Vol. 11, Iss. 3. С. 126 (1-26) https://link.springer.com/article/10.1007/s13324-021-00563-8.

67506

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Integrability structures of the generalized Hunter--Saxton equation

ISBN/ISSN: 

1664-2368

DOI: 

10.1007/s13324-021-00490-8

Наименование источника: 

  • Analysis and Mathematical Physics

Обозначение и номер тома: 

Vol.11, Iss. 2

Город: 

  • Berlin

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

50, (21) https://link.springer.com/article/10.1007/s13324-021-00490-8
Аннотация
We consider integrability structures of the generalized Hunter--Saxton equation. In particular, we obtain the Lax кepresentation with nonremovable spectral parameter, find local recursion operators for symmetries and cosymmetries, generate an infinite-dimensional Lie algebra of higher symmetries, and prove existence of infinite number of cosymmetries of higher order. Further, we give an example of employing the higher order symmetry to constructing exact globally defined solutions for the generalized Hunter--Saxton equation.

Библиографическая ссылка: 

Морозов О.И. Integrability structures of the generalized Hunter--Saxton equation // Analysis and Mathematical Physics. 2021. Vol.11, Iss. 2 . С. 50, (21) https://link.springer.com/article/10.1007/s13324-021-00490-8.

67468

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Modelling Smart City Cyber-Physical Water Supply Systems: Vulnerabilities, Threats and Risks

ISBN/ISSN: 

978-981161479-8

DOI: 

10.1007/978-981-16-1480-4_15

Наименование конференции: 

  • International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2020

Наименование источника: 

  • Communications in Computer and Information Science

Обозначение и номер тома: 

Том 1395

Город: 

  • Taganrog

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

168-180
Аннотация
The article presents an approach to modeling the cyber-physical water supply system of a smart city. The shortcomings of control models are considered, and the list of vulnerabilities of the cyber-physical water supply system of a smart city based on scenario modeling is supplemented. The features of modeling the cyber-physical water supply system of a smart city were formed by a comprehensive threat analysis. The proposed approach makes it possible to generalize vulnerabilities, threats and create requirements for modeling scenarios of violation of the management of cyber-physical water supply systems in order to reduce potential risks. Based on a multi-criteria assessment, the optimal model for control the cyber-physical water supply system of a modern city was determined - a Digital water utility with a centralized data exchange system based on the state information system for water resources management. The results of the study were practically used in one of the largest water supply companies in Russia - the city of Saint Petersburg.

Библиографическая ссылка: 

Фомин Н.А., Мещеряков Р.В. Modelling Smart City Cyber-Physical Water Supply Systems: Vulnerabilities, Threats and Risks / Communications in Computer and Information Science. Taganrog: Springer, 2021. Том 1395. С. 168-180.

67426

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Пленарный доклад

Название: 

Optimizing Coefficients of a Controller in the Point Stabilization Problem for a Robot-Wheel

Электронная публикация: 

Да

ISBN/ISSN: 

978-3-030-91058-7

DOI: 

10.1007/978-3-030-91059-4_14

Наименование конференции: 

  • 12th International Conference, OPTIMA 2021

Наименование источника: 

  • Lecture Notes in computer science, Vol. 13078

Обозначение и номер тома: 

Vol. 13078

Город: 

  • Cham, Switzerland

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

191-202
Аннотация
The problem of stabilizing a robot-wheel at a target point on a straight line subject to control and phase constraints is considered. The phase and control constraints are met by applying an advanced feedback law in the form of nested saturation functions. The selection of the feedback coefficients is discussed that optimizes the performance of the controller. An optimal controller is defined to be that that ensures the greatest convergence rate near the target point, while preserving a node-like phase portrait of the nonlinear system. The paper continues the work reported at the Optima 2020 conference [1], where an estimate of the greatest rate was obtained. The goal of this paper is to improve the results obtained in that work by considering a curvilinear asymptote and to get the exact value of the greatest rate.

Библиографическая ссылка: 

Пестерев А.В., Морозов Ю.В. Optimizing Coefficients of a Controller in the Point Stabilization Problem for a Robot-Wheel / Lecture Notes in computer science, Vol. 13078. Cham, Switzerland: Springer, 2021. Vol. 13078. С. 191-202.

67325

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Глава в книге

Название: 

Formation of Work Plans and Schedules at Enterprises with Conveyor Assembly

DOI: 

10.1007/978-3-030-85874-2_61

Наименование источника: 

  • Part of the IFIP Advances in Information and Communication Technology book series (IFIP AICT, volume 630)

Город: 

  • Nantes

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

572-579 https://link.springer.com/chapter/10.1007/978-3-030-85874-2_61
Аннотация
The methods of constructing plans and schedules for the production of components and assembly of manufactured products from them on the conveyors of machine-building enterprises are considered. Work planning can be carried out both in the production of incoming orders for manufactured products, and in the production of products taking into account the current demand for it.

Библиографическая ссылка: 

Хоботов Е.Н., Ермолова М.А. Formation of Work Plans and Schedules at Enterprises with Conveyor Assembly / Part of the IFIP Advances in Information and Communication Technology book series (IFIP AICT, volume 630). Nantes: Springer, 2021. С. 572-579 https://link.springer.com/chapter/10.1007/978-3-030-85874-2_61.

67258

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

Identification of Integrated Rating Mechanisms on Complete Data Sets

Электронная публикация: 

Да

ISBN/ISSN: 

978-3-030-85874-2

DOI: 

10.1007/978-3-030-85874-2_66

Наименование конференции: 

  • IFIP WG 5.7 International Conference "Advances in Production Management Systems" (APMS 2021) (Artificial Intelligence for Sustainable and Resilient Production Systems)

Наименование источника: 

  • Proceedings of IFIP WG 5.7 International Conference "Advances in Production Management Systems" (APMS 2021) (Artificial Intelligence for Sustainable and Resilient Production Systems)

Обозначение и номер тома: 

630

Город: 

  • Berlin

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

610-616
Аннотация
An approach to the selection of structure for integrated rating mechanism to be identified given complete learning dataset is suggested. Theoretical assertions and derived from them constructive algorithm for full binary tree selection are described. Challenges for the extension of the approach suggested to incomplete data sets are outlined.

Библиографическая ссылка: 

Коргин Н.А., Сергеев В.А. Identification of Integrated Rating Mechanisms on Complete Data Sets / Proceedings of IFIP WG 5.7 International Conference "Advances in Production Management Systems" (APMS 2021) (Artificial Intelligence for Sustainable and Resilient Production Systems). Berlin: Springer, 2021. 630. С. 610-616.

67257

Автор(ы): 

Автор(ов): 

5

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Review of Cooperative Game Theory applications in power system expansion planning

Электронная публикация: 

Да

ISBN/ISSN: 

1364-0321

DOI: 

10.1016/j.rser.2021.111056

Наименование источника: 

  • Renewable and Sustainable Energy Reviews

Обозначение и номер тома: 

145

Город: 

  • Berlin

Издательство: 

  • Springer

Год издания: 

2021

Страницы: 

111056
Аннотация
In recent years, mechanisms of cooperation in power systems have attracted increasing attention from academia and industry. Such mechanisms require sharing the benefits of cooperation among participants based on some rational and obvious principles. In this regard, Cooperative Game Theory (CGT) provides a rich theoretical background for the analysis of projects where participants (called players) can make collective actions to obtain mutual benefits. CGT concepts not only solve the subsequent allocation problems but also reveal the bargaining power of players and estimate the stability of cooperation over a project. In this paper, we aim to classify and promote CGT applications in power systems. While covering a broad range of applications (such as cost and benefit allocation, transmission pricing, projects ranking, allocation of power losses), we pay particular attention to power system expansion planning. We first introduce an illustrative example of cooperation in transmission expansion planning and discuss the applicability of CGT solution concepts. To give a complete picture of the state of the art, we perform a citation network analysis of more than 3000 related studies from 1996 to 2020. Exploiting the graph layout and modularity algorithms, we identify the main research communities and highlight their contributions. We found that significant progress has been achieved in developing mechanisms of cooperation in power systems based on CGT solution concepts. However, several challenges and limitations of these concepts still have to be overcome, such as scalability, nonconvexity of cooperative games, coalitions formation assumption, ex-post game-theoretic analysis, incompleteness and manipulability of information. The overview presented in this paper and the citation network analysis performed can help scientists and engineers in comprehending the CGT solution concepts, discovering novel applications for power systems, and contributing to this promising multidisciplinary research direction.

Библиографическая ссылка: 

Чуркин А.И., Бялек Я.В., Позо Д.К., Саума Э.Э., Коргин Н.А. Review of Cooperative Game Theory applications in power system expansion planning // Renewable and Sustainable Energy Reviews. 2021. 145. С. 111056.

Pages