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

IASTED International Conference on Robotics, Robo 2010

作者： Liu, Chengju Chen, Qijun Wang, Danwei School of Electronics and Information Engineering Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China School of Electrical and Electronic Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9780889868595

Central pattern generator (CPG) plays an important role in rhythmic activities of animals and this mechanism is an important inspiration source for the motion control of legged robots. In this paper, by using CPGs and function mapping mechanism, a high-efficiency distributed CPG control network is constructed to realize the locomotion control of biped NAO robot. To realize stable and coordinated locomotion, the parameters of the CPG network are evolved by multi-object genetic algorithm (MOGA). Simulations with Webots validate the feasibility and efficiency of the presented CPG-based control method.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A generalized model with spatial resources labels

A generalized model with spatial resources labels

引用

2010 International Conference on Biomedical Engineering and Computer Science, ICBECS 2010

作者： Jun, Niu Zeng, Guosun Department of Computer Science and Technology Tongji University Shanghai China College of Information Engineering Zhejiang Business Technology Institute Ningbo China Embedded System and Service Computing Key Lab. Ministry of Education Shanghai China

ISBN: (纸本)9781424453153

This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and randomicity. The syntax and semantics of the new model are shown based on the existing temporal logics such as CSRL and pathCSRL. The model checking procedure is discussed and thus the practicability of the new model is intuitive. Based on the existing models, the proposed model includes spatial resources labels only by adding the spatial information to the existing labels of states, so the treatment of the state explosion problem is similar to that in the existing models. ©2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Reduction criteria for probabilistic models with spatial restrictions on states

Reduction criteria for probabilistic models with spatial res...

引用

2nd International Conference on Networks Security, Wireless Communications and Trusted computing, NSWCTC 2010

ISBN: (纸本)9780769540115

Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on applying partial order reduction for verifying quantitative time properties and reward-based properties on actions. However, there are many situations that reward-based properties are expressed on states rather than on actions because actions are triggered in no time and the quantities can not be obtained easily. This paper presents reduction criteria for a probabilistic temporal logic that allows specification of restrictions on quantitative measures given by spatial resources function for the states of the considered system and provides the proof of the correctness. © 2010 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Study and implementation of agent-based grid resource monitoring model

Study and implementation of agent-based grid resource monito...

引用

International Conference on Information Science and Engineering (ICISE)

作者： Liu Ming Junqi Zhang Yu Wang Jie Li Department of Computer Science and Technology The Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China

ISBN: (纸本)9781424476169

Grid is a promising infrastructure which enables scientists and engineers to access geographically distributed resources. Grid computing is a new technology which focuses on aggregating various kinds of resource (e.g., processor cycles, disk storage, and contents) into one computing platform. The realization of grid computing requires a resource agent to manage and monitor available resources. Based on study of past models, this paper presents a new agent-based resource monitoring model whose main feature is multi-layered monitoring architecture, which enhances the ability to monitor related resource efficiently. In the meantime, the new model has been implemented in the development of a resource monitoring module integrated within a academic grid project.

关键词： Monitoring Computational modeling Databases Grid computing Automation Resource management XML

来源：评论

学校读者我要写书评

暂无评论

Quantized H2 Filtering for Markovian Jump Linear systems over Networks with Non-accessible Mode Information

Quantized H2 Filtering for Markovian Jump Linear Systems ove...

引用

The 8th World Congress on Intelligent Control and Automation(第八届智能控制与自动化世界大会 WCICA 2010)

作者： Tao Liu Qijun Chen Hao Zhang Department of Electronics and Information Engineering Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China

This paper is concerned with the problems of quantized *** for discrete-time Markovian jump linear systems over networks with non-accessible mode information. The quantizer considered here is logarithmic quantizer. In this paper, a linear time-invariant mode-independent quantized *** is designed such *** error system is stochastically stable. *** conditions for the existence of *** is given in terms of linear matrix inequalities. A numerical example is provided to demonstrate the effectiveness of the proposed approach.

关键词： Quantization Bismuth Linear matrix inequalities Symmetric matrices Linear systems Upper bound Networked control systems

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Communication Module in Passive ultrasonic Sensor Networks

Design and Implementation of Communication Module in Passive...

引用

2010 International Conference on Computer,Mechatronics,Control and Electronic Engineering(2010计算机、机电、控制与电子工程国际会议 CMCE 2010)

作者： Lina Han Rui Zhao Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Shan The Third Research Institute of The Ministry of Public Security Shanghai China

ISBN: (纸本)9781424479573

Passive sensor networks can achieve accurate detection of target under complex environment In order to adapt to different communication demands of sensor networks in different environments, this paper designed and implemented a wireless and wired mixed communication module, that is, a communication system combined short-distance wireless communication based on radio frequency technology with broadband cable communication. Simulation results show that our system can achieve the desired requirements in different circumstances.

关键词： sensor network wireless communication radio frequency (RF) wired communication

来源：评论

学校读者我要写书评

暂无评论

Constructing Prioritized Interaction Test Suite with Interaction Relationship

Constructing Prioritized Interaction Test Suite with Interac...

