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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Darknet traffic big-data analysis and network management to real-time automating the malicious intent detection process by a weight agnostic neural networks framework

arXiv

引用

arXiv 2021年

作者： Demertzis, Konstantinos Tsiknas, Konstantinos Takezis, Dimitrios Skianis, Charalabos Iliadis, Lazaros Laboratory of Complex Systems Department of Physics Faculty of Sciences International Hellenic University Kavala Campus St. Loukas65404 Greece Department of Electrical and Computer Engineering Democritus University of Thrace Vas. Sofias 12 Xanthi67100 Greece Hellenic National Defence General Staff Stratopedo Papagou Mesogeion 227-231 Athens15561 Greece University of Aegean Karlovassi Samos83200 Greece School of Engineering Department of Civil Engineering Faculty of Mathematics Programming and General courses Democritus University of Thrace Kimmeria Xanthi Greece

Attackers are perpetually modifying their tactics to avoid detection and frequently leverage legitimate credentials with trusted tools already deployed in a network environment, making it difficult for organizations to proactively identify critical security risks. Network traffic analysis products have emerged in response to attackers’ relentless innovation, offering organizations a realistic path forward for combatting creative attackers. Additionally, thanks to the widespread adoption of cloud computing, Device Operators (DevOps) processes, and the Internet of Things (IoT), maintaining effective network visibility has become a highly complex and overwhelming process. What makes network traffic analysis technology particularly meaningful is its ability to combine its core capabilities to deliver malicious intent detection. In this paper, we propose a novel darknet traffic analysis and network management framework to real-time automating the malicious intent detection process, using a weight agnostic neural networks architecture. It is an effective and accurate computational intelligent forensics tool for network traffic analysis, the demystification of malware traffic, and encrypted traffic identification in real-time. Based on Weight Agnostic Neural Networks (WANNs) methodology, we propose an automated searching neural net architectures strategy that can perform various tasks such as identify zero-day attacks. By automating the malicious intent detection process from the darknet, the advanced proposed solution is reducing the skills and effort barrier that prevents many organizations from effectively protecting their most critical assets. Copyright © 2021, The Authors. All rights reserved.

关键词： Network management

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A flexible framework for web-based virtual reality presentation of cultural heritage

引用

AIP Conference Proceedings 2021年第1期2333卷

作者： Dimo Chotrov Angel Bachvarov 1Technical University Sofia Faculty of Computer Systems and Technologies Department Programming and Computer Technologies Bulgaria 2Technical University Sofia Faculty of Mechanical Engineering Department Automation of Discrete Production Engineering Bulgaria

The Virtual Reality (VR) experiences are great for an engaging presentation creating wide public awareness of cultural heritage, especially if the experience is built on a web-based technology. One of the still posing challenges is that once an application has been developed, for example for a virtual museum or a virtual tour, it usually remains fixed to an embedded in the application model. Adding new functionalities or interaction paradigms needs additional development and new deployment. In this paper, we propose a framework, which achieves the decoupling of an experience from the used models and interaction paradigms through scene and input templates and configuration files. This allows an easy way for generation of a variety of experiences even by people with no or limited programming skills.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

23rd International Conference on Soft Computing and Measurements, SCM 2020

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

ISBN: (纸本)9781728196923

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. © 2020 IEEE.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

Cyber-Typhon: An Online Multi-task Anomaly Detection Framework 15th

Cyber-Typhon: An Online Multi-task Anomaly Detection Framewo...

引用

15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019

作者： Demertzis, Konstantinos Iliadis, Lazaros Kikiras, Panayiotis Tziritas, Nikos School of Engineering Department of Civil Engineering Faculty of Mathematics Programming and General Courses Democritus University of Thrace Kimmeria Xanthi Greece School of Science Department of Computer Science University of Thessaly Lamia Greece Research Center for Cloud Computing Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences Shenzhen China

ISBN: (纸本)9783030198220

According to the Greek mythology, Typhon was a gigantic monster with one hundred dragon heads, bigger than all mountains. His open hands were extending from East to West, his head could reach the sky and flames were coming out of his mouth. His body below the waste consisted of curled snakes. This research effort introduces the "Cyber-Typhon" (CYTY) an Online Multi-Task Anomaly Detection Framework. It aims to fully upgrade old passive infrastructure through an intelligent mechanism, using advanced Computational Intelligence (COIN) algorithms. More specifically, it proposes an intelligent Multi-Task Learning framework, which combines On-Line Sequential Extreme Learning Machines (OS-ELM) and Restricted Boltzmann Machines (RBMs) in order to control data flows. The final target of this model is the intelligent classification of Critical Infrastructures’ network flow, resulting in Anomaly Detection due to Advanced Persistent Threat (APT) attacks. © 2019, IFIP International Federation for Information Processing.

关键词： Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：