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

On string languages generated by spiking neural P systems with exhaustive use of rules

Natural Computing 2008年第4期7卷 535-549页

作者： Zhang, Xingyi Zeng, Xiangxiang Pan, Linqiang Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 Hubei China

We continue the study of (extended) spiking neural P systems with exhaustive use of rules by considering these computing devices as language generators. Specifically, a step is associated with a symbol according to the number of spikes emitted by the output neuron and the sequence of these symbols associated with a halting computation constitutes a string. Two cases are considered: one of them interprets a step when no spike is emitted as a specified symbol, the other interprets such a step as the empty string. In both cases, it is proved that finite and recursively enumerable languages are characterized by extended spiking neural P systems working in the exhaustive mode. The relationships with regular languages are also investigated. © Springer Science+Business Media B.V. 2008.

关键词： Membrane computing Register machine SN P systems

来源：评论

学校读者我要写书评

暂无评论

A beacon selected localization algorithm for Ad-Hoc networks of sensors

A beacon selected localization algorithm for Ad-Hoc networks...

引用

IEEE International Conference on Mechatronics and Automation

作者： Lingfei Wu Max Q.-H. Meng Huawei Liang Department of Automation University of Science and Technology Hefei Anhui China Center of Biomimetic Sensing and Control Research Institute of Intelligent Machines Chinese Academy and Sciences Hefei Anhui China Advanced Robot Technology The key Laboratory of Biomimetic Sensing Anhui Province Department of Automation University of Science and Technology of China Hefei Anhui Province China Center for Biomimetic Sensing and Control Research Chinese Academy of Sciences Hefei Anhui Province China Department of Electronic Engineering Chinese University of Hong Kong Sha tian Hong Kong

Aiming at the positioning problem of Ad-Hoc networks of sensors node location, a beacon selected localization algorithm (BSLA) is proposed in this paper. The proposed method considers sufficiently both the topology relationship among beacons and the topology relationship between beacon nodes and unknown nodes. We introduce the concept of collinearity and apply it into the localization of the multihop networks. Through selecting best anchor terms by using collinearity parameter, node position estimate can be attained with a weighted estimate mechanism. A well-established data analysis technique- Pauta Criterion is used to filter out the erroneous position estimate to achieve higher localization accuracy. Simulation results show that the performance of BSLA outweighs the traditional DV-Hop and DV-distance algorithms whether in regular networks or in irregular networks (C shape networks).

关键词： Ad hoc networks Wireless sensor networks Network topology Shape Robotics and automation Spread spectrum communication Data analysis Filters Mechatronics Biosensors

来源：评论

学校读者我要写书评

暂无评论

MULTI-ROBOT TRACKING OF MOBILE TARGET BASED ON COMMUNICATION

引用

IFAC Proceedings Volumes 2008年第2期41卷 10397-10402页

作者： Lei Liu Yongji Wang Dept. of Control Science and Engineering Huazhong Univ. of Sci. and Tech. Wuhan Hubei China 430074 Key Laboratory of Image Processing and Intelligent Control Ministry of Education Wuhan Hubei China 430074

Multi-robot tracking of mobile target is studied in the paper, which is based on the communication and sensors. For an independent tracking robot, the processes are separated into three layers and four tasks, and allocated to different robots for distinct roles in tracking, which is named the Distributed Decision control System (DDCS). After that, two tracking models, centralized and distributed models, are designed for multi-robot tracking. Furthermore, a Proportional Navigation Guidance Law (PNGL) and l-ϕ formation control algorithm are mentioned to realize the robot motion control. At last the simulation has shown the feasibility and validity of both models.

关键词： Multi-robot tracking DDCS PNGL Communication based l-ϕ formation control algorithm

来源：评论

学校读者我要写书评

暂无评论

Small universal spiking neural P systems with exhaustive use of rules

Small universal spiking neural P systems with exhaustive use...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Xingyi Zhang Yun Jiang Linqiang Pan Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China

We consider the problem of looking for small universal spiking neural P systems with exhaustive use of rules, which was formulated as an open problem by Gheorghe Paun in a survey paper. Here, spiking neural P systems are used in two versions: as devices computing functions and as devices generating sets of numbers, with two ways of encoding the result of a computation. As devices of computing functions, if we associate the result with the distance between the first two spikes emitted by the output neuron, we produce a universal computing spiking neural P system with exhaustive use of rules (without delay) having 125 neurons; if we introduce the usual way of defining the result of a computation in membrane systems to encode the result, namely, the number of spikes emitted during a computation, then a universal computing system (without delay) with 126 neurons is also obtained in the sense of the exhaustive use of rules. For spiking neural P systems used as generators of sets of numbers, we construct a universal system (without delay) by using 128 neurons under the first way of defining the computation result, and a system (without delay) by using 127 neurons under the second way of defining the computation result.

关键词： Neurons Registers Tin Delay Generators Distance measurement Biomembranes

来源：评论

学校读者我要写书评

暂无评论

Camera modeling and distortion calibration for mobile robot vision

Camera modeling and distortion calibration for mobile robot ...

引用

World Congress on intelligent control and Automation (WCICA)

作者： Gang Peng Xinhan Huang Jian Gao Cheng Li Key Laboratory of Ministry of Education for Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China

