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

IEEE Symposium on Intelligent Vehicle

作者： Zhipeng Li Ping Wang Fuqiang Liu Key Laboratory of Embedded System and ServIce Computing supported by Ministry of Education University of Tongji Shanghai China

ISBN: (纸本)9781424435036

In the literature of traffic flow theory, the research on the effect on stability of traffic flow for cooperative driving control possesses an important significance. However, presently the the study on the problem is unsatisfactory because it is difficult to determine the impact qualitatively or quantitatively in real traffic experiment. In this paper, some efforts have been made for better understanding the effect on stability of traffic flow for cooperative driving control by investigating the stability for lattice traffic models, which are presented here by incorporating motion information of cars preceding. From linear stability analysis and direct simulations validation, we learn some properties of the effect on the stability and congestion waves by using the information of many other cars. First, cooperative driving behavior of many cars preceding can efficiently stabilize the traffic flow. Second, cooperative driving behavior of the cars nearby plays a prominent role in stability. Third, when the car number participating in cooperative driving policy exceeds a certain value, the congestion waves will disappear.

关键词： Traffic control Control systems Communication system traffic control Roads Laboratories embedded system embedded computing Stability analysis Transportation Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Coverage optimization in wireless mobile sensor networks

Coverage optimization in wireless mobile sensor networks

引用

5th International Conference on Wireless Communications, Networking and Mobile computing, WiCOM 2009

作者： Xingzhen, Bai Shu, Li Changjun, Jiang Zhengzhong, Gao Electronics and Information Engineering School Tongji University Shanghai 201804 China Key Laboratory for the Embedded System and Service Computing of Ministry of Education Tongji University Shanghai 201804 China College of Information and Electrical Engineering Shandong University of Science and Technology Qingdao 266510 China

ISBN: (纸本)9781424436934

The coverage of Wireless Sensor Networks (WSNs) is one of the most important measurement criteria of Qos. Optimal coverage of sensors is propitious to the maximum possible utilization of the available sensors. It can balance node energy consumption, and elongate network lifetime. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage of mobile sensor networks. We first analyze the node distribution of random deployed sensor networks. There are big coverage holes as the network size grows. In order to reduce energy consumption during node move process, we study the sensor network coverage optimization in the limited mobility model. The simulation results show that sensor node move in the limited region can also realize the coverage optimization , and it can reduce the moving distance greatly. ©2009 IEEE.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Research of Meridian Diagnosis system Based on SVM

Research of Meridian Diagnosis System Based on SVM

引用

The 3rd International Conference on Bioinformatics and Biomedical Engineering(iCBBE 2009)(第三届生物信息与生物医学工程国际会议)

作者： Guo-Xia Zhang Fu-Qiang Liu Chun-Lin Song Pei-Yuan Lai BW&M Institute The Key Laboratory of Embedded System and Service ComputingMinistry of Education Tongji University ShanghaiChina

Aiming at the deficiency of the current meridian diagnosis algorithms, SVM is applied to meridian diagnosis system. The system structure is described firstly, then the model selection of SVM is discussed in detail by taking chronic pharyngitis as an example: one-against-one method is used to realize multi-class;the problem of non-symmetrical samples of C-SVM is solved by giving positive and negative samples of different weights;a margin-based bound on generalization method is used to search parameters of the model. Finally, test results show that the classifier, which is realized and tested using vc++6.0, possess a very high recognition rate and can be applied to meridian diagnosis system.

关键词： Meridians Diagnosis system SVM Nonsymmetrical Samples Generalization Bound

来源：评论

学校读者我要写书评

暂无评论

Improved Extremal Optimization for Constrained Pairwise Testing

Improved Extremal Optimization for Constrained Pairwise Test...

引用

International Conference on Research Challenges in Computer Science (ICRCCS)

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

Pairwise testing, which requires that every combination of valid values of each pair of system factors be covered by at lease one test case, plays an important role in software testing since many faults are caused by unexpected 2-way interactions among system factors. In real systems, constraints usually exist between values, which means that some values cannot coexist in a valid test. Although meta-heuristic strategies like simulated annealing can generally discover smaller pairwise test suite in the presence of constraints, they may cost more time to perform search, compared with greedy algorithms. We propose a new method, improved extremal optimization, for constructing constrained pairwise test suites. Experimental results show that improved extremal optimization gives similar size of resulting pairwise test suite and yields a 13% reduction in solution time over simulated annealing.

关键词： Constraint optimization Software testing system testing Simulated annealing Costs Greedy algorithms Computer science Educational technology Laboratories embedded system

来源：评论

学校读者我要写书评

暂无评论

Parameter Approximate Dynamic Optimization for PSO systems

Parameter Approximate Dynamic Optimization for PSO Systems

引用

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Qi Kang Lei Wang Derong Liu Qidi Wu College of Electronics and Information Engineering and the Key Laboratory of Embedded System and Computer-service of MOETongji University Key Laboratory of Complex Systems and Intelligence Science Chinese Academy of Sciences

This paper presents a novel swarm approximate dynamic programming method(swarm-ADP) for parameter optimization of PSO systems,from the perspective of optimal *** on the stability results of a simplified PSO and the swarm-ADP algorithm,parameter dynamic optimization and computation is studied in detail for a deterministic PSO system and a stochastic PSO system,***,numerical simulations based on several benchmarks optimization are *** results show the validity of the proposed parameter optimization method for PSO systems.

关键词： swarm Parameter Approximate Dynamic Optimization for PSO systems

来源：评论

学校读者我要写书评

暂无评论

