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

Delay-dependent Stability Analysis and Stabilization of Discrete-time Singular Delay Systems

自动化学报 2010年第10期36卷 1477-1483页

作者： SUN Xin ZHANG Qing-Ling YANG Chun-Yu SHAO Yong-Yun SU Zhan Institute of Systems Science Northeastern University Shenyang 110004 P. R. China Key Laboratory of Integrated Automation of Process Industry Ministry of Education Northeastern University Shenyang 110004 P. R. China Department of Computer and Mathematics Teaching Shenyang Normal University Shenyang 110034 P. R. China Transportation Management College Dalian Maritime University Dalian 116026 P. R. China

In this paper, delay-dependent stability analysis and stabilization of discrete-time singular delay systems are addressed, respectively. First, a new delay-dependent sufficient condition of admissibility for discrete-time singular delay systems is derived. The proposed method is proved to have some advantages over the existing results. Then, by applying the skill of matrix theory, a state feedback controller is designed to guarantee the closed-loop discrete-time singular delay systems to be admissible. Finally, two numerical examples are given to demonstrate the effectiveness of the proposed method

关键词：自动化系统稳定性方法实验

来源：评论

学校读者我要写书评

暂无评论

State space reduction of linear processes using control flow reconstruction

State space reduction of linear processes using control flow...

引用

7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009

作者： Van De Pol, Jaco Timmer, Mark Department of Computer Science Formal Methods and Tools University of Twente Netherlands

ISBN: (纸本)3642047602

We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear process equations (LPEs). Our method consists of two steps: (1) we reconstruct the LPE's control flow, detecting control flow parameters that were introduced by linearisation as well as those already encoded in the original specification;(2) we reset parameters found to be irrelevant based on data flow analysis techniques similar to traditional liveness analysis, modified to take into account the parallel nature of the specifications. Our transformation is correct with respect to strong bisimilarity, and never increases the state space. Case studies show that impressive reductions occur in practice, which could not be obtained automatically without reconstructing the control flow. © 2009 Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Delay-dependent Stability Analysis and Stabilization of Discrete-time Singular Delay Systems

引用

Acta Automatica Sinica 2010年第10期36卷 1477-1483页

作者： Xin SUN Qing-Ling ZHANG Chun-Yu YANG Yong-Yun SHAO Zhan SU Institute of Systems Science Northeastern University Shenyang 110004 P.R. China Key Laboratory of Integrated Automation of Process Industry Ministry of Education Northeastern University Shenyang 110004 P.R. China Department of Computer and Mathematics Teaching Shenyang Normal University Shenyang 110034 P.R. China Transportation Management College Dalian Maritime University Dalian 116026 P.R. China

Abstract In this paper, delay-dependent stability analysis and stabilization of discrete-time singular delay systems are addressed, respectively. First, a new delay-dependent sufficient condition of admissibility for discrete-time singular delay systems is derived. The proposed method is proved to have some advantages over the existing results. Then, by applying the skill of matrix theory, a state feedback controller is designed to guarantee the closed-loop discrete-time singular delay systems to be admissible. Finally, two numerical examples are given to demonstrate the effectiveness of the proposed method.

关键词： Discrete-time singular delay systems delay-dependent stability stabilization admissible state feedback control

来源：评论

学校读者我要写书评

暂无评论

Implementation of an E-Learning Module in Virtual Centre for Entrepreneurship: The Development of Cultural Awareness in Students

Implementation of an E-Learning Module in Virtual Centre for...

引用

International Conference on Developments in eSystems Engineering (DESE)

作者： Tatjana Welzer Marjan Družovec Metka Zoric Zoriç Venuti Anthony E. Ward Hamed Yahoui Faculty of Electrical Engineering and Computer Science University of Maribor Maribor Slovenia Xlim Laboratory UMR 6172-CNRS OSA department Faculté des Sciences et Techniques Limoges France Centre of Excellence in Teaching and Learning in Enterprise University of York Heslington UK Centre of E-Learning and Lifelong Learning University of Maribor Maribor Slovenia Université Claude Bemard Lyon 1 Lyon France

