Based on the interphase layer model and the spring layer model, an improved interface model was developed to evaluate the interfacial shear strength of Titanium matrix composites(TMCs) and to analyze the effects of va...Based on the interphase layer model and the spring layer model, an improved interface model was developed to evaluate the interfacial shear strength of Titanium matrix composites(TMCs) and to analyze the effects of various parameters on the interfacial properties. The results showed that the improved interface model is more suitable for calculating the interfacial properties of SiC fiber reinforced titanium matrix composites. The interfacial shear strength of SiC/Timetal-834 predicted is 500 MPa. In addition, in order to better understand the interfacial properties of composites, some push out phenomenon were analyzed.展开更多
The important parameters to describe waves are their amplitude and length.In order to make it easier to improve wave amplitude and facilitate wave experiment,a simple push-type wave generating method using digital rot...The important parameters to describe waves are their amplitude and length.In order to make it easier to improve wave amplitude and facilitate wave experiment,a simple push-type wave generating method using digital rotary valve control was proposed and different wave amplitudes were generated by the new method.After the mathematical model of the new method had been established,numerical analysis based on the linear wave theory was carried out by means of Matlab/Simulink software tools,and experiments were conducted on the push-type wave maker to ascertain the validity of the established model and the numerical simulation results.It shows that both experimental and theoretical results agree relatively well,and the plate motion frequency and amplitude of the push-type wave maker can be continuously adjusted and the various required regular waves can be obtained.Although the wave amplitude and length descends with the increasing of working frequency,the wave amplitude can be improved conveniently by setting the axial opening width of the valve and the oil supply pressure of system.The wave length remains unchanged with the axial opening width and the oil supply pressure change.The research indicates that different regular waves can be easily generated by the new method and the wave amplitude can be further improved in a certain plate motion frequency range.展开更多
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 metho...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.展开更多
基金Supported by the Natural Science Foundation of Chinathe Aviation Science Foundation of Chinathe Doctoral Innovation Foundation of Northwestern Polytechnical University
文摘Based on the interphase layer model and the spring layer model, an improved interface model was developed to evaluate the interfacial shear strength of Titanium matrix composites(TMCs) and to analyze the effects of various parameters on the interfacial properties. The results showed that the improved interface model is more suitable for calculating the interfacial properties of SiC fiber reinforced titanium matrix composites. The interfacial shear strength of SiC/Timetal-834 predicted is 500 MPa. In addition, in order to better understand the interfacial properties of composites, some push out phenomenon were analyzed.
基金Supported by National Natural Science Foundation of China(Grant Nos.51605431,51705456)Ningbo Municipal Natural Science Foundation of China(Grant No.2019A610162)Ningbo Major Scientific and Technological Projects(Grant No.2017C110005).
文摘The important parameters to describe waves are their amplitude and length.In order to make it easier to improve wave amplitude and facilitate wave experiment,a simple push-type wave generating method using digital rotary valve control was proposed and different wave amplitudes were generated by the new method.After the mathematical model of the new method had been established,numerical analysis based on the linear wave theory was carried out by means of Matlab/Simulink software tools,and experiments were conducted on the push-type wave maker to ascertain the validity of the established model and the numerical simulation results.It shows that both experimental and theoretical results agree relatively well,and the plate motion frequency and amplitude of the push-type wave maker can be continuously adjusted and the various required regular waves can be obtained.Although the wave amplitude and length descends with the increasing of working frequency,the wave amplitude can be improved conveniently by setting the axial opening width of the valve and the oil supply pressure of system.The wave length remains unchanged with the axial opening width and the oil supply pressure change.The research indicates that different regular waves can be easily generated by the new method and the wave amplitude can be further improved in a certain plate motion frequency range.
基金Supported by the National High Technology Research and Development Program of China (863 Program) (2006AA01Z442, 2007AA01Z411)the National Natural Science Foundation of China (60673071, 60970115)Open Foundation of State Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education in China (AISTC2008Q03)
文摘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.
