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

Dynamical equivalence and linear conjugacy of biochemical reaction network models

IFAC Proceedings Volumes 2012年第18期45卷 125-130页

作者： G. Szederkényi Z.A. Tuza K.M. Hangos Process Control Research Group Systems and Control Laboratory Computer and Automation Research Institute (MTA SZTAKI) Hungarian Academy of Sciences P.O. Box 63 H-1518 Budapest Hungary Faculty of Information Technology Péter Pázmány Catholic University H-1083 Budapest Práter u. 50/a

The distinguishability and identifiability of biological network models are key properties influencing the reliability of structural and parametric identification of such models. Recently, several new results have been published about dynamically equivalent and linearly conjugate reaction networks. In this paper, the notion and importance of dynamical equivalence and linear conjugacy of biochemical network models obeying the mass action law is shown. For this, new concepts in the form of core complexes and core reactions for linearly conjugate networks are introduced. Two examples illustrate the developed computation methods.

关键词： biological systems chemical reaction networks optimization

来源：评论

学校读者我要写书评

暂无评论

ℋ ∞ stabilisation of switched linear stochastic systems under dwell time constraints

引用

International Journal of Control 2012年第9期85卷 1209-1217页

作者： Huang, Ran huangran_asee@*** Lin, Yan Ge, Shuzhi Sam Lin, Zhongwei School of Automation Bejing University of Aeronautics and Aeronautics Beijing 100191 China Institute of Intelligent Systems and Information Technology School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu 611731 China State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing 102206 China

Based on the determination of a minimum dwell time, this article addresses the problem of characterising a switching strategy for ℋ∞ stabilisation of switched linear stochastic systems with adapted external inputs. Sufficient conditions that assure exponential mean square stability and an ℋ∞ performance index are established by analysing the time evolution of the second-order moment of the state and a recursive dynamic programming inequality, respectively. Alternative conditions are derived for numerical implementations. The proposed method is illustrated by numerical simulations. [ABSTRACT FROM AUTHOR]

关键词： ℋ∞ control dwell time switched systems Wiener process

来源：评论

学校读者我要写书评

暂无评论

Doubly selective channel estimation for amplify-and-forward relay networks

Doubly selective channel estimation for amplify-and-forward ...

引用

IEEE Conference on Wireless Communications and Networking

作者： Gongpu Wang Feifei Gao Jiaru Lin Chintha Tellambura School of Computer and Information Technology Beijing Jiaotong University China National Mobile Communications Research Laboratory South East University Nanjing China State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Automation Tsinghua University Beijing China Key Laboratory of Universal Wireless Communications Ministry of Education China Department of Electrical and Computer Engineering University of Alberta Edmonton Canada

In this paper, the estimation of doubly selective channel is considered for amplify-and-forward (AF) relay networks. The complex exponential basis expansion model (CE-BEM) is chosen to describe the time-varying channel, from which the infinite channel parameters are mapped onto finite ones. Since direct estimation of these coefficients encounters high computational complexity and large spectral cost, we develop an efficient estimator targeting at some specially defined channel parameters. The training sequence design that can minimize the channel estimation mean-square error is also proposed.

关键词： Training Channel estimation Relays Wireless communication Educational institutions Estimation Vectors

来源：评论

学校读者我要写书评

暂无评论

Multi-Stage Multi-Task Feature Learning* 12

Multi-Stage Multi-Task Feature Learning*

引用

Annual Conference on Neural information Processing systems

作者： Pinghua Gong Jieping Ye Changshui Zhang State Key Laboratory on Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology (TNList) Department of Automation Tsinghua University Beijing 100084 China Computer Science and Engineering Center for Evolutionary Medicine and Informatics The Biodesign Institute Arizona State University Tempe AZ 85287 USA

ISBN: (纸本)9781627480031

Multi-task sparse feature learning aims to improve the generalization performance by exploiting the shared features among tasks. It has been successfully applied to many applications including computer vision and biomedical informatics. Most of the existing multi-task sparse feature learning algorithms are formulated as a convex sparse regularization problem, which is usually suboptimal, due to its looseness for approximating an ?_0o-type regularizer. In this paper, we propose a non-convex formulation for multi-task sparse feature learning based on a novel regularizer. To solve the non-convex optimization problem, we propose a Multistage Multi-Task Feature Learning (MSMTFL) algorithm. Moreover, we present a detailed theoretical analysis showing that MSMTFL achieves a better parameter estimation error bound than the convex formulation. Empirical studies on both synthetic and real-world data sets demonstrate the effectiveness of MSMTFL in comparison with the state of the art multi-task sparse feature learning algorithms.

关键词： Learning learning algorithms Non-Convex Biomedical informatics Theoretical analysis Parameter estimation images computer vision state of the art Dataset Convexity Religious Missions SYNTHETICS

来源：评论

学校读者我要写书评

暂无评论

Multi-sensor sequential fusion estimation for systems with random one-step delay

引用

Nanjing Li Gong Daxue Xuebao/Journal of Nanjing University of Science and Technology 2012年第SUPPL.2期36卷 255-262页

作者： Chai, Zhong Wen, Cheng-Lin Feng, Xiao-Liang Institute of Systems Science and Control Engineering School of Automation Hangzhou Dianzi University Hangzhou 310018 China College of Computer and Information Engineering Hohai University Nanjing 211100 China

In networked control systems, when sensor data are transmitted through network, time delay is almost inevitable. This paper is concerned with multiple-sensor system with random one-step delay. By introducing random variables and augmenting the state vector, the initial system with random one-step delay can be transformed into a new system with random parameters. The fusion estimator is designed based on the new system in the sense of minimizing the estimation error covariance. The sequential fusion algorithm is proposed. Linear unbiased state estimation under one-step random delay for single sensor performs well in the study, while this paper mainly considers multiple-sensor fusion to get better estimation result. The simulation is presented to illustrate the efficiency of the proposed algorithm.

