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

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Deyuan Meng Yingmin Jia Junping Du Fashan Yu the Department of Systems and Control Beihang University (BUAA) the Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and TechnologyBeijing University of Posts and Telecommunications the School of Electrical Engineering and Automation Henan Polytechnic University

This paper is concerned with the iterative learning control(ILC) problem for discrete-time systems with iterationvarying *** the so-called super-vector approach to ILC,the discrete domain bounded real lemma is employed to develop a sufficient condition ensuring both the stability and the desired H∞ performance of the ILC *** is shown that this sufficient condition can be presented in terms of linear matrix inequalities(LMIs),which can also determine the learning gain matrix.A numerical simulation example is included to validate the theoretical results.

关键词： Iterative learning control discrete-time systems iteration-varying disturbances H_∞ performance linear matrix inequality

来源：评论

学校读者我要写书评

暂无评论

Comparing Commercial Tools and State-of-the-Art Methods for Generating Text Summaries

Comparing Commercial Tools and State-of-the-Art Methods for ...

引用

Mexican International Conference on Artificial Intelligence, MICAI

作者： René Arnulfo García-Hernández Yulia Ledeneva Griselda Matías Mendoza Ángel Hernández Dominguez Jorge Chavez Alexander Gelbukh José Luis Tapia Fabela Software Engineering Department Autonomous University of the State of Mexico Santiago Tianguistenco Mexico Computer Science Department Juarez Autonomous University of Tabasco Mexico Computational Systems Engineering Iguala Institute of Technology Iguala Guerrero Mexico Natural Language Laboratory National Polytechnic Institute CIC Mexico

Nowadays, there are commercial tools that allow automatic generation of text summaries. However, it is not known the quality of the generated summaries and the method that it is used for the generation of the summaries using these commercial tools. This paper provides a study about the commercial tools such as Copernic Summarizer, Microsoft Office Word Summarizer 2003 and Microsoft Office Word Summarizer 2007, with the objective to detect which of them gives the summaries more similar to those made by a human. Furthermore, the comparison between commercial tools and state-of-the-art methods is realized. The experiments were carried out using DUC-2002 standard collection which contains 567 news in English.

关键词： Humans Natural languages Data mining Artificial intelligence software engineering systems engineering and theory Laboratories computer science Operating systems software systems

来源：评论

学校读者我要写书评

暂无评论

Distributed H∞ consensus control for networks of multiple agents with linear coupling dynamics

Distributed H∞ consensus control for networks of multiple a...

引用

SICE Annual Conference

作者： Yang Liu Yingmin Jia Junping Du Fashan Yu Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

This paper is devoted to the consensus control for a network of autonomous agents with high-dimension linear coupling dynamics and subject to external disturbances. By transforming the consensus control problem into an H infin control problem, we propose a distributed state feedback protocol, and obtain conditions in terms of linear matrix inequalities (LMIs) to ensure the consensus with a prescribed H infin performance level for networks with zero and nonzero communication delays, respectively. Furthermore, the undetermined feedback matrix of the proposed protocol is also solved. A numerical example is included to validate the theoretical results.

关键词： Control systems Communication system control Protocols Multiagent systems Vehicle dynamics Automatic control Telecommunication control Electronic mail Linear feedback control systems State feedback

来源：评论

学校读者我要写书评

暂无评论

Adaptive multi-class support vector machine for microarray classification and gene selection

Adaptive multi-class support vector machine for microarray c...

引用

SICE Annual Conference

作者： Juntao Li Yingmin Jia Junping Du Fashan Yu Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

This paper proposes an adaptive multi-class support vector machine for simultaneous microarray classification and gene selection. By evaluating the gene ranking significance, the adaptive multi-class support vector machine is shown to encourage an adaptive grouping effect in the process of building classifiers, thus leading a sparse multi-classifiers with enhanced interpretability. Based on a reasonable correlation between the two regularization parameters, an efficient solution path algorithm is developed for solving the proposed support vector machine. Experiments performed on the leukaemia data set are provided to verify the obtained results.

关键词： Support vector machines Support vector machine classification Electronic mail Programmable control Adaptive control Gene expression Learning systems Automatic control Control systems Telecommunication control

来源：评论

学校读者我要写书评

暂无评论

A combinatorial approach to building navigation graphs for dynamic web applications

A combinatorial approach to building navigation graphs for d...

引用

International Conference on software Maintenance (ICSM)

作者： Wenhua Wang Yu Lei Sreedevi Sampath Raghu Kacker Rick Kuhn James Lawrence Department of Computer Science and Engineering University of Texas Arlington Arlington TX USA Department of Information Systems University of Maryland Baltimore County Baltimore MD USA Information Technology Laboratory National Institute for Standards and Technology Gaithersburg MD USA Department of Mathematics George Mason University Fairfax VA USA

Modeling the navigation structure of a dynamic Web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt with: (1) the page explosion problem, i.e., the number of dynamic pages may be huge or even infinite; and (2) the request generation problem, i.e., many dynamic pages may not be reached unless appropriate user requests are supplied. As a user request typically consists of multiple parameter values, the request generation problem can be further divided into two problems: (1) How to select appropriate values for individual parameters? (2) How to effectively combine individual parameter values to generate requests? This paper presents a combinatorial approach to building a navigation graph. The novelty of our approach is two-fold. First, we use an abstraction scheme to control the page explosion problem. In this scheme, pages that are likely to have the same navigation behavior are grouped together, and are represented as a single node in a navigation graph. Grouping pages reduces and bounds the size of a navigation graph for practical applications. Second, assuming that values of individual parameters are supplied by using other techniques or generated manually by the user, we combine parameter values in a way that achieves a well-defined combinatorial coverage called pairwise coverage. Using pairwise coverage can significantly reduce the number of requests that have to be submitted while still achieving effective coverage of the navigation structure. We report a prototype tool called Tansuo, and apply the tool to five open source Web applications. Our empirical results indicate that Tansuo can efficiently generate Web navigation graphs for these applications.