To control the mobile robot with the surrounding information is the essential method to realize the intelligence and automatic moving. The vision information is the most important way to perceive the environment for the mobile robot. This paper presents an essential camera calibration technique for mobile robot, which is based on Pioneer II experiment platform. The technique includes transformation of coordinates system for vision system, the model and principle of image formation, camera distortion calibration. Because of non-linear distortion of camera, algorithm with optimizing operators is presented to improve calibration precision. We verify the validity and feasibility of the algorithm through experiment.

关键词： Cameras Calibration Optical distortion Robot vision systems Mathematical model Pixel Optical imaging

来源：评论

学校读者我要写书评

暂无评论

Solving the 0–1 planning problem based on self-assembly of DNA tiles

Solving the 0–1 planning problem based on self-assembly of ...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Yufang Huang Zhen Cheng Jin Xu Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China School of Electronics Engineering and Computer Science Peking University Beijing China

DNA tile self-assembly has been proved to enable programmable manipulation of biological systems as a tool of molecular computation. It is mainly based on the property that is the spontaneous self-ordering of substructure into superstructure driven by annealing of Watson-Crick base-pairing DNA sequences. We take full advantage of the superiority of DNA tile self-assembly to construct a molecular computing system that implements a solution for the 0-1 planning problem. This algorithm can independently and simultaneously yield the data pool, containing all possible solutions when all basic operation tiles are designed beforehand. Then we can use some advanced bio-chemistry techniques to select the optimization solutions of the 0-1 planning problem. Our work has shown that it is possible to work with an exponential number of components to solve NP-complete problems. The method proposed here also can reduce the number of laboratory steps required for computation so that it can improve the computation speed.

关键词： Tiles DNA Self-assembly Planning Assembly Radiation detectors Biology

来源：评论

学校读者我要写书评

暂无评论

Design of a PSO Based Fuzzy Logic controller for Vessel Mooring Shifting System

Design of a PSO Based Fuzzy Logic Controller for Vessel Moor...

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Zhen Huang Yongji Wang Department of Control Science and Engineering HuaZhong University of Science and Technology Wuhan Hubei China School of Automation Wuhan University of Technology Wuhan Hubei China Key Laboratory of Image Processing and Intelligent Control Ministry of Education Department of Control Science andEngineering Huazhong University of Science슠and슠Technology Wuhan Hubei China

A fuzzy logic controller (FLC) is designed to achieve course-keeping for mooring shifting system, which is the main system of non self-propelled vessels. Compared with manual operation, the automatic operation and monitoring system with the FLC can perform higher precision and efficiency. The particle swarm optimization (PSO) algorithm is introduced to optimize the proposed FLCpsilas parameters. A series of simulation studies have been undertaken to compare the performance of a basis FLC and PSO based FLC. The results demonstrate that the latter has the better controlling quality.

关键词： Fuzzy logic control systems Automatic control Particle swarm optimization Fuzzy systems Design engineering Knowledge engineering Design automation Manuals Computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Algorithm for elliptic curve Diffie-Hellman key exchange based on DNA tile self-assembly

Algorithm for elliptic curve Diffie-Hellman key exchange bas...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Zhen Cheng Yufang Huang Jin Xu Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China School of Electronics Engineering and Computer Science Peking University Beijing China

DNA tile self-assembly is a promising paradigm for nanotechnology. Recently, many researches show that computation by DNA tile self-assembly maybe scalable. In this paper, we propose the algorithm for elliptic curve Diffie-Hellman key exchange based on DNA tile self-assembly. First we give the DNA tile self-assembly model to compute the scalar multiplication, then we can successfully implement the Diffie-Hellman key exchange over elliptic curve by extracting the result strand of the scalar multiplication.

关键词： Tiles DNA Self-assembly Elliptic curves Assembly Computational modeling Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Research on automation measurement for the circumstance of ice and water based on the physics characteristic difference of air, ice and water

引用

Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument 2007年第SUPPL. 2期28卷 414-419页

作者： Qin, Jianmin Huang, Yue Qin, Mingqi Key Laboratory of Advanced Transducers and Intelligent Control Systems Taiyuan University of Technology Taiyuan 030024 China Taiyuan Electronics Factory Taiyuan 030024 China

Based on the weak conductor characteristics of the ice and the difference of the resistance value and capacity value of air, ice and water with varied temperature, a novel measure method for the circumstance of ice and water is presented, which included resistance mode and capacity mode. The system has been applied to all-climate automation monitor and measurement for the circumstance of ice and water.

关键词： All-climate Capacity Ice Physics characteristics Resistance

来源：评论

学校读者我要写书评

暂无评论

Camera Calibration for 3D Color Scanning System Using Virtual 3D Model

引用

Computer Aided Drafting,Design and Manufacturing 2007年第2期17卷 77-81页

作者： SUN Xian-bin LI De-hua YIN Jie YAO Xun State Key Laboratory for Image Processing and Intelligent Control Institute of Pattern Recognition and Artificial Intelligence Huazhong University of Science and Technology Wuhan 430074 China Hubei University of Technology Wuhan 430068 China

Instead of traditionally using a 3D physical model with many control points on it, a calibration plate with printed chess grid and movable along its normal direction is implemented to provide large area 3D control points with variable Z values. Experiments show that the approach presented is effective for reconstructing 3D color objects in computer vision system.

关键词： computer vision 3D scan camera calibration calibration plate

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：