Unmanned and aerial systems as interactors among different system components for communications,have opened up great opportunities for truth data discovery in Mobile Crowd Sensing(MCS)which has not been properly solve...Unmanned and aerial systems as interactors among different system components for communications,have opened up great opportunities for truth data discovery in Mobile Crowd Sensing(MCS)which has not been properly solved in the literature.In this paper,an Unmanned Aerial Vehicles-supported Intelligent Truth Discovery(UAV-ITD)scheme is proposed to obtain truth data at low-cost communications for MCS.The main innovations of the UAV-ITD scheme are as follows:(1)UAV-ITD scheme takes the first step in employing UAV joint Deep Matrix Factorization(DMF)to discover truth data based on the trust mechanism for an Information Elicitation Without Verification(IEWV)problem in MCS.(2)This paper introduces a truth data discovery scheme for the first time that only needs to collect a part of n data samples to infer the data of the entire network with high accuracy,which saves more communication costs than most previous data collection schemes,where they collect n or kn data samples.Finally,we conducted extensive experiments to evaluate the UAV-ITD scheme.The results show that compared with previous schemes,our scheme can reduce estimated truth error by 52.25%–96.09%,increase the accuracy of workers’trust evaluation by 0.68–61.82 times,and save recruitment costs by 24.08%–54.15%in truth data discovery.展开更多
Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquak...Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquakes which are close to one seismic station can be well located with calibration extracting from EGF. We test two algorithms in locating the 1998 Zhangbei earthquake, one algorithm is waveform-based, and the other is traveltime-based. We first compute EGF between station ZHB （a station about 40 km away from the epicenter） and five IC/IRIS stations. With the waveform-based approach, we calculate 1D synthetic single-force Green’s functions between ZHB and other four stations, and obtain traveltime corrections by correlating synthetic Green’s functions with EGFs in period band of 10–30 s. Then we locate the earthquake by minimizing the differential travel times between observed earthquake waveform and the 1D synthetic earthquake waveforms computed with focal mechanism provided by Global CMT after traveltime correction from EGFs. This waveform-based approach yields a location which error is about 13 km away from the location observed with InSAR. With the traveltime-based approach, we begin with measuring group velocity from EGFs as well as group arrival time on observed earthquake waveforms, and then locate the earthquake by minimizing the difference between observed group arrival time and arrival time measured on EGFs. This traveltime-based approach yields accuracy of 3 km, Therefore it is feasible to achieve GT5 （ground truth location with accuracy 5 km） with ambient seismic noises. The less accuracy of the waveform-based approach was mainly caused by uncertainty of focal mechanism.展开更多
Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature cov...Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature covered in the setting of stage,the cyclical actions and the philosophic conversation.展开更多
Objective: This study aims to investigate the truth-telling status and the relevant factors of esophageal squamous cell carcinoma(ESCC) patients in Henan, China.Methods: A cross-sectional study from April to June 2015...Objective: This study aims to investigate the truth-telling status and the relevant factors of esophageal squamous cell carcinoma(ESCC) patients in Henan, China.Methods: A cross-sectional study from April to June 2015 using questionnaires was given to 301 family members of hospitalized ESCC patients based in three affiliated hospitals of Zhengzhou University(i.e., The First Hospital, The Second Hospital, and Tumor Hospital) and Anyang Tumor Hospital.Results: Among the 41.9%(126/301) hospitalized ESCC patients who knew of their true diagnoses, only 4.0% patients were informed by their corresponding responsible doctors, 39.7% by their family members, and 56.3% by themselves. Univariate analyses showed that disclosure of confirmed ESCC diagnosis to patients was correlated with gender, family history of cancer(FHC), education level, vocation, hospital administrative level, and attitudes of family members(P < 0.05). Furthermore,multivariate analysis indicated that attitude of family members was the most important and an independent factor for diagnosis disclosure. Those patients with a negative FHC, under-education, manual occupation, advanced stages, and hospitalized in municipal hospitals exhibited a low rate of truth telling.Conclusions: Truth telling for ESCC patients in Henan is not prevalent and may be improved through consultation with family members, particularly for patients with a negative FHC, poor education, manual occupation, and advanced stages.展开更多
Spectrum auction is an important approach of spectrum distribution in cognitive radio networks. However, a single secondary user(SU) probably can't afford the price of spectrum. Multiple SUs grouping together to p...Spectrum auction is an important approach of spectrum distribution in cognitive radio networks. However, a single secondary user(SU) probably can't afford the price of spectrum. Multiple SUs grouping together to participate in the auction as a whole is helpful to increase purchasing power. However, SUs could suffer from a new group cheating problem, i.e., parts of users conspire to manipulate the auction by submitting untruthful bids. Existing auction mechanisms were mainly designed to be strategy-proof only for individual user and can't deal with group cheating. In this paper, a novel spectrum auction mechanism called COSTAG(COst Sharing based Truthful Auction with Group-buying) is proposed to address the group cheating problem. COSTAG consists of a grouping rule to perform grouping and a payment rule to determine the market-clearing price in the spectrum auction. Different from single-echelon pricing approach employed in existing works, a multi-echelon pricing strategy is designed to increase the transaction rate and optimize social profit for the auction. Comprehensive theoretical analysis shows that COSTAG can satisfy the crucial economic robustness properties, both individual and group truthfulness. Simulations demonstrate that comparing with existing works, COSTAG can improve the system performance significantly.展开更多
The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which ...The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which is expected to reach brand-new circumstances of "humans development and construction of completeness" and must and should explore "Truth","Kindness" and "Aesthetics" in Chinese education.This article is meant to explore "truth" of Chinese(language,article,literature) in the intellectual education from cognitive science and to promote students to get into quality of exploration;they should explore "kindness" in the moral education in Chinese(language,article,literature) from ethics,which is to urge wakefulness of students' moral consciousness;in addition,"aesthetics" in Chinese(language,article,literature) from aesthetic education is to spur students to construct free soul.展开更多
Analyzing the aftershock sequence of the 2008 Wenchuan earthquake,we considered 26 micro-earthquakes "just underneath" seismic stations.Making use of such special station-event configurations to determine th...Analyzing the aftershock sequence of the 2008 Wenchuan earthquake,we considered 26 micro-earthquakes "just underneath" seismic stations.Making use of such special station-event configurations to determine the depth of these micro-earthquakes provided accurate relocation of aftershocks with a reference set of "ground truth(GT)events".展开更多
Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the t...Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.展开更多
Chinese Education Philosophy of "Truth, Kindness, and Aesthetics Combination" manifests in the research on Chinese education from aesthetics perspective. It aims at the "narrow and limited view" of...Chinese Education Philosophy of "Truth, Kindness, and Aesthetics Combination" manifests in the research on Chinese education from aesthetics perspective. It aims at the "narrow and limited view" of "not the general aesthetics, but the artistic beauty only", and it aims at biased opinion of "the interest saying", "the fine arts saying", "the esthetic sense saying" on aesthetics. It also aims at serious distraction of "LEFT in form but RIGHT in essence" of the mainstream ideology "the thought", "the revolution", "politics" and so on. It is a complex study of Chinese education from the philosophy of the unity of Truth, Kindness, and Aesthetics of oriental aesthetics, the consensus of Truth, Kindness, and Aesthetics of Western aesthetics, and the identity of Truth, Kindness, and Aesthetics of Marx aesthetics. From aesthetics perspective, it studies Chinese education, "combing" the reversed relationships among "truth", "kindness" and "aesthetics" in Chinese, adopting the methods of "research with great ease", "cases study", and "combination of ration and perception", to achieve "truth" of in Chinese, "kindness" of and "aesthetics" of , promote the development of "Chinese intellectual education", "Chinese moral education", and "Chinese aesthetic education" harmoniously, to realize the "Truth, Kindness, and Aesthetics Combination" of Chinese education and to reach the brand-new boundary territory of "human development and integrity construction" effectively.展开更多
Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations ...Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations in the representation of nonmonotonic justifications. We present stratified truth maintenance systems which introduce priorities among justifications. The stratified truth maintenance systems can deal with nonmonotonic reasoning more effectively and can be applied in many useful areas.展开更多
Mobile edge users(MEUs)collect data from sensor devices and report to cloud systems,which can facilitate numerous applications in sensor‑cloud systems(SCS).However,because there is no effective way to access the groun...Mobile edge users(MEUs)collect data from sensor devices and report to cloud systems,which can facilitate numerous applications in sensor‑cloud systems(SCS).However,because there is no effective way to access the ground truth to verify the quality of sensing devices’data or MEUs’reports,malicious sensing devices or MEUs may report false data and cause damage to the platform.It is critical for selecting sensing devices and MEUs to report truthful data.To tackle this challenge,a novel scheme that uses unmanned aerial vehicles(UAV)to detect the truth of sensing devices and MEUs(UAV‑DT)is proposed to construct a clean data collection platform for SCS.In the UAV‑DT scheme,the UAV delivers check codes to sensor devices and requires them to provide routes to the specified destination node.Then,the UAV flies along the path that enables maximal truth detection and collects the information of the sensing devices forwarding data packets to the cloud during this period.The information collected by the UAV will be checked in two aspects to verify the credibility of the sensor devices.The first is to check whether there is an abnormality in the received and sent data packets of the sensing devices and an evaluation of the degree of trust is given;the second is to compare the data packets submitted by the sensing devices to MEUs with the data packets submitted by the MEUs to the platform to verify the credibility of MEUs.Then,based on the verified trust value,an incentive mechanism is proposed to select credible MEUs for data collection,so as to create a clean data collection sensor‑cloud network.The simulation results show that the proposed UAV‑DT scheme can identify the trust of sensing devices and MEUs well.As a result,the proportion of clean data collected is greatly improved.展开更多
The Internet now is a large-scale platform with big data. Finding truth from a huge dataset has attracted extensive attention, which can maintain the quality of data collected by users and provide users with accurate ...The Internet now is a large-scale platform with big data. Finding truth from a huge dataset has attracted extensive attention, which can maintain the quality of data collected by users and provide users with accurate and efficient data. However, current truth finder algorithms are unsatisfying, because of their low accuracy and complication. This paper proposes a truth finder algorithm based on entity attributes (TFAEA). Based on the iterative computation of source reliability and fact accuracy, TFAEA considers the interactive degree among facts and the degree of dependence among sources, to simplify the typical truth finder algorithms. In order to improve the accuracy of them, TFAEA combines the one-way text similarity and the factual conflict to calculate the mutual support degree among facts. Furthermore, TFAEA utilizes the symmetric saturation of data sources to calculate the degree of dependence among sources. The experimental results show that TFAEA is not only more stable, but also more accurate than the typical truth finder algorithms.展开更多
Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to con...Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm.展开更多
The art of living is to know when to hold fast and when to let go. For life is a paradox:it enjoins us to cling to its many gifts even while it ordains their eventual relinquishment.The rabbis of old put it this way:
基金supported by the National Natural Science Foundation of China under Grant No.62072475.
文摘Unmanned and aerial systems as interactors among different system components for communications,have opened up great opportunities for truth data discovery in Mobile Crowd Sensing(MCS)which has not been properly solved in the literature.In this paper,an Unmanned Aerial Vehicles-supported Intelligent Truth Discovery(UAV-ITD)scheme is proposed to obtain truth data at low-cost communications for MCS.The main innovations of the UAV-ITD scheme are as follows:(1)UAV-ITD scheme takes the first step in employing UAV joint Deep Matrix Factorization(DMF)to discover truth data based on the trust mechanism for an Information Elicitation Without Verification(IEWV)problem in MCS.(2)This paper introduces a truth data discovery scheme for the first time that only needs to collect a part of n data samples to infer the data of the entire network with high accuracy,which saves more communication costs than most previous data collection schemes,where they collect n or kn data samples.Finally,we conducted extensive experiments to evaluate the UAV-ITD scheme.The results show that compared with previous schemes,our scheme can reduce estimated truth error by 52.25%–96.09%,increase the accuracy of workers’trust evaluation by 0.68–61.82 times,and save recruitment costs by 24.08%–54.15%in truth data discovery.
基金supported by Chinese Acadmy of Sciences Fund(No.KCZX-YW-116-1)Joint Seismological Science Fundation of China (Nos.20080878 and 200708035)
文摘Because ambient seismic noise provides estimated Green’s function （EGF） between two sites with high accuracy, Rayleigh wave propagation along the path connecting the two sites is well resolved. Therefore, earthquakes which are close to one seismic station can be well located with calibration extracting from EGF. We test two algorithms in locating the 1998 Zhangbei earthquake, one algorithm is waveform-based, and the other is traveltime-based. We first compute EGF between station ZHB （a station about 40 km away from the epicenter） and five IC/IRIS stations. With the waveform-based approach, we calculate 1D synthetic single-force Green’s functions between ZHB and other four stations, and obtain traveltime corrections by correlating synthetic Green’s functions with EGFs in period band of 10–30 s. Then we locate the earthquake by minimizing the differential travel times between observed earthquake waveform and the 1D synthetic earthquake waveforms computed with focal mechanism provided by Global CMT after traveltime correction from EGFs. This waveform-based approach yields a location which error is about 13 km away from the location observed with InSAR. With the traveltime-based approach, we begin with measuring group velocity from EGFs as well as group arrival time on observed earthquake waveforms, and then locate the earthquake by minimizing the difference between observed group arrival time and arrival time measured on EGFs. This traveltime-based approach yields accuracy of 3 km, Therefore it is feasible to achieve GT5 （ground truth location with accuracy 5 km） with ambient seismic noises. The less accuracy of the waveform-based approach was mainly caused by uncertainty of focal mechanism.
文摘Endgame,the most difficult and elusive play by Samuel Beckett,sketches the post-war social spirit and norm.Absurd as the plot is,this paper is aimed at disclosing the truth of the world,of life,and of human nature covered in the setting of stage,the cyclical actions and the philosophic conversation.
基金supported by grants from the National Natural Science Foundation of China(Grant No.81472323)Top Talent Support Project of Zhengzhou University(Grant No.ZDGD13001)Innovation Scientists and Technicians Troop Construction Projects of Henan Province,China(Grant No.3047)
文摘Objective: This study aims to investigate the truth-telling status and the relevant factors of esophageal squamous cell carcinoma(ESCC) patients in Henan, China.Methods: A cross-sectional study from April to June 2015 using questionnaires was given to 301 family members of hospitalized ESCC patients based in three affiliated hospitals of Zhengzhou University(i.e., The First Hospital, The Second Hospital, and Tumor Hospital) and Anyang Tumor Hospital.Results: Among the 41.9%(126/301) hospitalized ESCC patients who knew of their true diagnoses, only 4.0% patients were informed by their corresponding responsible doctors, 39.7% by their family members, and 56.3% by themselves. Univariate analyses showed that disclosure of confirmed ESCC diagnosis to patients was correlated with gender, family history of cancer(FHC), education level, vocation, hospital administrative level, and attitudes of family members(P < 0.05). Furthermore,multivariate analysis indicated that attitude of family members was the most important and an independent factor for diagnosis disclosure. Those patients with a negative FHC, under-education, manual occupation, advanced stages, and hospitalized in municipal hospitals exhibited a low rate of truth telling.Conclusions: Truth telling for ESCC patients in Henan is not prevalent and may be improved through consultation with family members, particularly for patients with a negative FHC, poor education, manual occupation, and advanced stages.
基金partially supported by the National Science Foundation of China (No. 61070211, No. 61003304, No 61501482 and No 61070201)Equipment research foundation (No.6140134040216)the Ph.D. Programs Foundation of Ministry of Education of China (No. 20114307120003)
文摘Spectrum auction is an important approach of spectrum distribution in cognitive radio networks. However, a single secondary user(SU) probably can't afford the price of spectrum. Multiple SUs grouping together to participate in the auction as a whole is helpful to increase purchasing power. However, SUs could suffer from a new group cheating problem, i.e., parts of users conspire to manipulate the auction by submitting untruthful bids. Existing auction mechanisms were mainly designed to be strategy-proof only for individual user and can't deal with group cheating. In this paper, a novel spectrum auction mechanism called COSTAG(COst Sharing based Truthful Auction with Group-buying) is proposed to address the group cheating problem. COSTAG consists of a grouping rule to perform grouping and a payment rule to determine the market-clearing price in the spectrum auction. Different from single-echelon pricing approach employed in existing works, a multi-echelon pricing strategy is designed to increase the transaction rate and optimize social profit for the auction. Comprehensive theoretical analysis shows that COSTAG can satisfy the crucial economic robustness properties, both individual and group truthfulness. Simulations demonstrate that comparing with existing works, COSTAG can improve the system performance significantly.
文摘The ideal goal to cultivate creative talents who "seek truth","strive for kindness" and "adore aesthetics " and are equipped with "perfect personality" should be achieved,which is expected to reach brand-new circumstances of "humans development and construction of completeness" and must and should explore "Truth","Kindness" and "Aesthetics" in Chinese education.This article is meant to explore "truth" of Chinese(language,article,literature) in the intellectual education from cognitive science and to promote students to get into quality of exploration;they should explore "kindness" in the moral education in Chinese(language,article,literature) from ethics,which is to urge wakefulness of students' moral consciousness;in addition,"aesthetics" in Chinese(language,article,literature) from aesthetic education is to spur students to construct free soul.
文摘Analyzing the aftershock sequence of the 2008 Wenchuan earthquake,we considered 26 micro-earthquakes "just underneath" seismic stations.Making use of such special station-event configurations to determine the depth of these micro-earthquakes provided accurate relocation of aftershocks with a reference set of "ground truth(GT)events".
文摘Nonmonotonic reasoning and nonmonotonic truth maintenance are two important research aspects of artificial intelligence, which have close relations. Existing nonmonotonic truth maintenance systems can be used as the theorem provers of conventional nonmonotonic logics, but they can't represent and deal with prioritized nonmonotonic reasoning. This paper presented stratified truth maintenance systems which can represent and deal with prioritized justifications. It will be shown that the stratified ATMS can be used as a theorem prover of prioritized nonmonotonic logics.
文摘Chinese Education Philosophy of "Truth, Kindness, and Aesthetics Combination" manifests in the research on Chinese education from aesthetics perspective. It aims at the "narrow and limited view" of "not the general aesthetics, but the artistic beauty only", and it aims at biased opinion of "the interest saying", "the fine arts saying", "the esthetic sense saying" on aesthetics. It also aims at serious distraction of "LEFT in form but RIGHT in essence" of the mainstream ideology "the thought", "the revolution", "politics" and so on. It is a complex study of Chinese education from the philosophy of the unity of Truth, Kindness, and Aesthetics of oriental aesthetics, the consensus of Truth, Kindness, and Aesthetics of Western aesthetics, and the identity of Truth, Kindness, and Aesthetics of Marx aesthetics. From aesthetics perspective, it studies Chinese education, "combing" the reversed relationships among "truth", "kindness" and "aesthetics" in Chinese, adopting the methods of "research with great ease", "cases study", and "combination of ration and perception", to achieve "truth" of in Chinese, "kindness" of and "aesthetics" of , promote the development of "Chinese intellectual education", "Chinese moral education", and "Chinese aesthetic education" harmoniously, to realize the "Truth, Kindness, and Aesthetics Combination" of Chinese education and to reach the brand-new boundary territory of "human development and integrity construction" effectively.
文摘Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations in the representation of nonmonotonic justifications. We present stratified truth maintenance systems which introduce priorities among justifications. The stratified truth maintenance systems can deal with nonmonotonic reasoning more effectively and can be applied in many useful areas.
基金National Natural Science Foundation of China under Grant No.62032020Hunan Science and Technology Plan⁃ning Project under Grant No.2019RS3019the National Key Research and Development Program of China under Grant 2018YFB1003702.
文摘Mobile edge users(MEUs)collect data from sensor devices and report to cloud systems,which can facilitate numerous applications in sensor‑cloud systems(SCS).However,because there is no effective way to access the ground truth to verify the quality of sensing devices’data or MEUs’reports,malicious sensing devices or MEUs may report false data and cause damage to the platform.It is critical for selecting sensing devices and MEUs to report truthful data.To tackle this challenge,a novel scheme that uses unmanned aerial vehicles(UAV)to detect the truth of sensing devices and MEUs(UAV‑DT)is proposed to construct a clean data collection platform for SCS.In the UAV‑DT scheme,the UAV delivers check codes to sensor devices and requires them to provide routes to the specified destination node.Then,the UAV flies along the path that enables maximal truth detection and collects the information of the sensing devices forwarding data packets to the cloud during this period.The information collected by the UAV will be checked in two aspects to verify the credibility of the sensor devices.The first is to check whether there is an abnormality in the received and sent data packets of the sensing devices and an evaluation of the degree of trust is given;the second is to compare the data packets submitted by the sensing devices to MEUs with the data packets submitted by the MEUs to the platform to verify the credibility of MEUs.Then,based on the verified trust value,an incentive mechanism is proposed to select credible MEUs for data collection,so as to create a clean data collection sensor‑cloud network.The simulation results show that the proposed UAV‑DT scheme can identify the trust of sensing devices and MEUs well.As a result,the proportion of clean data collected is greatly improved.
基金supported by the National Natural Science Foundation of China(61472192)the Scientific and Technological Support Project(Society)of Jiangsu Province(BE2016776)
文摘The Internet now is a large-scale platform with big data. Finding truth from a huge dataset has attracted extensive attention, which can maintain the quality of data collected by users and provide users with accurate and efficient data. However, current truth finder algorithms are unsatisfying, because of their low accuracy and complication. This paper proposes a truth finder algorithm based on entity attributes (TFAEA). Based on the iterative computation of source reliability and fact accuracy, TFAEA considers the interactive degree among facts and the degree of dependence among sources, to simplify the typical truth finder algorithms. In order to improve the accuracy of them, TFAEA combines the one-way text similarity and the factual conflict to calculate the mutual support degree among facts. Furthermore, TFAEA utilizes the symmetric saturation of data sources to calculate the degree of dependence among sources. The experimental results show that TFAEA is not only more stable, but also more accurate than the typical truth finder algorithms.
文摘Kamaugh maps are widely used in the logic synthesis. However, the number of the variable it can deal with is limited. In this paper, two kinds of function shrinking techniques are proposed, and a fast algorithm to configure a truth vector into a XOR function is realized. There is no variable number limitation for this algorithm.
文摘The art of living is to know when to hold fast and when to let go. For life is a paradox:it enjoins us to cling to its many gifts even while it ordains their eventual relinquishment.The rabbis of old put it this way:
