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

Tissue P Systems with Look-ahead Mode

Chinese Journal of Electronics 2014年第1期23卷 81-86页

作者： JIANG Yun SONG Tao ZHANG Zheng School of Computer Science and Information Engineering Chongqing Technology and Business University Image Processing and Intelligent Control Key Laboratory of Education Ministry of China Department of Control Science and Engineering Huazhong University of Science and Technology

Tissue P systems are a class of distributed and parallel computing models inspired from inter-cellular communication and cooperation between cells. In this work, a variant of tissue P system, named tissue P system with look-ahead mode, is discussed for decreasing the inherent non-determinism of tissue P systems and helping implementing tissue P systems on computers. Such systems are proved to be universal by simulating register machine, and they are also proved to be able to efficiently solve computationally hard problems by means of a spacetime tradeoff, which is illustrated with a polynomial solution to 3-coloring problem.

关键词： Tissue P system Look-ahead mode Recursively enumerable language Cell separation 3-Coloring

来源：评论

学校读者我要写书评

暂无评论

Leveraging Zero Tail in Neighbourhood for Link Prediction

Leveraging Zero Tail in Neighbourhood for Link Prediction

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Andrea Chiancone Valentina Franzoni Yuanxi Li Krassimir Markov Alfredo Milani Department of Mathematics and Computer Science University of Perugia Italy Department of Computer Control and Management Engineering Sapienza University Rome Italy Department of Computer Science Hong Kong Baptist University Hong Kong China Bulgarian Academy of Science of Sofia Institute of Mathematics and Informatics Bulgaria

For link prediction, Common Neighbours (CN) ranking measures allow to discover quality links between nodes in a social network, assessing the likelihood of a new link based on the neighbours frontier of the already existing nodes. A zero rank value is often given to a large number of pairs of nodes, which have no common neighbours, that instead can be potentially good candidates for a quality assessment. With the aim of improving the quality of the ranking for link prediction, in this work we propose a general technique to evaluate the likelihood of a linkage, iteratively applying a given ranking measure to the Quasi-Common Neighbours (QCN) of the node pair, i.e. iteratively considering paths between nodes, which include more than one traversing step. Experiments held on a number of datasets already accepted in literature show that QCNAA, our QCN measure derived from the well know Adamic-Adar (AA), effectively improves the quality of link prediction methods, keeping the prediction capability of the original AA measure. This approach, being general and usable with any CN measure, has many different applications, e.g. trust management, terrorism prevention, disambiguation in co-authorship networks.

关键词： Social network services Mathematics computer science Terrorism Indexes Length measurement Collaboration

来源：评论

学校读者我要写书评

暂无评论

Constrained Model Predictive control of High Dimensional Jump Markov Linear Systems

Constrained Model Predictive Control of High Dimensional Jum...

引用

American control Conference

作者： Jens Tonne Martin Jilg Olaf Stursberg Volkswagen AG Baunatal (Germany) Institute of Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel (Germany)

ISBN: (纸本)9781479917730

This paper proposes a model predictive control (MPC) approach for discrete-time jump Markov linear systems (JMLS) considering constraints on the inputs as well as on the expectancy of the states. Prediction equations for the first moment of the states are formulated, in which the dependencies on the inputs, on the expected values of disturbances, and on the current states are directly considered. For the computation of the matrices needed for predicting the first moment of the states, a recursive algorithm is presented. Finally, the prediction equations are used to formulate the MPC problem as a quadratic program (QP). Due to the recursive structure of the prediction equations and the formulation as a QP, the computational effort is low compared to existing approaches. Simulation results demonstrate the properties of the presented MPC approach and its capabilities of controlling large-scale JMLS online.

关键词： Markov processes Mathematical model Optimization Bismuth Probability distribution Predictive control Linear systems

来源：评论

学校读者我要写书评

暂无评论

Application of artificial neural networks for modelling of nicolsky-eisenman equation and determination of ion activities in mixtures

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent Systems and Computing 2015年 322卷 727-738页

作者： Wiora, Józef Grabowski, Dariusz Wiora, Alicja Kozyra, Andrzej Institute of Automatic Control Silesian University of Technology ul. Akademicka 16 Gliwice44-100 Poland Institute of Electrical Engineering and Computer Science Silesian University of Technology ul. Akademicka 10 Gliwice44-100 Poland