By using global communication systems, which are enabled by information and communication technology, the borders around the world are no longer important, and people are changing continents, countries, regions, cultures and languages with eases, without having to step out of the office or leave their room. Those changes also require and expect a new, different way of developing e-learning modules, which have to support the needs of users in different countries, who speak different languages and come from different cultural backgrounds. Different languages and cultural backgrounds are the reason why developers and producers have to be aware of the intercultural dialogue in global communication systems. But this is not enough. We also have to develop cultural awareness in students (scholars, learners, learning persons), who are using the developed and implemented e-learning modules. In the introduction, the ELLEIEC project and one of its most important outcomes, the Virtual Entrepreneurship Centre, will be described briefly. In the main part of the paper, our experiences with the implementation of the e-learning module with emphasis on the development of cultural awareness in students will be presented. In conclusion, first experiences of students with the e-learning module will be discussed.

关键词： Cultural differences Electronic learning Cross-cultural communication Programming profession

来源：评论

学校读者我要写书评

暂无评论

The ehrenfeucht-silberger problem

引用

36th International Colloquium on Automata, Languages and Programming, ICALP 2009

作者： Holub, Štepán Nowotka, Dirk Department of Algebra Charles University of Prague Czech Republic Institute for Formal Methods in Computer Science Universität Stuttgart Germany

ISBN: (纸本)3642029264

We consider repetitions in words and solve a longstanding open problem about the relation between the period and the length of its longest unbordered factor. A word u is called bordered if there exists a proper prefix that is also a suffix of u, otherwise it is called unbordered. In 1979 Ehrenfeucht and Silberger raised the following problem: What is the maximum length of a word w, w.r.t. the length τ of its longest unbordered factor, still allowing that τ is shorter than the period π of w. We show that if w is longer than 7(τ-1)/3 then τ=π which gives the optimal asymtotic bound. © 2009 Springer Berlin Heidelberg.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

INVESTIGATION ON STABILITY OF PZT/EPOXY PIEZOCOMPOSITE WITH PRESSURE AND TEMPERATURE

引用

Acta Mechanica Solida Sinica 2009年第3期22卷 226-231页

作者： Likun Wang Yuanyuan Wan Li Li Lei Qin Yi Lu Beijing Key Laboratory for Sensor Beijing Information Science and Technology University Beijing 100101 China Computer Science and Technology Department Shenyang Institute of Chemical Technology 11 Economic Development District Shenyang 110142 China The Department of Foreign Languages Teaching Yunnan University Kunming 650091 China

With the universal test machine and temperature test chamber, the effect of pressure and temperature on the behavior of 1-3 and 1-3-2 piezocomposites prepared with PZT/epoxy in our lab has been investigated through electrical impedance and dielectric analysis. The permittivity, resonant frequency and dielectric loss of the composites have been measured under vertical stress and temperature, and the variety of the material properties under pressure and temperature could also be obtained. The pressure and temperature stability of the composites have been assessed through experiments. The data of these two types of composites indicated that the stability of 1-342 composite with pressure was better than that of 1-3 composite, and two composites have almost the same dielectric stability with temperature. However, 1-3-2 composite showed slower frequency variation than 1-3 composite.

关键词： piezoelectric composite directional pressure temperature stability

来源：评论

学校读者我要写书评

暂无评论

A synthesis course in hardware architecture, compilers, and software engineering 09

A synthesis course in hardware architecture, compilers, and ...

引用

40th ACM Technical Symposium on computer science Education, SIGCSE 2009

作者： Schocken, Shimon Nisan, Noam Armoni, Michal Efi Arazi School of Computer Science IDC Herzliya P.O.B. 167 Herzliya 46150 Israel School of Computer Science and Engineering Hebrew University of Jerusalem Jerusalem 91904 Israel Department of Science Teaching Weizmann Institute of Science Rehovot 76100 Israel

ISBN: (纸本)9781605585048

