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

Distributed Computer System for Adaptive Control of LD Convertor Steel Making

IFAC Proceedings Volumes 1988年第19期21卷 299-302页

作者： A.N. Georgieva P.A. Bayrov I.N. Ivanchev M.S. Gerasimova S.R. Simeonov Department of Programming and Computer Systems Application Higher Institute of Chem. Technology 1156 Sofia Bulgaria Department of Black Metallurgy Higher Institute of Chem Technology 1156 Sofia Bulgaria

An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Squares method is used and a minimum variance control strategy is realized. The original idea is that the converter steel making process| is considered as a continuous process which is sampled and one heat time is considered as one sample time. So, the process model parameters are adjusted after each heat and the algorithm adapts very fast to the technological conditions chanson. A distributed PS/XT computer two-leves control system is realized. Successful industrial results are obtained.

关键词： Time-varying systems multivariable control systems parameter estimation adaptive control computer control steel refining process

来源：评论

学校读者我要写书评

暂无评论

Image noise reduction by denoising autoencoder

Image noise reduction by denoising autoencoder

引用

IEEE International Conference on Dependable systems, Services and Technologies (DESSERT)

作者： Lev Yasenko Yaroslav Klyatchenko Oksana Tarasenko-Klyatchenko Department of System Programming and Specialized Computer Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" Kyiv Ukraine

ISBN: (数字)9781728199573

ISBN: (纸本)9781728199580

Neural networks are used in many tasks today. One of them is the images processing. Autoencoder is very popular neural networks for such problems. Denoising autoencoder is an important autoencoder because some tasks we need a preprocessed image to get less noisy result. This research describes ways to analyze noisy images produced by a physically-based render engine and how to reduce that noise. The results showed that the algorithms are logarithmic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： Computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Inter-satellite ranging in the Low Earth Orbit

Inter-satellite ranging in the Low Earth Orbit

引用

International Symposium on Communication systems, Networks and Digital Signal Processing, CNSDSP

作者： Mohammad Alawieh Niels Hadaschik Norbert Franke Christopher Mutschler Locating and Communication Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Germany Programming Systems Group Friedrich-Alexander-University Erlangen-Nürnberg (FAU) Germany

ISBN: (纸本)9781509025275

Many satellite systems require knowledge about inter-satellite distances. Inter-satellite links provide direct connectivity between satellites and may be used for ranging, while they remove the need of dedicated hardware. This paper addresses inter-satellite ranging at the Low Earth Orbit (LEO) using S-Band signals. We take the requirements from recent missions and future applications into account and analyze the factors that limit ranging. We show how these factors affect the quality of distance estimation in terms of the Cramér-Rao Lower Bound for ranging. Two-way-ranging (TWR) provides the best accuracy and sustains the low-cost objective of small satellites. We further propose an enhanced TWR message exchange that enables on-the-fly delay calibration and sub-sample corrections. We implemented the transceiver modules on a Software-Defined Radio (SDR) platform and evaluated them with real-world data. The results show that the proposed ranging algorithm achieves an accuracy of few centimeters.

关键词： Distance measurement Satellites Satellite broadcasting Delays Correlation Clocks Calibration

来源：评论

学校读者我要写书评

暂无评论

Forecasting nonlinear nonstationary processes in machine learning task 3

Forecasting nonlinear nonstationary processes in machine lea...

引用

3rd IEEE International Conference on Data Stream Mining and Processing, DSMP 2020

作者： Bidyuk, Peter Gozhyj, Aleksandr Kalinina, Irina Vysotska, Victoria Vasilev, Mikhail Malets, Romanna Department of Mathematical Methods of System Analysis National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute Kyiv Ukraine Petro Mohyla Black Sea National University Department of Intelligent Information Systems Nikolaev Ukraine National University Lvivska Politechnika Department of Information Systems and Networks Lviv Ukraine Ivan Franko Lviv National University Programming Department Lviv Ukraine

ISBN: (纸本)9781728132143

The article discusses the features of the solving the forecasting problems using machine learning techniques. The issues of accounting and correctly processing non-linear non-stationary processes in the problems of modeling and forecasting time series in various areas are considered. The analysis of stages and methods for solving machine learning problems. As an example, consider the problem of predicting currency pairs based on historical data. A comparative analysis of the normalization methods in data clustering is given. For the six currency pairs a short-term forecast is proposed. © 2020 IEEE.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing 11

A HW/SW co-designed heterogeneous multi-core virtual machine...

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Youfeng Wu Shiliang Hu Edson Borin Cheng Wang Programming Systems Laboratory INTEL Research Laboratory Santa Clara CA USA Institute of Computing State University of Campinas-UNICAMP Campinas Brazil

ISBN: (纸本)9781612843568

It is increasingly challenging to improve single thread performance because power/energy consumption becomes a major barrier to achieve significantly higher performance for general purpose cores. General purpose processors are designed to perform well in a wide variety of market segments, at the cost of having significantly lower performance-per-watt than special purpose processors targeting limited applications or market segments. In this paper, we propose a HW/SW co-designed heterogeneous multi-core virtual machine, called TwinPeaks, which integrates a set of less general but power efficient cores and uses dynamic binary optimization to schedule code regions to run on the most efficient cores. Our experiment and analysis indicate that TwinPeaks with a wide in-order core and a narrow out-of-order core may achieve 108% performance at ~71% energy of a big 4-wide out-of-order core.

关键词： Switches Multicore processing Virtual machining Optimization Out of order Energy consumption

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach to designing cross-enterprise business processes

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 3292卷 544-555页

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

Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and the required support for interoperability. In this paper, we present an approach to modeling cross-enterprise business processes based on the model-driven architecture (MDA). Starting from the ATHENA interoperability architecture, we propose a conceptual architecture for cross-enterprise business processes. Then, we present a methodical approach towards designing cross-enterprise business processes based on a model-driven architecture. The core contribution of the paper is a set of original mappings at and across different layers of the model-driven architecture, including a mapping from ARIS to UML and the Business Process Definition Metamodel (BPDM). © Springer-Verlag 2004.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Supporting commissioning of production plants by model-based testing and model learning

Supporting commissioning of production plants by model-based...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Ina Schaefer Automation Technology Institute Helmut-Schmidt-University Hamburg Germany Distributed Systems and Information Systems University of Hamburg Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Braunschweig Germany Technische Universitat Braunschweig Braunschweig Niedersachsen DE

During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed malfunctions may result in hazardous behavior during operation phase. At this point, regardless of the engineers expertise a systematic support can drastically decrease the risk of missed malfunctions. A promising systematic approach is to use engineering artifacts of the system design phase as an information source to identify unexpected behavior regarding the specification. This paper proposes such a systematic approach based on model-based testing resulting in automatic test case generation and execution which allows to support engineers with learned models representing the expected transient system behavior. Subsequently, the obtained models are used for detection of unexpected behavior during commissioning. The unexpected behavior is presented to a commissioning engineer who decides if the behavior (1) is correct and will be added to the models or (2) represents an identified system malfunction. The approach is evaluated on a demonstration plant.

关键词： Software Testing Sensors Actuators Production Hardware Monitoring

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Recent Developments and the New Direction in Soft-Computing Foundations and Applications 1

引用

丛书名： Studies in Fuzziness and Soft Computing

1000年

作者： Shahnaz N. Shahbazova Janusz Kacprzyk Valentina Emilia Balas Vladik Kreinovich

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：