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

IEEE Symposium on On-Line Testing (IOLTS)

作者： A. Savino S. Di Carlo A. Vallero G. Politano D. Gizopoulos A. Evans Dep. of Control and Computer Engineering Politecnico di Torino Torino Italy Department of Informatics and Telecommunications University of Athens Athens Greece IROC Technologies Grenoble France

ISBN: (纸本)9781509015085

This paper describes the joint effort of the two FP7 EU projects CLERECO and MoRV toward the definition of an extended reliability information exchange format able to manage reliability information for the full system stack, from technology up to the software level. The paper starts from the RIIF language initiative, proposing a set of new features to improve the expression power of the language and to extend it to the software layer of a system. The proposed extended reliability information exchange format named RIIF-2 has the potential to support the development of next generation reliability analysis tools that will help to fully include reliability evaluation into an automated design flow, pushing cross-layer reliability considerations at the same level of importance as area, timing and power consumption when performing design exploration for new products.

关键词： Software reliability Reliability engineering Integrated circuit reliability Random access memory Software Hardware

来源：评论

学校读者我要写书评

暂无评论

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues 45

Assessment of Defect Type influence in Complex and Integrate...

引用

45th Annual IEEE/IFIP International Conference on dep.ndable Systems and Networks Workshops, DSN-W 2015

作者： Silva, Nuno Vieira, Marco Ricci, Dario Cotroneo, Domenico CISUC Department of Informatics Engineering University of Coimbra Coimbra Portugal CINI Dep. of Computer and Control Engineering Federico II University of Naples Naples Italy

ISBN: (纸本)9781467380447

Safety or mission critical systems are those where failures should be avoided at all costs. engineering processes, techniques and tools are, however, not perfect, and lead to software and systems with flaws. This paper presents an analysis of the impact of late found issues versus the fault types for critical aerospace systems. These issues are the indep.ndently detected faults that remain once the engineering processes that are required by European space standards have been applied and the engineering teams have performed their verification and validation activities. This study presents the analysis of the fault impact versus fault type distribution according to the detection phases and to the issues severity/type and presents recommendations to improve space systems engineering. © 2015 IEEE.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Approximate capacity of the Gaussian interference channel with noisy channel-output feedback

Approximate capacity of the Gaussian interference channel wi...

引用

IEEE (first ITW conference of the year) Information Theory Workshop (ITW)

作者： Victor Quintero Samir M. Perlaza Iñaki Esnaola Jean-Marie Gorce The CITI Laboratory a joint lab between the Institut National de Recherche en Informatique et en Automatique (INRIA) Institut National de Sciences Apliquées (INSA) de Lyon France Victor Quintero is also with Universidad del Cauca Popayán Colombia Dep. of Automatic Control and Systems Engineering The University of Sheffield United Kingdom

In this paper, an achievability region and a converse region for the two-user Gaussian interference channel with noisy channel-output feedback (G-IC-NOF) are presented. The achievability region is obtained using a random coding argument and three well-known techniques: rate splitting, superposition coding and backward decoding. The converse region is obtained using some of the existing perfect-output feedback outer-bounds as well as a set of new outer-bounds that are obtained by using genie-aided models of the original G-IC-NOF. Finally, it is shown that the achievability region and the converse region approximate the capacity region of the G-IC-NOF to within a constant gap in bits per channel use.

关键词： Transmitters Receivers Encoding Noise measurement Decoding Interference channels Random variables

来源：评论

学校读者我要写书评

暂无评论

Robust Power Management control for Stand-Alone Hybrid Power Generation System

引用

Journal of Physics: Conference Series 2017年第1期783卷

作者： Elkhatib Kamal Lounis Adouane Abdel Aitouche Walaa Mohammed Industrial Electronics and Control Department Faculty of Electronic Engineering Menoufia University Menouf Egypt and Institut Pascal / IMobS3 Blaise Pascal University–UMR CNRS 6602 Clermont-Ferrand France. Institut Pascal / IMobS3 Blaise Pascal University – UMR CNRS 6602 Clermont-Ferrand France Laboratory CRISTAL (Center of Research in Informatics Signal and Automatic in Lille) University of Lille 1 France Industrial Electronics and Control Dep. Faculty of Electronic Engineering Menoufia University Menouf Egypt

This paper presents a new robust fuzzy control of energy management strategy for the stand-alone hybrid power systems. It consists of two levels named centralized fuzzy supervisory control which generates the power references for each decentralized robust fuzzy control. Hybrid power systems comprises: a photovoltaic panel and wind turbine as renewable sources, a micro turbine generator and a battery storage system. The proposed control strategy is able to satisfy the load requirements based on a fuzzy supervisor controller and manage power flows between the different energy sources and the storage unit by respecting the state of charge and the variation of wind speed and irradiance. Centralized controller is designed based on If-Then fuzzy rules to manage and optimize the hybrid power system production by generating the reference power for photovoltaic panel and wind turbine. Decentralized controller is based on the Takagi-Sugeno fuzzy model and permits us to stabilize each photovoltaic panel and wind turbine in presence of disturbances and parametric uncertainties and to optimize the tracking reference which is given by the centralized controller level. The sufficient conditions stability are formulated in the format of linear matrix inequalities using the Lyapunov stability theory. The effectiveness of the proposed Strategy is finally demonstrated through a SAHPS (stand-alone hybrid power systems) to illustrate the effectiveness of the overall proposed method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

Assessment of Defect Type influence in Complex and Integrate...

引用

International Conference on dep.ndable Systems and Networks Workshops (DSN-W)

