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

31st Annual International computer Software and Applications Conference, COMPSAC 2007

作者： Wong, W. Eric Qi, Yu Zhao, Lei Cai, Kai-Yuan Department of Computer Science University of Texas Dallas United States Department of Automatic Control Beijing University of Aeronautics and Astronautics China

ISBN: (纸本)9780769528700

Localizing a bug in a program can be a complex and time-consuming process. In this paper we propose a code coverage-based fault localization method to prioritize suspicious code in terms of its likelihood of containing program bugs. Code with a higher risk should be examined before that with a lower risk, as the former is more suspicious (i.e., more likely to contain program bugs) than the latter. We also answer a very important question: How can each additional test case that executes the program successfully help locate program bugs? We propose that with respect to a piece of code, the aid introduced by the first successful test that executes it in computing its likelihood of containing a bug is larger than or equal to that of the second successful test that executes it, which is larger than or equal to that: of the third, successful test that executes it, etc. A tool, χDebug, was implemented to automate the computation of the risk of the code and the subsequent prioritization of suspicious code for locating program bugs. A case study using the Siemens suite was also conducted. Data collected from our study support the proposal described above. They also indicate that our method (in particular Heuristics III (c), (d), and (e)) can effectively reduce the search domain for locating program bugs. © 2007 IEEE.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Analytical formulation of robust performance/stability bounds for QFT controller design 9

Analytical formulation of robust performance/stability bound...

引用

2007 9th European control Conference, ECC 2007

作者： Martin-Romero, Juan Jose Gil-Martinez, Montserrat Garcia-Sanz, Mario Department of Electrical Engineering University of la Rioja Spain Department of Automatic Control and Computer Science Public University of Navarra Spain

ISBN: (纸本)9783952417386

This paper introduces a new analytical formulation to describe the robust performance and stability bounds for the quantitative feedback theory (QFT) controller design methodology. The new approach explicity defines a family of curves that allow the user to significantly reduce the computational effort and improves the accuracy of the design. The paper includes two examples to clarify and validate the analytical formulation. © 2007 EUCA.

关键词： Design

来源：评论

学校读者我要写书评

暂无评论

Stability and performance analysis of control systems subject to bursts of deadline misses 33

Stability and performance analysis of control systems subjec...

引用

33rd Euromicro Conference on Real-Time Systems, ECRTS 2021

作者： Vreman, Nils Cervin, Anton Maggio, Martina Lund University Department of Automatic Control Sweden Universität des Saarlandes Department of Computer Science Saarbrücken Germany

ISBN: (纸本)9783959771924

control systems are by design robust to various disturbances, ranging from noise to unmodelled dynamics. Recent work on the weakly hard model - applied to controllers - has shown that control tasks can also be inherently robust to deadline misses. However, existing exact analyses are limited to the stability of the closed-loop system. In this paper we show that stability is important but cannot be the only factor to determine whether the behaviour of a system is acceptable also under deadline misses. We focus on systems that experience bursts of deadline misses and on their recovery to normal operation. We apply the resulting comprehensive analysis (that includes both stability and performance) to a Furuta pendulum, comparing simulated data and data obtained with the real plant. We further evaluate our analysis using a benchmark set composed of 133 systems, which is considered representative of industrial control plants. Our results show the handling of the control signal is an extremely important factor in the performance degradation that the controller experiences - a clear indication that only a stability test does not give enough indication about the robustness to deadline misses. © Nils Vreman, Anton Cervin, and Martina Maggio;licensed under Creative Commons License CC-BY 4.0

关键词： controllers

来源：评论

学校读者我要写书评

暂无评论

Analytical formulation to compute QFT templates for plants with a high number of uncertain parameters

Analytical formulation to compute QFT templates for plants w...

引用

2007 Mediterranean Conference on control and Automation, MED

作者： Martín-Romero, Juan José Gil-Martínez, Montserrat García-Sanz, Mario Department of Electrical Engineering University of La Rioja Spain Department of Automatic Control and Computer Science Public University of Navarra Spain

ISBN: (纸本)142441282X

This paper introduces an analytical formulation to describe QFT templates based on Fourier series. This allows to calculate the template contour of plants with a high number of uncertain parameters. The proposed solution consists of performing operations between analytical subtemplates. This saves calculation time and allows to work with an infinite set of plant values. © 2007 IEEE.

关键词： Fourier series

来源：评论

学校读者我要写书评

暂无评论

Sensor Faults Observer Design with H_∞ Performance for Non-linear T-S systems

引用

International Journal of Automation and computing 2013年第6期10卷 563-570页

