The International GNSS Service(IGS) final products(ephemeris and clocks-correction) have made the GNSS an indispensable low-cost tool for scientific research, for example sub-daily atmospheric water vapor monitoring. ...The International GNSS Service(IGS) final products(ephemeris and clocks-correction) have made the GNSS an indispensable low-cost tool for scientific research, for example sub-daily atmospheric water vapor monitoring. In this study, we investigate if there is a systematic difference coming from the choice between the Vienna Mapping Function 1(VMF1) and the Global Mapping Function(GMF) for the modeling of Zenith Total Delay(ZTD) estimates, as well as the Integrated Precipitable Water Vapor(IPWV) estimates that are deduced from them. As ZTD estimates cannot be fully separated from coordinate estimates, we also investigated the coordinate repeatability between subsequent measurements.For this purpose, we monitored twelve GNSS stations on a global scale, for each of the three climatic zones(polar, mid-latitudes and tropical), with four stations on each zone. We used an automated processing based on the Bernese GNSS Software Version 5.2 by applying the Precise Point Positioning(PPP)approach, L3 Ionosphere-free linear combination, 7 cutoff elevation angle and 2 h sampling. We noticed an excellent agreement with the ZTD estimates and coordinate repeatability for all the stations w.r.t to CODE(the Center for Orbit Determination in Europe) and USNO(US Naval Observatory) products, except for the Antarctic station(Davis) which shows systematic biases for the GMF related results. As a final step, we investigated the effect of using two mapping functions(VMF1 and GMF) to estimate the IPWV,w.r.t the IPWV estimates provided by the Integrated Global Radiosonde Archive(IGRA). The GPS-derived IPWV estimates are very close to the radiosonde-derived IPWV estimates, except for one station in the tropics(Tahiti).展开更多
Assembly sketch is not only the visualization of abstract function, but alsothe template of detail design. Two kinds of information are needed to create assembly sketch:structure and assembly constraint. Most research...Assembly sketch is not only the visualization of abstract function, but alsothe template of detail design. Two kinds of information are needed to create assembly sketch:structure and assembly constraint. Most researches are aimed at bow to obtain Structures fromfunction, but the problem of how to obtain assembly constraint from function is ignored. Followingthe definition of assembly unit and the classification of function, a hierarchical mapping methodfrom function to assembly constraint is put forward, and the mapping method includes two steps. Thefirst step is the mapping from function to assembly semantics which is assembly expression andaccordant with engineer's design habit. The second one is the mapping from assembly semantics tobasic assembly constraints that are convenient for computer to handle. The mapping method is appliedto DDMS (design, drafting and management system) successfully.展开更多
This paper discusses the definitions and properties of two kinds of fundamental symmetric functions, which are based on AND-OR-NOT algebraic system and AND-Exclusive OR algebraic system, respectively. Based upon it, s...This paper discusses the definitions and properties of two kinds of fundamental symmetric functions, which are based on AND-OR-NOT algebraic system and AND-Exclusive OR algebraic system, respectively. Based upon it, some mapping transformation methods between two kinds of expansion coefficients of an arbitrary symmetric, function in the complete set of two fundamental symmetric functions.展开更多
By establishing the concepts of fuzzy approaching set and fuzzy approaching functional mapping and making research on them, a new method for time series prediction is introduced.
Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps...Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps(BFM).The BFM algorithm generalizes the point-based correspondence to functions.By choosing the Laplace-Beltrami eigenfunctions as the function basis,the transformations between shapes can be represented by the functional map(FM)matrix.In addition,many constraints on shape registration,such as the feature descriptor,keypoint,and salient region correspondence,can be formulated linearly using the matrix.By bi-directionally searching for the nearest neighbors of points’indicator functions in the function space,the point-based correspondence can be derived from FMs.We conducted several experiments on the Topology and Orchestration Specification for Cloud Applications(TOSCA)dataset and the Shape Completion and Animation of People(SCAPE)dataset.Experimental results show that the proposed BFM algorithm is effective and has superior performance than the state-of-the-art methods on both datasets.展开更多
A new Hash function based on the generalized Henon map is proposed. We have obtained a binary sequence with excellent pseudo-random characteristics through improving the sequence generated by the generalized Henon map...A new Hash function based on the generalized Henon map is proposed. We have obtained a binary sequence with excellent pseudo-random characteristics through improving the sequence generated by the generalized Henon map, and use it to construct Hash function. First we divide the message into groups, and then carry out the Xor operation between the ASCII value of each group and the binary sequence, the result can be used as the initial values of the next loop. Repeat the procedure until all the groups have been processed, and the final binary sequence is the Hash value. In the scheme, the initial values of the generalized Henon map are used as the secret key and the messages are mapped to Hash values with a designated length. Simulation results show that the proposed scheme has strong diffusion and confusion capability, good collision resistance, large key space, extreme sensitivity to message and secret key, and it is easy to be realized and extended.展开更多
High performance of parallel computing on a message-passing multicomputer System relies on the balance of the workloads located on the processing elements of the System and the minimum communication ovcrheads among th...High performance of parallel computing on a message-passing multicomputer System relies on the balance of the workloads located on the processing elements of the System and the minimum communication ovcrheads among them. Mapping is the technology to partition the problem domain wellbalanced into multiple distinct execution tasks based on some measures. In mapping, a good objective function is the criterion to guarantce the distinct execution tasks equitable. In this paper, we evaluate five categories of those existed objective functions with three different problem subjects using experiments and find an objective function is much suitable for all kinds of problems.展开更多
The mechanism of the Concurrent Engineering(CE)and the methods of the manufacturing consultation are discussed. CE-oriented computer aided manufacture consulting methods are one of the key issues in concurrent design....The mechanism of the Concurrent Engineering(CE)and the methods of the manufacturing consultation are discussed. CE-oriented computer aided manufacture consulting methods are one of the key issues in concurrent design. The problems are settled in part function-feature mapping in concurrent design. The fuzzy set theory is applied to the function-feature mapping. A method for part function-feature mapping based on fuzzy theory is presented.展开更多
The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a...The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a novel method to overcome this problem by using a non linear handset mapper. Under this method, a mapper is constructed by training an elliptical basis function network using distorted speech features as inputs and the corresponding clean features as the desired outputs. During feature recuperation, clean features are recovered by feeding the distorted features to the feature mapper. The recovered features are then presented to a speaker model as if they were derived from clean speech. Experimental evaluations based on 258 speakers of the TIMIT and NTIMIT corpuses suggest that the feature mappers improve the verification performance remarkably.展开更多
In this paper,based on coupled network generated by chaotic logarithmic map,a novel algorithm for constructing hash functions is proposed,which can transform messages and can establish a mapping from the transformed m...In this paper,based on coupled network generated by chaotic logarithmic map,a novel algorithm for constructing hash functions is proposed,which can transform messages and can establish a mapping from the transformed messages to the coupled matrix of the network.The network model is carefully designed to ensure the network dynamics to be chaotic.Through the chaotic iterations of the network,quantization and exclusive-or (XOR) operations,the algorithm can construct hash value with arbitrary length.It is shown by simulations that the algorithm is extremely sensitive to the initial values and the coupled matrix of the network,and has excellent performance in one-way,confusion and diffusion,and collision resistance.展开更多
Iterated function systems (IFS) were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function...Iterated function systems (IFS) were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function System using Kannan mapping which would cover a larger range of mappings. In this paper, following Hutchinson, D. R. Sahu and A. Chakraborty, we present some new iterated function systems by using the so-called generalized contractive mappings, which will also cover a large range of mappings. Our purpose is to prove the existence and uniqueness of attractors for such class of iterated function systems by virtue of a Banach-like fixed point theorem concerning generalized contractive mappings.展开更多
Ten Chinese patients with brain tumors involving language regions were selected. Preoperative functional MRI was performed to locate Broca's or Wernicke's area, and the cortex that was essential for language functio...Ten Chinese patients with brain tumors involving language regions were selected. Preoperative functional MRI was performed to locate Broca's or Wernicke's area, and the cortex that was essential for language function was determined by electrocortical mapping. A site-by-site comparison between functional MRI and electrocortical mapping was performed with the aid of a neuronavigation device. Results showed that the sensitivity and specificity of preoperative functional MRI were 80.0% and 85.0% in Broca's area and 66.6% and 85.2% in Wemicke's area, respectively. These experimental findings indicate that functional MRI is an accurate, reliable technique with which to identify the location of Wernicke's area or Broca's area in patients with brain tumors.展开更多
基金the innovation carrier project by Zhejiang provincial science and Technology Department (2017F10008)the French Space Agency (CNES) for their funding, through a DAR grant to the Geodesy Observatory of Tahiti
文摘The International GNSS Service(IGS) final products(ephemeris and clocks-correction) have made the GNSS an indispensable low-cost tool for scientific research, for example sub-daily atmospheric water vapor monitoring. In this study, we investigate if there is a systematic difference coming from the choice between the Vienna Mapping Function 1(VMF1) and the Global Mapping Function(GMF) for the modeling of Zenith Total Delay(ZTD) estimates, as well as the Integrated Precipitable Water Vapor(IPWV) estimates that are deduced from them. As ZTD estimates cannot be fully separated from coordinate estimates, we also investigated the coordinate repeatability between subsequent measurements.For this purpose, we monitored twelve GNSS stations on a global scale, for each of the three climatic zones(polar, mid-latitudes and tropical), with four stations on each zone. We used an automated processing based on the Bernese GNSS Software Version 5.2 by applying the Precise Point Positioning(PPP)approach, L3 Ionosphere-free linear combination, 7 cutoff elevation angle and 2 h sampling. We noticed an excellent agreement with the ZTD estimates and coordinate repeatability for all the stations w.r.t to CODE(the Center for Orbit Determination in Europe) and USNO(US Naval Observatory) products, except for the Antarctic station(Davis) which shows systematic biases for the GMF related results. As a final step, we investigated the effect of using two mapping functions(VMF1 and GMF) to estimate the IPWV,w.r.t the IPWV estimates provided by the Integrated Global Radiosonde Archive(IGRA). The GPS-derived IPWV estimates are very close to the radiosonde-derived IPWV estimates, except for one station in the tropics(Tahiti).
基金This project is supported by National Natural Science Foundation of China (No.50075080, No.50275133)Provincial Natural Science Foundation of Zhejiang (No.602039).
文摘Assembly sketch is not only the visualization of abstract function, but alsothe template of detail design. Two kinds of information are needed to create assembly sketch:structure and assembly constraint. Most researches are aimed at bow to obtain Structures fromfunction, but the problem of how to obtain assembly constraint from function is ignored. Followingthe definition of assembly unit and the classification of function, a hierarchical mapping methodfrom function to assembly constraint is put forward, and the mapping method includes two steps. Thefirst step is the mapping from function to assembly semantics which is assembly expression andaccordant with engineer's design habit. The second one is the mapping from assembly semantics tobasic assembly constraints that are convenient for computer to handle. The mapping method is appliedto DDMS (design, drafting and management system) successfully.
文摘This paper discusses the definitions and properties of two kinds of fundamental symmetric functions, which are based on AND-OR-NOT algebraic system and AND-Exclusive OR algebraic system, respectively. Based upon it, some mapping transformation methods between two kinds of expansion coefficients of an arbitrary symmetric, function in the complete set of two fundamental symmetric functions.
文摘By establishing the concepts of fuzzy approaching set and fuzzy approaching functional mapping and making research on them, a new method for time series prediction is introduced.
基金the China Scholarship Council under Grant No.201406070059.
文摘Three-dimensional(3D)shape registration is a challenging problem,especially for shapes under non-rigid transformations.In this paper,a 3D non-rigid shape registration method is proposed,called balanced functional maps(BFM).The BFM algorithm generalizes the point-based correspondence to functions.By choosing the Laplace-Beltrami eigenfunctions as the function basis,the transformations between shapes can be represented by the functional map(FM)matrix.In addition,many constraints on shape registration,such as the feature descriptor,keypoint,and salient region correspondence,can be formulated linearly using the matrix.By bi-directionally searching for the nearest neighbors of points’indicator functions in the function space,the point-based correspondence can be derived from FMs.We conducted several experiments on the Topology and Orchestration Specification for Cloud Applications(TOSCA)dataset and the Shape Completion and Animation of People(SCAPE)dataset.Experimental results show that the proposed BFM algorithm is effective and has superior performance than the state-of-the-art methods on both datasets.
基金supported by the National Natural Science Foundation of China (Grant No 60372061)
文摘A new Hash function based on the generalized Henon map is proposed. We have obtained a binary sequence with excellent pseudo-random characteristics through improving the sequence generated by the generalized Henon map, and use it to construct Hash function. First we divide the message into groups, and then carry out the Xor operation between the ASCII value of each group and the binary sequence, the result can be used as the initial values of the next loop. Repeat the procedure until all the groups have been processed, and the final binary sequence is the Hash value. In the scheme, the initial values of the generalized Henon map are used as the secret key and the messages are mapped to Hash values with a designated length. Simulation results show that the proposed scheme has strong diffusion and confusion capability, good collision resistance, large key space, extreme sensitivity to message and secret key, and it is easy to be realized and extended.
文摘High performance of parallel computing on a message-passing multicomputer System relies on the balance of the workloads located on the processing elements of the System and the minimum communication ovcrheads among them. Mapping is the technology to partition the problem domain wellbalanced into multiple distinct execution tasks based on some measures. In mapping, a good objective function is the criterion to guarantce the distinct execution tasks equitable. In this paper, we evaluate five categories of those existed objective functions with three different problem subjects using experiments and find an objective function is much suitable for all kinds of problems.
基金This project was supported by China Postdoctoral Science Foundation
文摘The mechanism of the Concurrent Engineering(CE)and the methods of the manufacturing consultation are discussed. CE-oriented computer aided manufacture consulting methods are one of the key issues in concurrent design. The problems are settled in part function-feature mapping in concurrent design. The fuzzy set theory is applied to the function-feature mapping. A method for part function-feature mapping based on fuzzy theory is presented.
文摘The performance of speaker verification systems is often compromised under real world environments. For example, variations in handset characteristics could cause severe performance degradation. This paper presents a novel method to overcome this problem by using a non linear handset mapper. Under this method, a mapper is constructed by training an elliptical basis function network using distorted speech features as inputs and the corresponding clean features as the desired outputs. During feature recuperation, clean features are recovered by feeding the distorted features to the feature mapper. The recovered features are then presented to a speaker model as if they were derived from clean speech. Experimental evaluations based on 258 speakers of the TIMIT and NTIMIT corpuses suggest that the feature mappers improve the verification performance remarkably.
基金supported by the Program for New Century Excellent Talents in University of China(No.NCET-06-0510)National Natural Science Founda-tion of China(No. 60874091)Six Projects Sponsoring Talent Summits of Jiangsu Province(No. SJ209006)
文摘In this paper,based on coupled network generated by chaotic logarithmic map,a novel algorithm for constructing hash functions is proposed,which can transform messages and can establish a mapping from the transformed messages to the coupled matrix of the network.The network model is carefully designed to ensure the network dynamics to be chaotic.Through the chaotic iterations of the network,quantization and exclusive-or (XOR) operations,the algorithm can construct hash value with arbitrary length.It is shown by simulations that the algorithm is extremely sensitive to the initial values and the coupled matrix of the network,and has excellent performance in one-way,confusion and diffusion,and collision resistance.
基金Partially supported by National Natural Science Foundation of China (No. 10961003)
文摘Iterated function systems (IFS) were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function System using Kannan mapping which would cover a larger range of mappings. In this paper, following Hutchinson, D. R. Sahu and A. Chakraborty, we present some new iterated function systems by using the so-called generalized contractive mappings, which will also cover a large range of mappings. Our purpose is to prove the existence and uniqueness of attractors for such class of iterated function systems by virtue of a Banach-like fixed point theorem concerning generalized contractive mappings.
基金supported by the Key Technologies R&D Program of Ningxia Hui Autonomous Region in 2008,No.2008-165-17the Key Technologies R&D Program of Ningxia Hui Autonomous Region in 2011,No. 2011-89
文摘Ten Chinese patients with brain tumors involving language regions were selected. Preoperative functional MRI was performed to locate Broca's or Wernicke's area, and the cortex that was essential for language function was determined by electrocortical mapping. A site-by-site comparison between functional MRI and electrocortical mapping was performed with the aid of a neuronavigation device. Results showed that the sensitivity and specificity of preoperative functional MRI were 80.0% and 85.0% in Broca's area and 66.6% and 85.2% in Wemicke's area, respectively. These experimental findings indicate that functional MRI is an accurate, reliable technique with which to identify the location of Wernicke's area or Broca's area in patients with brain tumors.