关键词： Networked control systems

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in Analysis and Control Design for Switched Fuzzy systems: A Review

Recent Advances in Analysis and Control Design for Switched ...

引用

IEEE International Conference Intelligent systems

作者： Vesna Ojleska Tatjana Kolemishevska-Gugulovska Gyorgyi Dymirkovsky SS Cyril and Methodius University in Skopje Faculty of Electrical Eng. and Information Technologies Institute of Automation & Systems Engineering Rugjer Boshkovik bb 1000 Skopje R. Macedonia Faculty of Engineering Depts. of Computer & of Control Engineering Dogus University of Istanbul Acibadem TR-34722 Istanbul R. Turkey

ISBN: (纸本)9781467322768

This paper overviews recent advances in the field of switched fuzzy systems, switched systems whose subsystems are fuzzy systems, followed by the comparative study for this kind of systems. Starting with the basic ideas of switched fuzzy systems, the comparative study is aimed in introducing the diverse approaches in their model construction, as well as the challenges related with the stability analysis and stabilization of such systems. The last includes the issue of stability analysis and finding conditions for existence of switched fuzzy controllers which will stabilize the nonlinear system.

关键词： control fuzzy logic fuzzy systems hybrid systems nonlinear systems switched systems switching Fuzzy systems Stability analysis analytical control design control FUZZY CONTROLLER Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Spatial memory for augmented personal working environments

Spatial memory for augmented personal working environments

引用

作者： Song, Young Eun Kovacs, Peter Niitsuma, Mihoko Hashimoto, Hideki University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-8654 Japan Computer and Automation Research Institute Hungarian Academy of Sciences Kende u. 13-17 Budapest 1111 Hungary Department of Precision Mechanics Chuo University 1-13-27 Kasuga Bunkyo-ku Tokyo 112-8551 Japan Department of Electrical Electronic and Communication Engineering Chuo University 1-13-27 Kasuga Bunkyo-ku Tokyo 112-8551 Japan Department of Electrical Engineering and Information Systems University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-8654 Japan

Augmented Personal Working Environments (APWEs) are 3D environments in which the physical surroundings of the user are overlaid with representations of a virtual reality. With the rapid technological evolution of personal informatics devices as well as a growing demand for more comfortable and efficient working environments, the partial virtualization of resources used in our everyday work settings is expected to gradually become inevitable. Irrespective of whether someone is working in an office environment or in industrial settings, this trend in virtualization is expected to lead to more collaborative working environments in which the available resources and the interfaces for dealing with those resources can be both physical and virtual in nature. SpatialMemory, which is a memory system embedded in 3-dimensional physical reality, may without doubt be a central subsystem of future APWEs. In this paper, our goal is to contribute to the development of a theoretical background for Spatial Memory from a cognitive infocommunications perspective, and to outline the future research directions of Spatial Memory in APWEs based on some key applications.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Multiple-image encryption by compressive holography

Multiple-image encryption by compressive holography

引用

作者： Di, Hong Zheng, Kangfeng Zhang, Xin Lam, Edmund Y. Kim, Taegeun Kim, You Seok Poon, Ting-Chung Zhou, Changhe Information Security Center Beijing University of Posts and Telecommunications Beijing 100876 China National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100190 China Imaging Systems Laboratory Department of Electrical and Electronic Engineering University of Hong Kong Pokfulam Road Hong Kong Hong Kong Department of Optical Engineering Sejong University 98 Kunja-dong Kwangjin-gu Seoul 134-747 Korea Republic of Bradley Department of Electrical and Computer Engineering Virginia Tech Blacksburg VA 24061 United States Shanghai Institute of Optics and Fine Mechanics Chinese Academy of Sciences P.O. Box 800-211 Shanghai 201800 China

We present multiple-image encryption (MIE) based on compressive holography. In the encryption, a holographic technique is employed to record multiple images simultaneously to form a hologram. The twodimensional Fourier data of the hologram are then compressed by nonuniform sampling, which gives rise to compressive encryption. Decryption of individual images is cast into a minimization problem. The minimization retains the sparsity of recovered images in the wavelet basis. Meanwhile, total variation regularization is used to preserve edges in the reconstruction. Experiments have been conducted using holograms acquired by optical scanning holography as an example. computer simulations of multiple images are subsequently demonstrated to illustrate the feasibility of the MIE scheme. © 2012 Optical Society of America.

关键词： Holograms

来源：评论

学校读者我要写书评

暂无评论

Parallel saturation based model checking

Parallel saturation based model checking

引用

2011 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011

作者： Voros, András Szabo, Tamás Jámbor, Attila Darvas, Dániel Horváth, Akos Bartha, Tamás Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary Computer and Automation Research Institute MTA SZTAKI Budapest Hungary

ISBN: (纸本)9780769545400

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyze the behavior of a system. In this paper, we examine an existing parallel model checking algorithm and we propose improvements to eliminate some computational bottlenecks. Our measurements show that the resulting new algorithm has better scalability and performance than both the former parallel approach and the sequential algorithm. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Bounded saturation based CTL model checking

Bounded saturation based CTL model checking

引用

12th Symposium on Programming Languages and Software Tools, SPLST 2011

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

ISBN: (纸本)9789949231782

Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. In this paper, we examine how the combination of two advanced model checking algorithms - namely bounded saturation and saturation based structural model checking - can be used to verify systems. Our work is the first attempt to combine these approaches, and this way we are able to handle and examine complex or even infinite state systems.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：