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

IEEE Symposium on Intelligent Vehicle

作者： Renjun Lin Xianbin Cao Yanwu Xu Changxia Wu Hong Qiao Key Laboratory of Software in Computing and Communication University of Science and Technology Hefei China University of Manchester Institute of Science and Technology UK Institute of Automation Chinese Academy and Sciences Beijing China

ISBN: (纸本)9781424435036

Urban traffic surveillance, which is designed to improve traffic management, is an important part of intelligent traffic system (ITS). In particular, airborne moving vehicle detection has become a new but hot research area since its wide view and low cost. However, airborne urban traffic surveillance is impacted by many difficulties such as camera vibration, vehicle congestion, background variance, serious thermal noise etc. Therefore, image subtraction and thermal image processing have low detection rate, while the optical flow method cannot meet the real-time application. In this paper, we propose a coarse-to-fine method, which can be divided into two stages of pre-processing and classification inspection. In pre-processing stage, the candidates regions of moving vehicle are obtained by employing Road Detection, Removal of Non-vehicle Regions and Moving Regions Extraction. The speed of this stage is fast but there is still relatively high false-positive-rate. In classification inspection stage, a well-trained cascade classifier, which refines the candidate regions, is designed to maintain a higher detection rate and a lower false alarm rate. Experimental results demonstrate that compared with representative algorithms, our method reach better performance in detection rate and false-positive-rate, while meeting the needs of real-time application.

关键词： Vehicle detection Video surveillance Optical noise Inspection Intelligent systems Costs Cameras Vehicles Background noise Image processing

来源：评论

学校读者我要写书评

暂无评论

A real-time schedule method for aircraft landing scheduling problem based on cellular automaton 09

A real-time schedule method for aircraft landing scheduling ...

引用

2009 World Summit on Genetic and Evolutionary Computation, 2009 GEC Summit - 1st ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC'09

作者： Shenpeng, Yu Xianbin, Cao Maobin, Hu Wenbo, Du Jun, Zhang Department of Computer Science and Technology University of Science and Technology of China Hefei 230026 86-551-3601545 China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230026 China School of Engineering Science University of Science and Technology of China Hefei 230026 86-551-3600127 China School of Electronic and Information Engineering Beihang University Beijing 100083 China

ISBN: (纸本)9781605583266

The Aircraft Landing Scheduling (ALS) problem is a typical hard multi-constraint optimization problem. In real applications, it is not most important to find the best solution but to provide a feasible landing schedule in an acceptable time. We propose a novel approach which can effectively solve the ALS while satisfying the real-time need. It consists of two steps: (i) Use CA to simulate the landing process in the terminal airspace and to find a considerably good landing sequence;(ii) a simple Genetic Algorithm associated with a Relaxation Operator is used to obtain a better result based on the CA result. Experiments have shown that our method is much faster and suitable for real-time ALS problem compared with traditional optimization methods. For all the 13 data sets, the proposed approach can find satisfactory solutions in less than 2 seconds. Copyright 2009 ACM.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

Constructing the Voronoi Diagram of Planar Point Set in Parallel

Constructing the Voronoi Diagram of Planar Point Set in Para...

引用

International Conference on Computational Intelligence and software Engineering (CiSE)

作者： Lanfang Dong Yuan Wu Shanhai Zhou Anhui Province Key Laboratory of Software In Computing and Communication College of computer science and technology University of Science and Technology Hefei China College of computer science & technology University of Science and Technology Hefei China

By researching Voronoi diagram, parallel algorithm, and divide-and-conquer method, we present a special data structure(change doubly-connected list little) for Voronoi diagram generation in parallel. In this paper we also present two proposal, they are one processor gradually to merge and 22-merger on the parallel machine, the experiment results show that the present algorithm runs faster than the serial program. By analyzing the various results, we should choose the most suitable number of processors according to the point set scale. At last, we can conclude that gradually merger with one processor is better proposal for Voronoi diagram parallel generation.

关键词： Data structures Educational institutions Computer science Parallel algorithms Proposals Switches Merging Concurrent computing Parallel machines Geography

来源：评论

