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.展开更多
The intention of this paper is to study new additive kind multi-dimensional functional equations inspired by several applications of difference equations in biology,control theory,economics,and computer science,as wel...The intention of this paper is to study new additive kind multi-dimensional functional equations inspired by several applications of difference equations in biology,control theory,economics,and computer science,as well as notable implementation of fuzzy ideas in certain situations involving ambiguity or vagueness.In the context of different fuzzy spaces,we demonstrate their various fundamental stabilities related to Ulam stability theory.An appropriate example is given to show how stability result fails when the singular case occurs.The findings of this study suggest that stability results are valid in situations with uncertain or imprecise data.The stability results obtained under these fuzzy spaces are compared with previous stability results.展开更多
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.展开更多
Mapping function errors are usually not taken into consideration, when space geodetic data observed by VLBI, GNSS and some other techniques are utilized to estimate troposphere delay, which could, however, probably br...Mapping function errors are usually not taken into consideration, when space geodetic data observed by VLBI, GNSS and some other techniques are utilized to estimate troposphere delay, which could, however, probably bring non-ignorable errors to solutions. After analyzing the variation of mapping function errors with elevation angles based on several-year meteorological data, this paper constructed a model of this error and then proposed a two-step estimation method of troposphere delay with consideration of mapping function errors. The experimental results indicate that the method put forward by this paper could reduce the slant path delay residuals efficiently and improve the estimation accuracy of wet tropospheric delay to some extent.展开更多
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.展开更多
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.展开更多
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 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.展开更多
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.
目的初探纵向弛豫时间定量成像(T1 mapping)和酰胺质子转移加权(amide proton transfer weighted,APTw)成像鉴别慢性肾病(chronic kidney disease,CKD)患者与健康人群的价值。材料与方法回顾性分析2019年8月至2020年10月行3.0 T MRI检查...目的初探纵向弛豫时间定量成像(T1 mapping)和酰胺质子转移加权(amide proton transfer weighted,APTw)成像鉴别慢性肾病(chronic kidney disease,CKD)患者与健康人群的价值。材料与方法回顾性分析2019年8月至2020年10月行3.0 T MRI检查的CKD患者病例资料共21例(女6例,男15例),所有患者均经大连医科大学附属第一医院肾内科医师依据CKD临床实践指南确诊;同时收集24例健康志愿者临床资料作为对照组。将所有原始图像导入ISP工作站,生成伪彩图。由两名影像科诊断医师采用双盲法分别从肾的上极、中部、下极各选择一个层面并于皮质和髓质中分别放置感兴趣区(region of interest,ROI),面积约10~20 mm^(2),避开肾窦、大血管及肾周组织。测量所得皮髓质T1值与APT值应用SPSS 26.0软件进行统计学分析:应用组内相关系数(intra-class correlation coefficients,ICC)进行观察者间测量结果一致性检验;根据数据正态分布情况,采用独立样本t检验或Mann-Whitney U检验分析两组间参数值差异,P<0.05为差异具有统计学意义;采用受试者工作特征(receiver operating characteristic,ROC)曲线分析各参数诊断效能,根据最大约登指数得到相对应的阈值、敏感度和特异度,并计算曲线下面积(area under the curve,AUC)值。结果两位观察者间测量结果一致性良好(ICC>0.75)。CKD组双肾皮质T1值和皮质APT值显著高于健康对照组(P<0.05);左肾皮质T1值鉴别CKD的AUC值为0.887,敏感度66.7%,特异度100.0%;左肾皮质APT值鉴别CKD的AUC值为0.966,敏感度95.2%,特异度95.8%;右肾皮质T1值鉴别CKD的AUC值为0.960,敏感度76.2%,特异度100.0%;右肾皮质APT值鉴别CKD的AUC值为0.921,敏感度85.7%,特异度91.7%。结论T1 mapping与APTw成像可无创有效鉴别CKD,基于二者的定量参数在一定程度上反映了单侧肾脏各自结构与功能的改变,有望为临床疾病诊断提供一定的参考价值。展开更多
To deal with the global and regional issues including food security, climate change, land degradation, biodiversity loss, water resource management, and ecosystem health, detailed accurate spatial soil information is ...To deal with the global and regional issues including food security, climate change, land degradation, biodiversity loss, water resource management, and ecosystem health, detailed accurate spatial soil information is urgently needed. This drives the worldwide development of digital soil mapping. In recent years, significant progresses have been made in different aspects of digital soil mapping. The main purpose of this paper is to provide a review for the major progresses of digital soil mapping in the last decade. First, we briefly described the rise of digital soil mapping and outlined important milestones and their influence, and main paradigms in digital soil mapping. Then, we reviewed the progresses in legacy soil data, environmental covariates, soil sampling, predictive models and the applications of digital soil mapping products. Finally, we summarized the main trends and future prospect as revealed by studies up to now. We concluded that although the digital soil mapping is now moving towards mature to meet various demands of soil information, challenges including new theories, methodologies and applications of digital soil mapping, especially for highly heterogeneous and human-affected environments, still exist and need to be addressed in the future.展开更多
Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a...Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a unique fixed point in M . Applications of the theorem to the proof of existence and uniqueness of the solutions of a set of non-linear differential equations and a coupled integral equations of symmetric bending of shallow shell of revolution are given.展开更多
基金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.
基金The second author is supported by the Science and Engineering Research Board(SERB)of India(MTR/2020/000534).
文摘The intention of this paper is to study new additive kind multi-dimensional functional equations inspired by several applications of difference equations in biology,control theory,economics,and computer science,as well as notable implementation of fuzzy ideas in certain situations involving ambiguity or vagueness.In the context of different fuzzy spaces,we demonstrate their various fundamental stabilities related to Ulam stability theory.An appropriate example is given to show how stability result fails when the singular case occurs.The findings of this study suggest that stability results are valid in situations with uncertain or imprecise data.The stability results obtained under these fuzzy spaces are compared with previous stability results.
文摘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.
基金National Natural Science Foundation of China(No.41674082)National Natural Science Foundation of China(No.41774018)。
文摘Mapping function errors are usually not taken into consideration, when space geodetic data observed by VLBI, GNSS and some other techniques are utilized to estimate troposphere delay, which could, however, probably bring non-ignorable errors to solutions. After analyzing the variation of mapping function errors with elevation angles based on several-year meteorological data, this paper constructed a model of this error and then proposed a two-step estimation method of troposphere delay with consideration of mapping function errors. The experimental results indicate that the method put forward by this paper could reduce the slant path delay residuals efficiently and improve the estimation accuracy of wet tropospheric delay to some extent.
基金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.
文摘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.
基金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.
文摘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.
文摘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.
文摘目的初探纵向弛豫时间定量成像(T1 mapping)和酰胺质子转移加权(amide proton transfer weighted,APTw)成像鉴别慢性肾病(chronic kidney disease,CKD)患者与健康人群的价值。材料与方法回顾性分析2019年8月至2020年10月行3.0 T MRI检查的CKD患者病例资料共21例(女6例,男15例),所有患者均经大连医科大学附属第一医院肾内科医师依据CKD临床实践指南确诊;同时收集24例健康志愿者临床资料作为对照组。将所有原始图像导入ISP工作站,生成伪彩图。由两名影像科诊断医师采用双盲法分别从肾的上极、中部、下极各选择一个层面并于皮质和髓质中分别放置感兴趣区(region of interest,ROI),面积约10~20 mm^(2),避开肾窦、大血管及肾周组织。测量所得皮髓质T1值与APT值应用SPSS 26.0软件进行统计学分析:应用组内相关系数(intra-class correlation coefficients,ICC)进行观察者间测量结果一致性检验;根据数据正态分布情况,采用独立样本t检验或Mann-Whitney U检验分析两组间参数值差异,P<0.05为差异具有统计学意义;采用受试者工作特征(receiver operating characteristic,ROC)曲线分析各参数诊断效能,根据最大约登指数得到相对应的阈值、敏感度和特异度,并计算曲线下面积(area under the curve,AUC)值。结果两位观察者间测量结果一致性良好(ICC>0.75)。CKD组双肾皮质T1值和皮质APT值显著高于健康对照组(P<0.05);左肾皮质T1值鉴别CKD的AUC值为0.887,敏感度66.7%,特异度100.0%;左肾皮质APT值鉴别CKD的AUC值为0.966,敏感度95.2%,特异度95.8%;右肾皮质T1值鉴别CKD的AUC值为0.960,敏感度76.2%,特异度100.0%;右肾皮质APT值鉴别CKD的AUC值为0.921,敏感度85.7%,特异度91.7%。结论T1 mapping与APTw成像可无创有效鉴别CKD,基于二者的定量参数在一定程度上反映了单侧肾脏各自结构与功能的改变,有望为临床疾病诊断提供一定的参考价值。
基金supported by the National Natural Science Foundation of China (91325301, 41571130051)
文摘To deal with the global and regional issues including food security, climate change, land degradation, biodiversity loss, water resource management, and ecosystem health, detailed accurate spatial soil information is urgently needed. This drives the worldwide development of digital soil mapping. In recent years, significant progresses have been made in different aspects of digital soil mapping. The main purpose of this paper is to provide a review for the major progresses of digital soil mapping in the last decade. First, we briefly described the rise of digital soil mapping and outlined important milestones and their influence, and main paradigms in digital soil mapping. Then, we reviewed the progresses in legacy soil data, environmental covariates, soil sampling, predictive models and the applications of digital soil mapping products. Finally, we summarized the main trends and future prospect as revealed by studies up to now. We concluded that although the digital soil mapping is now moving towards mature to meet various demands of soil information, challenges including new theories, methodologies and applications of digital soil mapping, especially for highly heterogeneous and human-affected environments, still exist and need to be addressed in the future.
文摘Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a unique fixed point in M . Applications of the theorem to the proof of existence and uniqueness of the solutions of a set of non-linear differential equations and a coupled integral equations of symmetric bending of shallow shell of revolution are given.