Adaptation of Mismatching services Based on Labelled Interface Automata

Adaptation of Mismatching Services Based on Labelled Interfa...

引用

Fifth International Conference on Semantics,Knowledge and Grid(第五届语义、知识与网格国际会议 SKG 2009)

作者： Tao Liu Guosun Zeng Department of Computer Science and Technology Tongji University Shanghai 200092 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji Universit

In today's web, more and more software and applications are wrapped as services. However interactions between services are not always perfectly completed because of mismatches among them. service mediation and adaptation problems obtain increasingly concerns. In this paper, we propose an extension of interface automata, labelled interface automata, to illustrate mismatching services and adaptation. We characterize the problem by classifying different kinds of adaptation scenarios. Then we focus on how to use labelled interface automata to illustrate the building of adaption service between mismatching services.

关键词： mismatching service adaptation interface automata

来源：评论

学校读者我要写书评

暂无评论

Interval set cluster analysis: A re-formulation 1

引用

12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular computing, RSFDGrC 2009

作者： Yao, Yiyu Lingras, Pawan Wang, Ruizhi Miao, Duoqian Department of Computer Science University of Regina Regina SK S4S 0A2 Canada Department of Mathematics and Computing Science Saint Mary's University Halifax NS B3H 3C3 Canada Dept. of Comp. Science and Technology Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 201804 China

ISBN: (数字)9783642106460

ISBN: (纸本)3642106455

A new clustering strategy is proposed based on interval sets, which is an alternative formulation different from the ones used in the existing studies. Instead of using a single set as the representation of a cluster, each cluster is represented by an interval set that is defined by a pair of sets called the lower and upper bounds. Elements in the lower bound are typical elements of the cluster and elements between the upper and lower bounds are fringe elements of the cluster. A cluster is therefore more realistically characterized by a set of core elements and a set of boundary elements. Two types of interval set clusterings are proposed, one is non-overlapping lower bound interval set clustering and the other is overlapping lower bound interval set clusterings, corresponding to the standard partition based and covering based clusterings. © 2009 Springer-Verlag Berlin Heidelberg.

关键词： Cluster analysis

来源：评论

学校读者我要写书评

暂无评论

Multicast Throughput of Hybrid Wireless Networks Under Gaussian Channel Model

Multicast Throughput of Hybrid Wireless Networks Under Gauss...

引用

IEEE International Conference on Distributed computing systems

作者： Cheng Wang Shaojie Tang Xiang-Yang Li Changjun Jiang Yunhao Liu Department of Computer Science and Technology Tongji University Shanghai China Department of Computer Science Illinois Institute of Technology Chicago IL 60616 Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China Department of Computer Science and Engineering Hong Kong University of Science and Technology

ISBN: (纸本)9781424444816

We study the multicast capacity for hybrid wireless networks consisting of ordinary wireless nodes and base stations under Gaussian Channel model, which generalizes both the unicast capacity and broadcast capacity for hybrid wireless networks. We simply consider the hybrid extended network, where the ordinary wireless nodes are placed in the square region A(n) with side-length n~(1/2) according to a Poisson point process with unit intensity. In addition, m additional base stations (BSs) serving as the relay gateway are placed regularly in the region A(n) and they are connected by a high-bandwidth wired network. Three broad categories of multicast strategies are proposed in this paper. According to the different scenarios in terms of m, n and n_d, we select the optimal scheme from the three categories of strategies, and derive the achievable multicast throughput based on the optimal decision.

关键词： Wireless networks Multicast Gaussian channels point operation BASE STATION HYBRID Hybrid electric vehicles Throughput

来源：评论

学校读者我要写书评

暂无评论

Integrated verification model atsFPM based on functional, time and spatial constraints

引用

Jisuanji Xuebao/Chinese Journal of Computers 2009年第4期32卷 740-750页

作者： Niu, Jun Zeng, Guo-Sun Chen, Bo Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing of Ministry of Education Shanghai 201804 China College of Information Engineering Zhejiang Business Technology Institute Ningbo 315012 China

Nowadays complex information system's integrated formal models of function verification and performance evaluation lack properties constraint about space aspect. This paper presents an integrated verification model atsFPM by defining a space requirement function over the states of the considered information system. The patterns of paths which are based on regular expressions is proposed in order to specify the functional specifications. The syntax and semantic of the model atsFPM is defined. A conversion product model is obtained by the combination of the system model and the automaton of the pattern of paths which expresses the functional specifications. The verification of the model atsFPM is tackled by the performance verification technique of Markov Reward Model. Experimental results show that the atsFPM model and its verification approach can satisfy the modeling of information system and verification of functional and performance specifications.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

Performance analysis for large scale parallel microscopic traffic simulation system

Performance analysis for large scale parallel microscopic tr...

引用

International Symposium on Advances in Computer and Sensor Networks and systems, 2008

作者： Fei, Yin Dongliang, Zhang Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai 201804 China

ISBN: (纸本)9781427629807

In this paper, we present the parallel implementation of the traffic microsimulation PMTS (Parallel Microscopic Traffic Simulation) focusing on the performance issues. The parallelization of PMTS is domain decomposition, which means that each processor of the PC cluster is responsible for a different geographical area of the simulation region. We describe the transportation network graph partition and information exchange between domains. We demonstrate the time cost mathematics models for PMTS: the vehicle generation, vehicle position calculation, and vehicle information exchange between domains. The workload balance is obtained by adjusting the boundary lines according to the relative load of adjacent subnetworks. All these works have been proved to be effective when PMTS put into use and the experiment results are also provided which match our analysis.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：