作者： Nuno Silva Marco Vieira Dario Ricci Domenico Cotroneo CISUC Department of Informatics Engineering University of Coimbra Coimbra Portugal CINI Dep. of Computer and Control Engineering Federico II University of Naples Naples Italy

关键词： Documentation Reliability engineering Standards Software Safety Aerospace electronics

来源：评论

学校读者我要写书评

暂无评论

Reaching a consensus on access detection by a decision system 2

Reaching a consensus on access detection by a decision syste...

引用

2014 2nd IEEE International Conference on Progress in Informatics and Computing, PIC 2014

作者： Guevara, Cesar Santos, Matilde Martin, Jose Antonio Lopez, Victoria Dep. Computer Architecture and Automatic Control Complutense University of Madrid Madrid Spain

ISBN: (纸本)9781479920334

Classification techniques based on Artificial Intelligence are computational tools that have been applied to detection of intrusions (IDS) with encouraging results. They are able to solve problems related to information security in an efficient way. The intrusion detection implies the use of huge amount of information. For this reason heuristic methodologies have been proposed. In this paper, decision trees, Naive Bayes, and supervised classifying systems UCS, are combined to improve the performance of a classifier. In order to validate the system, a scenario based on real data of the NSL-KDD99 dataset is used. © 2014 IEEE.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

Model correction mechanishm for nonlinear time variant systems as support to predictive control strategies 19

Model correction mechanishm for nonlinear time variant syste...

引用

19th IFAC World Congress on International Federation of automatic control, IFAC 2014

作者： Pérez-Castro, A. Sánchez, J. Guzmán, J.L. Dep. of Computer Science and Automatic Control National Distance Education University Madrid Spain Dep. of Computer Science University of Almería Almería Spain

ISBN: (纸本)9783902823625

This work presents a strategy to estimate and to correct dynamics variations in nonlinear time variant systems. This correction is carried out by estimating the internal parameters of the process and determining the differences with an available nonlinear model of the system. The proposed approach has a double functionality;on the one hand, it allows a better performance of using nonlinear models for control purposes, like for nonlinear predictive controllers;and on the other hand, it can be used as a diagnosis mechanism since it provides relevant information about the current state of the system. Thus, in order to use this technique with nonlinear time variant systems, a nonlinear model predictive control strategy has been used. The estimator proposed within the framework of this work is similar to the Moving Horizon Estimation strategy. Experimental results on a real tank process are presented to show the main properties of the proposed architecture. © IFAC. © Copyright IFAC 2014.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

Model correction mechanishm for nonlinear time variant systems as support to predictive control strategies

引用

IFAC Proceedings Volumes 2014年第3期47卷 5975-5980页

作者： A. Pérez-Castro J. Sanchez J.L. Guzman Dep. of Computer Science and Automatic Control National Distance Education University Madrid Spain Dep. of Computer Science University of Almería Almería Spain

This work presents a strategy to estimate and to correct dynamics variations in nonlinear time variant systems. This correction is carried out by estimating the internal parameters of the process and determining the differences with an available nonlinear model of the system. The proposed approach has a double functionality; on the one hand, it allows a better performance of using nonlinear models for control purposes, like for nonlinear predictive controllers; and on the other hand, it can be used as a diagnosis mechanism since it provides relevant information about the current state of the system. Thus, in order to use this technique with nonlinear time variant systems, a nonlinear model predictive control strategy has been used. The estimator proposed within the framework of this work is similar to the Moving Horizon Estimation strategy. Experimental results on a real tank process are presented to show the main properties of the proposed architecture.

关键词： Modeling Model Predictive control Nonlinear Model Predictive control System diagnosis Nonlinear time variant models Moving Horizon Estimation

来源：评论

学校读者我要写书评

暂无评论

Reaching a Consensus on Access Detection by a Decision System

Reaching a Consensus on Access Detection by a Decision Syste...

引用

2014 IEEE International Conference on Progress in Informatics and Computing

作者： César Guevara Matilde Santos José AntonioMartín Victoria López Dep. Computer Architecture and Automatic Control Complutense University of Madrid

Classification techniques based on Artificial Intelligence are computational tools that have been applied todetection of intrusions(IDS) with encouraging results. They are able tosolve problems related toinformation security in an efficient way. The intrusion detection implies the use of huge amount of information. For this reason heuristic methodologies have been proposed. In this paper, decision trees, Naive Bayes, and supervised classifying systems UCS, are combined toimprove the performance of a classifier. In order tovalidate the system, a scenariobased on real data of the NSL-KDD99 datasetis used.

关键词： artificial intelligence heuristic methodologies intrusion detection(IDS) decision trees supervised classifying system UCS naive Bayes

来源：评论

学校读者我要写书评

暂无评论

The T clouds platform: From the concept to the implementation of benchmark scenarios 2

The T clouds platform: From the concept to the implementatio...

引用

2nd International Workshop on dep.ndability Issues in Cloud Computing, DISCCO 2013 and Symposium on Operating Systems Principles 2013, SOSP 2013

作者： Bessani, Alysson Cutillo, Leucio A. Ramunno, Gianluca Schirmer, Norbert Smiraglia, Paolo Dep. of Control and Computer Engineering Politecnico di Torino Italy Faculty of Sciences University of Lisbon Portugal Sirrix A.G. Germany

T Clouds was an EU project (2010-2013) targeted at improving the security and the dep.ndability of cloud infrastructures and services, especially for supporting critical applications. During the project, the participants of the consortium developed a platform containing a portfolio of solutions for improving the state of the art in cloud security and dep.ndability. Here we present an overview of these solutions and two examples of how they can be integrated to provide security for critical cloud-based applications. Copyright ACM, 2013.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：