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

International Conference on Wireless communications, Networking and Mobile computing (WiCom)

作者： Fanping Zeng Qing Cao Liangliang Mao Zhide Chen Department of Computer Anhui Province Key Laboratory of Software in Computer and Communication University of Science and Technology Hefei Anhui China Department of Computer University of Science and Technology Hefei Anhui China

software testing is an effective way to find software errors. Generating a good test suite is the key. A program invariant is a property that is true at a particular program point or points. The property could reflect the program's execution over a test suite. Based on this point, we integrate the random test case generation technique and the invariant extraction technique, achieving automatic test case generation and selection. With the same invariants, compared with the traditional random test case generation technique, the experimental results show that the approach this paper describes can generate a smaller test suite.

关键词： software testing Electronic mail Automatic testing System testing Vehicle crash testing Data mining Costs Programming Automation Application software

来源：评论

学校读者我要写书评

暂无评论

Load-Balanced and Length-Minimized Link Scheduling for Multi-Channel TDMA Wireless Mesh Networks

引用

Chinese Journal of Electronics 2023年第4期19卷 733-736页

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

To minimize the length of scheduling and guarantee the load balance of channels, a Load-balanced and length-minimized link scheduling (LBLM) algorithm is proposed. LBLM algorithm is a heuristic scheme, which assigns time slots for unicast traffic based on link's weight and hop-count in the routing traffic tree. Thus the algorithm considers both primary and secondary interference, as well as guarantees the proportional fairness. The ns2 simulation results show that in multi-channel TDMA Wireless mesh networks (WMNs), the proposed algorithm has the benefits of lower complexity, shorter frame length and better channel balance compared to other well-known schedule mechanisms.

关键词： Wireless communication Time division multiple access Schedules Unicast Simulation Wireless mesh networks Routing

来源：评论

学校读者我要写书评

暂无评论

Research on Buffer Overflow Test Based on Invariant

Research on Buffer Overflow Test Based on Invariant

引用

International Conference on Computer and Information Technology (CIT)

作者： Fanping Zeng Minghui Chen Kaitao Yin Xufa Wang Department of Computer Anhui Province Key Laboratory of Software in Computer and Communication University of Science and Technology Hefei Anhui China Department of Computer University of Science and Technology Hefei Anhui China

Buffer overflow (BOF) is one of the major vulnerabilities that lead to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying reasons of buffer overflow vary widely. This paper presents a novel method for BOF test for ANSI C language, which uses program instrumentation and mutation test technology to test the BOF vulnerabilities, on the basis of analyzing the invariants for BOF vulnerabilities. The implementation shows that it can check the attack of BOF vulnerabilities adequately and accurately, in the circumstances of no large losses in performance.

关键词： Buffer overflow Instruments software testing Genetic mutations Monitoring Probes software libraries Runtime Information technology Performance loss

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A qualitative modeling and simulation method based on cloud model

A qualitative modeling and simulation method based on cloud ...

引用

International Conference on Modeling, Simulation and Applied Optimization (ICMSAO)

作者： Chenxi Shao Kelü Sun Zhenzhong Shao Computer Science and Technology Department University of Science and Technology of China Hefei China Anhui Province Key Laboratory of Software in Computing and Communication Hefei China Jianghuai Automobile Company Limited Hefei China

ISBN: (纸本)9781467358125

Qualitative simulation is effective methods processing incomplete knowledge, how to represent qualitative knowledge and reduce spurious behaviors is its research emphasis. Contraposing the limitations of existing methods representing qualitative knowledge and filtering spurious behaviors, an approach is proposed to qualitatively model and simulate on the basis of normal cloud model. In this research, the cloud numeric characteristics and cloud measurement are introduced into this approach; consequently, it can more accurately assess the qualitative knowledge, and expand the variables expression and quantity space; meanwhile, it is constructed the means of modeling and simulation by adopting more amply portraying the system status, more intuitively transforming status and more accurately filtering spurious behaviors. Furthermore, in simulation algorithm, cloud measurement indices are employed to significantly select the successor status which can not be determined by existing constraint means. The results of simulation example demonstrate that our approach effectively improves the ability to filter spurious behaviors, and it is a feasible method.

关键词： Uncertainty Coordinate measuring machines Computational modeling Entropy Measurement uncertainty Numerical models Size measurement

来源：评论

学校读者我要写书评

暂无评论

