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

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

UniMorph 4.0: Universal Morphology 13

UniMorph 4.0: Universal Morphology

引用

13th International Conference on Language Resources and Evaluation Conference, LREC 2022

作者： Batsuren, Khuyagbaatar Goldman, Omer Khalifa, Salam Habash, Nizar Kieraś, Witold Bella, Gábor Leonard, Brian Nicolai, Garrett Gorman, Kyle Ghanggo Ate, Yustinus Ryskina, Maria Mielke, Sabrina Budianskaya, Elena El-Khaissi, Charbel Pimentel, Tiago Gasser, Michael Lane, William Raj, Mohit Coler, Matt Samame, Jaime Rafael Montoya Camaiteri, Delio Siticonatzi Rojas, Esaú Zumaeta Francis, Didier L. Oncevay, Arturo Bautista, Juan L. Villegas, Gema Celeste Silva Hennigen, Lucas Torroba Ek, Adam Guriel, David Dirix, Peter Bernardy, Jean-Philippe Scherbakov, Andrey Bayyr-Ool, Aziyana Anastasopoulos, Antonios Zariquiey, Roberto Sheifer, Karina Ganieva, Sofya Cruz, Hilaria Karahóǧa, Ritván Markantonatou, Stella Pavlidis, George Plugaryov, Matvey Klyachko, Elena Salehi, Ali Angulo, Candy Baxi, Jatayu Krizhanovsky, Andrew Krizhanovsky, Natalia Salesky, Elizabeth Vania, Clara Ivanova, Sardana White, Jennifer Maudslay, Rowan Hall Valvoda, Josef Zmigrod, Ran Czarnowska, Paula Nikkarinen, Irene Salchak, Aelita Bhatt, Brijesh Straughn, Christopher Liu, Zoey Washington, Jonathan North Pinter, Yuval Ataman, Duygu Woliński, Marcin Suhardijanto, Totok Yablonskaya, Anna Stoehr, Niklas Dolatian, Hossep Nuriah, Zahroh Ratan, Shyam Tyers, Francis M. Ponti, Edoardo M. Aiton, Grant Arora, Aryaman Hatcher, Richard J. Kumar, Ritesh Young, Jeremiah Rodionova, Daria Yemelina, Anastasia Andrushko, Taras Marchenko, Igor Mashkovtseva, Polina Serova, Alexandra Prud'Hommeaux, Emily Nepomniashchaya, Maria Giunchiglia, Fausto Chodroff, Eleanor Hulden, Mans Silfverberg, Miikka McCarthy, Arya D. Yarowsky, David Cotterell, Ryan Tsarfaty, Reut Vylomova, Ekaterina National University of Mongolia Mongolia Bar-Ilan University Israel Johns Hopkins University United States University of Trento Italy University of York United Kingdom Carnegie Mellon University United States Brian Leonard Consulting Indiana University United States University of British Columbia Canada Dharmsinh Desai University India New York University Abu Dhabi United Arab Emirates University of Cambridge United Kingdom University of Gothenburg Sweden University of Oregon United States Australian National University Australia ILSP Athena RC University of Groningen Netherlands KU Leuven Belgium University of Louisville United States University of Edinburgh United Kingdom Pontificia Universidad Católica del Perú Peru Universidad Católica Sedes Sapientiae Filial Atalaya Peru Institute of Philology of the Siberian Branch of the Russian Academy of Sciences Russia Moscow State University Russia Boston College United States Higher School of Economics Institute of Linguistics Russian Academy of Sciences Russia STKIP Weetebula Institute for System Programming Russian Academy of Sciences Russia University at Buffalo United States Karelian Research Centre of the Russian Academy of Sciences Russia Swarthmore College United States New York University United States Northeastern Illinois University United States University of Helsinki Finland Tuvan State University Russia Georgetown University United States Charles Darwin University Australia Institute of Computer Science Polish Academy of Sciences Poland Universitas Indonesia Indonesia Stony Brook University United States Dr. Bhimrao Ambedkar University India Mila/McGill University Montreal Canada University of Colorado Boulder United States Graduate Center City University of New York United States George Mason University United States Ben-Gurion University of the Negev Israel ETH Zürich Switzerland University of Melbourne Australia

ISBN: (纸本)9791095546726

The Universal Morphology (UniMorph) project is a collaborative effort providing broad-coverage instantiated normalized morphological inflection tables for hundreds of diverse world languages. The project comprises two major thrusts: a language-independent feature schema for rich morphological annotation and a type-level resource of annotated data in diverse languages realizing that schema. This paper presents the expansions and improvements made on several fronts over the last couple of years (since McCarthy et al. (2020)). Collaborative efforts by numerous linguists have added 67 new languages, including 30 endangered languages. We have implemented several improvements to the extraction pipeline to tackle some issues, e.g. missing gender and macron information. We have also amended the schema to use a hierarchical structure that is needed for morphological phenomena like multiple-argument agreement and case stacking, while adding some missing morphological features to make the schema more inclusive. In light of the last UniMorph release, we also augmented the database with morpheme segmentation for 16 languages. Lastly, this new release makes a push towards inclusion of derivational morphology in UniMorph by enriching the data and annotation schema with instances representing derivational processes from MorphyNet. © European Language Resources Association (ELRA), licensed under CC-BY-NC-4.0.

关键词： Morphology

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analysis of an Imprecise Epidemic System with Optimal Treatment and Vaccination Control

引用

Biophysical Reviews and Letters 2018年第2期13卷 37-60页

作者： Anjana Das M. Pal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721101 West Bengal India Department of Mathematics Sura Mahamaya Balika Vidyalaya Panskura 721152 West Bengal India

In this paper, we propose and analyze a Susceptible-Vaccinated-Exposed-Infected-Recovered (SVEIR) type infectious disease model with imprecise parameters. Introducing the interval numbers in functional form, the SVEIR model is proposed and formulated. The existence of possible equilibrium points with their feasibility criteria and an explicit value of basic reproduction number is obtained. The asymptotic stability of the system at different equilibrium points are also discussed. Next by considering treatment and vaccination as two control parameters, an optimal control problem is formulated and solved. Finally, some computer simulation works are given in support of our analytical results.

关键词： Basic reproduction number imprecise parameter optimal control transcritical bifurcation

来源：评论

学校读者我要写书评

暂无评论

Impact of fluctuation interferences to the responders performance of secondary surveillance radar system

Impact of fluctuation interferences to the responders perfor...

引用

2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018

作者： Svyd, I.V. Goriushkina, A.E. Zavolodko, G.E. Maltsev, O.S. Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine

ISBN: (纸本)9781538652640

The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-system and intentional correlated and uncorrelated interferences. The article estimates the impact of masking fluctuation interferences on the quality of the request signals detection. It is shown that the choice of time-interval codes as the request signals predetermined the low noise immunity of the considered systems when a channel is exposed by the fluctuation interference. © 2018 IEEE.

关键词： Signal detection

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lemma Functions for Frama-C: C Programs as Proofs

Lemma Functions for Frama-C: C Programs as Proofs

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Grigoriy Volkov Mikhail Mandrykin Denis Efremov Faculty of Computer Science Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow Russia

ISBN: (纸本)9781728112763;9781728112756

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed.

关键词： Tools Manuals Contracts Linux Kernel Economics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：