学校读者我要写书评

暂无评论

Verification of Population Ring Protocols in PAT

Verification of Population Ring Protocols in PAT

引用

Third International Symposium on Theoretical Aspects of software Engineering TASE 2009(第三届软件工程理论国际研讨会)

作者： Jun Sun Yang Liu Jun Pang Jianhua Zhao National University of Singapore School of Computing Université du Luxembourg Faculté des Sciences de la Technologie et de la Communication Nanjing University State Key Laboratory of Novel Software Technology

The population protocol model has emerged as an ele gant paradigm for describing mobile ad hoc networks, con sisting of a number of nodes that interact with each other to carry out a computation. One essential property of self stabilizing population protocols is that all nodes must even tually converge to the correct output value, with respect to all possible initial configurations. It has been shown that fairness constraints play a crucial role in designing popula tion protocols. The Process Analysis Toolkit (PAT) has been developed to perform verifications under different fairness constraints efficiently. In particular, it can handle global fairness, which is required for the correctness of most of population protocols. It is an ideal candidate for automati cally verifying population protocols. In this paper, we sum marize our latest empirical evaluation of PAT on a set of self-stabilizing population protocols for ring networks. We report one previously unknown bug in a protocol for leader election identified using PAT.

关键词： Protocols Computer networks Nominations and elections Biology computing Automata Mobile ad hoc networks Processor scheduling Formal verification State-space methods Logic

来源：评论

学校读者我要写书评

暂无评论

Link-weighted and distance-constrained channel assignment in single-radio wireless mesh networks

Link-weighted and distance-constrained channel assignment in...

引用

Conference on Local Computer Networks (LCN)

作者： Junfeng Jin Baohua Zhao Hao Zhou School of Computer Science University of Science and Technology Hefei Anhui China Province Key Laboratory of Software in Computing and Communication Hefei Anhui China School of Computer Science University of Science and Technology of China Hefei Anhui

In this work, we study a link-weighted and distance-constrained channel assignment problem in multi-channel mesh networks with stationary router nodes, such as community wireless networks. A good channel assignment is given as the one which can minimize interference of each link from its neighboring links and subsequently improve the network throughput. In response to it, we introduce an interference metric, namely, min-max i-value of an edge (MMIE), to explicitly accounts for interference among links that are at distance one. In addition, we further show that the link-weighted and distance-constrained channel assignment problem with respect to the interference metric is NP-hard in computation. This guides us to propose a new heuristic channel assignment algorithm called LD-CA algorithm. We study the performance of our algorithm by implementing it in a wireless simulation environment consisting of 25 nodes, each equipped with one 802.11 wireless card. The ns-2 simulation results show that in a multi-channel environment, the LD-CA algorithm significantly outperforms previously proposed channel assignment schemes by minimizing MMIE of all links.

关键词： Wireless mesh networks Interference Mesh networks Throughput Spread spectrum communication Laboratories Computational modeling Switches Conferences Computer network management

来源：评论

学校读者我要写书评

暂无评论

Evolutionary Design of Relatively Large Combinational Circuits with an Extended Stepwise Dimension Reduction

Evolutionary Design of Relatively Large Combinational Circui...

引用

IEEE International Symposium on Dependable, Autonomic and Secure computing (DASC)

作者： Zhifang Li Wenjian Luo Lihua Yue Xufa Wang School of Computer Science and Technology University of Science and Technology Hefei Anhui China Anhui Key Laboratory of Software in Computing and Communication University of Science and Technology Hefei Anhui China University of Science and Technology of China Hefei Anhui CN

In this paper, an eXtended Stepwise Dimension Reduction approach (XSDR) to evolutionary design of relatively large combinational logic circuits is proposed. In our previous work, a Stepwise Dimension Reduction approach (SDR) is introduced. The SDR divides a circuit into several layers. The layers are evolved one after another. However, some layers are difficult to be evolved. The XSDR improves the SDR by decomposing the original truth table of a layer to two truth tables. The new truth tables after decomposing are easy to be evolved. The proposed method has been tested with multipliers and the circuits taken from the Microelectronics Center of North Carolina (MCNC) benchmark library. The experimental results demonstrate that the XSDR extensively improves the performance of the SDR in terms of the number of fitness evaluations and the computational time.

