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

arXiv 2023年

作者： Bestuzheva, Ksenia Besançon, Mathieu Chen, Wei-Kun Chmiela, Antonia Donkiewicz, Tim van Doornmalen, Jasper Eifler, Leon Gaul, Oliver Gamrath, Gerald Gleixner, Ambros Gottwald, Leona Graczyk, Christoph Halbig, Katrin Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Koch, Thorsten Lübbecke, Marco Maher, Stephen J. Matter, Frederic Mühmer, Erik Müller, Benjamin Pfetsch, Marc E. Rehfeldt, Daniel Schlein, Steffan Schlösser, Franziska Serrano, Felipe Shinano, Yuji Sofranac, Boro Turner, Mark Vigerske, Stefan Wegscheider, Fabian Wellner, Philipp Weninger, Dieter Witzig, Jakob Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany ZIB-AIS2T Germany School of Mathematics and Statistics Beijing Institute of Technology Beijing100081 China RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science Netherlands ZIB-AIS2T I2DAMO GmbH Englerallee 19 Berlin14195 Germany ZIB-AIS2T HTW Berlin Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands Technische Universität Berlin Software and Algorithms for Discrete Optimization Straße des 17. Juni 135 Berlin10623 Germany ZIB Department A2IM Takustr. 7 Berlin14195 Germany RWTH Aachen-Lehrstuhl für OR Germany University of Exeter College of Engineering Mathematics and Physical Sciences Exeter United Kingdom Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany TU Darmstadt Fachbereich Mathematik Germany ZIB-A2IM Germany TU Berlin Germany ZIB-A2IM Software and Algorithms for Discrete Optimization Institute of Mathematics TU Berlin Germany GAMS Software GmbH c/o ZIB-AIS2T Germany

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of this paper is on the role of the SCIP Optimization Suite in supporting research. SCIP's main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP's application as a research tool and as a platform for further developments. Further, the paper gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon *** Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05 Copyright © 2023, The Authors. All rights reserved.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

International Conference on Soft Computing and Measurements (SCM)

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

ISBN: (数字)9781728196923

ISBN: (纸本)9781728196930

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.

关键词： Consumer behavior Mobile applications Sociology Statistics Logistics Analytical models Software

来源：评论

学校读者我要写书评

暂无评论

Electric power supply of steel producing companies: Schematic design solutions to improve reliability of power grids

引用

AIP Conference Proceedings 2022年第1期2686卷

作者： Gennady P. Kornilov Ildar R. Abdulveleev Oxana S. Logunova Palvan I. Kalandarov Obid Tursunov Dilshod Kodirov Doniyor Abdurakhimov 1Department of Power Supply of Industrial Enterprises Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 2Department of Computer Engineering and Programming Nosov Mangnitogorsk State Technical University Magnitogorsk Russia 3Department of Automation and Control of Technological Process and Production Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 4Department of Power Supply and Renewable Energy Sources Tashkent Institute of Irrigation and Agricultural Mechanization Engineers 100000 Tashkent Uzbekistan 5Research Institute of Forestry 111104 Tashkent Uzbekistan 6Gulistan State University 120100 Gulistan Uzbekistan

This research is aimed at improving electric power supply reliability at major industrial plants by applying schematic design solutions. The authors analyzed the features of branch electric power distribution systems at a metallurgical plant; considered options of their revamping to improve reliability of electric power supply; carried out experimental research on splitting 110 kV meshed system at the integrated iron and steel works. When performing the research, mathematical simulation methods and full-scale experiment methods were used. Following the research, we proposed three options to revamp the power grid at the industrial plant applying schematic design solutions: Scheme A - separating substations, causing problems, in an individual block; Scheme B - separating independent 110 kV closed electric power grids; Scheme C – splitting the meshed system into two independent circuits. It is proved that the most efficient solution is Scheme C, which is characterized by a lower number of unscheduled downtimes of the facilities by mitigating the effects of faults in one of meshed systems on a continuous operation of shops powered from the neighboring grid; eliminated risks of simultaneous stops of all or the majority of metallurgical shops of the works during short circuits in 110 kV grids; and a considerable reduction in short circuit currents and active losses in 110 kV industrial grids. An aggregate benefit from the proposed measures aimed at revamping of the electrical grid of metallurgical units by applying schematic design solutions is over USD750,000/year.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Product of interval-valued fuzzy graphs and degree

