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

Communications in Computer and information Science 2014年 472卷 225-229页

作者： Kong, Yuan Zhang, Zheng Liu, Yang Key Laboratory of Image Information Processing and Intelligent Control School of Automation Huazhong University of Science and Technology Wuhan Hubei430074 China

ISBN: (纸本)9783662450482

Spiking neural P systems with astrocytes (SNPA systems, for short) are a class of distributed parallel computing devices inspired from the way spikes pass through the synapses between the neurons. In this work, we investigate the language generation power of SNPA systems. Specifically, we prove that SNPA systems without the forgetting rules can generate recursively enumerable languages and characterize regular languages. Furthermore, we give a finite language that can be generated by SNPA systems, but which cannot be generated by spiking neural P systems without astrocytes. These results show that astrocyte is a powerful ingredient for generating languages by spiking neural P systems. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

An Interrupt Scheduling Mechanism of Virtual Network Interface Card for Xen-Based System

An Interrupt Scheduling Mechanism of Virtual Network Interfa...

引用

2015 5th International Conference on Computer Sciences and Automation Engineering(ICCSAE 2015)

作者： Liuzheng Lu Runze Wan Jinrong He School of Computer Hubei University of Education Co-Innovation Centre of Elementary Education Information Technology Services of Hubei Science Computing and Intelligent Information Processing of Guangxi Higher Education Key Laboratory Guangxi Teachers Education University

As one of typical paravirtualization hypervisors, Xen has received widespread attentions especially its scaling capability under some kinds of workload. In this paper, we focus on the problem that the most CPU resources are occupied by frequent interrupt from the NIC（Network Interface Card） and it will cause bottleneck of the system for Xen. To alleviate this problem, this paper proposes an adaptive interrupt latency scheduling mechanism based on XEN, which use the polling or interrupt method in accordance with the queue length of virtual buffer without supplementing any additional processing unit. Also, the method can guarantee different quality of service to some extent by means of the definition of the two types of priority virtual buffers. Simulation results show that the mechanism can reduce CPU overhead significantly and improve system performance effectively.

关键词： virtualization interrupt latency virtual buffer

来源：评论

学校读者我要写书评

暂无评论

Observer-Based Robust Coordinated Tracking of Multi-Agent Systems with Input Saturation

Observer-Based Robust Coordinated Tracking of Multi-Agent Sy...

引用

IEEE Annual Conference on Decision and Control

作者： Xiaoling Wang Housheng Su Xiaofan Wang Department of Automation Shanghai Jiao Tong University and Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai 200240 China Department of Control Science and Engineering Image Processing and Intelligent Control Key Laboratory of Education Ministry of China Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9781479978878

This paper addresses the robust semi-global coordinated tracking problem of multiple-input multiple-output (MIMO) multi-agent systems with input saturation and communication noise. A distributed observer-based coordinated tracking protocol is constructed by combining a novel parameterized low-and-high feedback technique with the high-gain observers design approach. It is shown that, under the assumptions that each agent is asymptotically null-controllable with bounded controls and the network is connected, semi-global consensus tracking or semi-global swarm tracking can be attained for left-invertible and minimal-phase systems.

关键词： noise(communication) bounded control tracking high gain Agents

来源：评论

学校读者我要写书评

暂无评论

Study of automated PCNN system based on fruit fly optimization algorithm

引用

Journal of Computational information Systems 2014年第15期10卷 6635-6642页

作者： Zhao, Han Ding, Shifei School of Computer Science and Technology China University of Mining and Technology Xuzhou China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

As the third-generation neural network technology, pulse coupled neural network (PCNN) had used in many fields successfully, but it hindered its popularize that so many parameters of the PCNN need to be set up. This paper presented a new method to automatically determine the parameters of the PCNN based on Fruit Fly Optimization Algorithm (FOA). In proposed method, the information entropy of the image is defined as the fitness function of Fruit Fly Optimization Algorithm when searching the optimal solution. Mutual information is used as the evaluation criteria in the simulation experiments. Contrasted the simulation result with the experiments used the Otsu method, manual adjustment method, genetic algorithm method and PSO method, it shows that the FOA method is better than the others. © 2014 Binary information Press

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Corrections to “Cross-Modal Correlation Learning by Adaptive Hierarchical Semantic Aggregation” [Jun 16 1201-1216]