关键词： Combinational circuits Hardware Circuit testing Evolutionary computation Electronic circuits Computer science Laboratories Assembly Microelectronics Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

A Power Control Scheme for Target Localization in WSN

引用

电子学报(英文版) 2008年第3期17卷 443-448页

作者： GU Yu ZHAO Baohua Department of Computer Science University of Science and Technology of China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230027 China

In this paper, we focus on the target tracking problem in sensor networks and propose an Powersaving target localization scheme (PSTL) based on a conjecture model that reflects the moving pattern of a target, and also a corresponding two-step communication protocol between Base station (BS) and sensors. BS executes a query mechanism to determine which sensors should be used for detailed information according to a limited amount of data received from sensors. This scheme reduces both energy consumption and communication bandwidth requirement, prolongs the lifetime of the wireless sensor networks. Simulation results indicate that it can achieve a high accuracy while saving a large amount of energy.

关键词：无线传感器网络功率控制目标定位推测模型

来源：评论

学校读者我要写书评

暂无评论

Minimum-Energy Broadcast Trees in All-Wireless Networks

引用

电子学报(英文版) 2008年第2期17卷 227-230页

作者： HU Tian ZHAO Baohua Department of Computer Science University of Science and Technology of China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230027 China

This paper focuses on the problem of constructing the minimum-energy broadcast trees in all-wireless networks. We proposed a greedy algorithm called Greedy maximum-branch replacement algorithm (GMBR) to decrease the total power of the broadcast tree further. This algorithm can be developed to a distributed one easily. Compared with the previous algorithms, GMBR was proved to have better performance, especially when the propagation loss exponent and the network size become larger.

关键词：最小能量广播天线网络技术性能

来源：评论

学校读者我要写书评

暂无评论

Analysis and Design of Mobile Model for DTN

引用

电子学报(英文版) 2009年第4期

作者： LIN Zhiting LIN Zhiting QU Yugui QU Yugui JI Yusheng JI Yusheng ZHAO Baohua ZHAO Baohua Department of Computer Science University of Science and Technology of China Hefei 230027 China Department of Computer Science University of Science and Technology of China Hefei 230027 China Province Key Laboratory of Software in Computing and Communication Hcfei 230027 China Province Key Laboratory of Software in Computing and Communication Hcfei 230027 China Information Systems Architecture Science Research Division National Institute of Info~natics Tokyo Japan) Information Systems Architecture Science Research Division National Institute of Info~natics Tokyo Japan)

来源：评论

学校读者我要写书评

暂无评论

Airborne moving vehicle detection for urban traffic surveillance

Airborne moving vehicle detection for urban traffic surveill...

引用

11th International IEEE Conference on Intelligent Transportation Systems, ITSC 2008

作者： Lin, Renjun Cao, Xianbin Xu, Yanwu Wei, Chuangxian Qiao, Hong University of Science and Technology China Anhui Province Key Laboratory of Software in Computing and Communication Hefei 230026 China Institute of Automation Chinese Academy of Sciences Beijing 100080 China University of Manchester United Kingdom

ISBN: (纸本)9781424421121

At present, moving vehicle detection on airborne platform has been an important technology for urban traffic surveillance. In such a situation, most commonly used methods (e.g. image subtraction) could hardly work well because of some additional difficulties such as slow movement of vehicles and jam. This paper proposed a new moving vehicle detection method named MVD-RD for airborne urban traffic surveillance. First, the non-road regions are extracted using road detection technique. Secondly, the non-road regions with no vehicles are removed according to their size. As a result of this two-stage regions shrinkage, the detection area reduces a lot. Finally, to the reduced area, image subtraction is used to get all moving regions and then moving vehicles can be accurately filtered in a simple way. The experimental results show that, compared with traditional image subtraction methods used in airborne moving vehicle detection, the proposed MVD-RD method achieves much better performance in detection rate, false alarm rate, and detection speed. © 2008 IEEE.

关键词： Vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：