The paper deals with the problem of ion activity determination for a mixture by means of ion-selective electrodes. Mathematical model of the analysed phenomenon is described by the Nicolsky-Eisenman equation, which relates activities of ions and ion-selective electrode potentials. The equation is strongly nonlinear and, especially in the case of multi-compound assays, the calculation of ion activities becomes a complex task. Application of multilayer perceptron artificial neural networks, which are known as universal approximators, can help to solve this problem. A new proposition of such network has been presented in the paper. The main difference in comparison with the previously proposed networks consists in the input set, which includes not only electrode potentials but also electrode parameters. The good network performance obtained during training has been confirmed by additional tests using measurement results and finally compared with the original as well as the simplified analytical model. © Springer International Publishing Switzerland 2015.

关键词： Ion selective electrodes

来源：评论

学校读者我要写书评

暂无评论

Data-driven Property Verification of Grey-box Systems by Bayesian Experiment Design

Data-driven Property Verification of Grey-box Systems by Bay...

引用

American control Conference

作者： S. Haesaert P.M.J. Van den Hof A. Abate Control Systems group in the Faculty of Electrical Engineering Eindhoven University of Technology The Netherlands Department of Computer Science Oxford University UK

ISBN: (纸本)9781479917730

A measurement-based statistical verification approach is developed for systems with partly unknown dynamics. These grey-box systems are subject to identification experiments which, new in this contribution, enable accepting or rejecting system properties expressed in a linear-time logic. We employ a Bayesian framework for the computation of a confidence level on the properties and for the design of optimal experiments. Applied to dynamical systems, this work enables data-driven verification of partly-known system dynamics with controllable non-determinism (inputs) and noisy output observations. A numerical case study concerning the safety of a dynamical system is used to elucidate this data-driven and model-based verification technique.

关键词： data driven Verification DYNAMICAL SYSTEMS Bayesian inference System dynamics box system

来源：评论

学校读者我要写书评

暂无评论

Passivity-Based control of Robots: Historical Perspective and Contemporary Issues

Passivity-Based Control of Robots: Historical Perspective an...

引用

IEEE Annual Conference on Decision and control

作者： Takeshi Hatanaka Nikhil Chopra Mark W. Spong Department of Mechanical and Control Engineering Tokyo Institute of Technology JAPAN Department of Mechanical Engineering University of Maryland USA Erik Jonsson School of Engineering and Computer Science University of Texas at Dallas

ISBN: (纸本)9781479978878

Passivity is one of the most physically appealing concepts in systems and control theory. The stored internal energy in a passive system is bounded from above by the externally supplied energy. It is well known that this energy dissipation property has important implications for closed-loop stability. Additionally, the passivity property is preserved with respect to feedback and parallel interconnections of passive systems. This composability property of passive systems is crucial in designing and analyzing highly networked systems. Due to these desirable features, the passivity paradigm has been widely utilized to achieve outstanding success in robot control, which is the main focus of the session. The tutorial session starts with a historical perspective on passivity-based robot control and its broad applicability to several important problems in robotics. Despite the long history, passivity-based robot control is being actively utilized in addressing emerging problems in robot control. Hence, the remainder of the session presents application of passivity-based robot control to address important research issues in bilateral teleoperation, visual feedback estimation and robot control, cooperative robot control, and mixed human-robot teams.

关键词： Robot control Passivity Robot control Theory

来源：评论

学校读者我要写书评

暂无评论

Essential matrix decomposition without dependence of singular value decomposition

引用

Journal of Information and Computational science 2015年第8期12卷 3299-3309页

作者： Wu, Chunfu Tang, Qingshun Zhou, Fengyu Wang, David School of Mechanical and Electrical Engineering Longyan University Longyan China School of Control Science and Engineering Shandong University Jinan China Department of Systems and Computer Engineer Carleton University Canada

This paper presents a novel essential matrix decomposition method. Firstly, two constructed infinite homographies are affected on the original two views respectively, so that the principal points of the transformed views are point correspondence, and the transformed views' essential matrix is determined. Secondly, the camera translation is determined, after which an assisted rotation matrix is constructed to decompose camera rotation using NANSON formula. Finally, the unique solution is determined easily and conveniently with the 3D-point visibility constraint. The experimental results show that, it has a better real-time performance not only because of the avoidance of time consuming SVD operation, but also for the avoidance of the scene structure computation in the determination of the unique solution. Copyright © 2015 Binary Information Press.

