Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious us...Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious user can forge proof of inexistent system states. This paper proposes a trustworthy integrity measurement architecture, BBACIMA, through enforcing behavior-based access control for trusted platform module (TPM). BBACIMA introduces a TPM reference monitor (TPMRM) to ensure the trustworthiness of integrity measurement. TPMRM enforces behavior-based access control for the TPM and is isolated from other entities which may be malicious. TPMRM is the only entity manipulating TPM directly and all PCR (platform configuration register) operation requests must pass through the security check of it so that only trusted processes can do measurement and produce the proof of system states. Through these mechanisms malicious user can not enforce attack which is feasible in current measurement architectures.展开更多
A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field duri...A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field during operation such as demagnetization, field sweeping, and for data logging and analysis. Results are recorded using a 12-bit analog to digital converter and are then stored on disk. The magnetic hysteresis loop and Barkhausen noise data can be converted into important magnetic parameters: coecivity, remanence, and hysteresis loss, Barkhausen amplitude, and Barkhausen noise energy. This system incorporated with the magnetostriction, and magnetoacoustic emission, is then related with the nondestructive detection of material degradation.展开更多
To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ...To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ-importance measures are generalized to multi-state coherent systems based on the system performance level, and the relationships between IIM and traditional importance measures are discussed. The characteristics of IIM are demonstrated in both series and parallel systems. Also, an application to an oil transportation system is given. The comparison results show that: (i) IIM has some useful properties that are not possessed by traditional importance measures; (ii) IIM is effective in evaluating the component role in multi-state systems when the component reliability and the failure rate are simultaneously considered.展开更多
It is shown that the maximal singular integral operator with kernels satisfying Ho rmander's condition is of weak type (1,1) and L^p (1〈p〈∞) bounded without assuming that the underlying measure p is doubling. ...It is shown that the maximal singular integral operator with kernels satisfying Ho rmander's condition is of weak type (1,1) and L^p (1〈p〈∞) bounded without assuming that the underlying measure p is doubling. Under stronger smoothness conditions,such estimates can be obtained by using a Cotlar's inequality. This inequality is not applicable here and it is noticeable that the Cotlar's inequality maybe fails under Hormander's condition.展开更多
This paper presents a new measurement system based on integration method that can provide all-weather dependability and higher precision for the measurement of FAST's feed support system.The measurement system con...This paper presents a new measurement system based on integration method that can provide all-weather dependability and higher precision for the measurement of FAST's feed support system.The measurement system consists of three types of measuring equipments,and a processing software with the core data fusion algorithm.The Strapdown Inertial Navigation System(SINS)can autonomously measure the position,speed and attitude of the carrier.Its own shortcoming is that the measurement data diverge rapidly over time.SINS must combine the Global Positioning System(GPS)and the Total Station(TS)to obtain high-precision measurement data.The Kalman filtering algorithm is adopted for the integration measurement system,which is an optimal algorithm to estimate the measurement errors.A series of tests are carried out to evaluate the performance.For the feed cabin,the maximum RMS of the position is 14.56 mm,the maximum RMS of the attitude is 0.095,these values are less than 15 mm and 0.1°as the precision for measuring the feed cabin.For the Stewart manipulator,the maximum RMS of the position is 2.99 mm,the maximum RMS of the attitude is 0.093°,these values are less than 3 mm and 0.1°as the precision for measuring the Stewart manipulator.As a result,the new measurement meets the requirement of measurement precision for FAST's feed support system.展开更多
This paper serves two purposes. One is to modify Strichartz's results with respect to the asymptotic averages of the Fourier transform of μ on , self-similar measure defined by Hutchinson. Another purpose is to c...This paper serves two purposes. One is to modify Strichartz's results with respect to the asymptotic averages of the Fourier transform of μ on , self-similar measure defined by Hutchinson. Another purpose is to consider a singular integral operator on μ and show that this op- erator is of type (p,p)(1<p<∞).展开更多
It is important to calculate the Hausdorff dimension and the Hausdorff mesure respect to this dimension for some fractal sets. By using the usual method of “Mass Distribution”, we can only calculate the Hausdorff di...It is important to calculate the Hausdorff dimension and the Hausdorff mesure respect to this dimension for some fractal sets. By using the usual method of “Mass Distribution”, we can only calculate the Hausdorff dimension. In this paper, we will construct an integral formula by using lower inverse s-density and then use it to calculate the Hausdorff measures for some fractional dimensional sets.展开更多
In this paper we consider the approximation for functions in some subspaces of L^2 by spherical means of their Fourier integrals and Fourier series on set of full measure. Two main theorems are obtained.
A new stretched-wire system is built for a cryogenic permanent magnet undulator in High Energy Photon Source Testing Facility.The system has two functions:integral field measurement and magnet gap measurement.Integral...A new stretched-wire system is built for a cryogenic permanent magnet undulator in High Energy Photon Source Testing Facility.The system has two functions:integral field measurement and magnet gap measurement.Integral field measurement and gap measurement are important for evaluation and optimization of the magnetic performance of the undulator in cryogenic-vacuum environment.Two high-precision,high-load motion stages are used for accurate positioning.A special fix structure of stretched wire is adopted for vacuum environment.To reduce the deflection of the 3-meter-long wire,constant tension is maintained along the wire.The measurement repeatability of field integral and magnetic gap is the key performance which depends on the stability of wire and suppression of the electric noise.Strategy of improving the measurement accuracy and stability is presented.展开更多
In this paper,the methods to detect dust based on passive and active measurements from satellites have been summarized.These include the visible and infrared(VIR) method,thermal infrared(TIR) method,microwave pola...In this paper,the methods to detect dust based on passive and active measurements from satellites have been summarized.These include the visible and infrared(VIR) method,thermal infrared(TIR) method,microwave polarized index(MPI) method,active lidar-based method,and combined lidar and infrared measurement(CLIM) method.The VIR method can identify dust during daytime.Using measurements at wavelengths of 8.5,11.0,and 12.0 fan,the TIR method can distinguish dust from other types of aerosols and cloud,and identify the occurrence of dust over bright surfaces and during night.Since neither the VIR nor the TIR method can penetrate ice clouds,they cannot detect dust beneath ice clouds.The MPI method,however,can identify about 85%of the dust beneath ice clouds.Meanwhile,the active lidar-based method,which uses the Cloud-Aerosol Lidar with Orthogonal Polarization(CALIOP) data and five-dimensional probability distribution functions,can provide very high-resolution vertical profiles of dust aerosols.Nonetheless,as the signals from dense dust and thin clouds are similar in the CALIOP measurements,the lidar-based method may fail to distinguish between them,especially over dust source regions.To address this issue,the CLIM method was developed,which takes the advantages of both TIR measurements(to discriminate between ice cloud and dense dust layers) and lidar measurements(to detect thin dust and water cloud layers).The results obtained by using the new CLIM method show that the ratio of dust misclassification has been significantly reduced.Finally,a concept module for an integrated multi-satellites dust detection system was proposed to overcome some of the weaknesses inherent in the single-sensor dust detection.展开更多
Purpose More undulators are required of HEPS in future.The efficiency of traditional Hall-probe measurement method is relatively low,which is difficult to meet the measurement needs of large quantities of undulators.I...Purpose More undulators are required of HEPS in future.The efficiency of traditional Hall-probe measurement method is relatively low,which is difficult to meet the measurement needs of large quantities of undulators.In order to improve debugging efficiency,the pulsed-wire method is required further improvement.Methods A pulsed-wire method is an effective method to achieve magnetic field distribution through narrow aperture of undulator.The pulsed-wire method works by sending a square current pulse through the wire,which will induce an interaction with the magnetic field due to the Lorentz force.This force causes the wire to be displaced,and this displacement travels along the wire in both directions as an acoustic wave.Measurement of the displacement in the wire over time using a motion detector yields the first or second integrals of the magnetic field.Results The accuracy and repeatability are the important requirements.The repeatability of the first field integral of the pulsed-wire system is better than 1‰which meets the design requirements.Conclusions This paper illustrates the effectiveness of pulsed-wire system by test results.Through comparison,the accuracy of the system is proved.It provides a new important measurement system for undulators in future.展开更多
Continuous high spatial-resolution 10-day precipitation data are essential for crop growth services and phenological research.In this study,we first use the bidimensional empirical mode decomposition(BEMD)algorithm to...Continuous high spatial-resolution 10-day precipitation data are essential for crop growth services and phenological research.In this study,we first use the bidimensional empirical mode decomposition(BEMD)algorithm to decompose the digital elevation model(DEM)data and obtain high-frequency(OR3),intermediate-frequency(OR5),and low-frequency(OR8)margin terrains.Then,we propose a refined precipitation spatialization model,which uses ground-based meteorological observation data,integrated multi-satellite retrievals for global precipitation measurement(GPM IMERG)satellite precipitation products,DEM data,terrain decomposition data,prevailing precipitation direction(PPD)data,and other multisource data,to construct China's high-resolution 10-day precipitation data from2001 to 2018.The decomposition results show mountainous terrain from fine to coarse scales;and the influences of altitude,slope,and aspect on precipitation are better represented in the model after topography is decomposed.Moreover,terrain decomposition data can be added to the model simulation to improve the quality of the simulation product;the simulation quality of the model in summer is better than that in spring and autumn,and is relatively poor in winter;and OR5 and OR8 can be improved in the simulation,with better OR5 and OR8 dynamically selected.In addition,preprocessing the data before precipitation spatialization is particularly important.For example,adding 0.01to the 0 value of precipitation,multiplying the small value of precipitation less than 1 by 10,and performing the normal distributions transform(e.g.,Yeo–Johnson)on the data can improve the simulation quality.展开更多
With the wide application of electronic hardware in aircraft such as air-to-ground communication,satellite communication,positioning system and so on,aircraft hardware is facing great secure pressure.Focusing on the s...With the wide application of electronic hardware in aircraft such as air-to-ground communication,satellite communication,positioning system and so on,aircraft hardware is facing great secure pressure.Focusing on the secure problem of aircraft hardware,this paper proposes a supervisory control architecture based on secure System-on-a-Chip(So C)system.The proposed architecture is attack-immune and trustworthy,which can support trusted escrow application and Dynamic Integrity Measurement(DIM)without interference.This architecture is characterized by a Trusted Monitoring System(TMS)hardware isolated from the Main Processor System(MPS),a secure access channel from TMS to the running memory of the MPS,and the channel is unidirectional.Based on this architecture,the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent(LMA)program running on MPS.By this method,the Operating System(OS)kernel,key software and data of the MPS can be dynamically measured without disturbance,which makes it difficult for adversaries to attack through software.Besides,this architecture has been fully verified on FPGA prototype system.Compared with the existing systems,our architecture achieves higher security and is more efficient on DIM,which can fully supervise the running of application and aircraft hardware OS.展开更多
Objective:To explore the level of indoor radon concentration especially after recent 3 decades’great economic development in metropolis Beijing,so as to describe the outline of indoor radon level in Beijing.Methods:A...Objective:To explore the level of indoor radon concentration especially after recent 3 decades’great economic development in metropolis Beijing,so as to describe the outline of indoor radon level in Beijing.Methods:A one-year integrated measurement on 800 dwellings was carried out from September 2018 to August 2019.Passive integrated radon cup monitor with CR-39 as an alpha-track detector was adopted for the survey.As a pilot study,measurement scheme was designed in detail.For measurement quality control,the background track density of CR-39 was strictly defined and controlled throughout the operation of the survey.Results:The annual geometric and arithmetic mean of radon concentration of the surveyed are(39.3±12.9)and(42.0±13.7)Bq/m^(3),respectively,varying from(12.1±2.5)to(119.0±7.8)Bq/m^(3).Radon concentration of the ground floor dwellings is obviously higher than that of other floors.No difference of radon level is found among the dwellings of other floors.Higher radon concentration in buildings built after 2010 is obtained compared with buildings built in 1980s,1990s,and 2000s.Conclusions:There is no big change of radon concentration level in dwellings in Beijing area observed in general compared with a previous survey performed more than ten years ago.For high-rise buildings,building materials are suggested to be the main source of indoor radon.For higher radon concentration in buildings built in latest ten years,the change on building materials and indoor ventilation rate are thought to be the causes,further study in detail is needed to clarify.展开更多
Aiming at the problem that the lattice feature exceeds the view field of the scanning electron microscope(SEM)measuring system,a new lattice measuring method is proposed based on integral imaging technology.When the s...Aiming at the problem that the lattice feature exceeds the view field of the scanning electron microscope(SEM)measuring system,a new lattice measuring method is proposed based on integral imaging technology.When the system works,the SEM measuring system is equivalent to an integral image acquisition system.Firstly,a lattice measuring method is researched based on integral imaging theory.Secondly,the system parameters are calibrated by the VLSI lattice standard.Finally,the value of the lattice standard to be tested is determined based on the calibration parameters and the lattice measuring algorithm.The experimental results show that,compared with the traditional electron microscope measurement method,the relative error of the measured value of the algorithm is maintained within 0.2%,with the same level of measurement accuracy,but it expands the field of view of the electron microscope measurement system,which is suitable for the measurement of samples under high magnification.展开更多
In this study a new hybrid aggregation operator named as the generalized intuitionistic fuzzy hybrid Choquet averaging(GIFHCA) operator is defined.Meantime,some desirable properties are studied, and several importan...In this study a new hybrid aggregation operator named as the generalized intuitionistic fuzzy hybrid Choquet averaging(GIFHCA) operator is defined.Meantime,some desirable properties are studied, and several important cases are examined.Furthermore,we define the generalized Shapley GIFHCA (GS-GIFHCA) operator,which does not only overall consider the importance of elements and their ordered positions,but also globally reflect the correlations among them and their ordered positions.In order to simplify the complexity of solving a fuzzy measure,we further define the generalizedλ-Shapley GIFHCA(GλS-GIFHCA) operator.展开更多
Image matching is one of the key technologies for digital Earth.This paper presents a combined image matching method for Chinese satellite images.This method includes the following four steps:(1)a modified Wallis-type...Image matching is one of the key technologies for digital Earth.This paper presents a combined image matching method for Chinese satellite images.This method includes the following four steps:(1)a modified Wallis-type filter is proposed to determine parameters adaptively while avoiding over-enhancement;(2)a mismatch detection procedure based on a global-local strategy is introduced to remove outliers generated by the Scale-invariant feature transform algorithm,and geometric orientation with bundle block adjustment is employed to compensate for the systematic errors of the position and attitude observations;(3)we design a novel similarity measure(distance,angle and the Normalized Cross-Correlation similarities,DANCC)which considers geometric similarity and textural similarity;and(4)we introduce a hierarchical matching strategy to refine the matching result level by level.Four typical image pairs acquired from Mapping Satellite-1,ZY-102C,ZY-3 and GeoEye-1,respectively,are used for experimental analysis.A comparison with the two current main matching algorithms for satellite imagery confirms that the proposed method is capable of producing reliable and accurate matching results on different terrains from not only Chinese satellite images,but also foreign satellite images.展开更多
We introduce the quasi-homeomorphisms of generalized Dirichlet forms and prove that any quasi-regular generalized Dirichlet form is quasi-homeomorphic to a semi-regular generalized Dirichlet form. Moreover. we apply t...We introduce the quasi-homeomorphisms of generalized Dirichlet forms and prove that any quasi-regular generalized Dirichlet form is quasi-homeomorphic to a semi-regular generalized Dirichlet form. Moreover. we apply this quasi-homeomorphism method to study the measures of finite energy integrals of generalized Dirichlet forms. We show that any 1-coexcessive function which is dominated by a function in is associated with a measure of finite energy integral. Consequently, we prove that a Borel set B is-exceptional if and only if μ(B)=0 for any measure μ of finite energy integral.展开更多
基金the National High Technology Research and Development Plan of China (2007AA01Z412)the National Key Technology R&D Program of China (2006BAH02A02)the National Natural Science Foundation of China (60603017)
文摘Two limitations of current integrity measurement architectures are pointed out: (1) a reference value is required for every measured entity to verify the system states, as is impractical however; (2) malicious user can forge proof of inexistent system states. This paper proposes a trustworthy integrity measurement architecture, BBACIMA, through enforcing behavior-based access control for trusted platform module (TPM). BBACIMA introduces a TPM reference monitor (TPMRM) to ensure the trustworthiness of integrity measurement. TPMRM enforces behavior-based access control for the TPM and is isolated from other entities which may be malicious. TPMRM is the only entity manipulating TPM directly and all PCR (platform configuration register) operation requests must pass through the security check of it so that only trusted processes can do measurement and produce the proof of system states. Through these mechanisms malicious user can not enforce attack which is feasible in current measurement architectures.
基金Reactor Pressure Boundary Materials Project !under the Nuclear R & D Program by MOST in Korea.
文摘A portable microcomputer-controlled inspection system has been developed for detection of magnetic properties of soft magnetic materials. It incorporates custom designed software for control of the magnetic field during operation such as demagnetization, field sweeping, and for data logging and analysis. Results are recorded using a 12-bit analog to digital converter and are then stored on disk. The magnetic hysteresis loop and Barkhausen noise data can be converted into important magnetic parameters: coecivity, remanence, and hysteresis loss, Barkhausen amplitude, and Barkhausen noise energy. This system incorporated with the magnetostriction, and magnetoacoustic emission, is then related with the nondestructive detection of material degradation.
基金supported by the National Natural Science Foundation of China (7110111671271170)+2 种基金the National Basic Research Program of China (973 Progrom) (2010CB328000)the National High Technology Research and Development Program of China (863 Progrom) (2012AA040914)the Basic Research Foundation of Northwestern Polytechnical University (JC20120228)
文摘To verify the effectiveness of the integrated importance measure (IIM) for multi-state coherent systems of k level, the definition and physical meaning of IIM are demonstrated. Then, the improvement potential and Δ-importance measures are generalized to multi-state coherent systems based on the system performance level, and the relationships between IIM and traditional importance measures are discussed. The characteristics of IIM are demonstrated in both series and parallel systems. Also, an application to an oil transportation system is given. The comparison results show that: (i) IIM has some useful properties that are not possessed by traditional importance measures; (ii) IIM is effective in evaluating the component role in multi-state systems when the component reliability and the failure rate are simultaneously considered.
基金Supported by the Science Foundation of the Education Department of Zhejiang Province (20050316).
文摘It is shown that the maximal singular integral operator with kernels satisfying Ho rmander's condition is of weak type (1,1) and L^p (1〈p〈∞) bounded without assuming that the underlying measure p is doubling. Under stronger smoothness conditions,such estimates can be obtained by using a Cotlar's inequality. This inequality is not applicable here and it is noticeable that the Cotlar's inequality maybe fails under Hormander's condition.
基金the National Natural Science Foundation of China(Grant No.11673039)the Open Project Program of the Key Laboratory of FAST,NAOC,Chinese Academy of Sciencesthe Key Laboratory of Radio Astronomy,Chinese Academy of Sciences。
文摘This paper presents a new measurement system based on integration method that can provide all-weather dependability and higher precision for the measurement of FAST's feed support system.The measurement system consists of three types of measuring equipments,and a processing software with the core data fusion algorithm.The Strapdown Inertial Navigation System(SINS)can autonomously measure the position,speed and attitude of the carrier.Its own shortcoming is that the measurement data diverge rapidly over time.SINS must combine the Global Positioning System(GPS)and the Total Station(TS)to obtain high-precision measurement data.The Kalman filtering algorithm is adopted for the integration measurement system,which is an optimal algorithm to estimate the measurement errors.A series of tests are carried out to evaluate the performance.For the feed cabin,the maximum RMS of the position is 14.56 mm,the maximum RMS of the attitude is 0.095,these values are less than 15 mm and 0.1°as the precision for measuring the feed cabin.For the Stewart manipulator,the maximum RMS of the position is 2.99 mm,the maximum RMS of the attitude is 0.093°,these values are less than 3 mm and 0.1°as the precision for measuring the Stewart manipulator.As a result,the new measurement meets the requirement of measurement precision for FAST's feed support system.
文摘This paper serves two purposes. One is to modify Strichartz's results with respect to the asymptotic averages of the Fourier transform of μ on , self-similar measure defined by Hutchinson. Another purpose is to consider a singular integral operator on μ and show that this op- erator is of type (p,p)(1<p<∞).
文摘It is important to calculate the Hausdorff dimension and the Hausdorff mesure respect to this dimension for some fractal sets. By using the usual method of “Mass Distribution”, we can only calculate the Hausdorff dimension. In this paper, we will construct an integral formula by using lower inverse s-density and then use it to calculate the Hausdorff measures for some fractional dimensional sets.
文摘In this paper we consider the approximation for functions in some subspaces of L^2 by spherical means of their Fourier integrals and Fourier series on set of full measure. Two main theorems are obtained.
文摘A new stretched-wire system is built for a cryogenic permanent magnet undulator in High Energy Photon Source Testing Facility.The system has two functions:integral field measurement and magnet gap measurement.Integral field measurement and gap measurement are important for evaluation and optimization of the magnetic performance of the undulator in cryogenic-vacuum environment.Two high-precision,high-load motion stages are used for accurate positioning.A special fix structure of stretched wire is adopted for vacuum environment.To reduce the deflection of the 3-meter-long wire,constant tension is maintained along the wire.The measurement repeatability of field integral and magnetic gap is the key performance which depends on the stability of wire and suppression of the electric noise.Strategy of improving the measurement accuracy and stability is presented.
基金Supported by the National Basic Research and Development (973) Program of China(2012CB955301)National Natural Science Foundation of China(41305026,41075021,41305027)Fundamental Research Fund for the Central Universities of China(LZUJBKY-2013-104)
文摘In this paper,the methods to detect dust based on passive and active measurements from satellites have been summarized.These include the visible and infrared(VIR) method,thermal infrared(TIR) method,microwave polarized index(MPI) method,active lidar-based method,and combined lidar and infrared measurement(CLIM) method.The VIR method can identify dust during daytime.Using measurements at wavelengths of 8.5,11.0,and 12.0 fan,the TIR method can distinguish dust from other types of aerosols and cloud,and identify the occurrence of dust over bright surfaces and during night.Since neither the VIR nor the TIR method can penetrate ice clouds,they cannot detect dust beneath ice clouds.The MPI method,however,can identify about 85%of the dust beneath ice clouds.Meanwhile,the active lidar-based method,which uses the Cloud-Aerosol Lidar with Orthogonal Polarization(CALIOP) data and five-dimensional probability distribution functions,can provide very high-resolution vertical profiles of dust aerosols.Nonetheless,as the signals from dense dust and thin clouds are similar in the CALIOP measurements,the lidar-based method may fail to distinguish between them,especially over dust source regions.To address this issue,the CLIM method was developed,which takes the advantages of both TIR measurements(to discriminate between ice cloud and dense dust layers) and lidar measurements(to detect thin dust and water cloud layers).The results obtained by using the new CLIM method show that the ratio of dust misclassification has been significantly reduced.Finally,a concept module for an integrated multi-satellites dust detection system was proposed to overcome some of the weaknesses inherent in the single-sensor dust detection.
文摘Purpose More undulators are required of HEPS in future.The efficiency of traditional Hall-probe measurement method is relatively low,which is difficult to meet the measurement needs of large quantities of undulators.In order to improve debugging efficiency,the pulsed-wire method is required further improvement.Methods A pulsed-wire method is an effective method to achieve magnetic field distribution through narrow aperture of undulator.The pulsed-wire method works by sending a square current pulse through the wire,which will induce an interaction with the magnetic field due to the Lorentz force.This force causes the wire to be displaced,and this displacement travels along the wire in both directions as an acoustic wave.Measurement of the displacement in the wire over time using a motion detector yields the first or second integrals of the magnetic field.Results The accuracy and repeatability are the important requirements.The repeatability of the first field integral of the pulsed-wire system is better than 1‰which meets the design requirements.Conclusions This paper illustrates the effectiveness of pulsed-wire system by test results.Through comparison,the accuracy of the system is proved.It provides a new important measurement system for undulators in future.
基金Supported by the National Science Foundation of USA ( the most recent one being num bered PHY- 970 4 5 2 0 ) and by the U niversities of Missouri and Nebraska ( U SA )
基金Supported by the National Key Research and Development Program of China (2019YFB2102003)National Natural Science Foundation of China (41805049 and 42075118)Postgraduate Research&Practice Innovation Program of Jiangsu Province (KYCX21_0979)。
文摘Continuous high spatial-resolution 10-day precipitation data are essential for crop growth services and phenological research.In this study,we first use the bidimensional empirical mode decomposition(BEMD)algorithm to decompose the digital elevation model(DEM)data and obtain high-frequency(OR3),intermediate-frequency(OR5),and low-frequency(OR8)margin terrains.Then,we propose a refined precipitation spatialization model,which uses ground-based meteorological observation data,integrated multi-satellite retrievals for global precipitation measurement(GPM IMERG)satellite precipitation products,DEM data,terrain decomposition data,prevailing precipitation direction(PPD)data,and other multisource data,to construct China's high-resolution 10-day precipitation data from2001 to 2018.The decomposition results show mountainous terrain from fine to coarse scales;and the influences of altitude,slope,and aspect on precipitation are better represented in the model after topography is decomposed.Moreover,terrain decomposition data can be added to the model simulation to improve the quality of the simulation product;the simulation quality of the model in summer is better than that in spring and autumn,and is relatively poor in winter;and OR5 and OR8 can be improved in the simulation,with better OR5 and OR8 dynamically selected.In addition,preprocessing the data before precipitation spatialization is particularly important.For example,adding 0.01to the 0 value of precipitation,multiplying the small value of precipitation less than 1 by 10,and performing the normal distributions transform(e.g.,Yeo–Johnson)on the data can improve the simulation quality.
基金supported by the National Key Research and Development Program of China(No.2017YFB0802502)by the Aeronautical Science Foundation(No.2017ZC51038)+4 种基金by the National Natural Science Foundation of China(Nos.62002006,61702028,61672083,61370190,61772538,61532021,61472429,and 61402029)by the Foundation of Science and Technology on Information Assurance Laboratory(No.1421120305162112006)by the National Cryptography Development Fund(No.MMJJ20170106)by the Defense Industrial Technology Development Program(No.JCKY2016204A102)by the Liaoning Collaboration Innovation Center For CSLE,China。
文摘With the wide application of electronic hardware in aircraft such as air-to-ground communication,satellite communication,positioning system and so on,aircraft hardware is facing great secure pressure.Focusing on the secure problem of aircraft hardware,this paper proposes a supervisory control architecture based on secure System-on-a-Chip(So C)system.The proposed architecture is attack-immune and trustworthy,which can support trusted escrow application and Dynamic Integrity Measurement(DIM)without interference.This architecture is characterized by a Trusted Monitoring System(TMS)hardware isolated from the Main Processor System(MPS),a secure access channel from TMS to the running memory of the MPS,and the channel is unidirectional.Based on this architecture,the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent(LMA)program running on MPS.By this method,the Operating System(OS)kernel,key software and data of the MPS can be dynamically measured without disturbance,which makes it difficult for adversaries to attack through software.Besides,this architecture has been fully verified on FPGA prototype system.Compared with the existing systems,our architecture achieves higher security and is more efficient on DIM,which can fully supervise the running of application and aircraft hardware OS.
文摘Objective:To explore the level of indoor radon concentration especially after recent 3 decades’great economic development in metropolis Beijing,so as to describe the outline of indoor radon level in Beijing.Methods:A one-year integrated measurement on 800 dwellings was carried out from September 2018 to August 2019.Passive integrated radon cup monitor with CR-39 as an alpha-track detector was adopted for the survey.As a pilot study,measurement scheme was designed in detail.For measurement quality control,the background track density of CR-39 was strictly defined and controlled throughout the operation of the survey.Results:The annual geometric and arithmetic mean of radon concentration of the surveyed are(39.3±12.9)and(42.0±13.7)Bq/m^(3),respectively,varying from(12.1±2.5)to(119.0±7.8)Bq/m^(3).Radon concentration of the ground floor dwellings is obviously higher than that of other floors.No difference of radon level is found among the dwellings of other floors.Higher radon concentration in buildings built after 2010 is obtained compared with buildings built in 1980s,1990s,and 2000s.Conclusions:There is no big change of radon concentration level in dwellings in Beijing area observed in general compared with a previous survey performed more than ten years ago.For high-rise buildings,building materials are suggested to be the main source of indoor radon.For higher radon concentration in buildings built in latest ten years,the change on building materials and indoor ventilation rate are thought to be the causes,further study in detail is needed to clarify.
基金supported by the National Key Research and Development Program(No.2019YFB2005503)。
文摘Aiming at the problem that the lattice feature exceeds the view field of the scanning electron microscope(SEM)measuring system,a new lattice measuring method is proposed based on integral imaging technology.When the system works,the SEM measuring system is equivalent to an integral image acquisition system.Firstly,a lattice measuring method is researched based on integral imaging theory.Secondly,the system parameters are calibrated by the VLSI lattice standard.Finally,the value of the lattice standard to be tested is determined based on the calibration parameters and the lattice measuring algorithm.The experimental results show that,compared with the traditional electron microscope measurement method,the relative error of the measured value of the algorithm is maintained within 0.2%,with the same level of measurement accuracy,but it expands the field of view of the electron microscope measurement system,which is suitable for the measurement of samples under high magnification.
基金supported by the National Natural Science Foundation of China(Nos.71201089,71201110, 71071018 and 71271217)the Natural Science Foundation Youth Project of Shandong Province,China (ZR2012GQ005)the Specialized Research Fund for the Doctoral Program of Higher Education(No. 20111101110036)
文摘In this study a new hybrid aggregation operator named as the generalized intuitionistic fuzzy hybrid Choquet averaging(GIFHCA) operator is defined.Meantime,some desirable properties are studied, and several important cases are examined.Furthermore,we define the generalized Shapley GIFHCA (GS-GIFHCA) operator,which does not only overall consider the importance of elements and their ordered positions,but also globally reflect the correlations among them and their ordered positions.In order to simplify the complexity of solving a fuzzy measure,we further define the generalizedλ-Shapley GIFHCA(GλS-GIFHCA) operator.
基金This work was supported in part by the National Natural Science Foundation of China under Grant 41322010 and 41571434the National Hi-Tech Research and Development Program under Grant 2013AA12A401+1 种基金and the academic award for excellent Ph.D.Candidates funded by Ministry of Education of China under Grant 5052012213002Heartfelt thanks are also given for the comments and contributions of anonymous reviewers and members of the editorial team.
文摘Image matching is one of the key technologies for digital Earth.This paper presents a combined image matching method for Chinese satellite images.This method includes the following four steps:(1)a modified Wallis-type filter is proposed to determine parameters adaptively while avoiding over-enhancement;(2)a mismatch detection procedure based on a global-local strategy is introduced to remove outliers generated by the Scale-invariant feature transform algorithm,and geometric orientation with bundle block adjustment is employed to compensate for the systematic errors of the position and attitude observations;(3)we design a novel similarity measure(distance,angle and the Normalized Cross-Correlation similarities,DANCC)which considers geometric similarity and textural similarity;and(4)we introduce a hierarchical matching strategy to refine the matching result level by level.Four typical image pairs acquired from Mapping Satellite-1,ZY-102C,ZY-3 and GeoEye-1,respectively,are used for experimental analysis.A comparison with the two current main matching algorithms for satellite imagery confirms that the proposed method is capable of producing reliable and accurate matching results on different terrains from not only Chinese satellite images,but also foreign satellite images.
文摘We introduce the quasi-homeomorphisms of generalized Dirichlet forms and prove that any quasi-regular generalized Dirichlet form is quasi-homeomorphic to a semi-regular generalized Dirichlet form. Moreover. we apply this quasi-homeomorphism method to study the measures of finite energy integrals of generalized Dirichlet forms. We show that any 1-coexcessive function which is dominated by a function in is associated with a measure of finite energy integral. Consequently, we prove that a Borel set B is-exceptional if and only if μ(B)=0 for any measure μ of finite energy integral.