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

Development the Numerical Method to Solve the Inverse Initial Value Problem for the Thermal Conductivity Equation of Composite Materials

学校读者我要写书评

暂无评论

Journal of Physics: Conference Series 2021年第3期1879卷

作者： H K Al-Mahdawi Department of System Programming School of Electronic Engineering and Computer Science South Ural State University Lenina 76 Chelyabinsk 454080 Russia

In this paper, the heat conduction equation for composite materials posed and solved. This problem is known as an inverse initial value problem for the heat conduction equation. In order to solve and formulate this inverse problem, the function spaces must be defined and represented. By studying and solving the direct problem for the heat equation in composite materials, it is possible to determine the function spaces and solve the inverse initial value problem. Scientific methods used: the separation of variables method used to solve the direct problem for the heat equation. It found that method separation of variables does not completely lead to the solution of the inverse initial value problem, since this method leads to a divergent series of solutions and rather massive errors. The heat conduction problem can be formulated as Fredholm integral first kind equations. The discretization algorithm applied to reformulated the problem as linear operator problem as matrix and vectors form. Then, Tikhonov's regularization inversion method has been used to find an approximation solution. Finally, as shown in the numerical example the regularized approximate solutions obtained.

关键词：

The SCIP Optimization Suite 9.0

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, Thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji Turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France

MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bugfixes. SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver. Copyright © 2024, The Authors. All rights reserved.

关键词： Mixed-integer linear programming

Using the Model of a Functional Rationalizer of Consumer Behavior in Recommendation Systems for Managing the Transport Activity of the Urban Population 23

学校读者我要写书评

暂无评论

Using the Model of a Functional Rationalizer of Consumer Beh...

23rd International Conference on Soft Computing and Measurements, SCM 2020

作者： Seliverstov, Yaroslav A. Seliverstov, Svytoslav A. Podoprigora, Nikolay V. Starichenkov, Alexey L. Naryshkin, Roman S. Solomenko Institute of Transport Problems Russian Academy of Sciences Institute of Computer Science and Technology Peter the Great St.Petersburg Polytechnic University Laboratory of Intelligent Transport Systems St. Petersburg Russia Saint Petersburg State University of Architecture and Civil Engineering Department of Ground Transportation Technological Machines St. Petersburg Russia Saint Petersburg Electrotechnical University 'LETI' Department of Ship Control Systems St. Petersburg Russia Saint Petersburg State University Department of Programming Technology St. Petersburg Russia

ISBN: (纸本)9781728196923

An overview of existing urban software mobile applications of the transport and economic direction is given. A model of a functional rationalizer of consumer behavior is being built. The software model of the functional rationalizer of consumer behavior (SM FRCB) was developed for the first time. PMFRCB allows the user to expand the number of his preferred needs (occupations, activities) during the daily cycle through intelligent recommendations. Also, SM FRCB allows you to optimize needs (activities, activities) at the cost and rate of their use. The SM FRCB is made in Python_3 using the libraries matplotlib, collections, numpy, pyplot, mplot3d. The analysis of consumer behavior before and after using the functional rationalizer model is carried out. The graphical results of a structural analysis of the costs of old and new consumer behavior, analysis of consumer behavior within the boundaries of the theory of possibilities and the model of transport behavior of a resident before and after applying the functional rationalizer model are presented. The prospects of further improving the SM FRCB are considered. © 2020 IEEE.

关键词： Smart city

Cyber-Typhon: An Online Multi-task Anomaly Detection Framework 15th

学校读者我要写书评

暂无评论

Cyber-Typhon: An Online Multi-task Anomaly Detection Framewo...

15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019

作者： Demertzis, Konstantinos Iliadis, Lazaros Kikiras, Panayiotis Tziritas, Nikos School of Engineering Department of Civil Engineering Faculty of Mathematics Programming and General Courses Democritus University of Thrace Kimmeria Xanthi Greece School of Science Department of Computer Science University of Thessaly Lamia Greece Research Center for Cloud Computing Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China

ISBN: (纸本)9783030198220

According to the Greek mythology, Typhon was a gigantic monster with one hundred dragon heads, bigger than all mountains. His open hands were extending from East to West, his head could reach the sky and flames were coming out of his mouth. His body below the waste consisted of curled snakes. This research effort introduces the "Cyber-Typhon" (CYTY) an Online Multi-Task Anomaly Detection Framework. It aims to fully upgrade old passive infrastructure through an intelligent mechanism, using advanced Computational Intelligence (COIN) algorithms. More specifically, it proposes an intelligent Multi-Task Learning framework, which combines On-Line Sequential Extreme Learning Machines (OS-ELM) and Restricted Boltzmann Machines (RBMs) in order to control data flows. The final target of this model is the intelligent classification of Critical Infrastructures’ network flow, resulting in Anomaly Detection due to Advanced Persistent Threat (APT) attacks. © 2019, IFIP International Federation for Information Processing.

关键词： Anomaly detection

Novel symmetric numerical methods for solving symmetric mathematical problems

学校读者我要写书评

暂无评论

