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

International Conference on control and Automation (ICCA)

作者： Huijin Fan Li Xu The Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology China The Department of Electronics and Information Systems Akita Prefectural University Akita Japan

ISBN: (纸本)9781424447060

This paper studies the stabilization problem for a class of stochastic nonlinear interconnected systems with unknown parameters involved. By employing filtered transformation, the stochastic Lyapunov-like theorem and the back-stepping design technique, a decentralized output-feedback controller and parameter adaptive law are proposed. It is proved that the closed-loop, large-scale, interconnected stochastic systems is globally asymptotically stable in probability.

关键词： Stochastic systems Output feedback control systems Adaptive control Stochastic processes Interconnected systems Nonlinear systems Programmable control Differential equations Nonlinear control systems

来源：评论

学校读者我要写书评

暂无评论

Solving 3-coloring problem by tissue P systems with cell separation

Solving 3-coloring problem by tissue P systems with cell sep...

引用

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

作者： Shuo Wang Zhengke Miao Xiaolong Shi Zheng Zhang Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China Department of Mathematics XuZhou Normal University of China Xuzhou China

Tissue P systems are a class of distributed and parallel computing models inspired by intercellular communication and cooperation between neurons. An interesting variant of tissue P systems is known as tissue P systems with cell separation, which is endowed with the ability of generating an exponential workspace in a linear time and in this way getting the possibility to solve computationally hard problems in polynomial time. In this paper, a uniform solution to 3-coloring problem by tissue P systems with cell separation is presented, which is linear in terms of the number of vertices and the number of edges.

关键词： Polynomials Biomembranes NP-complete problem Distributed computing Neurons Tree graphs Image processing intelligent control Mathematics Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Solving multidimensional 0–1 knapsack problem by tissue P systems with cell division

Solving multidimensional 0–1 knapsack problem by tissue P s...

引用

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

作者： Juanjuan He Zhengke Miao Zheng Zhang Xiaolong Shi Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China Department of Mathematics XuZhou Normal University of China Xuzhou China

Tissue P systems with cell division are biologically inspired theoretical models of distributed and parallel computing, which provide the possibility to solve computationally hard problems in polynomial time. In this paper, we present a semi-uniform solution to the multidimensional 0-1 knapsack problem by such kind of devices, which is linear in terms of the number of variables, the number of constraint inequalities, and all coefficients related with variables.

关键词： Multidimensional systems Biomembranes Biology computing Polynomials Biological tissues Cells (biology) Biological system modeling Helium Image processing intelligent control

来源：评论

学校读者我要写书评

暂无评论

Effects of Epidural Spinal Cord Stimulation and Treadmill Training on Locomotion Function and Ultrastructure of Spinal Cord Anterior Horn after Moderate Spinal Cord Injury in Rats

引用

中国康复医学杂志 2009年第6期24卷 485-488页

作者： WANG Yizhao HUANG Xiaolin XU Jiang XU Tao FANG Zhengyu XU Qi TU Xikai YANG Peipei Department of Rehabilitation Medicine Tongji Hospital Tongji Medical College Huazhong University of Science and Technology Wuhan 430030 China Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Technology Huazhong University of Science and Technology Wuhan 430000 China

