Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification

Current trusted computing platform only verifies application＇s static Hash value, it could not prevent application from being dynamic attacked. This paper gives one static analysis-based behavior model building method for trusted computing dynamic verification, including control flow graph （CFG） building, finite state automata （FSA） constructing, e run cycle removing, e transition removing, deterministic finite state （DFA） constructing, trivial FSA removing, and global push down automata （PDA） constructing. According to experiment, this model built is a reduced model for dynamic verification and covers all possible paths, because it is based on binary file static analysis.

Valve Train Dynamic Design and Verification

Valve train dynamic behaviors need to be considered at the beginning of the engine mechanical design,especially during choosing valve spring parameters.From parameter definition to simulation,the valve train parameters around dynamic performance are determined step by step.The valve train dynamic test is done finally to verify the design result since it is a such important facet for valve train design.And reliability from mass production and product life view must be considered during whole design process too.

Design and performance analysis of indoor calibration device for the forcemeasuring system of the tractor three-point hitch

The real-time monitoring of the load in farming by the sensor installed on the tractor's three-point hitch can effectively improve the farming efficiency and force-position combined control,reduce the compaction risk of the wheel on the soil and reduce the fuel consumption in farming process.However,the measurement and quantification of the loads on the three-point hitch have some problems remaining unresolved:testing the accuracy and reliability of a load measuring system is hard when the tractor works in a field,the mathematical model of spatial forces usually lacks a practical and effective validation,and the calibration process of the measurement system is inconvenient and incomplete while easily causing a low accuracy.Specifically,this paper builds a new spatial-force mathematical model based on the geometry of a three-point hitch.To eliminate the discrepancy of the geometric model with the actual structure and to refine the mathematical model,a calibration process is conducted by developing a calibration bench,which is equipped with a data acquisition system and a multi-parameter monitoring interface.The three-point hitch installed on this calibration bench is subject to steady-state loading.The loading force,angle of the lower drawbar,and three-component forces(three shaft pin sensors’forces)of the three-point hitch are well measured.With applying for the measured data to calibrate the theoretical mathematic model eventually derives the resultant force from all the three-component forces,a dynamical loading bench was developed to test the calculated resultant force for the three-point hitch during the sinusoidal and randomly variant dynamical loadings tests.A hitch force measurement system is also developed to collect real-time data and calculate the resultant force of measured three-component forces through the calibrated mathematical model.The results of the dynamical loading tests show that the average relative error MRE=1.09%with an average force measurement time delay beingΔt=0.5 s,the root mean square error RMSE=59.3 N,and the coefficient of determination R2=0.9903.As observed,the shape and the trend of the generated resultant force curve are basically the dynamical loading force.The dynamical loading test proves the high efficacy and reliability of the proposed indoor calibration method for calculating the load based on the three-component forces as measured on the three-point hitch.Besides,the preliminary study of the proposed method on the hitch load provides great potential to improve the indoor six-component measurement and quantification of both the force and momentum acting on the three-point hitch.