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

arXiv 2021年

作者： Buchholtz, Ulrik Weinberger, Jonathan Functional Programming Lab School of Computer Science University of Nottingham Jubilee Campus NottinghamNG7 1BB United Kingdom Dept. of Mathematics Krieger School of Arts and Sciences Johns Hopkins University 3400 N Charles St. BaltimoreMD21218 United States

We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory developed in simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian ... 详细信息

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Identification of the computer System State Based on Multidimensional Discriminant Analysis 29

Identification of the Computer System State Based on Multidi...

引用

29th International Scientific Symposium "Metrology and Metrology Assurance", MMA 2019

作者： Gavrylenko, Svetlana Chelak, Viktor Hornostal, Oleksii Gornostal, Stella National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine National University of Civil Defence of Ukraine Department of Fire Prevention in Settlements Kharkiv Ukraine

ISBN: (纸本)9781728122137

This paper describes the process of identifying the state of a computer system based on tracking changes in the file system under the condition that there is no reliable information about the state of objects in the external environment and the state of the system itself. In this case, the performance indicators of a computer system are random variables with unknown distribution laws. A method for identifying the state of the computer system based on tracking changes in the file system using classical discriminative analysis, taking into account the uncertainty of the input data, is proposed. For this purpose, a special method was developed for solving a fuzzy system of linear algebraic equations. The software was developed for tracking changes in the computer file system: creating, modifying, renaming, and deleting files and directories. The program also performs state classification based on a fuzzy discriminant classifier. © 2019 IEEE.

关键词： Discriminant analysis

来源：评论

学校读者我要写书评

暂无评论

S--Ideals: A Study in Commutative and Noncommutative Rings

引用

Journal of Mathematics 2024年第1期2024卷

作者： Alaa Abouhalaka Hatice Çay Bayram Ali Ersoy Department of Mathematics Çukurova University Balcalı Adana 01330 Turkey cu.edu.tr Computer Programming IMU Vocational School Istanbul Medipol University Beykoz Istanbul 34810 Turkey medipol.edu.tr Department of Mathematics Yildiz Technical University Esenler Istanbul 34220 Turkey yildiz.edu.tr

In this paper, we introduce the concept of S - -ideals in both commutative and noncommutative rings. For a commutative ring R and a multiplicatively closed subset S , we show that many properties of -ideals apply to S - -ideals and examine their characteristics in various ring constructions, such as homomorphic image rings, quotient rings, cartesian product rings, polynomial rings, power series rings, idealization rings, and amalgamation rings. In noncommutative rings, where S is an m -system, we define right S - -ideals. We demonstrate the equivalence of S - -ideals and right S - -ideals in commutative rings with identity and provide examples to illustrate the connections between right S -prime ideals and -ideals.

关键词： commutative ring 𝒥-ideal m-system multiplicatively closed subset noncommutative ring S-𝒥-ideals 16N20 16N40 16N60 16N80 16W99

来源：评论

学校读者我要写书评

暂无评论

Principles of organizing a hardware of information collection system perceptron for a quantum hashing problem

引用

AIP Conference Proceedings 2024年第1期2969卷

作者： V. D. Munister A. L. Zolkin A. I. Dzhangarov Department of mathematical methods and system analysis Mariupol State University Prospect Builders 129 a Mariupol 87500 Ukraine Computer and Information Sciences Department Povolzhskiy State University of Telecommunications and Informatics Samara 443010 Russia Department of Programming and Information and Communication Kadyrov Chechen State University 32 Sheripova Street Groznyy 364093 Russia

The article raises the issue of organizing the signal processing process in existing classes of digital systems and analogue-to-digital converters. The authors indicate a significant problem of the synthesis of controlled action (and its adequate perception by the control system through the "sensory level of perception", in particular, the aspectology of redundancy in computing power and the problem of choice and delegation in stream processing of signals).A solution for an information system for collecting and managing data based on peripheral interrogation of sensors is generalized and formalized. For the first time authors are developing a new class of hardware devices that combine the principles of organization of neural pathogens (perceptrons) that work within the activation function and trend line (neural memory), and quantum logic in a Boolean basis. The functional testing of the developed device is presented, the simplicity and reliability of the hardware implementation is indicated. While formulating research methods, the goal is to develop a reliable integrative system for information support of the hardware circuit system. A structural block of controlled addiction has been implemented, taking into account quantum caching that is taken as a mean of ensuring the unity and consistency of data transmission from the measuring environment in case of increasing its structural component. Options for the practical implementation of the information and analytical structure of the hardware perceptron in the industrial Internet of Things are considered in the conclusion.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an embedded interactive timing system for medical treatment of patients with learning and attention issues 28

Design and implementation of an embedded interactive timing ...

引用

28th International Scientific Conference Electronics, ET 2019 - Proceedings

作者： Angelova, Maria A. Velchev, Yuliyan S. Dimitrov, Kalin L. Department of Programming and Computer Technologies Faculty of Computer Systems and Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria Department of Radio Communications and Video Technologies Faculty of Telecommunications Technical University of Sofia 8 Kliment Ohridski blvd Sofia1000 Bulgaria

ISBN: (纸本)9781728125749

This article describes the design and implementation of an Embedded Interactive Timing System. Such systems are used in the therapy of children who have learning problems. The matching of different beats can help the brain work more efficiently. A methodology and architecture of an interactive timing is proposed. Open-source software environment and microcontroller is used for the practical realization of the system. Some results of the program functioning are shown. © 2019 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

On 'artificial intelligence-user interface' approach

On 'artificial intelligence-user interface' approach

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：