引用

IEEE Transactions on Multimedia 2016年第10期18卷 2127-2127页

作者： Yan Hua Shuhui Wang Siyuan Liu Anni Cai Qingming Huang School of Information Engineering Communication University of China Beijing China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Smeal College of Business Pennsylvania State University University Park PA USA Center of Cloud Computing Institute of Advanced Computing and Digital Engineering Shenzhen Institutes of Advanced Technology Shenzhen China Department of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing China University of Chinese Academy of Sciences Beijing China Key Laboratory of Intellectual Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

Presents corrections to the paper, "Cross-modal correlation learning by adaptive hierarchical semantic aggregation," (Hua, Y., et al) IEEE Trans. Multimedia, vol. 18, no. 6, pp. 1201-1216, Jun. 2016.

关键词： Semantics Learning (artificial intelligence) Ontologies Query processing

来源：评论

学校读者我要写书评

暂无评论

On the Roman domination numbers of generalized Petersen graphs

引用

Journal of Combinatorial Mathematics and Combinatorial Computing 2014年 89卷 311-320页

作者： Zhang, Zhiqiang Shao, Zehui Xu, Xiaodong Key Laboratory of Pattern Recognition and Intelligent Information Processing Sichuan Province School of Information Science and Technology Chengdu University Chengdu 610106 China Academy of Sciences Nanning 530007 China

For natural numbers n and k, where n > 2k, a generalized Petersen graph P(n,k) is obtained by letting its vertex set be {u1,u 2,..,un} ∪ {u1,v2..,u n} and its edge set be the union of vi v i+1,uivi,ViVi+k over 1 ≤ i ≤ n, where subscripts are reduced modulo n. In this paper, an integer programming formulation for Roman domination is established, which is used to give upper bounds for the Roman domination numbers of the generalized Petersen graphs P(n,3) and P(n,4). Together with the dynamic algorithm, we determine the Roman domination number of the generalized Petersen graph P(n, 3) for n ≥ 5.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

An R-Calculus for the logic programming

Advances in Intelligent Systems and Computing

引用

Advances in intelligent Systems and Computing 2014年 255卷 863-870页

作者： Li, Wei Sui, Yuefei State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Beijing China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9788132217589

The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates are for the iterated revision (revision by a finite sequence of beliefs). Li (The Computer Journal 50:378–390, 2007) gave an Rcalculus for R-configurations D|C, where D is a set of atomic formulas or the negations of atomic formulas, and C is a finite set of formulas in the first-order logic. This paper will give a set of axioms and deduction rules for the revision of logic programmings, based on the structure of formulas, so that the deduction system is sound and complete with respect to the maximal consistent subsets of the revised sets by the revising sets of formulas. Moreover, it will be showed that the deduction system satisfies the AGM postulates and the DP postulates. © Springer India 2014.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Whole-proteome based phylogenetic tree construction with inter-amino-acid distances and the conditional geometric distribution profiles

引用

Molecular phylogenetics and evolution 2015年 89卷 37-45页

作者： Xian-Hua Xie Zu-Guo Yu Guo-Sheng Han Wei-Feng Yang Vo Anh Hunan Key Laboratory for Computation and Simulation in Science and Engineering Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education Xiangtan University Hunan 411105 PR China School of Mathematics and Computer Science Gannan Normal University Jiangxi 341000 PR China. Electronic address: xxianhua@***. School of Mathematical Sciences Queensland University of Technology GPO Box 2434 Brisbane QLD 4001 Australia. Electronic address: yuzuguo@***. Hunan Key Laboratory for Computation and Simulation in Science and Engineering Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education Xiangtan University Hunan 411105 PR China. Electronic address: korea10282003@***. Hunan Key Laboratory for Computation and Simulation in Science and Engineering Key Laboratory of Intelligent Computing and Information Processing of Ministry of Education Xiangtan University Hunan 411105 PR China. Electronic address: yangweifeng09@***. School of Mathematical Sciences Queensland University of Technology GPO Box 2434 Brisbane QLD 4001 Australia. Electronic address: v.anh@qut.edu.au.

