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

第三十三届中国控制会议

作者： TAN Fuxiao LIU Derong GUAN Xinping The School of Computer and Information Fuyang Teachers College The State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences The School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University

ISBN: (纸本)9781479947249

It is well known that vertical take-off and landing(VTOL) aircraft system is a complex multi-variable nonlinear system with large disturbances. In order to control the VTOL aircraft system ef ciently, it is necessary to explore new optimal control methods to stabilize the system states. In this paper, we apply dual heuristic programming(DHP) to design the optimal controller for VTOL aircraft system. As a framework of approximate dynamic programming(ADP) algorithm, DHP consists of three modules: model, critic and actor. The critic module output partial derivatives of cost function with respect to state. It has many advantages such as good dynamics, fast convergence rate, and high control resolution. Simulation and experimental results demonstrate the effectiveness of optimal controller for VTOL aircraft system based on the DHP algorithm.

关键词： VTOL aircraft,Dual heuristic programming,Adaptive critic designs,Optimal control

来源：评论

学校读者我要写书评

暂无评论

On the reconfiguration of degradable VLSI/WSI arrays

On the reconfiguration of degradable VLSI/WSI arrays

引用

IEEE International Workshop on Defect and Fault Tolerance in VLSI systems, DFT 1993

作者： Low, C.P. Leong, H.W. Algorithms and Design Automation Laboratory Department of Information Systems and Computer Science National University of Singapore Lower Kent Ridge Road Singapore0511 Singapore

ISBN: (纸本)0818635029

This paper consider the problem of reconfiguring VLSI/WSI arrays via the degradation approach. In this approach, all elements are treated uniformly and no elements are dedicated as spares. The goal is to derive a fault-free subarray T from the defective host array such that the dimensions of T are larger than some specified minimum. This problem has been shown to be NP-complete under various switching and routing constraints. However, we show that a special case of the reconfiguration problem with row bypass and column rerouting capabilities, is solvable in polynomial time using network flows. Using this result, a new fast and efficient reconfiguration algorithm is proposed. Empirical study shows that the new algorithm indeed produce good results in terms of the percentages of harvest and degradation of VLSI/WSI arrays. © 1993 IEEE.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Extensions to the CEGAR approach on petri nets 13

Extensions to the CEGAR approach on petri nets

引用

13th Symposium on Programming Languages and Software Tools, SPLST 2013

作者： Hajdu, Ákos Vörös, András Bartha, Támas Mártonka, Zoltán Dept. of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9789633062289

Formal verification is becoming more prevalent and often compulsory in the safety-critical system and software development processes. Reachability analysis can provide information about safety and invariant properties of the developed system. However, checking the reachability is a computationally hard problem, especially in the case of asynchronous or infinite state systems. Petri nets are widely used for the modeling and verification of such systems. In this paper we examine a recently published approach for the reachability checking of Petri net markings. We give proofs concerning the completeness and the correctness properties of the algorithm, and we introduce algorithmic improvements. We also extend the algorithm to handle new classes of problems: submarking coverability and reachability of Petri nets with inhibitor arcs.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Efficient saturation-based bounded model checking of asynchronous systems 13

Efficient saturation-based bounded model checking of asynchr...

引用

13th Symposium on Programming Languages and Software Tools, SPLST 2013

作者： Darvas, Dániel Vörös, András Bartha, Támas Dept. of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9789633062289

Formal verification is becoming a fundamental step in assuring the correctness of safety-critical systems. Since these systems are often asynchronous and even distributed, their verification necessitates methods that can deal with huge or even infinite state spaces. Model checking is one of the current techniques to analyse the behaviour of systems, as part of the verification process. The so-called saturation algorithm has an efficient iteration strategy combined with symbolic data structures, providing a powerful state space generation and model checking solution for asynchronous systems. In this paper we present the first approach to integrate two advanced saturation algorithms-namely bounded saturation and constrained saturation-based structural model checking-in order to improve on previous methods. Bounded saturation utilizes the efficiency of saturation in bounded state space exploration. Constrained saturation is an efficient structural model checking algorithm. Our measurements confirm that the new approach does not only offer a solution to deal with even infinite state spaces, but in many cases it even outperforms the original methods.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Mode switch - Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks

Mode switch - Adaptive use of delay-sensitive or energy-awar...

引用

2010 IEEE 7th International Conference on Mobile Adhoc and Sensor systems, MASS 2010

作者： Chen, Feng Tong, Xiaoyu Ngai, Edith Dressler, Falko Computer Networks and Communication Systems University of Erlangen Germany Department of Information Technology Uppsala University Sweden Siemens AG Industry Automation Division Germany

