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

2019 International Multi-Conference on Engineering, computer and Information Sciences, SIBIRCON 2019

作者： Latipova, Alina Gasenko, Aleksei Sim, Gavin School of Electric Engineering and Computer Science South Ural State University System Programming Department Chelyabinsk Russia School of Physical Sciences and Computing University of Central Lancashire Preston United Kingdom

This paper considers the basic concepts of automated design and implementation of application graphical user interface supported by artificial neural networks and application of this approach to child computer interac... 详细信息

ISBN: (纸本)9781728144016

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

A supply chain model for imperfect production system with stochastic lead time demand

引用

Journal of Management Analytics 2018年第4期5卷 309-333页

作者： Rabin Kumar Mallick Amalesh Kumar Manna Shyamal Kumar Mondal Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnaporeIndia

This study deals an integrated manufacturer-buyer supply chain system for imperfect production under stochastic lead time ***,defective rate has been followed as a function of production ***,the produced units have been inspected in order to screen the defective units but screening rate is less than the production rate and greater than the demand *** purchases the products from the ***,we assume that shortage during the lead time is permitted and demand during the shortage period is fully *** objective is to derive the optimal production rate,ordering quantity and to maximize joint total ***,two different models for different probability distribution functions of stochastic lead time demand have been *** numerical examples are provided to show the applicability of the proposed models comparing the optimum average ***,sensitive analysis,conclusion and future researches are presented.

关键词： supply chain imperfect production stochastic lead time demand back order

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

International Conference on Actual Problems of Systems and Software Engineering

作者： Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona

ISBN: (纸本)9781728160627

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite state machine (FSM) Quasi-deterministic FSM Quasi-complete FSM Moore pair Synchronous composition Pairing multi-input output ports harbors finite state machines deterministic

来源：评论

学校读者我要写书评

暂无评论

Method of Activity of Intelligent Agent for Semantic Analysis of Software Requirements

Method of Activity of Intelligent Agent for Semantic Analysi...

引用

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems

作者： Olga Pavlova Tetiana Hovorushchenko Artem Boyarchuk System Programming Department of Khmelnytsky National University Computer Engineering & System Programming Department of Khmelnytsky National University Lecturer of Computer Systems Networks and Cybersecurity Department of National Aerospace University "Kharkiv Aviation Institute"

ISBN: (纸本)9781728140704

The paper deals with the development of the method of activity and the realization of the intelligent agent (IA) for semantic analysis of the natural language software requirements. This IA performs the analysis of the requirements, determines the number and percentage of missing indicators for determining the metrics of complexity and quality of software, displays which indicators are missing for each metric, and also forms the real ontology of the domain "Software Engineering" (part "Quality and complexity of software. Metric analysis"). During an experiment, which is conducted with the help of the realized IA, the semantic analysis of requirements for the Internet of Things (IoT)-system was performed. Such analysis provides an increase of the volume and ensures of the sufficiency of metric information in the software requirements, which, in turn, provides an improvement in the quality of the software of IoT-system.

关键词： Natural language software requirements Semantic analysis Intelligent agent (IA) Ontology-based intelligent agent (OBIA) Internet of things (IoT)-system software requirements Intelligent agents Semantics Metronidazole activity INFORMATION ASSURANCE Metric computer software

来源：评论

学校读者我要写书评

暂无评论

Synthesis Algorithm for a Continuous Robust Regulator on a Manifold for a Manipulator under Non-Random Noise Conditions

Synthesis Algorithm for a Continuous Robust Regulator on a M...

引用

International Russian Automation Conference (RusAutoCon)

作者： A. A. Kolesnikov S. I. Kolesnikova Institute of Computer Technology and Information Security South Federal University Taganrog Russia Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia

ISBN: (数字)9781728161303

ISBN: (纸本)9781728161310

The nonlinear adaptation algorithm is considered as applied to stabilization of the center of mass of a moving object subject to nonrandom noise in the control variable. An unknown disturbance is a bounded and continuous function of time. To solve the problem of its modeling and suppression, the following result is used: continuous functions can be described as partial solutions of some differential equations. The developed control algorithm guarantees full compensation of the external disturbance under certain conditions. The simulation result of the obtained control is applied to a manipulation object.

关键词： Mathematical model Regulators Manifolds Automation Aerospace electronics Gold

来源：评论

学校读者我要写书评

暂无评论

Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs

Deriving adaptive homing sequences for weakly initialized no...

引用

2019 IEEE East-West Design and Test Symposium, EWDTS 2019

作者： Vinarskii, Evgenii Tvardovskii, Aleksandr Evtushenko, Larisa Yevtushenko, Nina Computer Science Department Lomonosov Moscow State University Moscow Russia Radiophysical Department Tomsk State University Tomsk Russia Software Engineering Deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (纸本)9781728110035

State identification sequences, such as homing and distinguishing sequences (HS and DS), are widely used in FSM (Finite State Machine) based testing in order to reduce the size of a returned complete test suite as well as minimize checking efforts in passive testing. Preset HS are known to always exist for deterministic complete reduced FSMs but it is not the case for nondeterministic FSMs. It is also known that in this case, adaptive HS exist more often and usually are shorter than the preset. Nowadays, a number of specifications are represented by nondeterministic FSMs and thus, a deeper study of such sequences is required. There exist sufficient and necessary conditions for the existence of an adaptive HS for complete nondeterministic FSMs when each state can be an initial state but those conditions become only sufficient for weakly initialized FSMs where only some states are initial. In this paper, we propose sufficient and necessary conditions for a weakly initialized FSM to have an adaptive homing sequence, possibly up to given length, which are based on deriving an appropriate so-called homing FSM. The experimental evaluation of the existence of adaptive and preset HS is performed for randomly generated FSMs. © 2019 IEEE.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