Representative Template Set Generation Method for Pedestrian Detection

Representative Template Set Generation Method for Pedestrian...

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Pei Wu Xian-Bin Cao Yan-Wu Xu Hong Qiao Key Laboratory of Software in Computing and Communication University of Science and Technology Hefei Anhui China Institute of Automation Chinese Academy and Sciences Beijing China

Template matching is an effective approach for pedestrian detection. In order to achieve real-time and accurate detection, how to obtain a suitable representative template set is still an open problem due to the large variety of pedestrian shape. This paper introduced a representative template generation method for a template matching based pedestrian detection system (PDS). Based on nonlinear manifold learning and clustering, the new approach can generate a suitable representative template subset from a large amount of original templates. First, an improved nonlinear dimensionality reduction method was proposed to map original templates to feature vectors (points) in the low-dimensional embedding space; second, representative points were generated in the embedding space by clustering; at the end, corresponding representative template set were synthesized by mapping inversely the newly generated points from the embedding space to the visual input *** experimental results showed that the template generation method speeds up detection procedure without considerable loss of performance.

关键词： Shape Laboratories communication system software Vehicle detection Fuzzy systems Automation Performance loss Vehicles Object detection Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Airborne moving vehicle detection for urban traffic surveillance

Airborne moving vehicle detection for urban traffic surveill...

引用

International Conference on Intelligent Transportation

作者： Renjun Lin Xianbin Cao Yanwu Xu Chuangxian Wei Hong Qiao Anhui Province Key Laboratory of Software 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

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.

关键词： Vehicle detection Surveillance Road vehicles Cameras Road transportation Layout Intelligent transportation systems Optical filters Intelligent vehicles Air transportation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An Evolutionary Support Vector Machines Classifier for Pedestrian Detection

An Evolutionary Support Vector Machines Classifier for Pedes...

引用

2006 IEEE/RSJ International Conference on Intelligent Robots and Systems

作者： D. Chen X.b. Cao Y.w. Xu H. Qiao Department of Computer Science and Technology University of Science and Technology Hefei China Anhui Province Key Laboratory Software Computing and Communication Hefei China Institute of Automation Chinese Academy and Sciences Beijing China

In a pedestrian detection system, a classifier is usually designed to recognize whether a candidate is a pedestrian. Support vector machines (SVM) has become a primary technique to train a classifier for pedestrian detection. However, it is hard to give the best training model which has a tremendous effect to the performance of a SVM classifier. In this paper, we design special code/decode scheme and evaluation function for a training model firstly; and then use genetic algorithm to optimize key parameters which represent the SVM training model. Therefore a most suitable SVM classifier can be obtained for pedestrian detection. Experiments have been carried out in a single camera based pedestrian detection system. The results show that the evolutionary SVM classifier has a better detection rate; moreover, RBF kernel is more suitable than polynomial kernel when chosen in an evolutionary SVM classifier for pedestrian detection

关键词： Support vector machines Support vector machine classification Kernel Genetic algorithms Decoding Design optimization Cameras Intelligent robots Computer science Laboratories

来源：评论

学校读者我要写书评

暂无评论

The Frequency-Time Pre-Allocation in Unlicensed Spectrum Based on the Games Learning

The Frequency-Time Pre-Allocation in Unlicensed Spectrum Bas...

引用

International Conference on Cognitive Radio Oriented Wireless Networks and communications

作者： Kun Han Jinlong Li Ping Zhu Xufa Wang Anhui Province Key Laboratory of Software in Computing and Communication Department of Computer Science and Technology University of Science and Technology Hefei China Department of Computer Science and Technology University of Science and Technology of China Hefei China

ISBN: (纸本)9781424408146;1424408156

In the wireless network of finite spectrum resource, some communication users probably do not allocate the spectrum so that their communication should be delayed. Thus it is necessary to arrange the communication time of the systems when we allocate the communication frequency. We construct a frequency-time spectrum model and propose a joint pre-allocation in a two-dimension space. Through the distributed games learning algorithm, each system could obtain its communication schedule, which makes the bandwidth utilization achieve a quite high level and arranges the global communication time as short as possible. The experiments show that our results have obvious superiorities in both bandwidth utilization and temporal performance relative to other allocation algorithms.

关键词： Frequency Radio spectrum management Resource management Wireless networks Bandwidth Delay Laboratories Computer networks Computer science Scheduling algorithm

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：