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

Digital Signal Processing and its Applications (DSPA), International Conference on

作者： Alexander L. Shestakov Dmitrii V. Galyshev Victoria A. Eremeeva Olga L. Ibryaeva laboratory of self-diagnostics and self-control of devices and systems South Ural State University Chelyabinsk Russia dept. of Applied Mathematics and Programming South Ural State University Chelyabinsk Russia

ISBN: (数字)9798331518752

ISBN: (纸本)9798331518769

The problem of diagnostics of broken rotor bars in an induction (IM) motor based on its current signals is considered. The proposed fault detection technique is based on filtering the current signal in the region around the frequency 7f, where f is the power supply frequency, and further obtaining its envelope using the Hilbert Transform. Scalograms are constructed from the envelopes using a Continuous Wavelet Transform and form a training dataset for the Convolutional Neural Network (CNN) classifier. In real industrial conditions, we have a lack of defective data which is simulated in this paper. It is shown that a CNN model trained on normal data obtained under different motor operating conditions and defective data obtained under one operating mode will poorly detect a defect when changing the operating mode. The reason for this lies in the characteristic defect frequencies change with the change in the operating mode. A data augmentation method based on spectrum distortion is proposed to solve this problem. We distort the spectrum of a real defective signal taking into account its structure and create synthetic data that simulate missing defective signals with different operating conditions. The paper presents the experimental rig and dataset, and shows that the spectral distortion-based augmentation technique significantly improves the performance of the CNN model under conditions of insufficient defective training data.

关键词： Training Power supplies Rotors Training data Distortion Data augmentation Data models Convolutional neural networks Bars Synthetic data

来源：评论

学校读者我要写书评

暂无评论

Integrated analytical information resource management system

Integrated analytical information resource management system

引用

2012 6th International Conference on Application of Information and Communication Technologies, AICT 2012

作者： Ghlonti, Giorgi Dept. of Informatics and Programming N. Muskhelishvili Institute of Computational Mathematics of the Georgian Technical University International Black Sea University Tbilisi Georgia

ISBN: (纸本)9781467317405

The paper is considered to the problems of development of analytical information resource management systems. The authors present a service-oriented architecture solution that provides data collection and aggregation at the points where information emerges. The user is provided by a set of functional complexes, allowing to build the applications covering the entire lifecycle of analytical information resource from the planning data collection to the stages of data processing. © 2012 IEEE.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Statistical optical image analysis for information system 7

Statistical optical image analysis for information system

引用

7th International Conference on Future Internet of Things and Cloud Workshops, FiCloudW 2019

作者： Ryazantsev, Oleksandr Khoroshun, Ganna Riazantsev, Andrii Ivanov, Vitalii Baturin, Aleksandr Volodymyr Dahl East Ukrainian National University Faculty of Information Technology and Electronics Severodonetsk Ukraine Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine

ISBN: (纸本)9781728144115

Optical image processing methods are important for creation and development of an automated measuring information optical system. Statistical methods provide additional information, a better understanding of the object that is being studied. They allow describing main features of the image by several parameters, such as mean value, median and standard deviation. For correlation of the computer simulation and experimental data the method of signal quantization is described. It is defined the parameters of the fitted normal distribution for the optical image variation curve and consent criteria of empirical and theoretical data by Romanovsky method. Obtained results can be used as the preliminary analysis for digital processing of the optical image with application in compression and encryption, holography, identification and tracking. © 2019 IEEE.

关键词： Optical systems

来源：评论

学校读者我要写书评

暂无评论

Resolution and path dissolution in multiple-valued logics 6th

Resolution and path dissolution in multiple-valued logics

引用

6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991

作者： Murray, Neil V. Rosenthal, Erik Inst. for Programming & Logics Dept. of Computer Science State Univ. of N.Y. at Albany AlbanyNY12222 United States Dept. of Mathematics University of New Haven 300 Orange Avenue West HavenCT06516 United States

ISBN: (纸本)9783540545637

Path dissolution is an inferencing mechanism for classical logic that efficiently generalizes the method of analytic tableaux. Two features that both methods enjoy are (in the propositional case) strong completeness and the ability to produce a list of essential models (satisfying interpretations) of a formula. The latter feature is particularly valuable in a setting in which one wishes to make use of satisfying interpretations rather than merely to determine whether any exist. In this paper we describe a method for employing dissolution as a deduction mechanism for a class of multiple-valued logics that we call the UNF logics. The basic idea is to keep track of the sign of the formula. Dissolution is shown to be a sound rule of inference as well as strongly complete in this setting. We also describe how the signing technique may be used to apply resolution to these logics;Robinson's semantic tree argument is adapted to prove completeness. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Dissolution

来源：评论

学校读者我要写书评

暂无评论

Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility

Hilbert's nullstellensatz and an algorithm for proving combi...

引用

21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008

作者： De Loera, Jesús A. Lee, Jon Malkin, Peter N. Margulies, Susan Dept. of Mathematics Univ. of California Davis Davis CA United States Mathematical Programming IBM T.J. Watson Res. Cntr. Yorktown Heights NY United States Dept. of Computer Science Univ. of California Davis Davis CA United States

ISBN: (纸本)9781595939043

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Model-based dynamic optimization with openmodelica and CasADi

Model-based dynamic optimization with openmodelica and CasAD...

引用

7th IFAC Symposium on Advances in Automotive Control, AAC 2013

作者： Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium

ISBN: (纸本)9783902823434

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a dieselelectric power train.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Speaker's Emotions Recognition Module Based on the GoogleLeNet Neural Network

Speaker's Emotions Recognition Module Based on the GoogleLeN...