关键词： Singular value decomposition

来源：评论

学校读者我要写书评

暂无评论

Visual tracking based on compressive sensing and particle filter

Visual tracking based on compressive sensing and particle fi...

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Wenhui Huang Jason Gu Xin Ma School of Control Science and Engineering Shandong University Jinan Shandong China Department of Electrical and Computer Engineering Dalhousie University Halifax Nova Scotia Canada

ISBN: (纸本)9781479958306

A robust appearance model is usually required in visual tracking, which can handle pose variation, illumination variation, occlusion and many other interferences occurring in video. So far, a number of tracking algorithms make use of image samples in previous frames to update appearance models. There are many limitations of that approach: 1) At the beginning of tracking, there exists no sufficient amount of data for online update because these adaptive models are data-dependent and 2) in many challenging situations, robustly updating the appearance models is difficult, which often results in drift problems. In this paper, we proposed a tracking algorithm based on compressive sensing theory and particle filter framework. Features are extracted by random projection with data-independent basis. Particle filter is employed to make a more accurate estimation of the target location and make much of the updated classifier. The robustness and the effectiveness of our tracker have been demonstrated in several experiments.

关键词： Target tracking Particle filters Classification algorithms Feature extraction Sparse matrices Filtering algorithms

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Model for Supporting the Diagnosis of Lumbar Disc Herniation

A Fuzzy Model for Supporting the Diagnosis of Lumbar Disc He...

引用

IEEE International Conference on Bioinformatics and Bioengineering

作者： Vesna Rankovic Ivan Milankovic Miodrag Peulic Nenad Filipovic Aleksandar Peulic Automatic Control Faculty of Engineering University of Kragujevac Research and Development Center for Bioengineering BioIRC Faculty of Medical Science University of Kragujevac Serbia and Clinical Center Kragujevac Department for Neurosurgery

ISBN: (纸本)9781467379847

This paper describes the application of adaptive neuro-fuzzy inference architecture for supporting the diagnosis of lumbar disc herniation. The fuzzy system has been trained with the backpropagation gradient descent method in combination with the least squares method. A total of 38 patients have been divided into training and testing data sets. The performance of the fuzzy model has been evaluated in terms of classification accuracies and the results of the simulation confirmed that the proposed fuzzy approach has potential in supporting the diagnosis of lumbar disc herniation.

关键词： Pain Fuzzy logic Medical diagnostic imaging Diseases Training Legged locomotion Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Virtual Oscillator control Subsumes Droop control

Virtual Oscillator Control Subsumes Droop Control

引用

American control Conference

作者： Mohit Sinha Florian Dorfler Brian B. Johnson Sairaj V. Dhople Department of Electrical and Computer Engineering at the University of Minnesota (UMN) Minneapolis MN Automatic Control Laboratory at ETH Zurich Zurich Switzerland Power Systems Engineering Center at the National Renewable Energy Laboratory (NREL) Golden CO

ISBN: (纸本)9781479917730

In this paper we examine the amplitude and phase dynamics of power-electronic inverters in islanded microgrids that are controlled to emulate the dynamics of a class of weakly nonlinear Lienard-type oscillators. The general strategy of controlling inverters to emulate the behavior of Lienard-type oscillators is termed Virtual Oscillator control (VOC), and it presents a compelling time-domain alternative to ubiquitous droop control methods which linearly trade off voltage frequencies and magnitudes with active and reactive power injections. In comparison to droop control, which assumes a priori that the network operates in a quasi-stationary sinusoidal steady state, VOC is a time-domain control strategy that globally stabilizes a desired sinusoidal steady state. The main, and somewhat surprising, result of this paper is that--when reduced to the sinusoidal steady state--the VOC dynamics correspond to those of droop control. Hence, VOC is a globally stabilizing control strategy that can deal with higher-order harmonics and includes droop control in the harmonic steady state. The results are intriguing, in that they suggest that droop control laws can be recovered from averaging the complex dynamics of a class of weakly nonlinear limit-cycle oscillators.

关键词： droop control Oscillators control strategy MAINS dynamics Reactive power Sinusoidal

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：