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.展开更多
The solar greenhouse's construction and its demand on meteorological service in the process of production management in China were analyzed,and the current situation of meteorological service on it was summarized....The solar greenhouse's construction and its demand on meteorological service in the process of production management in China were analyzed,and the current situation of meteorological service on it was summarized.Combined with the trend of related technology,the future development of solar greenhouse meteorological service was prospected.展开更多
As a main component in water balance,evapotranspiration(ET)is of great importance for water saving,especially in arid and semi-arid areas.In this study,the FAO(Food and Agriculture Organization)Penman-Monteith model w...As a main component in water balance,evapotranspiration(ET)is of great importance for water saving,especially in arid and semi-arid areas.In this study,the FAO(Food and Agriculture Organization)Penman-Monteith model was used to estimate the magnitude and temporal dynamics of reference evapotranspiration(ET0)in 2014 in subalpine meadows of the Qilian Mountains,Northwest China.Meanwhile,actual ET(ETc)was also investigated by the eddy covariance(EC)system.Results indicated that ETc estimated by the EC System was 583 mm,lower than ET0(923 mm)estimated by the FAO Penman-Monteith model in 2014.Moreover,ET0 began to increase in March and reached the peak value in August and then declined in September,however,ETc began to increase from April and reached the peak value in July,and then declined in August.Total ETc and ET0 values during the growing season(from May to September)were 441 and 666 mm,respectively,which accounted for 75.73%of annual cumulative ETc and 72.34%of annual cumulative ET0,respectively.A crop coefficient(kc)was also estimated for calculating the ETc,and average value of kc during the growing season was 0.81(ranging from 0.45 to 1.16).Air temperature(Ta),wind speed(u),net radiation(Rn)and soil temperature(Ts)at the depth of 5 cm and aboveground biomass were critical factors for affecting kc,furthermore,a daily empirical kc equation including these main driving factors was developed.Our result demonstrated that the ETc value estimated by the data of kc and ET0 was validated and consistent with the growing season data in 2015 and 2016.展开更多
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.展开更多
Construction of the static admissible residual stress field and searching the optimal field are key tasks in the shakedown analysis methods applying the static theorem. These methods always meet dimension obstacles wh...Construction of the static admissible residual stress field and searching the optimal field are key tasks in the shakedown analysis methods applying the static theorem. These methods always meet dimension obstacles when dealing with complex problems. In this paper, a novel shakedown criterion is proposed employing actual residual stress field based on the static shakedown theorem. The actual residual stress field used here is produced under a specified load path, which is a sequence of proportional loading and unloading from zero to all the vertices of the given load domain. This ensures that the shakedown behavior in the whole load domain can be determined based on the theorem proposed by K6nig. The shakedown criterion is then implemented in numerical shakedown analysis, The actual residual stress fields are calculated by incremental finite element elastic-plastic analysis technique for finite deformation under the specified load path with different load levels. The shakedown behavior and the shakedown limit load are determined according to the proposed criterion. The validation of the criterion is performed by a benchmark shakedown example, which is a square plate with a central hole under biaxial loading. The results are consistent with existing results in the literatures and are validated by full cyclic elastic-plastic finite element analysis. The numerical shakedown analysis applying the proposed criterion avoids processing dimension obstacles and performing full cyclic elastic-plastic analysis under arbitrary load paths which should be accounted for appearing. The effect of material model and geometric changes on shakedown behavior can he considered conveniently.展开更多
Pan evaporation,an indictor of potential evaporation,has decreased during the last several decades in many parts of the world;the trend is contrary to the expectation that the increase of actual evaporation will accom...Pan evaporation,an indictor of potential evaporation,has decreased during the last several decades in many parts of the world;the trend is contrary to the expectation that the increase of actual evaporation will accompany global warming,known as the pan evaporation paradox.What is the essential relationship between pan evaporation and actual evaporation? This is still an uncertain problem.In this paper,the trends of pan evaporation and actual evaporation are investigated using observational data and observation-constrained simulation results using NCAR Community Land Model(CLM) in Xinjiang from 1960 to 2005.Our analysis suggests that the decreasing trend of annual pan evaporation accompanies the increasing trend of annual actual evaporation,the tendencies of them both have statistical significance(at 99% level and at 95% level,respectively).We also find that there is the same turning point in precipitation,pan evaporation and actual evaporation of 1986,and either before the point or after,pan evaporation has inverse trend comparing with actual evaporation and precipitation.The above analysis indicates that pan evaporation and actual evaporation have complementary relationship.These results support the issue of evaporation paradox described by Brutsaert and Parlange(1998) and suggest that decrease of pan evaporation indicates an increase of actual evaporation in Xinjiang in the past half century.The correlation analysis shows that diurnal temperature range(DTR),wind speed,low cloud cover and precipitation are the most likely driving forces for the reduced pan evaporation and the ascending actual evaporation.展开更多
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.展开更多
As traditional economic theory is mainly based on neoliberal principles, whose failure is to ignore the ecological component in value assessment methods, it assumes that continuous economic growth exists with high lev...As traditional economic theory is mainly based on neoliberal principles, whose failure is to ignore the ecological component in value assessment methods, it assumes that continuous economic growth exists with high level of employment and low inflation rate. Many ecological economists have criticized the blind pursuit of short-term economic interests in the last 30 years for leading to loss of natural capital and ecosystem services. This study demonstrates the concept of?“uneconomic growth”?by measuring the actual costs of fishing activities and fishery policy implemented in China’s Pearl River Estuary from economic, social, and ecological aspects. The results show that the costs of economic growth exceed the benefits of additional growth because of the limits of the ecosystem. The ecological system of the Pearl River Estuary has been degraded significantly by overfishing and is regarded to be under non-optimal conditions regarding both ecological and socio-economic objectives.展开更多
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.展开更多
Zora Neale Hurston is an African-American novelist, anthropologist. Her famous novel Their Eyes Were Watching God to some extent reflects the pursuit of self-actualization of the female protagonist Janie. The psycholo...Zora Neale Hurston is an African-American novelist, anthropologist. Her famous novel Their Eyes Were Watching God to some extent reflects the pursuit of self-actualization of the female protagonist Janie. The psychological term Maslow's Hierarchy of Needs is implemented in this study to help to analyze the process of Janie's self-actualization, which illustrates how Janie realized self-fulfillment and appreciated the intrinsic worth of her surroundings and to experience the world deeply through marriages to three different men.展开更多
基金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 The Project of the Transformation and Popularization of Tianjin Agricultural Technique Achievement (0804170 )Scientific and Technology Achievements Transfer Capital Project (2009GB24160499)
文摘The solar greenhouse's construction and its demand on meteorological service in the process of production management in China were analyzed,and the current situation of meteorological service on it was summarized.Combined with the trend of related technology,the future development of solar greenhouse meteorological service was prospected.
基金supported by the National Natural Science Foundation of China (41571051, 91425301)
文摘As a main component in water balance,evapotranspiration(ET)is of great importance for water saving,especially in arid and semi-arid areas.In this study,the FAO(Food and Agriculture Organization)Penman-Monteith model was used to estimate the magnitude and temporal dynamics of reference evapotranspiration(ET0)in 2014 in subalpine meadows of the Qilian Mountains,Northwest China.Meanwhile,actual ET(ETc)was also investigated by the eddy covariance(EC)system.Results indicated that ETc estimated by the EC System was 583 mm,lower than ET0(923 mm)estimated by the FAO Penman-Monteith model in 2014.Moreover,ET0 began to increase in March and reached the peak value in August and then declined in September,however,ETc began to increase from April and reached the peak value in July,and then declined in August.Total ETc and ET0 values during the growing season(from May to September)were 441 and 666 mm,respectively,which accounted for 75.73%of annual cumulative ETc and 72.34%of annual cumulative ET0,respectively.A crop coefficient(kc)was also estimated for calculating the ETc,and average value of kc during the growing season was 0.81(ranging from 0.45 to 1.16).Air temperature(Ta),wind speed(u),net radiation(Rn)and soil temperature(Ts)at the depth of 5 cm and aboveground biomass were critical factors for affecting kc,furthermore,a daily empirical kc equation including these main driving factors was developed.Our result demonstrated that the ETc value estimated by the data of kc and ET0 was validated and consistent with the growing season data in 2015 and 2016.
基金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.
基金Supported by National Science and Technology Major Project of China(Grant No.2013ZX04003031)National Natural Science Foundation of China(Grant No.51475408)+1 种基金Hebei Provincial College Innovation Team Leader Training Program of China(Grant No.LJRC012)Hebei Provincial Natural Science Foundation of China(Grant No.E2012203045)
文摘Construction of the static admissible residual stress field and searching the optimal field are key tasks in the shakedown analysis methods applying the static theorem. These methods always meet dimension obstacles when dealing with complex problems. In this paper, a novel shakedown criterion is proposed employing actual residual stress field based on the static shakedown theorem. The actual residual stress field used here is produced under a specified load path, which is a sequence of proportional loading and unloading from zero to all the vertices of the given load domain. This ensures that the shakedown behavior in the whole load domain can be determined based on the theorem proposed by K6nig. The shakedown criterion is then implemented in numerical shakedown analysis, The actual residual stress fields are calculated by incremental finite element elastic-plastic analysis technique for finite deformation under the specified load path with different load levels. The shakedown behavior and the shakedown limit load are determined according to the proposed criterion. The validation of the criterion is performed by a benchmark shakedown example, which is a square plate with a central hole under biaxial loading. The results are consistent with existing results in the literatures and are validated by full cyclic elastic-plastic finite element analysis. The numerical shakedown analysis applying the proposed criterion avoids processing dimension obstacles and performing full cyclic elastic-plastic analysis under arbitrary load paths which should be accounted for appearing. The effect of material model and geometric changes on shakedown behavior can he considered conveniently.
基金National Natural Science Foundation of China, No.40830956 No.40775055+1 种基金 No.40828004 Knowledge Innovation Project of the Chinese Academy of Sciences,No.KZCX3-SW-229
文摘Pan evaporation,an indictor of potential evaporation,has decreased during the last several decades in many parts of the world;the trend is contrary to the expectation that the increase of actual evaporation will accompany global warming,known as the pan evaporation paradox.What is the essential relationship between pan evaporation and actual evaporation? This is still an uncertain problem.In this paper,the trends of pan evaporation and actual evaporation are investigated using observational data and observation-constrained simulation results using NCAR Community Land Model(CLM) in Xinjiang from 1960 to 2005.Our analysis suggests that the decreasing trend of annual pan evaporation accompanies the increasing trend of annual actual evaporation,the tendencies of them both have statistical significance(at 99% level and at 95% level,respectively).We also find that there is the same turning point in precipitation,pan evaporation and actual evaporation of 1986,and either before the point or after,pan evaporation has inverse trend comparing with actual evaporation and precipitation.The above analysis indicates that pan evaporation and actual evaporation have complementary relationship.These results support the issue of evaporation paradox described by Brutsaert and Parlange(1998) and suggest that decrease of pan evaporation indicates an increase of actual evaporation in Xinjiang in the past half century.The correlation analysis shows that diurnal temperature range(DTR),wind speed,low cloud cover and precipitation are the most likely driving forces for the reduced pan evaporation and the ascending actual evaporation.
文摘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.
文摘As traditional economic theory is mainly based on neoliberal principles, whose failure is to ignore the ecological component in value assessment methods, it assumes that continuous economic growth exists with high level of employment and low inflation rate. Many ecological economists have criticized the blind pursuit of short-term economic interests in the last 30 years for leading to loss of natural capital and ecosystem services. This study demonstrates the concept of?“uneconomic growth”?by measuring the actual costs of fishing activities and fishery policy implemented in China’s Pearl River Estuary from economic, social, and ecological aspects. The results show that the costs of economic growth exceed the benefits of additional growth because of the limits of the ecosystem. The ecological system of the Pearl River Estuary has been degraded significantly by overfishing and is regarded to be under non-optimal conditions regarding both ecological and socio-economic objectives.
基金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.
文摘Zora Neale Hurston is an African-American novelist, anthropologist. Her famous novel Their Eyes Were Watching God to some extent reflects the pursuit of self-actualization of the female protagonist Janie. The psychological term Maslow's Hierarchy of Needs is implemented in this study to help to analyze the process of Janie's self-actualization, which illustrates how Janie realized self-fulfillment and appreciated the intrinsic worth of her surroundings and to experience the world deeply through marriages to three different men.