Objective:To investigate the effects of epidural spinal cord stimulation(ESCS) and treadmill training on the locomotion function and ultrastructure of spinal cord anterior horn after moderate spinal cord injury in ***:Nine adult female Sprague-Dawley rats were randomly distributed into three groups:①spinal cord injury group(SI,n=3).②spinal cord injury plus ESCS group(SE,n=3).③spinal cord injury plus treadmill training group(TT,n=3).All rats received a moderate spinal cord injury *** weeks after surgery,rats in SE group received an electrode implantation procedure,with the electrode field covering spinal cord segments *** weeks after electrode implantation,rats received subthreshold ESCS for 30 min/*** in TT group received 4cm/s treadmill training for 30min/*** in SI group received no intervention,as a control *** procedures in these three groups lasted four *** open field Basso,Beattie and Bresnahan(BBB) scale was used before and after intervention to evaluate rats' hindlimb motor ***:After four weeks intervention,rats in TT group improved their open field locomotion scores to *** contrast,no significant improvement was observed in groups SI and *** morphology of synapses and neurons were similar regardless of whether rats had undergone ESCS,treadmill training or ***:ESCS alone was not sufficient to improve the walking ability of spinal cord injured *** or treadmill training alone might not contribute to the changes of ultrastructure in anterior horn of spinal cord that underlie the recovery of walking *** research is needed to understand the contributions of combination of ESCS and treadmill training to the rehabilitation of spinal cord injured rats.

关键词：脊髓损伤神经元治疗方法跑步训练

来源：评论

学校读者我要写书评

暂无评论

Deterministic algorithm for the reordering problem using tile assembly

Deterministic algorithm for the reordering problem using til...

引用

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

作者： Yufang Huang Jin Xu Zhen Cheng Zhihua Chen Xuncai Zhang 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

Algorithmic self-assembly, a generalization of crystal growth, has been proposed as a mechanism for the bottom-up fabrication of autonomous DNA computation. In theory, growth can be programmed by designing a set of molecular tiles with binding interactions that enforce assembly rules. There are many interesting applications of the reordering problem in Mathematics, as well as Computer Sciences. It is a useful primitive operation for computation and construction in the field of science and engineering. It is worth exploring more efficient approach to solve this problem. In this paper, we provide a description of a novel method for the reordering problem by use of the programmable tile assembly model. We propose the thought of block assembly model which takes full advantage of the huge parallelism inherent in the tile assembly. On the basis of the structural property, we delicately devise a rule to produce a long reporter strand which can connect all the inputs of the given problem with the final results. It is proved that this method can be extended to any reordering problem with arbitrary size in theory. The great advantage of our schema is that it only needs a constant number of tile types and in time linear with the size of the input problem to solve any reordering problem.

关键词： Tiles Assembly Self-assembly DNA computing Molecular computing Fabrication Logic Biology computing Laboratories intelligent control

来源：评论

学校读者我要写书评

暂无评论

Research advances and prospect of spiking neural P systems

引用

Jisuanji Xuebao/Chinese Journal of Computers 2008年第12期31卷 2090-2096页

作者： Pan, Lin-Qiang Zhang, Xing-Yi Zeng, Xiang-Xiang Wang, Jun Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China

Spiking neural P systems are a new computing model inspired from the biological phenomena that in the brain the neurons cooperate to deal with spikes by axons. Since it has been shown that they have powerful computational capability and potential capability in solving computationally hard problems, more and more people begin to get interested in this field. This paper firstly introduces the formal definition of standard spiking neural P systems and some notions which are often used in this area;then, several extensions of the original spiking neural P systems are summarized, that are: Extented SN P system;SN P system with exhaustive use of rules;Asynchronous SN P system;Sequential SN P system. Also, the results on the topic of spiking neural P systems are briefly recalled in two aspects: computational completeness and computational efficiency. In the end, two more important future research directions on spiking neural P systems are pointed out. Specifically, one interesting topic is to develop a new computing model which is more "realistic";another topic is to consider how to use these models in biological modeling and simulation.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Improved taboo search algorithm for designing DNA sequences

引用

Progress in Natural Science:Materials International 2008年第5期18卷 623-627页

作者： Kai Zhang a, Jin Xu a,b, Xiutang Geng a, Jianhua Xiao a, Linqiang Pana, a The key laboratory of Image processing and intelligent control, Department of control Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074, China b School of Electronic Engineering and Computer Science, Peking University, Beijing 100871, China The Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China School of Electronic Engineering and Computer Science Peking University Beijing 100871 China

The design of DNA sequences is one of the most practical and important research topics in DNA computing. We adopt taboo search algorithm and improve the method for the systematic design of equal-length DNA sequences, which can satisfy certain combinatorial and thermodynamic constraints. Using taboo search algorithm, our method can avoid trapping into local optimization and can nd a set of good DNA sequences satisfying required constraints.

关键词： DNA computing Taboo search algorithm DNA sequence design

来源：评论

学校读者我要写书评

暂无评论

Predictive protocol of flocks with small-world connection pattern

引用

Physical Review E 2009年第1期79卷 016113-016113页

作者： Hai-Tao Zhang Michael Z. Q. Chen Tao Zhou The Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan 430074 People's Republic of China Department of Engineering University of Cambridge Cambridge CB2 1PZ United Kingdom Department of Engineering University of Leicester Leicester LE1 7RH United Kingdom Department of Electronic Engineering City University of Hong Kong Kowloon Hong Kong SAR People's Republic of China Department of Modern Physics University of Science and Technology of China Hefei 230026 People’s Republic of China Department of Physics University of Fribourg Chemin du Muse 3 Fribourg CH-1700 Switzerland

By introducing a predictive mechanism with small-world connections, we propose a new motion protocol for self-driven flocks. The small-world connections are implemented by randomly adding long-range interactions from the leader to a few distant agents, namely, pseudoleaders. The leader can directly affect the pseudoleaders, thereby influencing all the other agents through them efficiently. Moreover, these pseudoleaders are able to predict the leader’s motion several steps ahead and use this information in decision making towards coherent flocking with more stable formation. It is shown that drastic improvement can be achieved in terms of both the consensus performance and the communication cost. From the engineering point of view, the current protocol allows for a significant improvement in the cohesion and rigidity of the formation at a fairly low cost of adding a few long-range links embedded with predictive capabilities. Significantly, this work uncovers an important feature of flocks that predictive capability and long-range links can compensate for the insufficiency of each other. These conclusions are valid for both the attractive and repulsive swarm model and the Vicsek model.

关键词： pattern formation protocols random processes 3-DIMENSIONAL LATTICE MODEL DYNAMICAL COMPLEX NETWORKS REPULSIVE INTERACTIONS STABILITY ANALYSIS ATTRACTIVE FORCES SENSOR NETWORKS ANIMAL GROUPS AGENTS TRANSITIONS CONSENSUS

来源：评论

学校读者我要写书评

暂无评论

High performance word level sequential and parallel coding methods and architectures for bit plane coding

引用

Science in China(Series F) 2008年第4期51卷 337-351页

作者： XIONG ChengYi TIAN JinWen LIU Jian College of Electronic Information Engineering South-Central University for Nationalities Wuhan 430074 China Institute of Pattern Recognition & Artificial Intelligence Key Laboratory of Education Ministry for Image Processing and Intelligent Control Huazhong University of Science & Technology Wuhan 430074 China

This paper introduced a novel high performance algorithm and VLSI architectures for achieving bit plane coding （BPC） in word level sequential and parallel mode. The proposed BPC algorithm adopts the techniques of coding pass prediction and parallel ＆ pipeline to reduce the number of accessing memory and to increase the ability of concurrently processing of the system, where all the coefficient bits of a code block could be coded by only one scan. A new parallel bit plane architecture （PA） was proposed to achieve word-level sequential coding. Moreover, an efficient high-speed architecture （HA） was presented to achieve multi-word parallel coding. Compared to the state of the art, the proposed PA could reduce the hardware cost more efficiently, though the throughput retains one coefficient coded per clock. While the proposed HA could perform coding for 4 coefficients belonging to a stripe column at one intra-clock cycle, so that coding for an NxN code-block could be completed in approximate N2/4 intra-clock cycles. Theoretical analysis and experimental results demonstrate that the proposed designs have high throughput rate with good performance in terms of speedup to cost, which can be good alternatives for low power applications.

关键词： bit plane coding high performance word-level sequential multi-word parallel

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：