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

arXiv 2021年

作者： Kaposi, Ágoston Kolarovszki, Zoltán Kozsik, Tamás Zimborás, Zoltán Rakyta, Péter Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary Wigner Research Centre for Physics The Hungarian Academy of Sciences Budapest Hungary BME-MTA Lendület Quantum Information Theory Research Group Budapest Hungary Department of Physics of Complex Systems Eötvös Loránd University Budapest Hungary

Evaluating the Torontonian function is a central computational challenge in the simulation of Gaussian Boson Sampling (GBS) with threshold detection. In this work, we propose a recursive algorithm providing a polynomial speedup in the exact calculation of the Torontonian compared to state-of-the-art algorithms. According to our numerical analysis the complexity of the algorithm is proportional to N1.06912N/2 with N being the size of the problem. We also show that the recursive algorithm can be scaled up to HPC use cases making feasible the simulation of threshold GBS up to 35 − 40 photon clicks without the needs of large-scale computational capacities. © 2021, CC BY-SA.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Intelligent system of a smart house 3

Intelligent system of a smart house

引用

3rd International Conference on Advanced Information and Communications Technologies, AICT 2019

作者： Lytvyn, Vasyl Vysotska, Victoria Mykhailyshyn, Vladyslav Peleshchak, Ivan Peleshchak, Roman Kohut, Ihor Information Systems and Networks Department Lviv Polytechnic National University Lviv Ukraine Department of Physics Pedagogical University Drohobych Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

ISBN: (纸本)9781728123998

In the work intelligent system of a smart house is developed, which is designed to create from any house, office, or building a smart room. The best solutions and tools were chosen to develop the system, which allowed us to create a fast, optimized, reliable and easy-To-use system with a comfortable mobile and web-based user interface. The optimal parameters for deployment of the system (both hardware and software) were investigated and determined, and its operation in the planned mode, without any interruptions of the system operation. Upon completion of the design and development of the system, an analysis of the product was conducted, based on a control example, which made it possible to verify that the system was operating in accordance with the planned requirements, and provides access to all of the intended functionality. © 2019 IEEE.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Two Algorithms for Designing Control over Centerof-Mass Motion of a Moving Object with Incomplete Description

Two Algorithms for Designing Control over Centerof-Mass Moti...

引用

International Conference on Control systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)

作者： S. I. Kolesnikova Yu. I. Paraev S. A. Tsvetnitskaya Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia Institute of Applied Mathematics and Computer Science National Research Tomsk State University Tomsk Russia

ISBN: (数字)9781728188409

ISBN: (纸本)9781728181134

The methods of nonlinear adaptation based on an analytical design of aggregated regulators and modal control are discussed for solving the problem of nonlinear control over a robotic arm operating under the conditions of nonrandom noise. A comparative analysis of control is performed under different types of noise variables. It is shown that both control systems are adaptive and robust, while their transient process quality characteristics differ. The results of numerical modeling support the method of nonlinear adaptation as far as the value of overshoot is concerned in the case of nonrandom noise and evidence in favor of the method of modal control identifying the noise for off-design conditions (random high level noise).

关键词： Regulators Uncertainty Robot kinematics Stochastic processes Process control Control systems Transient analysis

来源：评论

学校读者我要写书评

暂无评论

Structure and Functioning of Information systems of Background Monitoring of Landscape Elements of Gorgany Nature Reserve 10

Structure and Functioning of Information Systems of Backgrou...

引用

10th International Conference on Advanced Computer Information Technologies, ACIT 2020

作者： Nykolaychuk, Yaroslav Petrashchuk, Yaroslav Slobodian, Olena Pitukh, Ihor Grynchyshyn, Taras Nykolaychuk, Lyubov Hryha, Volodymyr Ternopil National Economic University Department of Specialized Computer Systems Ternopil Ukraine Gorgany Nature Reserve Nadvirna Ukraine Nadvirna College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

This paper discusses the structural organization of the background monitoring system (BMS) of the transboundary UNESCO World Heritage Site 'Beech forests of the Carpathians and ancient beech forests of Germany' using actual data and information from Gorgany Nature Reserve in Ivano-Frankivsk, Ukraine. The features of the structure and functions of background monitoring of the protected natural resources, forests and wildlife of Gorgany Nature Reserve is based on modern methods of collecting and processing of digital data, implementation of the principles of Internet of Things and cloud technologies, combined with GPS-systems, sensor networks with the use of optical and fiber-optic telecommunication channels. The information technology of the background monitoring system is based on figurative cluster models of monitoring objects according to theoretical principles of statistical, correlatory, spectral, cluster, logic-statistical and entropy analysis. © 2020 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

Dialog-Based Meaning Derivation Service for Technical Language Domains

Dialog-Based Meaning Derivation Service for Technical Langua...

引用

International Conference on Semantic Computing

作者： Alexander Wachtel Sophie Schulz Walter F. Tichy Chair for Programming Systems Prof Walter F. Tichy Karlsruhe Institute of Technology Karlsruhe Germany