关键词： Navigation Explosions Testing Web pages HTML Uniform resource locators Application software computer science Information technology Laboratories

来源：评论

学校读者我要写书评

暂无评论

A Notion of Stochastic Input-to-State Stability and Its Application to Stability of Cascaded Stochastic Nonlinear systems

引用

Acta Mathematicae Applicatae Sinica 2008年第1期24卷 141-156页

作者： Shu-jun Liu Ji-feng Zhang Zhong-ping Jiang Department of Mathematics Southeast University Nanjing 210096 China Key Laboratory of Systems and Control Institute of Systems Science Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China Department of Electrical and Computer Engineering Polytechnic University 5 Metrotech Center Brooklyfl N.Y. 11201 USA

In this paper, the property of practical input-to-state stability and its application to stability of cascaded nonlinear systems are investigated in the stochastic framework. Firstly, the notion of （practical） stochastic input-to-state stability with respect to a stochastic input is introduced, and then by the method of changing supply functions, （a） an （practical） SISS-Lyapunov function for the overall system is obtained from the corresponding Lyapunov functions for cascaded （practical） SISS subsystems.

关键词： Stochastic nonlinear systems Stochastic input-to-state stability （SISS） SISS-Lyapunov function

来源：评论

学校读者我要写书评

暂无评论

Building classification rules for case-based classifier using fuzzy sets and formal concept analysis 08

Building classification rules for case-based classifier usin...

引用

5th International Conference on Soft Computing As Transdisciplinary science and Technology, CSTST '08

作者： Tadrat, Jirapond Boonjing, Veera Pattaraintakorn, Puntip Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok 10520 Thailand

ISBN: (纸本)9781605580463

The focus of this paper is a construction of better knowledge base in case-based classifier system. Our knowledge base structure is based on concept lattice where rules are built from its subconcept-superconcept relation. Since the lattice can only be constructed from inputs with binary attributes, descriptive and numeric attributes must be transformed to binary attributes. In this paper, we propose the transformation of numeric attributes to descriptive attributes using fuzzy set theory. We experiment on benchmark data sets, Car and Iris, to determine the performance in term of number of rules used and classification precision. The results show that trend of accuracy is proportional to the size of learning inputs. The number of rules used is relatively small compared with size of training data. Our case-based classifier produces very promising results in practice and can classify the new problem more accurate than traditional classifiers. Copyright 2008 ACM.

关键词： Formal concept analysis

来源：评论

学校读者我要写书评

暂无评论

Verifying and analyzing adaptive logic through UML state models

Verifying and analyzing adaptive logic through UML state mod...

引用

1st International Conference on software Testing, Verification and Validation, ICST 2008

作者： Ramirez, Andres J. Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)076953127X

It is becoming increasingly important to be able to adapt an application's behavior at run time in response to changing requirements and environmental conditions. Adaptive programs are typically difficult to specify, design, and verify. A variety of conditions may trigger an adaptation, each of which may involve different types of adaptation mechanisms. In many cases, adaptive systems are concurrent, thus further exacerbating the complexity. Furthermore, it is important that adaptations do not put the system into an inconsistent state during or after adaptation. This paper presents an iterative approach to modeling and analyzing UML behavioral design models of adaptive systems, where the UML state diagrams are automatically translated into Promela code for analysis with the Spin model checker. The adaptive models are analyzed for adherence to both system invariants and properties that should hold during adaptation. We demonstrate this approach on applications for the mobile computing domain where we verify the design models against formally-specified properties. © 2008 IEEE.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Architecture based reliability and testing estimation for mobile applications

Architecture based reliability and testing estimation for mo...

引用

作者： Wadhwani, Vickey Memon, Fiaz Hameed, M. Muzaffar Blekinge Institute of Technology Department of Systems and Software Engineering Sweden University of Sindh Institute of Mathematics and Computer Science Jamshoro Pakistan

ISBN: (纸本)3540898522

We propose an architecture-based testing and reliability framework for mobile applications. During our literature study, we explored some of the software testing and reliability techniques available, as well as investigating the techniques that are being used by industry. This paper presents case studies of two companies that are developing mobile applications. These are helpful for finding the strengths and weaknesses of existing software testing and reliability techniques. In light of these strengths and weaknesses, we propose a framework of architecture-based software testing and reliability estimation for mobile applications. © 2008 Springer-Verlag.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

A defect typology to support software process verification and validation

A defect typology to support software process verification a...

引用

2008 International Conference on software engineering Research and Practice, SERP 2008

作者： Kroeger, Trent Shu, Fengdi Qin, Shaowen Defence and Systems Institute University of South Australia Adelaide SA Australia Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science Engineering and Mathematics Flinders University Adelaide SA Australia

ISBN: (纸本)1601320884

Approaches to software process development that are based on the principles and practices of software engineering have been advocated by many researchers as a means to produce software processes that meet the needs of process users. Such approaches require methodical and repeatable verification and validation techniques that enable effective and efficient identification, analysis and correction of software process defects. Defect classification schemes have proven to be effective for characterizing and improving the quality of software products. It is reasonable, therefore, to suggest that a similar scheme for the classification of process defects may provide comparable support to those performing software process engineering activities. This paper proposes a defect typology that can be used to classify software process defects as definition, asset, context or documentation problems. The paper then discusses potential applications of the typology to software process verification and validation and concludes by suggesting areas for further research.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：