ISBN: (纸本)9781424474882

We propose "mode switch", an adaptive load-sensitive solution that supports both an energy-efficient operation mode for transmitting normal sensor data and an QoS-aware low-latency mode for high priority emergency messages. Typically, sensor networks are considered to operate efficiently w.r.t. energy consumption. A good example is the IEEE 802.15.4 protocol, which has mainly been designed for this purpose. The standard IEEE 802.15.4 beacon-enabled cluster-tree topology supports energy-efficient operation for low-rate data transmissions. However, in the case of detected alarms, high-priority emergency messages need to be transmitted with low-latency and guaranteed delivery. In this case, the cluster-tree topology appears to be inefficient and cannot provide the needed support. In this paper, we show how energy-efficiency and delay-sensitivity can be combined by developing an adaptive solution that completely switches between the fundamentally different operation modes beacon-enabled cluster-tree mode and non-beacon-enabled mesh mode. The key challenge is to provide a fast mode switch that also keeps track of necessary topology information. We present a protocol for this mode switch and demonstrate, based on extensive simulations, that the performance demands can be fulfilled with only reasonable overhead even for mid-size networks. Our simulation results clearly indicate that the system achieves the objected QoS and energy-efficiency with "mode switch" in real-time. ©2010 IEEE.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

An Intelligent Factory automation System with Multivariate Time Series Algorithm for Chip Probing Process

引用

IEEE Robotics and automation Letters 2023年第9期8卷 5464-5471页

作者： Hsieh, Yu-Ming Lin, Chin-Yi Wilch, Jan Vogel-Heuser, Birgit Lin, Yu-Chen Lin, Yu-Chuan Hung, Min-Hsiung Cheng, Fan-Tien National Cheng Kung University Academy of Innovative Semiconductor and Sustainable Manufacturing Tainan701401 Taiwan National Cheng Kung University Institute of Manufacturing Information and Systems Tainan701401 Taiwan Technical University of Munich Institute of Automation and Information Systems Garching80333 Germany Chinese Culture University Department of Computer Science and Information Engineering Taipei11114 Taiwan

Chip-probing is the key process for IC manufacturing to its ensure quality. As the number of tests increases, the test quality and the test yield will be affected because the needles on the probe card of the tester will be contaminated by external objects or worn out. Whether a needle polish of the probe card is required can be determined through real-time monitoring on various detection indicators such as resistivity and yield. However, both resistivity and yield are lagging indicators, and excessively frequent needle polishes will increase the processing time and reduce the test throughput. The so-called Intelligent Factory automation (iFA) system platform, realized by integrating several intelligent services including Intelligent Predictive Maintenance (IPM), was proposed to accomplish the goal of Zero-Defect Manufacturing. However, the current remaining useful life (RUL) prediction algorithm in IPM is a univariate time series prediction. The RUL prediction may not be accurate enough if only one variable is adopted to describe the dynamic changes of the time series. A supervisory architecture for chip probing process based on iFA is proposed in this letter. The Multivariate Version of Time Series Prediction (TSPMVA) in this architecture can use the vector autoregression model to improve the accuracy of RUL prediction. Experimental results reveal that the proposed supervisory framework with TSPMVA can not only monitor the tester's health status efficiently but also improve the accuracy of needle's RUL prediction by extracting multiple features. © 2016 IEEE.

关键词： Probes

来源：评论

学校读者我要写书评

暂无评论

A Fully Convolutional Neural Network-based Regression Approach for Effective Chemical Composition Analysis Using Near-infrared Spectroscopy in Cloud

引用

Journal of Artificial Intelligence and Technology 2021年第1期1卷 74-82页

作者： Daiyu Jiang Gang Hu Guanqiu Qi Neal Mazur College of Automation Chongqing University of Posts and TelecommunicationsChongqing 400065China Computer Information Systems Department State University of New York at Buffalo StateBuffaloNY 14222 USA

As one chemical composition,nicotine content has an important influence on the quality of tobacco *** and nondestructive quantitative analysis of nicotine is an important task in the tobacco ***-infrared(NIR)spectroscopy as an effective chemical composition analysis technique has been widely *** this paper,we propose a one-dimensional fully convolutional network(1D-FCN)model to quantitatively analyze the nicotine composition of tobacco leaves using NIR spectroscopy data in a cloud *** 1D-FCN model uses one-dimensional convolution layers to directly extract the complex features from sequential spectroscopy *** consists of five convolutional layers and two full connection layers with the max-pooling layer replaced by a convolutional layer to avoid information *** computing techniques are used to solve the increasing requests of large-size data analysis and implement data sharing and *** results show that the proposed 1D-FCN model can effectively extract the complex characteristics inside the spectrum and more accurately predict the nicotine volumes in tobacco leaves than other *** research provides a deep learning foundation for quantitative analysis of NIR spectral data in the tobacco industry.

