Keynote Speakers/主讲嘉宾

Keynote Speakers/主讲嘉宾

Prof. Zhihong Qian/钱志鸿教授

Jilin University, China

Title: The Challenges for the Intelligent Transportation Systems

Abstract: Seamless transportation is one of the pillars of our societal and economical sustainability. Intelligent Transportation Systems (ITS) offer potential solutions to growing congestion problems in major urban areas. 
This lecture focuses on the challenges for the Intelligent Transportation Systems. Gathering information practice was dominated by the use of point detectors for surveillance, and wire-line communication networks for data and information transmission. Reliance on point detectors, although dominant at the moment, is losing appeal due to detector reliability issues and the cost of building and maintaining the detector network, not to mention major traffic stream disruptions during construction and maintenance. Wireless networks might be better alternative to carry out the tasks, and massive connection to communication networks is one of the highlights of the communication systems, which obviously encounter some challenges. On the basis of exploring the leading role of those communication systems to developing trend of communication technologies in the future, such as the 5th Generation Communication Systems (5G), short range communications, and device-to-device (D2D) communications, some issues in terms of the communication system design are illustrated, like device discovery, resource allocation, and caching technology.

Prof. Guoan Zhang/张国安教授

Fujian University of Technology, China

Title: Intelligent Computing in the Manipulation of a Smart Car

Abstract: In this report, a design scheme of intelligent car based on Android mobile phone navigation is presented. With the help of a driving control system, the car can be manipulated by a smart cellphone. A video subsystem on the car can send real-time images from the car to cellphone. Also an obstacle avoidance algorithm of ranging subsystem on the car can keep the intelligent car away from visible obstacles. The above functions have been realized through our intelligent car control system.

Oral Presentation

Prof. Shinya Nishizaki/西崎真也教授

Tokyo Institute of Technology

Title: Inverse Computation with an SMT Solver
Abstract: An SMT solver is a verification tool that solves a satisfiability problem of first-order predicate logic with a theory using the theory’s solver. Recently, many efficient implementations of SMT solvers were developed. SMT solvers were applied to various domains as back-ends of reasoning. In a usual setting, a program receives input data and returns output results. In inverse computation, if one gives output data to a program, corresponding input data is returned. This paper presents a use of an SMT solver for inverse computation. A translator of a simple imperative program was developed for a logical formula given to an SMT solver. However, since the computational complexity of inverse computation was expected to be very high, the possibility of inverse computation was studied using an SAT solver.

A.Prof. Fengchen Qian/钱凤臣副教授

National University of Defense Technology

Title:Research progress of high performance optical data center network

Abstract:The explosive growth of internet applications has driven data centers to become a strategic infrastructure for society as a whole.  Data center networks are an important factor in determining data center performance and cost.  This report summarizes and analyzes the development and challenges of traditional data center network, studies the application and research progress of optical network technology, high-speed optical devices / devices and software defined network ( sdn ) technology in high performance data center network, and looks forward to the research trends and key technologies of software defined optical data center network.

Da Huang/黄达

Air Force Engineering University

Title: Missile Plume Detection in Characteristic Spectral Image

Abstract: Target detection is one of the most challenging issues based on space-based detector. Original space-based missile detector only uses infrared bands, and the target information is limited in one-band image, so that detection alarm rate of missing and false is high. In order to increase the target information, we suppose spectral imaging technology can be applied to the space-based missile warning system, using bands of stronger radiation of targets than that of background as detection bands, the detection bands also can be called as the characteristic bands of targets. On these bases, the paper proposes two algorithms to achieve the target detection. One of the algorithms combines images firstly from characteristic bands to eliminate background, restrain noise, and enhance the target; next final detected image is obtained using threshold segmentation. Another algorithm uses fuzzy algorithm firstly to pretreat the images, then combining images after pretreatment to obtain final detected images. The characteristic spectral images are made according to the spectrum of atmosphere, cloud and missile plume. Experiment results show that the algorithms and characteristic spectral imaging technology are real-time and efficient.

Xuecheng Wang/王学成

Information Engineering University

Title: An improved algorithm for multiple source direction of arrival estimation

Abstract: Based on MUSIC-LIKE algorithm, an improved algorithm for multiple source direction of arrival estimation was proposed to resolve the problem, the enabled estimation number of source for traditional direction of arrival estimation algorithm restricted by the size of the antenna array. The computations and the matrix dimension were reduced by constructed new fourth cumulate matrix, the number of direction estimation was increased by smoothing computation snapshots based on MFOC-MUSIC algorithm. The spatial spectrum measuring error was decreased by smoothing the virtual array extended by fourth order cumulate. Simulation results proved that the proposed algorithm can find more direction of arrival than MFOC-MUSIC algorithm, improve the direction of arrival resolution ratio, and inhibit the influence of Gaussian white noise to direction of arrival estimation.

Yuntian Dai/戴蕴恬

Changzhou Institute of Technology 

Title:Research on Fractal Characterization of Data Transmission Performance of Hard Disk

Abstract:The data transfer rate is the traditional criterion for evaluating the overall performance of a hard disk. In this paper, the data transmission performance of hard disk was characterized based on fractal theory. The traditional mechanical hard disks and solid state disks with different capacities and specifications were tested and the corresponding signal graph of data transfer was analyzed for the calculation of fractal dimension D. The results indicate that the process of hard disk data transfer has fractal characteristics; the fractal dimension D increases with the increase of the average transfer rate and the rotating speed of mechanical hard disk. However, there seems no direct correspondence between the fractal dimension D and the capacity of the hard disk; the larger the floating range of data transmission, the greater value of fractal dimension D

Zongfu Xie/谢宗甫

Information Engineering University

Title: Resource Planning For Heterogeneous Signal Processing Platform Based On Configuration Files

Abstract: In order to solve the problem of the reasonable management and planning of complex hardware and software resources in heterogeneous signal processing platform, this paper researches and designs a resource-visualization model based on configuration files and a hierarchical resource management method. And more, experiments verify the visual task planning program of MFSK. Experiments show that the proposed scheme can efficiently abstract and manage the complex and heterogeneous hardware and software resources of heterogeneous signal processing platform and draw the corresponding plan for the corresponding application task.