Product of interval-valued fuzzy graphs and degree

引用

作者： Rashmanlou, Hossein Pal, Madhumangal Borzooei, Rajab Ali Mofidnakhaei, F. Sarkar, Biswajit Department of Computer Science University College of Adib Sari Iran Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Mathematics Shahid Beheshti University Tehran Iran Department of Physics Sari Branch Islamic Azad University Sari Iran Department of Industrial and Management Engineering Hanyang University Erica Campus Ansan Korea Republic of

Theoretical concepts of graphs are highly utilized by computer science applications. Especially in research areas of computer science such as data mining, image segmentation, clustering, image capturing and networking. The interval-valued fuzzy graphs are more flexible and compatible than fuzzy graphs due to the fact that they have many applications in networks. In this paper, at first we define three new operations on interval-valued fuzzy graphs namely strong product, tensor product and lexicographic product. Likewise, we study about the degree of a vertex in interval-valued fuzzy graphs which are obtained from two given interval-valued fuzzy graphs using the operations Cartesian product, composition, tensor and strong product of two interval-valued fuzzy graphs. These operations are highly utilized by computer science, geometry, algebra, number theory and operation research. In addition to the existing operations these properties will also be helpful to study large interval-valued fuzzy graph as a combination of small, interval-valued fuzzy graphs and to derive its properties from those of the smaller ones. © 2018 - IOS Press and the authors. All rights reserved.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Deep Learning researches in Turkey: An academic approach 13

Deep Learning researches in Turkey: An academic approach

引用

13th International Conference Perspective Technologies and Methods in MEMS Design, MEMSTECH 2017

作者： Pala, Zeydin Yamli, Veysi Ünlük, Ibrahim Halil Computer Engineering Department Mus Alparslan University Turkey Computer Programming Department Bitlis Eren University Turkey Computer Programming Department Mus Alparslan University Turkey

ISBN: (纸本)9781538640005

Deep learning (DL) is deployed in Deep Neural Networks (DNNs), Recurrent Neural Networks (RNNs), Convolutional Neural Networks (CNNs), Deep Stacked Networks (DSNs), Deep Belief Networks (DBNs), and Deep Boltzmann Machines (DBMs). DL continues to take powerful steps to become a part of almost any software in the future. DL is one of the most popular research areas of machine learning. What makes it so popular is the exciting applications of recent times. Nowadays, improvement in machine learning provide ability to determine what an object in a picture does. The aim of this study is to reveal academic studies in the field of Deep Learning in Turkey and to evaluate their numerical results. Dataset search for studies in the field of DL were done in both the YÖKSIS database in Turkey and the internationally operated Web of Science and Scopus services. Finally, some evaluations were made to emphasize the importance of DL for the country. © 2017 IEEE.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Forming the logical conclusion about sufficiency of information of software requirements specification for software quality assessment by ISO 25010:2011 1

Forming the logical conclusion about sufficiency of informat...

引用

1st IEEE Ukraine Conference on Electrical and computer engineering, UKRCON 2017

作者： Hovorushchenko, Tetiana Computer Engineering and System Programming Department Khmelnitsky National University Khmelnitsky Ukraine

ISBN: (纸本)9781509030064

