In accordance with a new compensation principle of discrete computations,the traditional meteo- rological global (pseudo-) spectral schemes of barotropic primitive equation (s) are transformed into perfect energy cons...In accordance with a new compensation principle of discrete computations,the traditional meteo- rological global (pseudo-) spectral schemes of barotropic primitive equation (s) are transformed into perfect energy conservative fidelity schemes,thus resolving the problems of both nonlinear computa- tional instability and incomplete energy conservation,and raising the computational efficiency of the traditional schemes. As the numerical tests of the new schemes demonstrate,in solving the problem of energy conser- vation in operational computations,the new schemes can eliminate the (nonlinear) computational in- stability and,to some extent even the (nonlinear) computational diverging as found in the traditional schemes,Further contrasts between new and traditional schemes also indicate that,in discrete opera- tional computations,the new scheme in the case of nondivergence is capable of prolonging the valid in- tegral time of the corresponding traditional scheme,and eliminating certain kind of systematical com- putational“climate drift”,meanwhile increasing its computational accuracy and reducing its amount of computation.The working principle of this paper is also applicable to the problem concerning baroclin- ic primitive equations.展开更多
Dynamic time warping(DTW)spends most of the time in generating the correlation table,and it establishes the global path constraints to reduce the time complexity.However,the global constraints restrain just in terms o...Dynamic time warping(DTW)spends most of the time in generating the correlation table,and it establishes the global path constraints to reduce the time complexity.However,the global constraints restrain just in terms of the time axis.In this paper,we therefore propose another version of DTW,to be called branch-and-bound DTW(BnB-DTW),which adaptively controb its global path constraints by reflecting the contents of input patterns. Experimental results show that the suggested BnB-DTW algorithm performs more efficiently than other conventional DTW approaches while not increasing the optimal warping cost.展开更多
In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can e...In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can enhance the performance of real-time concurrency control mechanism by reducing the number of transactions that might miss their deadlines, and compare the performance of validation concurrency control protocol with that of HP2PL(High priority two phase locking) protocol and OCC-TI-WAIT-50(Optimistic concurrency control-time interval-wait-50) protocol under shared-disk architecture by simulation. The simulation results reveal that the protocol the author presented can effectively reduce the number of transactions restarting which might miss their deadlines and performs better than HP2PL and OCC-TI-WAIT-50. It works well when arrival rate of transaction is lesser than threshold. However, due to resource contention the percentage of missing deadline increases sharply when arrival rate is greater than the threshold.展开更多
为进一步认识当前数值预报模式的预报能力,选取2018—2020年发生在四川盆地的47次强降水过程进行分型,再基于多源降水融合产品和地面观测资料,通过TS评分、时空滑动等方法对欧洲中期天气预报中心(European Centre for Medium-Range Weat...为进一步认识当前数值预报模式的预报能力,选取2018—2020年发生在四川盆地的47次强降水过程进行分型,再基于多源降水融合产品和地面观测资料,通过TS评分、时空滑动等方法对欧洲中期天气预报中心(European Centre for Medium-Range Weather Forecasts,ECMWF)数值预报模式、国家气象中心区域中尺度数值预报模式(China Meteorological Administration Mesoscale Model,CMA_MESO)和西南区域数值预报系统(Southwest Center WRF ADAS Real-time Modeling System,SWC_WARMS)在强降水过程范围、强度、极值、时间和位移偏差等方面的预报能力进行检验评估。结果表明,各模式08:00(北京时,下同)预报优于20:00预报,ECMWF对中雨和大雨预报更优,SWC_WARMS的暴雨量级评分更高。各模式对中雨的预报范围普遍较实况偏大,随着降水量级增大,逐渐转为低估,其中SWC_WARMS更接近实况。对于降水强度,ECMWF和CMA_MESO的平均降水量和极值普遍较实况偏小,SWC_WARMS更接近实况。3种模式时间偏差不明显,仅个别起报时次有-6~3 h的时间偏差;ECMWF的位移偏差最小,纬向上ECMWF和SWC_WARMS以偏北为主,经向上ECMWF以偏西为主,CMA_MESO和SWC_WARMS以偏东为主。展开更多
In the study on functional low-carbon ergonomic validity in buildings,ergonomic validity is different from resource validity which is easy for quantitative analysis. To eliminate the complexity and uncertainty impacts...In the study on functional low-carbon ergonomic validity in buildings,ergonomic validity is different from resource validity which is easy for quantitative analysis. To eliminate the complexity and uncertainty impacts of human factors on quantitative study,it proposes a method of building a parameter of ergonomic validity—multi-effect time by using cardiotachometer to record heart rate change,being used to evaluate the functional low-carbon ergonomic validity targeting at the ontological characteristics of kitchen. This method is used to determine the physical consumption intensity( multi-effect) through heart rate incremental relation based on the principles of physiology and ergonomics,and to confirm the ergonomic validity of environmental factors by the time to complete standard work as well as multi-effect quantitative analysis. The test results show that,under the kitchen operating conditions,the multi-effect( ME) can properly reflect the real-time status of the operator and is easily operated; the parameters obtained are not significantly related to the physiological status of the operator,and multi-effect time( MT) is sensitive to the physical consumption brought about to the operator due to kitchen environmental factors; thus,it can be taken as an objective index,which is simple and easy to operate in residential kitchen functional low-carbon evaluation.展开更多
目的:对英文版职业未来时间洞察力量表(Occupational Future Time Perspective Scale)进行汉化,并检验其信效度。方法:通过Brislin翻译-回译原则对职业未来时间洞察力量表进行直译、回译、文化调适和预测试后形成中文版职业未来时间洞...目的:对英文版职业未来时间洞察力量表(Occupational Future Time Perspective Scale)进行汉化,并检验其信效度。方法:通过Brislin翻译-回译原则对职业未来时间洞察力量表进行直译、回译、文化调适和预测试后形成中文版职业未来时间洞察力量表。采用便利抽样法抽取河南省3所三级公立医院护士480人作为研究对象,进行信效度检验。结果:中文版职业未来时间洞察力量表包括3个维度、9个条目。量表条目水平的内容效度指数(I-CVI)为0.860~1.000,平均量表内容效度(S-CVI/Ave)为0.953。探索性因子分析提取3个公因子,累计方差贡献率为82.277%;验证性因子分析显示模型拟合度良好。量表Cronbach'sα系数为0.887,重测信度为0.876,折半信度为0.765。结论:中文版职业未来时间洞察力量表具有良好的信效度,可以作为评估我国护士职业未来时间洞察力的有效工具。展开更多
校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,...校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,提出一种基于时间序列分段特征提取的导弹飞行仿真模型结果验证方法。提出了一种综合的时间序列分段线性方法,由基于二阶导数提取趋势边缘点的线性分段算法和基于极值点优化的Top-Down线性分段算法两部分组成,以实现对导弹飞行仿真数据和参考数据进行有效的线性分段表示。基于上述分段结果,对各段时间序列的均值、方差、斜率等特征进行提取,以辅助专家进行验证,从而降低验证中的主观性;或者直接利用TIC系数法、动态时间规整(dynamic time warping,DTW)等方法进行客观的相似性分析。通过充分利用时间序列的分段特征,可实现各种情形下的导弹飞行仿真模型结果验证。通过一个导弹模型结果验证案例演示了所提方法的可行性和有效性。展开更多
The petrol truck routing problem is an important part of the petrol supply chain.This study focuses on determining routes for distributing petrol products from a depot to petrol stations with the objective of minimizi...The petrol truck routing problem is an important part of the petrol supply chain.This study focuses on determining routes for distributing petrol products from a depot to petrol stations with the objective of minimizing the total travel cost and the fixed cost required to use the trucks.We propose a mathematical model that considers petrol trucks returning to a depot multiple times and develop a heuristic algorithm based on a local branch-and-bound search with a tabu list and the Metropolis acceptance criterion.In addition,an approach that accelerates the solution process by adding several valid inequalities is presented.In this study,the trucks are homogeneous and have two compartments,and each truck can execute at most three tasks daily.The sales company arranges the transfer amount and the time windows for each station.The performance of the proposed algorithm is evaluated by comparing its results with the optimal results.In addition,a real-world case of routing petrol trucks in Beijing is studied to demonstrate the effectiveness of the proposed approach.展开更多
The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical ...The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical comparison between the BGK and direct simulation Monte Carlo(DSMC) results for three specifically designed relaxation problems. In these problems, one or half component of the velocity distribution is characterized by another Maxwellian distribution with a different temperature. It is analyzed that the relaxation time in the BGK model is unequal to the molecular mean collision time. Relaxation of component distribution fails to involve enough contribution from other component distributions, which makes the BGK model unable to capture details of velocity distribution, especially when discontinuity exists in distribution. The BGK model,however, predicts satisfactory results including fluxes during relaxation when the temperature difference is small. Particularly, the model-induced error in the BGK model increases with the temperature difference, thus the model is more reliable for low-speed rarefied flows than for hypersonic flows.展开更多
Background:The Global Physical Activity Questionnaire(GPAQ)has been used to measure physical activity(PA)and sedentary time in France,but no study has assessed its psychometric properties.This study aimed to compare t...Background:The Global Physical Activity Questionnaire(GPAQ)has been used to measure physical activity(PA)and sedentary time in France,but no study has assessed its psychometric properties.This study aimed to compare the reliability as well as criterion and concurrent validity of the French version of the GPAQ with the French International Physical Activity Questionnaire long form(IPAQ-LF)and use of an accelerometer in a general adult population.Methods:We included 92 participants(students or staff)from the Medicine Campus at the University of Lorraine,Nancy(north-eastern France).The French GPAQ was completed twice,7 days apart,to study test-retest reliability.The IPAQ-LF was used to assess concurrent validity of the GPAQ,and participants wore an accelerometer(ActiGraph GT3X+)for 7 days to study criterion validity.Reliability as well as concurrent and criterion validity of the GPAQ were tested by the intraclass correlation coefficient(ICC),Spearman correlation coefficient for quantitative variables,and Kappa and Phi coefficients for qualitative variables.Both concurrent and criterion validity of GPAQ were assessed by Bland-Altman plots.Results:The GPAQ showed poor to good reliability(ICC=0.37-0.94;Kappa=0.50-0.62)and concurrent validity(Spearman r=0.41-0.86),but only poor criterion validity(Spearman r=-0.22-0.42).Limits of agreement for the GPAQ and accelerometer were wide,with differences between 286.5 min/week and 601.3 min/week.Conclusion:The French version of the GPAQ provides limited but acceptable reliability and validity for the measurement of PA and sedentary time.It may be used for assessing PA and sedentary time in a French adult population.展开更多
基金Sponsored partly by Priority-Scientific-Projects for China's 7th and 8th Five-Year Plana Priority Project of the Director's Foundation of the Institute of Atmospheric PhysicsChinese Academy of Sciences.
文摘In accordance with a new compensation principle of discrete computations,the traditional meteo- rological global (pseudo-) spectral schemes of barotropic primitive equation (s) are transformed into perfect energy conservative fidelity schemes,thus resolving the problems of both nonlinear computa- tional instability and incomplete energy conservation,and raising the computational efficiency of the traditional schemes. As the numerical tests of the new schemes demonstrate,in solving the problem of energy conser- vation in operational computations,the new schemes can eliminate the (nonlinear) computational in- stability and,to some extent even the (nonlinear) computational diverging as found in the traditional schemes,Further contrasts between new and traditional schemes also indicate that,in discrete opera- tional computations,the new scheme in the case of nondivergence is capable of prolonging the valid in- tegral time of the corresponding traditional scheme,and eliminating certain kind of systematical com- putational“climate drift”,meanwhile increasing its computational accuracy and reducing its amount of computation.The working principle of this paper is also applicable to the problem concerning baroclin- ic primitive equations.
文摘Dynamic time warping(DTW)spends most of the time in generating the correlation table,and it establishes the global path constraints to reduce the time complexity.However,the global constraints restrain just in terms of the time axis.In this paper,we therefore propose another version of DTW,to be called branch-and-bound DTW(BnB-DTW),which adaptively controb its global path constraints by reflecting the contents of input patterns. Experimental results show that the suggested BnB-DTW algorithm performs more efficiently than other conventional DTW approaches while not increasing the optimal warping cost.
文摘In parallel real-time database systems, concurrency control protocols must satisfy time constraints as well as the integrity constraints. The authors present a validation concurrency control(VCC) protocol, which can enhance the performance of real-time concurrency control mechanism by reducing the number of transactions that might miss their deadlines, and compare the performance of validation concurrency control protocol with that of HP2PL(High priority two phase locking) protocol and OCC-TI-WAIT-50(Optimistic concurrency control-time interval-wait-50) protocol under shared-disk architecture by simulation. The simulation results reveal that the protocol the author presented can effectively reduce the number of transactions restarting which might miss their deadlines and performs better than HP2PL and OCC-TI-WAIT-50. It works well when arrival rate of transaction is lesser than threshold. However, due to resource contention the percentage of missing deadline increases sharply when arrival rate is greater than the threshold.
基金Sponsored by the "Twelfth Five-year" National Science and Technology Supoort Programe(Grant No.2011BAJ05B02-03)
文摘In the study on functional low-carbon ergonomic validity in buildings,ergonomic validity is different from resource validity which is easy for quantitative analysis. To eliminate the complexity and uncertainty impacts of human factors on quantitative study,it proposes a method of building a parameter of ergonomic validity—multi-effect time by using cardiotachometer to record heart rate change,being used to evaluate the functional low-carbon ergonomic validity targeting at the ontological characteristics of kitchen. This method is used to determine the physical consumption intensity( multi-effect) through heart rate incremental relation based on the principles of physiology and ergonomics,and to confirm the ergonomic validity of environmental factors by the time to complete standard work as well as multi-effect quantitative analysis. The test results show that,under the kitchen operating conditions,the multi-effect( ME) can properly reflect the real-time status of the operator and is easily operated; the parameters obtained are not significantly related to the physiological status of the operator,and multi-effect time( MT) is sensitive to the physical consumption brought about to the operator due to kitchen environmental factors; thus,it can be taken as an objective index,which is simple and easy to operate in residential kitchen functional low-carbon evaluation.
文摘目的:对英文版职业未来时间洞察力量表(Occupational Future Time Perspective Scale)进行汉化,并检验其信效度。方法:通过Brislin翻译-回译原则对职业未来时间洞察力量表进行直译、回译、文化调适和预测试后形成中文版职业未来时间洞察力量表。采用便利抽样法抽取河南省3所三级公立医院护士480人作为研究对象,进行信效度检验。结果:中文版职业未来时间洞察力量表包括3个维度、9个条目。量表条目水平的内容效度指数(I-CVI)为0.860~1.000,平均量表内容效度(S-CVI/Ave)为0.953。探索性因子分析提取3个公因子,累计方差贡献率为82.277%;验证性因子分析显示模型拟合度良好。量表Cronbach'sα系数为0.887,重测信度为0.876,折半信度为0.765。结论:中文版职业未来时间洞察力量表具有良好的信效度,可以作为评估我国护士职业未来时间洞察力的有效工具。
文摘校核、验证与确认(verification,validation,and accreditation,VV&A)是保证仿真模型可信度的关键手段,其中模型验证是核心环节。针对导弹飞行仿真模型结果验证存在的参考数据不可获得、参考数据来源多样、专家验证主观性强等问题,提出一种基于时间序列分段特征提取的导弹飞行仿真模型结果验证方法。提出了一种综合的时间序列分段线性方法,由基于二阶导数提取趋势边缘点的线性分段算法和基于极值点优化的Top-Down线性分段算法两部分组成,以实现对导弹飞行仿真数据和参考数据进行有效的线性分段表示。基于上述分段结果,对各段时间序列的均值、方差、斜率等特征进行提取,以辅助专家进行验证,从而降低验证中的主观性;或者直接利用TIC系数法、动态时间规整(dynamic time warping,DTW)等方法进行客观的相似性分析。通过充分利用时间序列的分段特征,可实现各种情形下的导弹飞行仿真模型结果验证。通过一个导弹模型结果验证案例演示了所提方法的可行性和有效性。
基金the Program of “Study on Optimization and Supply-side Reliability of Oil Product Supply Chain Logistics System” funded under the National Natural Science Foundation of China, Grant Number 51874325
文摘The petrol truck routing problem is an important part of the petrol supply chain.This study focuses on determining routes for distributing petrol products from a depot to petrol stations with the objective of minimizing the total travel cost and the fixed cost required to use the trucks.We propose a mathematical model that considers petrol trucks returning to a depot multiple times and develop a heuristic algorithm based on a local branch-and-bound search with a tabu list and the Metropolis acceptance criterion.In addition,an approach that accelerates the solution process by adding several valid inequalities is presented.In this study,the trucks are homogeneous and have two compartments,and each truck can execute at most three tasks daily.The sales company arranges the transfer amount and the time windows for each station.The performance of the proposed algorithm is evaluated by comparing its results with the optimal results.In addition,a real-world case of routing petrol trucks in Beijing is studied to demonstrate the effectiveness of the proposed approach.
基金supported by the National Natural Science Foundation of China(91116013,11372325,and 11111120080)
文摘The Boltzmann-Bhatnagar-Gross-Krook(BGK)model is investigated for its validity regarding the collision term approximation through relaxation evaluation. The evaluation is based on theoretical analysis and numerical comparison between the BGK and direct simulation Monte Carlo(DSMC) results for three specifically designed relaxation problems. In these problems, one or half component of the velocity distribution is characterized by another Maxwellian distribution with a different temperature. It is analyzed that the relaxation time in the BGK model is unequal to the molecular mean collision time. Relaxation of component distribution fails to involve enough contribution from other component distributions, which makes the BGK model unable to capture details of velocity distribution, especially when discontinuity exists in distribution. The BGK model,however, predicts satisfactory results including fluxes during relaxation when the temperature difference is small. Particularly, the model-induced error in the BGK model increases with the temperature difference, thus the model is more reliable for low-speed rarefied flows than for hypersonic flows.
文摘Background:The Global Physical Activity Questionnaire(GPAQ)has been used to measure physical activity(PA)and sedentary time in France,but no study has assessed its psychometric properties.This study aimed to compare the reliability as well as criterion and concurrent validity of the French version of the GPAQ with the French International Physical Activity Questionnaire long form(IPAQ-LF)and use of an accelerometer in a general adult population.Methods:We included 92 participants(students or staff)from the Medicine Campus at the University of Lorraine,Nancy(north-eastern France).The French GPAQ was completed twice,7 days apart,to study test-retest reliability.The IPAQ-LF was used to assess concurrent validity of the GPAQ,and participants wore an accelerometer(ActiGraph GT3X+)for 7 days to study criterion validity.Reliability as well as concurrent and criterion validity of the GPAQ were tested by the intraclass correlation coefficient(ICC),Spearman correlation coefficient for quantitative variables,and Kappa and Phi coefficients for qualitative variables.Both concurrent and criterion validity of GPAQ were assessed by Bland-Altman plots.Results:The GPAQ showed poor to good reliability(ICC=0.37-0.94;Kappa=0.50-0.62)and concurrent validity(Spearman r=0.41-0.86),but only poor criterion validity(Spearman r=-0.22-0.42).Limits of agreement for the GPAQ and accelerometer were wide,with differences between 286.5 min/week and 601.3 min/week.Conclusion:The French version of the GPAQ provides limited but acceptable reliability and validity for the measurement of PA and sedentary time.It may be used for assessing PA and sedentary time in a French adult population.