International Journal of Circuits, Systems and Signal Processing 2021年 15卷 1545-1557页

作者： Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin Prospect 76 Chelyabinsk454080 Russia Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan

—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equations is conducted with the help of numerical integration theory. It is commonly known that a class of problems can be solved by applying numerical integration. The construction of the quadrature formula has a direct relation with the computation of definite integrals. The theory of definite integrals is used in geometry, physics, mechanics and in other related subjects of science. In this work, the existence and uniqueness of the solution of above-mentioned equations are investigated. By this way, the domain has been defined in which the solution of these problems is equivalent. All proposed four problems can be solved using one and the same methods. We define some domains in which the solution of one of these problems is also the solution of the other problems. Some stable methods with the degree p © 2021, North Atlantic University Union NAUN. All rights reserved.

关键词： Integrodifferential equations

SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria

These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in Software Development Training and Education and the interested reader may know more about it at: https://*** The flagship contribution is the organization of two summer schools on sustainable software production. The first summer school is moved due to the Corona pandemic. It is now scheduled for July 2022 in Rijeka, Croatia. This summer school will consist of lectures and practical work for master and PhD students in the area of computing science and closely related fields. There will be contributions from Plovdiv University, University of Ko\v{s}ice, University of Coimbra, University of Minho, E\"otv\"os Lor\'and University, University of Rijeka, Radboud University Nijmegen, University of Pula, University of Amsterdam and Babe\c{s}-Bolyai University. To prepare and streamline this summer school, the consortium organized a teacher training in Nijmegen, the Netherlands. This was an event of five full days on November 1-5, 2022 organized by Ingrid Berenbroek, Mart Lubbers and Pieter Koopman on the campus of the Radboud University Nijmegen, The Netherlands. Sustainability is one of the themes within the strategy of the Radboud University called `A Significant Impact', see https://***/sustainability/organisation/radboud-sustainable/. Sustainability plays an important role in education, research, and management. The contributions were reviewed and give a good overview of what can be expected from the summer school. Based on these papers and the very positive and constructive atmosphere, we expect a high quality and pleasant summer school. We are looking forward to contributing to a sustainable future. © 2022, CC BY-NC-ND.

关键词： Personnel training

Dunkl-gamma type operators including appell polynomials

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Taşdelen, Fatma Söylemez, Dilek Aktaş, Rabia Ankara University Faculty of Science Department of Mathematics Tandoǧan Ankara06100 Turkey Ankara University Department of Computer Programming Elmadag Vocational School Ankara Turkey

The aim of the present paper is to introduce Dunkl-Gamma type operators in terms of Appell polynomials and to investigate approximating properties of these *** 41A25, 41A36, Secondary 33C45 Copyright © 2019, The ... 详细信息

关键词： Polynomials

KOROVKIN TYPE APPROXIMATION OF ABEL TRANSFORMS OF q-MEYER-KÖNIG AND ZELLER OPERATORS

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Söylemez, Dilek Ünver, Mehmet Ankara University Elmadag Vocational School Department of Computer Programming Ankara06780 Turkey Ankara University Faculty of Science Department of Mathematics Ankara06100 Turkey

In this paper we investigate some Korovkin type approximation properties of the q-Meyer-König and Zeller operators and Durrmeyer variant of the q-Meyer-König and Zeller operators via Abel summability method which is a sequence-to-function transformation and which extends the ordinary convergence. We show that the approximation results obtained in this paper are more general than some previous results. Finally, we obtain the rate of Abel convergence for the corresponding operators.40A35, 40G10, 41A36 Copyright © 2019, The Authors. All rights reserved.

关键词： Approximation theory

Monitoring System for Prediction and Detection of Epilepsy Seizure

学校读者我要写书评

暂无评论

Monitoring System for Prediction and Detection of Epilepsy S...

International Conference on Advances in Computational Tools for Engineering Applications, ACTEA

作者： Nashaat el Halabi Roy Abi Zeid Daou Roger Achkar Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon MART Learning Education and Research Center Chananir Lebanon Department of Computer Architecture and System Programming University of Kassel Germany

Epilepsy is a neurological disorder associated with abnormal electrical activity in the brain, which causes seizures. The occurrence of seizure is not predictable; the duration between seizures, as well as the symptoms, varies from patient to another. Since the seizures are not predictable, and most of epileptic patients suffer from physical risky symptoms during the seizure, such patients are not able to perform daily work activities. The objective of this project is to design and implement a monitoring system for epileptic patients; the system should continuously check some vital signs, analyze the measurements, and decide whether the patient is nearly to have a seizure or not. Whenever a seizure is predicted, the system initiates an alarm. In addition, a notification should be sent to the health care responsible, as well as one preferred contact. By implementing the monitoring system, people who suffer from epilepsy will have more chance to work and live a normal life. Thus, this paper presents the concept of the overall system and shows results of the implemented systems: EEG, ECG and Fall Detection system. Results have shown that the fall detection accuracy reached 99.89% whereas the accuracy of the prediction using the ANN was about 97.34%.

关键词： Electroencephalography Epilepsy Feature extraction Tools Monitoring Artificial neural networks Support vector machines