Special Processors Simulation for Forming and Digital Processing of Error-Correcting Codes in computer Systems

Special Processors Simulation for Forming and Digital Proces...

引用

International Conference on Modern Problems of Radio Engineering, Telecommunications and computer Science

作者： Taras Grynchyshyn Volodymyr Hryha Artur Voronych Mykhaylo Ilko Department of Programming and Information Technologies National Transport University Nadvirna UKRAINE Department of Computer Engineering and Electronics Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk UKRAINE Department of Computer System and Networks Ivano-Frankivsk National Technical University of Oil and Gas Ivano-Frankivsk UKRAINE

ISBN: (数字)9781728155661

ISBN: (纸本)9781728155678

The methods of digital and pulse signal modulation in modern computer systems of data transmission are analysed. Process of forming non-redundant coding that use the errors detection and correction in the Galois basis are offered. Structures of special processors for forming signal correcting codes are built. Working algorithms for proposed coding methods are developed and their software implementation are offered. Circuit design of Galois code sequence generator is implemented. Work simulation and synthesis on FPGA of Xilinx are performed.

关键词： digital signal processing chips encoding error correction codes error detection codes field programmable gate arrays Galois fields logic design microprocessor chips Error correction codes Field programmable gate arrays digital signal processing chips error detection codes computer systems Galois fields Microprocessor chips Logic design coding Forming Galois sequence generator Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Detecting and Counting of Each Nested Curve on Spectrum with Gaussian Package

Detecting and Counting of Each Nested Curve on Spectrum with...

引用

International Conference on Electrical and Electronics Engineering, ELECO

作者： Yasemin Poyraz Kocak Selcuk Sevgen Ruya Samli Computer Programming Department Istanbul University-Cerrahpasa Istanbul Turkey Computer Engineering Department Istanbul University-Cerrahpasa Istanbul Turkey

Spectral analysis plays an important role in the interpretation of astronomical data. The determination of the number and parameters of each nested Gaussian curve on spectrum of any object in the sky gives information about the physical and chemical structure of the object. In this study, determination of each nested Gaussian curve's number and parameters such as position, width and amplitude in a given frequency range are performed. Thus, we have knowledge of about, which molecules there are in the observation region. Autonomous Gaussian Decomposition algorithm is implemented with additional scipy, numpy, h5py, lmfit packages. The algorithm is tested on spectral data that comes from active star forming region called as Orion KL obtained by SMA (Submillimeter Array) devices are used. Finally, information is given about positive and negative aspects of these study and in the future what should we do to improve the accuracy.

关键词： Chirp Spectroscopy Clustering algorithms Laser theory Matching pursuit algorithms Chemicals

来源：评论

学校读者我要写书评

暂无评论

Enhancing sleep disorder classification using machine learning and metaheuristic optimization techniques

引用

Biomedical Signal Processing and Control 2025年 110卷

作者： Amel Ali Alhussan El-Sayed M. El-Kenawy Doaa Sami Khafaga Marwa M. Eid Department of Computer Sciences College of Computer and Information Sciences Princess Nourah bint Abdulrahman University P.O. Box 84428 Riyadh 11671 Saudi Arabia Department of Programming School of Information and Communications Technology (ICT) Bahrain Polytechnic PO Box 33349 Isa Town Bahrain Applied Science Research Center. Applied Science Private University Amman Jordan Faculty of Artificial Intelligence Delta University for Science and Technology Mansoura 11152 Egypt Jadara Research Center Jadara University Irbid 21110 Jordan

Sleep disorders have a significant impact on physical health, cognitive ability, as well as quality of life. However, they are still underdiagnosed due to the practical limitations of traditional diagnostic methods, such as polysomnography. Polysomnography has been accepted as the gold standard with a good accurate diagnostic value. However, it is laborious, time-consuming and frequently unavailable, particularly in the setting with limited resources. To address these challenges, this study aims to improve sleep disorder classification using machine learning (ML) techniques with metaheuristic optimization strategies. The study utilizes the Sleep Health and Lifestyle Dataset, which includes demographic data, sleep parameters, lifestyle factors, and cardiovascular indicators. To improve model efficiency and predictive accuracy, the binary Al-Biruni Earth Radius (bBER) optimizer is applied for feature selection, effectively reducing data dimensionality by eliminating irrelevant and redundant features. Among the evaluated models, the multilayer perceptron (MLP) achieved the strongest baseline performance, reaching an accuracy of 89.92 % and a sensitivity of 91 % after feature selection. Further optimization through the BER algorithm led to the development of the BER-MLP model, which delivered superior classification results, achieving an accuracy of 95.41 % and a sensitivity of 92.45 %. These findings reinforce the effectiveness of integrating metaheuristic optimization with machine learning approaches to enhance diagnostic accuracy and reliability in sleep disorder detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：