There has been a growing interest in alignment-free methods for whole genome comparison and phylogenomic studies. In this study, we propose an alignment-free method for phylogenetic tree construction using whole-proteome sequences. Based on the inter-amino-acid distances, we first convert the whole-proteome sequences into inter-amino-acid distance vectors, which are called observed inter-amino-acid distance profiles. Then, we propose to use conditional geometric distribution profiles (the distributions of sequences where the amino acids are placed randomly and independently) as the reference distribution profiles. Last the relative deviation between the observed and reference distribution profiles is used to define a simple metric that reflects the phylogenetic relationships between whole-proteome sequences of different organisms. We name our method inter-amino-acid distances and conditional geometric distribution profiles (IAGDP). We evaluate our method on two data sets: the benchmark dataset including 29 genomes used in previous published papers, and another one including 67 mammal genomes. Our results demonstrate that the new method is useful and efficient.

关键词： Alignment-free whole-proteome comparison Conditional geometric distribution profile Inter-amino-acid distances Phylogenetic tree

来源：评论

学校读者我要写书评

暂无评论

Smart electric valve controller based on all digital phase-locked loop

引用

Sensors and Transducers 2014年第2期165卷 89-95页

作者： Xiaoling, Li School of Computer Science and Technology Chengdu University Chengdu 610106 China University Key Laboratory of Pattern Recognition and Intelligent information Processing Chengdu 610106 China

Electric valve has been applied to various occasions and domains. In some adverse environments where such defects of traditional control system as low efficiency and poor safety have been exposed, optical encoder is adopted to detect the motor's angular speed and displacement and ADPLL is used for generating control logic, so as to regulate switching frequency and duty ratio of pulse wavelength modulation (PWM), alter the motor's input voltage and current and achieve the open and close control of Electric valve. The system can automatically regulate the rotating speed and the dragging torque of motor based on the open and close position, rotating speed and torque of the valve to make sure that the motor can achieve the best rotating speed and torque. The results of the test by motor 90ZY24-200 prove that the system has prompt response, high accuracy, little harmonic and ripple range;it can also automatically adapt to the torque alteration to realize the protective function of direct current (DC) motor. Electric valve control based on ADPLL can not only realize functions of the whole system, but also enjoys a stable and reliable performance. It can reduce the harmonic and ripple, and help the whole system achieve real-time remote control, data collection and transmission, and display the motor torque in LED, so as to control the valve flow stably and accurately through DC motor. © 2014 IFSA Publishing, S. L.

关键词： Locks (fasteners)

来源：评论

学校读者我要写书评

暂无评论

MR-COF:A Genetic MapReduce Configuration Optimization Framework

MR-COF:A Genetic MapReduce Configuration Optimization Framew...

引用

The 7th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP2015(2015年第七届国际并行体系结构,算法和编程研讨会)

作者： Chao Liu Deze Zeng Hong Yao Chengyu Hu Xuesong Yan Yuanyuan Fan China Services Computing Technology and System Lab and Cluster and GridComputing Lab Huazhong University of Science and TechnologyWuhan 430074China Hubei Key Laboratory of Intelligent Geo-Information Processing China University of GeosciencesWuhan 430074China

Hadoop/MapReduce has emerged as a de facto programming framework to explore cloud-computing *** has many configuration parameters,some of which are crucial to the performance of MapReduce *** practice,these parameters... 详细信息

ISBN: (纸本)9783319271392

关键词： Mapreduce Massive data processing Parameter configuration Performance optimization Search algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：