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

IEEE Conference on Decision and Control

作者： Wenling Li Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781612848006

This paper addresses the problem of tracking multiple maneuvering extended targets in the framework of random finite set theory. An elliptical model is adopted for exploiting sensor measurements of target extent, and the target dynamics is described by a jump Markov linear system which combines the shape parameters into the kinematic state vector. As each extended target gives rise to unlabeled multiple measurements per time step, all the received measurements are partitioned into a number of subsets so that the measurements in each subset are expected to stem from the same source. In addition, the best-fitting Gaussian approximation approach is employed to circumvent the difficulty of multiple model mixing in the Gaussian mixture probability hypothesis density (GM-PHD) filter. A numerical example is provided to compare the performance of the proposed filter with that of the GM-PHD filter without measurement partition.

关键词： Maneuvering Filters shape parameter extended target Gauss Subset numerical example

来源：评论

学校读者我要写书评

暂无评论

Collision Avoidance Maneuver Design Based on Equidistance Interpolation

Collision Avoidance Maneuver Design Based on Equidistance In...

引用

IEEE Conference on Decision and Control

作者： Yongqiang Qi Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781612848006

This paper deals with the active collision avoidance maneuver for the chaser along the specified trajectory, and presents a maneuver approach with constant thrust. Using the 3D stereo vision measurement, The relative position parameters of the target spacecraft for analyzing the collision possibility are obtained by using the vision measurement and the target maneuver positions are calculated through the equidistance interpolation method. The working times of thrusters in three axes can be respectively computed by the time series analysis method. In particular, the perturbation and fuel consumption are addressed during the computation of working time. Furthermore, the acceleration sequences and the corresponding working time series can be employed to determine a switching control law for the active collision avoidance maneuver. The simulation results show that the switch control law can effectively guarantee the chaser moving along the specified trajectory.

关键词： Constant thrust Vision measurement Switch control law The specified trajectory Equidistance interpolation

来源：评论

学校读者我要写书评

暂无评论

Column Formation Control of Multi-robot Systems with Input Constraints

Column Formation Control of Multi-robot Systems with Input C...

引用

IEEE Conference on Decision and Control

作者： Xiaohan Chen Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781612848006

This paper is concerned with the column formation control of multi-robot systems that are subject to input constraints. A new leader-follower setup is proposed, under which the Lyapunov method can provide a simple controller in terms of two feedback parameters. It is shown that using an elliptic approximation to input constraints, the two feedback parameters can be obtained directly with a geometric analysis method. Moreover, a sufficient condition is presented for the leader robot to guarantee that the desired column formation can be achieved, with which a particular controller is designed by selecting two appropriate functions for the feedback parameters. Simulation results are included to verify the effectiveness of the proposed theoretical results.

关键词： Column formation control multi-robot systems leader-follower input constraints elliptic approximation

来源：评论

学校读者我要写书评

暂无评论

Adaptive Iterative Learning Control for Uncertain Delay Systems Based on Model Matching Technique

Adaptive Iterative Learning Control for Uncertain Delay Syst...

引用

2011 American Control Conference (ACC)

作者： Haixia Su Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University Beijing China Key Laboratory of Mathematics Informatics and Behavioral Semantics (LMIB) Ministry of Education SMSS 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

In this paper, an adaptive iterative learning control (ILC) scheme is proposed for trajectory tracking of uncertain delay systems based on model matching technique. The reference model is a delay system operating over in a finite time interval. An iterative model matching controller is designed and an iteration domain adaptive law is chosen to estimate the unknown parameters. It shows that the model matching technique can be applied in a straightforward method to ILC problem. A simulation example is included to illustrate the designed scheme.

关键词： Adaptation models Polynomials Adaptive systems Delay effects Delay systems

来源：评论

学校读者我要写书评

暂无评论

Gaussian Mixture PHD Smoother for Jump Markov Models in Multiple Maneuvering Targets Tracking

Gaussian Mixture PHD Smoother for Jump Markov Models in Mult...

引用

2011 American Control Conference (ACC)

作者： Wenling Li Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University Beijing China Key Laboratory of Mathematics Informatics and Behavioral Semantics (LMIB) Ministry of Education SMSS 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 presents a Gaussian mixture probability hypothesis density (GM-PHD) smoother for tracking multiple maneuvering targets that follow jump Markov models. Unlike the generalization of the multiple model GM-PHD filters, our aim is to approximate the dynamics of the linear Gaussian jump Markov system (LGJMS) by a best-fitting Gaussian (BFG) distribution so that the GM-PHD smoother can be carried out with respect to an approximated linear Gaussian system. Our approach is inspired by the recognition that the BFG approximation provides an accurate performance measure for the LGJMS. Furthermore, the multiple model estimation is avoided and less computational cost is required. The effectiveness of the proposed smoother is verified with a numerical simulation.

关键词： Target tracking Approximation methods Markov processes Covariance matrix Smoothing methods Radar tracking Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Research on complex structure-oriented accurate web information extraction rules

Research on complex structure-oriented accurate web informat...

引用

IEEE International Conference on Progress in Informatics and Computing (PIC)