We describe a synthesis course that provides a hands-on treatment of many hardware and software topics learned in computer science (CS) programs. Using a modular series of twelve projects, we walk the students through the gradual construction of a simple hardware platform and a modern software hierarchy, yielding a basic yet powerful computer system. In the process of building the computer, the students gain a first-hand understanding of how hardware and software systems are designed and how they work together, as one enterprise. The course web site contains all the materials necessary to run this course in open source, and students and instructors are welcome to use and extend them freely. The course projects are modular and self-contained, and any subset of them can be implemented in any order and in any programming language. Therefore, they comprise a flexible library of exercises that can be used in many applied CS courses. This paper gives a description of the approach and the course, juxtaposed against general educational principles underlying meaningful learning. © 2009 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Relativistic configuration-interaction oscillator strengths for lowest E1 transitions in silver and gold isoelectronic sequences

引用

Physical Review A 2009年第4期80卷 042505-042505页

作者： Leszek Głowacki Jacek Migdałek []Department of Computer Science and Computer Methods Pedagogical University of Cracow Podchor??ych 2 30-084 Kraków Poland

Relativistic oscillator strengths are computed for ns1/2−np1/2,3/2 transitions in silver and gold isoelectronic sequences employing configuration-interaction method with numerical Dirac-Fock wave functions generated with noninteger outermost core shell occupation number. This method is optimized to represent efficiently the core-valence electron correlation that is known to be important for transitions under consideration. The presented results are compared with our earlier data computed with core-valence correlation represented in the semiclassical core polarization picture within single configuration Dirac-Fock scheme as well as available experimental values.

关键词： Silver

来源：评论

学校读者我要写书评

暂无评论

Memetic pareto differential evolution for designing artificial neural networks in multiclassification problems using cross-entropy versus sensitivity

Memetic pareto differential evolution for designing artifici...

引用

4th International Conference on Hybrid Artificial Intelligence Systems, HAIS 2009

作者： Fernández, Juan Carlos Hervás, César Martínez, Francisco José Gutiérrez, Pedro Antonio Cruz, Manuel Department of Computer Science and Numerical Analysis University of Cordoba Campus de Rabanales Cordoba 14071 Spain Department of Management and Quantitative Methods ETEA Escritor Castilla Aguayo 4 Cordoba 14005 Spain

ISBN: (纸本)3642023185

This work proposes a Multiobjective Differential Evolution algorithm based on dominance Pareto concept for multiclassification problems using multilayer perceptron neural network models. The algorithm include a local search procedure and optimizes two conflicting objectives of multiclassifiers, a high correct classification rate and a high classification rate for each class, of which the latter is not usually optimized in classification. Once the Pareto front is built, we use two automatic selection methodologies of individuals: the best model with respect to accuracy and the best model with respect to sensitivity (extremes in the Pareto front). These strategies are applied to solve six classification benchmark problems obtained from the UCI repository. The models obtained show a high accuracy and a high classification rate for each class. © 2009 Springer Berlin Heidelberg.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

Interpreting a Successful Testing Process:Risk and Actual Coverage

Interpreting a Successful Testing Process:Risk and Actual Co...

引用

Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

作者： Mariělle Stoelinga Mark Timmer Formal Methods & Tools Group Department of Computer Science University of Twente The Netherlands

Testing is inherently incomplete;no test suite will ever be able to test all possible usage scenarios of a system. It is therefore vital to assess the implication of a system passing a test suite. This paper quantifies that implication by means of two distinct, but related, measures: the risk quantifies the confidence in a system after it passes a test suite, i.e., the number of faults still expected to be present (weighted by their severity);the actual coverage quantifies the extent to which faults have been shown absent, i.e., the fraction of possible faults that has been covered. We provide evaluation algorithms that calculate these metrics for a given test suite, as well as optimisation algorithms that yield the best test suite for a given optimisation criterion.

关键词： System testing Software testing Costs Software engineering computer science Solid modeling Mathematical model Error probability Random variables Risk management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：