作者： Imen Haj Brahim Maha Bouattour Driss Mehdi Mohamed Chaabane Ghani Hashim Laboratory of Sciences and Techniques of Automatic Control&Computer Engineering(Lab-STA) National School of Engineering of SfaxUniversity of Sfax LIAS-ENSIP University of PoitiersLIAS-ENSIP2 rue Pierre Brousse Computer Science Department Cihan University

This paper deals with the problem of the state estimation and the sensor faults detection for nonlinear perturbed systems described by Takagi-Sugeno （T-S） fuzzy models with unmeasurable premise variables. Indeed, a T-S observer is synthesized, in descriptor form, to estimate both the system states and the sensor faults simultaneously. The idea of the proposed approach is to introduce the sensor fault as an auxiliary variable in the state vector. Besides, the T-S model with unmeasurable premise variables is reduced to a perturbed model with measurable variables. Convergence conditions are established with Lyapunov theory and the H∞ performance in order to guarantee the best robustness to disturbances. These conditions are expressed in terms of linear matrix inequalities （LMIs）. The parameters of the observer are computed using the solution of the LMI conditions. Finally, a numerical example is given to illustrate the design procedures. Simulation results show the satisfactory performances.

关键词： Takagi-Sugeno （T-S） fuzzy system sensor faults H∞ performance descriptor approach observer linear matrix inequality（LMI）.

来源：评论

学校读者我要写书评

暂无评论

An automatic template generating method of machine vision system in TFT LCD assembly and positioning process with genetic algorithm

引用

Assembly Automation 2009年第1期29卷 41-48页

作者： Lin, Chern-Sheng Wu, Kuo-Chun Lay, Yun-Long Lin, Chi-Chin Lin, Jim-Min Department of Automatic Control Engineering Feng Chia University Taichung Taiwan Department of Electronic Engineering National Chinyi University of Technology Taichung Taiwan Department of Computer Science and Information Engineering National Taiwan University Taipei Taiwan Department of Information Engineering and Computer Science Feng Chia University Taichung Taiwan

Purpose - The purpose of this paper is to propose an automatic pattern matching template generating method for the automatic optical inspection system in TFT LCD assembly and positioning process, to improve the conventional image technology. Besides, focusing on integrating the image system with the existing control system, the double aligner mark searching time is decreased to reduce the working time of the integrated system. Design/methodology/approach - The improved pattern matching method of genetic algorithm was adopted, including setting for template image selecting, encoding, calculating fitness function, pattern matching, template generating and genetic algorithm steps. The predetermined pixels were selected from the target template based on the minimum difference to the block image to be tested by utilizing the genetic algorithm, and the other pixels which have not been selected were neglected. Findings - The selected pixels were encoded for recording by sequence mode, and then the target template and the image to be tested were compared based on the calculated fitness function. This method has the advantages of using the fitness function to reduce the searching time, with the help of genetic algorithm to find the optimal target template, and saving memory space by recording target template based on the sequence mode. Research limitations/implications - The genetic algorithm used in this study is a kind of optimal tool free from gradient data. As long as the fitness function and after continuous iteration are determined, the optimal solution can be found out, and then the optimal target template can be generated. Practical implications - This system uses fitness function to reduce the pattern matching time. Plural pixels are preset inside the target template, and its fitness function value is calculated. When the target template is compared with the image to be tested, only the fitness function value (also the difference of the plural pixels) is calculated

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Hybrid heuristic and mathematical programming in oil pipelines networks: Use of immigrants

引用

Journal of Zhejiang University-science A(Applied Physics & Engineering) 2005年第1期6卷 9-19页

作者： DE LA CRUZ J.M HERRáN-GONZáLEZ A RISCO-MARTíN J.L ANDRéS-TORO B Department of Computer Architecture and Automatic Control Complutense University of Madrid 28040 Madrid SpainDepartment of Computer Architecture and Automatic Control Complutense University of Madrid 28040 Madrid SpainDepartment of Computer Science Engineering C.E.S. Felipe II (U.C.M.) 28300 Aranjuez SpainDepartment of Computer Architecture and Automatic Control Complutense University of Madrid 28040 Madrid Spain

We solve the problem of petroleum products distribution through oil pipelines networks. This problem is modelled and solved using two techniques: A heuristic method like a multiobjective evolutionary algorithm and Mathematical Programming. In the multiobjective evolutionary algorithm, several objective functions are defined to express the goals of the solutions as well as the preferences among them. Some constraints are included as hard objective functions and some are evaluated through a repairing function to avoid infeasible solutions. In the Mathematical Programming approach the multiobjective optimization is solved using the Constraint Method in Mixed Integer Linear Programming. Some constraints of the mathematical model are nonlinear, so they are linearized. The results obtained with both methods for one concrete network are presented. They are compared with a hybrid solution, where we use the results obtained by Mathematical Programming as the seed of the evolutionary algorithm.