关键词： nicotine tobacco leaves near-infrared spectroscopy fully convolutional network cloud computing

来源：评论

学校读者我要写书评

暂无评论

Coronavirus Infection Segmentation Detection Using UNET Deep Learning Architecture 18

Coronavirus Infection Segmentation Detection Using UNET Deep...

引用

18th IEEE India Council International Conference, INDICON 2021

作者： Saxena, Naman Chahal, Ekam Singh Sinha, Adwitiya Chand, Satish Indian Institute of Science Department of Computer Science Automation Bengaluru India Jaypee Institute of Information Technology Department of Computer Science Eng. and Information Technology UP Noida India Jawaharlal Nehru University School of Computer Systems Sciences New Delhi India

ISBN: (纸本)9781665441759

The high potency and spread of the coronavirus pandemic has rapidly swept over a global scale, causing a large number of deaths and devastation. Its mutants have exaggerated the situation further, which has become a serious concern and a challenge for scientists, especially medical practitioners, to devise some advanced remedial actions. This paper intends to address this by developing a model based on deep learning for segmenting the affected regions in the lungs using CT-scan images. We propose a novel segmentation model based on UNet using Xception-Net in the encoder stage to detect covid-19 infection in CT-scans with two main aspects. It combines the local residual connections in the decoder unit of UNet with the typical global residual connections that lead to better performance. Also, the encoder component uses a pre-trained state-of-the-art feature extraction model that helps the system converge to the optimal value precisely due to the pre-trained weights. We apply a contrast-limited version of the adaptive histogram equalization in the data preparation stage to make the frequency of image pixels uniformly distributed. This decreases the biasedness in the model towards specific sections of CT-scans images. Our proposed model outperformed some existing counterparts, including TV-UNet, Inf-Net, ED-CNN. © 2021 IEEE.

关键词： Coronavirus

来源：评论

学校读者我要写书评

暂无评论

Tuning the position of a fuzzy cognitive map attractor using backpropagation through time

Tuning the position of a fuzzy cognitive map attractor using...

引用

7th International Conference on Integrated Modeling and Analysis in Applied Control and automation, IMAACA 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013

作者： Gregor, Michal Groumpos, Peter P. Department of Control and Information Systems Faculty of Electrical Engineering University of Žilina Slovakia Laboratory for Automation and Robotics Department of Electrical and Computer Engineering University of Patras Greece

ISBN: (纸本)9781629934884

The paper proposes a new learning method for fuzzy cognitive maps, which makes it possible to encode an attractor into the map. The method is based on the principle of backpropagation through time known from the theory of artificial neural networks. Simulation results are presented to show how well the method performs. It is shown that the results are superior to those achieved using Hebbian learning approaches such as nonlinear Hebbian learning. Some lines for possible future research and development are given.

关键词： Fuzzy Cognitive Maps

来源：评论

学校读者我要写书评

暂无评论

ZeitGeist: A Generic Tool Supporting the Dissemination of Time Series Data Following FAIR Principles 15

ZeitGeist: A Generic Tool Supporting the Dissemination of Ti...

引用

15th International Conference on Knowledge Management and information systems, KMIS 2023 as part of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023

作者： Schmidt, Andreas Koubaa, Mohamad Anis Schweikert, Jan Stucky, Karl-Uwe Süß, Wolfgang Hagenmeyer, Veit Institute for Automation and Applied Informatics Karlsruhe Institute of Technology Karlsruhe Germany Department of Computer Science and Business Information Systems University of Applied Sciences Karlsruhe Germany

ISBN: (纸本)9789897586712

An important point for the widespread dissemination of FAIR-data is the lowest possible entry barrier for preparing and providing data to other scientists according to the FAIR criteria. If scientists have to manually extract, transform and annotate the data according to the FAIR criteria and then export it to make it available to the public, this requires a significant investment of time that does not primarily reward the scientist who prepares and provides the data. The Energy Lab at KIT is running a large cluster of an Influx database management system with energy related time series data being stored in a variety of individual databases over periods of up to 15 years. In order to increase the willingness to make data available to the scientific public, we develop a tool that greatly supports and automates the publication and annotation process of time series data stored in Influx databases. Copyright © 2023 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：