引用

2022 International Conference on Smart Information Systems and Technologies, SIST 2022

作者： Tereikovskyi, Ihor Tereikovska, Liudmyla Kryvoruchko, Olena Tereikovskyi, Oleh Tyshchenko, Dmytro Franchuk, Tamara National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of System Programming And Specialized Computer Systems Kyiv Ukraine Kyiv National University Of Construction And Architecture Dept. Of Information Technology For Design And Applied Mathematics Kyiv Ukraine Kyiv National University Of Trade And Economics Dept. Of Software Engineering And Cyber Security Kyiv Ukraine National Technical University Of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Dept. Of Department Of Computer Engineering Kyiv Ukraine

ISBN: (数字)9781665467902

ISBN: (纸本)9781665467902

The article is devoted to the development of means for recognition of the emotions of the speaker, based on the neural network analysis of fixed fragments of the voice signal. The possibility of improving recognition tools through the use of a convolutional neural network of the GoogLeNet type is shown. The expediency of training the network on the examples of the TESS database is determined. A procedure for representing a voice signal in the form of a square grayscale image has been developed. Based on the use of the specified database, the modification of the GoogLeNet network was carried out. The architecture and software implementation of the recognition module have been developed. With the help of computer experiments, it has been established that after 150 epochs of training on a fairly limited training sample, the modified GoogLeNet makes it possible to achieve an accuracy of recognition of the speaker's emotions of approximately 0.97 on test examples. The obtained accuracy is comparable to the accuracy of the best modern systems of this purpose and confirms the promise of using neural network models like GoogLeNet for emotion recognition based on voice signal analysis. The need for further research aimed at reducing the resource intensity of the neural network model is shown. © 2022 IEEE.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

Analyzing the impact of machine learning and artificial intelligence and its effect on management of lung cancer detection in covid-19 pandemic

引用

Materials Today: Proceedings 2022年 56卷 2213-2216页

作者： Boddu, Raja Sarath Kumar Karmakar, Partha Bhaumik, Ankan Nassa, Vinay Kumar Vandana Bhattacharya, Sumanta Department of CSE Lenora College of Engineering Andhra Pradesh Rampachodavaram India Government of West Bengal Bikash Bhawan Salt Lake W.B. Kolkata India Dept. of Applied Mathematics With Oceanology and Computer Programming Vidyasagar University Midnapore India Department of Computer Science Engineering South Point Group of Institutions Sonepat Haryana India Department of Mathematics Dasmesh Khalsa College Zirakpur India Department of Science and Technology and Biotechnology MAKAUT India

Cancer victims, particularly those with lung cancer, are more susceptible and at higher danger of COVID-19 and associated consequences as a result of their compromised immune systems, which makes them particularly sensitive. Because of a variety of circumstances, cancer patients' diagnosis, treatment, and aftercare are very complicated and time-consuming during an epidemic. In such circumstances, advances in artificial intelligence (AI) and machine learning algorithms (ML) offer the capacity to boost cancer sufferer diagnosis, therapy, and care via the use of cutting technologies. For example, using clinical and imaging data combined with machine learning methods, the researchers may be able to distinguish among lung alterations induced by corona virus and those produced by immunotherapy and radiation. During this epidemic, artificial intelligence (AI) may be utilized to guarantee that the appropriate individuals are recruited in cancer clinical trials more quickly and effectively than in the past, which was done in a conventional and complicated manner. In order to better care for cancer patients and find novel and more effective therapies, It is critical that we move beyond traditional research methods and use artificial intelligence (AI) and machine learning to update our research (ML). Artificial intelligence (AI) and machine learning (ML) are being utilised to help with several aspects of the COVID-19 epidemic, such as epidemiology, molecular research and medication development, medical diagnosis and treatment, and socioeconomics. The use of artificial intelligence (AI) and machine learning (ML) in the diagnosis and treatment of COVID-19 patients is also being investigated. The combination of artificial intelligence and machine learning in COVID-19 may help to identify positive patients more quickly. In order to understand the dynamics of an epidemic that is relevant to artificial intelligence, when used in different patient groups, AI-based algorithms can quic

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Statistical Optical Image Analysis for Information System

Statistical Optical Image Analysis for Information System

引用

IEEE International Conference on Future Internet of Things and Cloud Workshops (FiCloudW)

作者： Oleksandr O. Ryazantsev Ganna M. Khoroshun Andrii I. Riazantsev Vitalii Ivanov Aleksandr Baturin Volodymyr Dahl East Ukrainian National University Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine

ISBN: (数字)9781728144115

ISBN: (纸本)9781728144122

关键词： Optical imaging Optical diffraction Holography Adaptive optics Standards Holographic optical components Fitting

来源：评论

学校读者我要写书评

暂无评论

programming software agents as designing executable business processes: A Model-driven perspective 1

Programming software agents as designing executable business...

引用

First International Workshop ProMAS 2003: programming Multi-Agent Systems

作者： Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany

ISBN: (纸本)9783540221807

The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling of services that are employed to actually implement processes. Second, we demonstrate how the Model-Driven Architecture (MDA) paradigm can be beneficially employed at all three layers of the agent-enabled business process architecture. Third, we describe an instance of a platform independent model based on the new UML2 standard, and sketch a mapping to a platform dependent model based on the Business Process Execution Language for Web Services (BPEL4WS). Fourth, we point out the relationship between the programming of multiagent systems, and the design of agent-enabled business processes. Our key thesis is that designing business processes based on an agent-enabled business processes modeling and enactment framework is a useful way of programming agents - a way that may help agent technology to gain much wider acceptance in industry. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：