In our previous work, we present on how new algorithms can be recognized and learned from human descriptions. In this case, end users are able to extend the given system by their own functionality. During the evaluation, due to language limits on the system, it could interpret only 59 % of user input correctly. In this paper, we provide an approach on the Dialog-based Meaning Derivation Service (DMDS). In case, user input does not match to the system knowledge, DMDS serves various word networks to find relevant synonyms as candidates for the unknown word. DMDS then tries to verify these candidates to the given knowledge base. Finally, matched candidates are presented to the end user by the dialog system for confirmation of a contextual match. The meaning is learned after the user confirmation and is mapped to the given functionality, and can be used afterwards. Therefore, the model developed in this work can be categorized as supervised learning. Finally, both the performance and the quality recorded by input from a user study were examined. However, DMDS improves the correct interpretation of the system from 59 % to 82 %. Our focus is to improve the interaction between humans and machines and enable the end user to instruct programmable devices, without having to learn a programming language.

关键词： Semantics Vocabulary Knowledge based systems Natural languages Computer languages programming profession

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Centering Climate Science in Learning

引用

Connected Science Learning 2024年第4期6卷

作者： Déana Scipio Priya Pugh Kali Natarajan Deb L. Morrison Bethany Kogut Karli Honebein Michelle Grove Jen Eklund a Director Graduate and Higher Education Programming Islandwood Bainbridge Island WA b Graduate and Higher Education Programming Senior Faculty for Practicum Islandwood Bainbridge Island WA c Climate Literacy Outreach Specialist Climate Institute Gonzaga University Spokane WA d Learning Scientist Institute of Science and Math Education College of Education University of Washington Seattle WA e Program Manager EarthGen Seattle WA f Climate Literacy Program Manager Climate Institute Gonzaga University Spokane WA g Elementary Science Coordinator Elementary Science Network NorthEast Washington Educational Service District 101 Spokane WA h Education Liaison & Project Manager Institute for Systems Biology Seattle WA

The Washington StateClimeTime Networkhas been designed to build capacity for climate science learning, as well as broader NGSS implementation. As a network, we acknowledge the diversity of scientific histories and practices and continue to explore these variations to deepen our teaching and learning of climate science. This paper provides visions of what we mean by climate science centered learning, principles for fostering climate science learning, and guidance for capacity-building to achieve systemic implementation of climate science learning.

关键词： Climate science climate change education climate learning professional development science learning equity in education

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

DSLs for decision services: A tutorial introduction to language-driven engineering 8th

DSLs for decision services: A tutorial introduction to langu...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Gossen, Frederik Margaria, Tiziana Murtovi, Alnis Naujokat, Stefan Steffen, Bernhard Chair for Programming Systems TU Dortmund University Dortmund Germany CSIS University of Limerick Limerick Ireland

ISBN: (纸本)9783030034177

Language-Driven Engineering (LDE) is a new paradigm that aims at involving stakeholders, including the application experts, in the system development and evolution process using dedicated domains-specific languages (DSLs) tailored to match the stakeholders’ mindsets. The interplay between the involved DSLs is realized in a service-oriented fashion, with corresponding Mindset-Supporting Integrated Development Environments (mIDEs). This organization eases product line and system evolution, because one can introduce and exchange entire DSLs as if they were services. Using as example a smart email classification system that highlights important emails in the inbox, we model its decision procedure in a tailored graphical domain-specific language based on Binary Decision Diagrams. BDDs are a compact form of the popular decision trees and thus a mindset natural to many application experts. We then evolve this language and its mIDE to meet the new users’ wish to model some uncertainty in the classification. To evolve the language, we first manually adapt its metamodel and code generator. Subsequently we show, how this step can be automated by refining the BDD DSL with a dedicated DSL for defining algebraic structures. As this exchange happens in a service-oriented fashion, it does not impair the optimization potential and nicely follows the successive refinement of the users’ mindset. © Springer Nature Switzerland AG 2018.

关键词： Binary decision diagrams

来源：评论

学校读者我要写书评

暂无评论

Highly optimized quantum circuits synthesized via data-flow engines

arXiv

引用

arXiv 2022年

作者： Rakyta, Péter Morse, Gregory Nádori, Jakab Majnay-Takács, Zita Mencer, Oskar Zimborás, Zoltán Department of Physics of Complex Systems Eötvös Loránd University Pázmány Péter sétány 1/a Budapest1117 Hungary Wigner Research Center for Physics 29–33 Konkoly–Thege Miklos Str Budapest1121 Hungary Department of Programming Languages and Compilers Eötvös Loránd University Pázmány Péter sétány 1/a Budapest1117 Hungary Maxeler Technologies a Groq Company 16192 Coastal Hwy LewesDE19958 United States Algorithmiq Ltd Kanavakatu 3C Helsinki00160 Finland

The formulation of quantum programs in terms of the fewest number of gate operations is crucial to retrieve meaningful results from the noisy quantum processors accessible these days. In this work, we demonstrate a use-case for Field Programmable Gate Array (FPGA) based data-flow engines (DFEs) to scale up variational quantum compilers to synthesize circuits up to 9-qubit programs. This gate decomposer utilizes a newly developed DFE quantum computer simulator that is designed to simulate arbitrary quantum circuit consisting of single qubit rotations and controlled two-qubit gates on FPGA chips. In our benchmark with the QISKIT package, the depth of the circuits produced by the SQUANDER package (with the DFE accelerator support) were less by 97% on average, while the fidelity of the circuits was still close to unity up to an error of ∼ 10−4 © 2022, CC BY-SA.

关键词： Engines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：