作者： Xie, Tao Shi, Shengsheng Quan, Fuliang Yuan, Chunfeng Huang, Yihua Department of Computer Science and Technology National Key Laboratory of Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9781424467860

With the rapid growth of web information, there is an increasing need to easily and efficiently acquire accurate information from the massive and heterogamous web. Web information extraction is such a research area to meet these needs. In this paper, we analyze the shortcomings of related researches and systems and find that when extracting accurate web information with complex structures, few systems can do so without being too much of a burden to users. Aiming at overcoming this type of pitfalls, this paper will study and propose a comprehensive model and framework that can combine the automatic web data analysis and extraction with the user interaction-based semi-supervised web data extraction. The new model and framework has a good trade-off between the automatic generation of extraction rules and their expression capability towards the accurate information extraction. Based on this, we further present a multi-functional data extraction rule system that will use a variety of structural and textual extraction rules of different functions to achieve powerful expression capability. Furthermore, to offer powerful expression mechanism for data extraction, this paper will describe a well-designed, XML-based data extraction language which works well for rule generation based on both automatic web structure analysis and user interaction. ©2010 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Formal definition method of denotational semantics and functions for PLC program language

引用

Zhongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Central South University (science and technology) 2011年第SUPPL. 1期42卷 1107-1113页

作者： Xiao, Li-Tian Gu, Ming Sun, Jia-Guang National Laboratory for Information Science and Technology School of Software Tsinghua University Beijing 100084 China Key Laboratory for Information System Security of Ministry of Education Department of Computer Science and Technology Tsinghua University Beijing 100084 China Beijing Special Engineering Design and Research Institute Beijing 100028 China

In order to verify the correctness of PLC programs by formal methods, the definition of denotational semantics on PLC program language was studied to achieve PLC programs modeling and model checking. Based on the extended λ-calculus definition, the configuration of PLC program architecture, denotational semantics of PLC programs and functions of denotational semantics were defined, which proves the basis of model checking and theorem.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Interactive PBIL with multiple probability vectors for multimodal optimization with implicit performance indices

Interactive PBIL with multiple probability vectors for multi...

引用

2010 2nd International Conference on computer Engineering and technology, ICCET 2010

作者： You, Haifeng Wang, Xufa Department of Computer Science and Technology Anhui Key Laboratory of Software in Computing and Communication University of Science and Technology of China Hefei China

ISBN: (纸本)9781424463503

Interactive population-based incremental learning (IPBIL) is an effective method to solve optimization problems with implicit performance indices. It can significantly reduce user fatigue compared with interactive evolutionary computation (IEC). However, each run of IPBIL can only find one solution or some similar solutions. Thus it is not suitable for multimodal optimization problems with implicit performance indices. To solve this problem, we propose an IPBIL with multiple probability vectors (IPBIL-MPV) in this work. The key idea is to utilize multiple probability vectors to catch different search directions and thus find more than one solutions. We perform a subjective experiment in which IPBIL-MPV is applied to a fashion design problem. The experimental results show that IPBIL-MPV can find several distinct solutions in a run. Thus it is an effective method to solve multimodal optimization problems with implicit performance indices. © 2010 IEEE.

关键词： Probability

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: A hormone-modulated emotional model

RETRACTED ARTICLE: A hormone-modulated emotional model

引用

作者： Liang, Jianwei You, Haifeng Wang, Xufa Department of Computer Science and Technology Anhui Key Laboratory of Software in Computing and Communication University of Science and Technology of China Hefei China

ISBN: (纸本)9781424463503

Emotions are an important aspect of human intelligence and have been shown to play a significant role in human decision-making process. Researchers in areas such as psychology, neuroscience, cognitive science and artificial intelligence have proposed a variety of emotional models. However, most of the previous models have not solved the complexity of the human emotional system owing to the lack of an effective regulatory mechanism for controlling the emotions. To address the limitation, a hormone-modulated emotional model (HMEM) is presented. Since emotions are imprecise and uncertain in nature, fuzzy logic is employed in the computation of new emotion intensity. The reported experiments test HMEM within a simulated autonomous agent situated in a dynamic environment. Experimental results show that both the hormonal system and emotional system contribute positively to the survival of the agent. © 2010 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Some improvements for more precise model checking

Some improvements for more precise model checking

引用

作者： Zhang, Zhi Zeng, Qingkai Huang, Ming Department of Computer Science and Technology State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China

ISBN: (纸本)1891706268

Model checking is now used more and more widely in vulnerability detection for its capacity to model the program and reason about its behavior. However, the state explosion problem impedes its application in large-scale systems, and most of current model checkers are mainly used for moderate-sized systems, like communication protocols and device dri vers. To our knowledge, MOPS is the only model checker that can be used for checking an entire linux distribution-Red Hat Linux 9. MOPS is a tool designed to check for violations of rules that can be expressed as temporal safety property. Howe ver, it trades precision for scalability. So, in this paper, we introduce a tool called EMOPS (Extended MOdel checking Programs for Safety properties), which extends MOPS through not only the combination of dataflow and control flow information but also the path verification technique. The goal of EMOPS is to detect vulnerabilities more precisely and keep MOPS' scalability. Experiments show EMOPS's effectiveness compared with MOPS.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：