关键词： MOEA MILP Hybrid algorithm Constraints

来源：评论

学校读者我要写书评

暂无评论

Teaching and Learning Object-Oriented Analysis and Design with 3D Game 14

Teaching and Learning Object-Oriented Analysis and Design wi...

引用

14th International Conference on Frontiers of Information Technology, FIT 2016

作者： Inayat, Irum Inayat, Zubaria Amin, Rooh Ul Department of Computer Science National University of Computer and Emerging Sciences Islamabad Pakistan Department of Computer Science AQ Khan Institute of Computer Science and Information Technology Kahuta Pakistan Department of Automatic Control Northwestern Polytechnical University Xi'an China

ISBN: (纸本)9781509053001

Game based-learning methods are largely adopted in many academic fields. The multi-dimensional virtual reality based learning games help the learners to understand the problem dynamics effectively and to construct optimal solutions for them. This shows that games help learners in problem solving and enhancing their performance. Still the implementation of game-based learning is new to software engineering learning. Therefore, there is a need to design multi-dimensional game-based learning environments for teaching and learning software engineering courses and to support it with empirical evidence. To fill this research gap, this paper aims to introduce a multi-dimensional (3D) game for learning object-oriented analysis and design course. This game basically emulates the real-world projects handed over to students as a part of object oriented analysis and design course. The empirical investigation showed that by using the proposed 3D game students learned through practical experience and it eventually helped to enhance their learning outcome, knowledge on the concepts of software process, and proved conducive in timely completion of the project. © 2016 IEEE.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Cloud live streaming system based on auto-adaptive overlay for Cyber Physical Infrastructure 3

Cloud live streaming system based on auto-adaptive overlay f...

引用

3rd Internatioal Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2016

作者： Mocanu, Bogdan Mureean, Vlad Mocanu, Mariana Cristea, Valentin University Politehnica of Bucharest Faculty of Automatic Control and Computers Computer Science Department 313 Splaiul Independentei Bucharest Romania

ISBN: (纸本)9781450342278

According to Mark Zuckerberg's speech, at the Samsung S7 launch in February 2016, the age of massive data streaming, especially massive video streaming, is here. At the beginning of the year 2000, most people used to share and search almost only text. Then, they started to be interested in sharing and searching images and, in the latter years, videos with different formats and resolutions. One of the emerging technologies of this decade is Virtual Reality (VR) through which people can share resources in a more exciting and enjoyable manner. If a decade ago people used to only read about how to do things, now they see it being done in videos. Expectations are that, in the not so distant future, they will be able to visualize and experience it through the power of VR. But, new technologies come with new challenges. Video streaming, especially for VR, generates a great amount of data. Techniques used until now need to evolve or lead the way for better ones. Centralized approaches for big data live streaming are no longer appropriate. Peer-to-Peer networks are more suitable due to their decentralized nature and auto-adaptive property. The aim of this paper is to analyze and evaluate the performances of the SPIDER Peer-to-Peer Overlay in the context of live video streaming for two Cloud use cases. The first scenario entitled CyberWater aims to create an e-platform for sustainable water resources with a high focus on pollution phenomena. The second scenario, called ClueFarm, is a Cloud service-based system for quality business development in the farming sector. The experimental results presented in this paper focus on the amount of bandwidth needed in booth test scenarios and emphasize the advantages of the SPIDER Peer-to-Peer Overlay. © 2016 ACM.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

First order controller for a petrochemical pyrolysis reactor

First order controller for a petrochemical pyrolysis reactor

引用

2013 2nd International Conference on Systems and computer science, ICSCS 2013

作者： Tudor, Florin Sebastian Boangiu, Florin MihǍiţǍ Petrescu, CǍtǍlin Faculty of Automatic Control and Computer Science ACSE Department 'Politehnica' University of Bucharest Romania Transelectrica S.A Romania

ISBN: (纸本)9781479920204

The objective of this paper is to design a real-time control solution for chemical processes, namely the ethylene reactor, the key-installation in the petrochemical industry. The controller used is lag or lead controller, a simple yet suitable control tool. This article deals with the problem of finding all first order controllers that stabilize a given LTI continuous time or discrete time plant and attain various performance specifications. The main tool for the controller design is Neimarks D-decomposition, which was originally introduced in 1949 in the Russian control literature. The process data have been measured from an assembly of pyrolysis reactors on the petrochemical platform from Pitesti, Romania. © 2013 IEEE.

关键词： Real time control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：