The aim of this study is the development of the method of generating and filling the template of ontology for the quality of the concrete software and method of forming the logical conclusion about the sufficiency of information of software requirements specification (SRS) for software quality assessment (by ISO 25010:2011). The first time proposed method of generating and filling the template of ontology for the quality of the concrete software leaves in the relevant ontology only measures, which are available in the SRS for the concrete software. It provides forming the ontology for the quality of the concrete software. The first time developed method of forming the logical conclusion about the sufficiency of the SRS information for software quality assessment provides the conclusion about the sufficiency or insufficiency of the SRS information for software quality assessment by ISO 25010:2011. If the SRS information is insufficient, this method: provides the conclusion for which characteristics and sub-characteristics the information is insufficient;creates the sorted list of missing measures as the recommended priority of their addition in the SRS;evaluates the veracity of software quality assessment based on the available in the SRS measures. © 2017 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Developing an informational model of instrumental examination

引用

Journal of Physics: Conference Series 2019年第3期1260卷

作者： A Filatova A Povoroznyuk S Gavrylenko M Fahs Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine

This document presents the development of an informational model of instrumental examination of a patient using the data flow diagrams (DFD). The developed informational model of the instrumental examination is presented in the form of a context diagram, its decomposition, and the decomposition of the subsystems «Registration and analysis of biomedical signals and images with locally concentrated features» and «Diagnostics». Taking into account the proposed information model, UML diagrams of the activity of the biomedical decision support system based on morphological analysis of biomedical signals and images with locally concentrated features, of the module for morphological analysis of an electrocardiogram, and of the module for improving the quality of visualization of biological objects on radiological images based on the IMRI method are developed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Relations of attention and meditation level with learning in engineering education 9

Relations of attention and meditation level with learning in...

引用

9th International Conference on Electronics, computers and Artificial Intelligence, ECAI 2017

作者： Ülker, Büsra Tabakcioǧlu, Mehmet Bariş Çizmeci, Hüseyin Ayberkin, Doruk Electrical-Electronics Engineering Department Bursa Technical University Bursa Turkey Computer Programming Department Hitit University Çorum Turkey Computer Programming Department Bayburt University Bayburt Turkey

ISBN: (纸本)9781509064571

Neurons use electricity in order to communicate to each other. Due to numerous signals sent by neurons, there are oodles of electrical activity in the brain. Sensitive equipment like electroencephalogram (EEG) biosensor perceives the brainwaves emanated from neurons. Beta waves are responsible for problem solving or decision making and associated with attention. Alpha waves are associated with now and meditation. Neurosky EEG biosensor perceives the brainwaves and transforms these brainwaves into attention and meditation values. In this study, Neurosky EEG biosensor is used for measuring the attention and meditation levels of students. A program is developed in C# medium. The developed program records raw brainwave data, attention and meditation average while the students are studying. As the attention and meditation levels are high, the students learn the subjects in the course. If predetermined meditation and attention level are not caught, the developed program does not give permission to pass to another subject. Because of that the students have less meditation and attention average than the predetermined value;they get fewer grades in the exam. © 2017 IEEE.

关键词： Brain computer interface

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Software Requirements Specifications Using Ontology-Based Intelligent Agent

Evaluating the Software Requirements Specifications Using On...

引用

International Scientific and Technical Conference on computer Science and Information Technologies

作者： Tetiana Hovorushchenko Olga Pavlova Computer Engineering and System Programming Department Khmelnitsky National University (KhNU) Khmelnitsky Ukraine Informatics department Khmelnitsky Gymnasium No.2 Khmelnitsky Ukraine

The purpose of this study is the development of the method of activity of ontology-based intelligent agent (OBIA) for evaluating the software requirements specifications (SRS). OBIA works on the basis of the developed method, and evaluates the sufficiency of information in the SRS for assessing the non-functional software features - provides the conclusion and the numerical evaluation of the level of sufficiency of information in the SRS for assessment of non-functional features.

关键词： Software Software requirements specification (SRS) Ontology Intelligent agent (IA) Ontology-based intelligent agent (OBIA)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：