Bicycle sharing system has emerged as a new mode of transportation in many big cities over the past decade.Since the large number of bicycle stations distribute widely in the city,it is difficult to identify their uni...Bicycle sharing system has emerged as a new mode of transportation in many big cities over the past decade.Since the large number of bicycle stations distribute widely in the city,it is difficult to identify their unique attributes and characteristics directly.Oriented to the real bicycle hire dataset in Hangzhou,China,the clustering analysis for the bicycle stations based on the temporal flow data was carried out firstly.Then,based on the spatial distribution and temporal attributes of calculated clusters,visual diagram and map were used to vividly analyze the bicycle hire behavior related to station category and study the travel rules of citizens.The experimental results demonstrate the relation between human mobility,the time of day,day of week and the station location.展开更多
This paper presents an interpolation-based method(IBM)for approximating some trigonometric functions or their integrals as well.It provides two-sided bounds for each function,which also achieves much better approximat...This paper presents an interpolation-based method(IBM)for approximating some trigonometric functions or their integrals as well.It provides two-sided bounds for each function,which also achieves much better approximation effects than those of prevailing methods.In principle,the IBM can be applied for bounding more bounded smooth functions and their integrals as well,and its applications include approximating the integral of sin(x)/x function and improving the famous square root inequalities.展开更多
For real-time edge systems such as autonomous driving,not only the correctness of task functions,but also the response and processing time of tasks should be satisfied.In the hardware selection phase of a real-time sy...For real-time edge systems such as autonomous driving,not only the correctness of task functions,but also the response and processing time of tasks should be satisfied.In the hardware selection phase of a real-time system,time series analyses must be performed on the hardware platform running real-time applications.At present,the common method of worst-case execution time(WCET)analysis focuses mainly on analyzing the impact of hardware platform architecture or task execution process on the task running time.However,different tasks in an autopilot system have different levels of urgency,and preemption between tasks is the main factor that affects the task execution time.The key problem is how to quantify the time fluctuation caused by task preemption for each subtask of the autopilot system running on a fixed hardware platform.This paper presents a time analysis method for a real-time application based on a queuing theory and preemptive scheduling strategy,which assigns different priorities to tasks according to their time urgency and preemptive scheduling according to task priority.Through an experimental case study,the impact of the running time of each subtask in a real-time application with task priority preemptive scheduling is analyzed,along with the impact of changes in hardware platform performance on such real-time applications.展开更多
This paper proposes a two-stage point cloud super resolution framework that combines local interpolation and deep neural network based readjustment. For the first stage, the authors apply a local interpolation method ...This paper proposes a two-stage point cloud super resolution framework that combines local interpolation and deep neural network based readjustment. For the first stage, the authors apply a local interpolation method to increase the density and uniformity of the target point cloud. For the second stage, the authors employ an outer-product neural network to readjust the position of points that are inserted at the first stage. Comparison examples are given to demonstrate that the proposed framework achieves a better accuracy than existing state-of-art approaches, such as PU-Net, Point Net and DGCNN(Source code is available at https://github.com/qwerty1319/PC-SR).展开更多
Abstract Generalized B-splines have been employed as geometric modeling and numerical simu- lation tools for isogeometric analysis (IGA for short). However, the previous models used in IGA, such as trigonometric gen...Abstract Generalized B-splines have been employed as geometric modeling and numerical simu- lation tools for isogeometric analysis (IGA for short). However, the previous models used in IGA, such as trigonometric generalized B-splines or hyperbolic generalized B-splines, are not the unified mathematical representation of conics and polynomial parametric curves/surfaces. In this paper, a unified approach to construct the generalized non-uniform B-splines over the space spanned by {α(t),β(t),ξ(t), η(t), 1, t,……. , tn-4} is proposed, and the corresponding isogeometric analysis framework for PDE solving is also studied. Compared with the NURBS-IGA method, the proposed frameworks have several advantages such as high accuracy, easy-to-compute derivatives and integrals due to the non-rational form. Furthermore, with the proposed spline models, isogeometric analysis can be performed on the computational domain bounded by transcendental curves/surfaces, such as the involute of circle, the helix/helicoid, the catenary/catenoid and the cycloid. Several numerical examples for isogeometrie heat conduction problems are presented to show the effectiveness of the proposed methods.展开更多
Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of API...Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of APIs.Unfortunately,API directives usually have diverse morphologies,making it time-consuming and error-prone for developers to discover all the relevant API directives.In this paper,we propose an approach leveraging text classification to discover API directives from API specifications.Specifically,given a set of training sentences in API specifications,our approach first characterizes each sentence by three groups of features.Then,to deal with the unequal distribution between API directives and non-directives,our approach employs an under-sampling strategy to split the imbalanced training set into several subsets and trains several classifiers.Given a new sentence in an API specification,our approach synthesizes the trained classifiers to predict whether it is an API directive.We have evaluated our approach over a publicly available annotated API directive corpus.The experimental results reveal that our approach achieves an F-measure value of up to 82.08%.In addition,our approach statistically outperforms the state-of-the-art approach by up to 29.67%in terms of F-measure.展开更多
基金the Public Projects of Zhejiang Province,China(Nos.2016C33110,2015C33067)National Natural Science Foundations of China(Nos.61602141,61473108,61402141)
文摘Bicycle sharing system has emerged as a new mode of transportation in many big cities over the past decade.Since the large number of bicycle stations distribute widely in the city,it is difficult to identify their unique attributes and characteristics directly.Oriented to the real bicycle hire dataset in Hangzhou,China,the clustering analysis for the bicycle stations based on the temporal flow data was carried out firstly.Then,based on the spatial distribution and temporal attributes of calculated clusters,visual diagram and map were used to vividly analyze the bicycle hire behavior related to station category and study the travel rules of citizens.The experimental results demonstrate the relation between human mobility,the time of day,day of week and the station location.
基金Supported by the National Natural Science Foundation of China(61672009,61502130).
文摘This paper presents an interpolation-based method(IBM)for approximating some trigonometric functions or their integrals as well.It provides two-sided bounds for each function,which also achieves much better approximation effects than those of prevailing methods.In principle,the IBM can be applied for bounding more bounded smooth functions and their integrals as well,and its applications include approximating the integral of sin(x)/x function and improving the famous square root inequalities.
基金supported by the National Key Research and Development Program under Grant No.2019YFC0118404the National Natural Science Foundation of China under Grant No.U20A20386+2 种基金the Zhejiang Key Research and Development Program under Grant No.2020C01050the Key Laboratory fund general project under Grant No.6142110190406the Zhejiang Natural Science Foundation Project under Grant No.LY19F020044
文摘For real-time edge systems such as autonomous driving,not only the correctness of task functions,but also the response and processing time of tasks should be satisfied.In the hardware selection phase of a real-time system,time series analyses must be performed on the hardware platform running real-time applications.At present,the common method of worst-case execution time(WCET)analysis focuses mainly on analyzing the impact of hardware platform architecture or task execution process on the task running time.However,different tasks in an autopilot system have different levels of urgency,and preemption between tasks is the main factor that affects the task execution time.The key problem is how to quantify the time fluctuation caused by task preemption for each subtask of the autopilot system running on a fixed hardware platform.This paper presents a time analysis method for a real-time application based on a queuing theory and preemptive scheduling strategy,which assigns different priorities to tasks according to their time urgency and preemptive scheduling according to task priority.Through an experimental case study,the impact of the running time of each subtask in a real-time application with task priority preemptive scheduling is analyzed,along with the impact of changes in hardware platform performance on such real-time applications.
基金supported by the NSFC-Zhejiang Joint Fund for the Integration of Industrialization and Informatization under Grant No.U1909210the National Nature Science Foundation of China under Grant Nos.61761136010,61772163。
文摘This paper proposes a two-stage point cloud super resolution framework that combines local interpolation and deep neural network based readjustment. For the first stage, the authors apply a local interpolation method to increase the density and uniformity of the target point cloud. For the second stage, the authors employ an outer-product neural network to readjust the position of points that are inserted at the first stage. Comparison examples are given to demonstrate that the proposed framework achieves a better accuracy than existing state-of-art approaches, such as PU-Net, Point Net and DGCNN(Source code is available at https://github.com/qwerty1319/PC-SR).
基金supported by Zhejiang Provincial Natural Science Foundation of China under Grant No.LR16F020003the National Nature Science Foundation of China under Grant Nos.61472111,61602138+1 种基金the Open Project Program of the State Key Lab of CAD&CG(A1703)Zhejiang University
文摘Abstract Generalized B-splines have been employed as geometric modeling and numerical simu- lation tools for isogeometric analysis (IGA for short). However, the previous models used in IGA, such as trigonometric generalized B-splines or hyperbolic generalized B-splines, are not the unified mathematical representation of conics and polynomial parametric curves/surfaces. In this paper, a unified approach to construct the generalized non-uniform B-splines over the space spanned by {α(t),β(t),ξ(t), η(t), 1, t,……. , tn-4} is proposed, and the corresponding isogeometric analysis framework for PDE solving is also studied. Compared with the NURBS-IGA method, the proposed frameworks have several advantages such as high accuracy, easy-to-compute derivatives and integrals due to the non-rational form. Furthermore, with the proposed spline models, isogeometric analysis can be performed on the computational domain bounded by transcendental curves/surfaces, such as the involute of circle, the helix/helicoid, the catenary/catenoid and the cycloid. Several numerical examples for isogeometrie heat conduction problems are presented to show the effectiveness of the proposed methods.
基金the National Key Research and Development Plan of China under Grant No.2018YFB1003900the National Natural Science Foundation of China under Grant No.61902181,the China Postdoctoral Science Foundation under Grant No.2020M671489the CCF-Tencent Open Research Fund under Grant No.RAGR20200106.
文摘Application programming interface(API)libraries are extensively used by developers.To correctly program with APIs and avoid bugs,developers shall pay attention to API directives,which illustrate the constraints of APIs.Unfortunately,API directives usually have diverse morphologies,making it time-consuming and error-prone for developers to discover all the relevant API directives.In this paper,we propose an approach leveraging text classification to discover API directives from API specifications.Specifically,given a set of training sentences in API specifications,our approach first characterizes each sentence by three groups of features.Then,to deal with the unequal distribution between API directives and non-directives,our approach employs an under-sampling strategy to split the imbalanced training set into several subsets and trains several classifiers.Given a new sentence in an API specification,our approach synthesizes the trained classifiers to predict whether it is an API directive.We have evaluated our approach over a publicly available annotated API directive corpus.The experimental results reveal that our approach achieves an F-measure value of up to 82.08%.In addition,our approach statistically outperforms the state-of-the-art approach by up to 29.67%in terms of F-measure.