引用

International Workshop on education Technology and Computer Science, ETCS

作者： Jianjun Yuan Zuowen Jiang The Key Laboratory of Embedded System and Service Department of Computer Science and Technology Computing Ministry of Education of China University of Tongji Shanghai China

ISBN: (纸本)9781424463886;9780769539874

Interaction testing has addressed some issues on how to select a small subset of test cases. In many systems where interaction testing is needed, the entire test suite is not executed because of time or budget constraints. It is important to prioritize the test cases in these situations. On the other hand, there are not always interactions among any factors in real systems. Moreover, some factors may need N-way (N>2) testing since there is a closer relationship among them. We present a model for prioritized interaction testing with interaction relationship and propose a greedy algorithm for generating variable strength covering arrays with bias.

关键词： system testing Software testing Computer science education Greedy algorithms Costs educational technology Computer science Laboratories embedded system embedded computing

来源：评论

学校读者我要写书评

暂无评论

Detecting and resolving mismatches between pairs of services

Detecting and resolving mismatches between pairs of services

引用

International Conference on Computer Science and Information Technology (CSIT)

作者： Tao Liu Guosun Zeng Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China Tongji University Shanghai Shanghai CN

Facing changing environments and evolving business, service composition happens all time. However, services do not always interact properly because of mismatches between their interfaces. In this paper, we use labelled interface automata, an extension of interface automata, to illustrate mismatching interfaces and resolution approaches. We model service interfaces with labelled interface automata and propose a theorem for mismatch detecting. Then we characterize mismatches between pairs of interfaces by identifying and classifying them into six basic scenarios, and illustrate the resolution approach of mismatches. Our method formalizes the interface adaptation problem and provides convenience to detect mismatches and build adaptors for service interactions.

关键词： Automata Software

来源：评论

学校读者我要写书评

暂无评论

Multicast capacity scaling for cognitive networks: General extended primary network

Multicast capacity scaling for cognitive networks: General e...

引用

2010 IEEE 7th International Conference on Mobile Adhoc and Sensor systems, MASS 2010

作者： Wang, Cheng Li, Xiang-Yang Tang, Shaojie Jiang, Changjun Department of Computer Science Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Department of Computer Science Illinois Institute of Technology Chicago IL 60616 United States

ISBN: (纸本)9781424474882

We study the capacity scaling laws for the cognitive network that consists of the primary hybrid network (PhN) and secondary ad hoc network (SaN). PhN is further comprised of an ad hoc network and a base station based (BS-based) network. SaN and PhN are overlapping in the same deployment region, operate on the same spectrum, but are independent with each other in terms of communication requirements. The primary users (PUs), i.e., the ad hoc nodes in PhN, have the priority to access the spectrum. The secondary users (SUs), i.e., the ad hoc nodes in SaN, are equipped with cognitive radios, and have the functionalities to sense the idle spectrum and obtain the necessary information of primary nodes in PhN. We assume that PhN adopts one out of three classical types of strategies, i.e., pure ad hoc strategy, BS-based strategy, and hybrid strategy. We aim to directly derive multicast capacity for SaN to unify the unicast and broadcast capacity under two basic principles: (1) The throughput for PhN cannot be undermined in order sense due to the presence of SaN. (2) The protocol adopted by PhN does not alter in the interest of SaN, anyway. Depending on which type of strategy is adopted in PhN, we design the optimal-throughput strategy for SaN. We show that there exists a threshold of the density of SUs according to the density of PUs beyond which it can be proven that: (1) when PhN adopts the pure ad hoc strategy or hybrid strategy, SaN can achieve the multicast capacity of the same order as it is stand-alone;(2) when PhN adopts the BS-based strategy, SaN can asymptotically achieve the multicast capacity of the same order as if PhN were absent, if some conditions of the relations among the number of SUs, PUs, the destinations of each multicast sessions in SaN, and the base stations in PhN hold. ©2010 IEEE.

关键词： Base stations

来源：评论

学校读者我要写书评

暂无评论

Decomposition based efficient algorithms for knowledge reduction

引用

ICIC Express Letters 2010年第3期4卷 1025-1032页

作者： Jiao, Na Miao, Duoqian Zhang, Hongyun Department of Computer Science and Technology Ministry of Education of China Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education of China Tongji University Shanghai 201804 China

Knowledge reduction, one of essential issues for data mining, has alwaysbeen a, hot topic due to the explosive growth of inform,a,tion. However, whenhandling large-scale data, m,any current knowledge reduction m,ethod,s based, onrough set theory are incapable. In this paper, efficient algorithms forknowledge reduction are put forward, based, on decomposition principle. Theidea, of decomposition is to break a, complex problem, down into a,m,a,ster-problem, and, several sub-problem,s that are simpler, m,orem,a,na,gea,ble and, m,ore solvable by using existing induction methods, thenjoining them, together in order to solve the original problem,. Compared, withsom,e traditional methods, the efficiency of the proposed algorithms can beillustrated by experiments with standard datasets from, UCI database. ICIC International © 2010.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：