The comparative analysis of modem mathematical models for 3D problems in electron optics is presented. The new approach to solve the electron optics problems in three dimensions is presented. It is based on the princi...The comparative analysis of modem mathematical models for 3D problems in electron optics is presented. The new approach to solve the electron optics problems in three dimensions is presented. It is based on the principal ray method suggested by G. Grinberg in 1948. That perspective approach was not realized before for full three-dimensional electron optic systems, probably because of the complexity of its mathematical apparatus. We describe the analytical technique of the BEM （boundary element method） for the field evaluation, and 3rd order aberration expansion for the trajectory analysis. The first version of such computer code ＂OPTICS-3＂ and some results of numerical simulations with this code were presented.展开更多
With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the comput...With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary-based information flow tracking which concerns the changes of control flow is an effective way to analyze the behavior of a program. The existing systems ignore the modifications of the data flow, which may be also a malicious behavior. Thus the function recognition is introduced to improve the information flow tracking. Function recognition is a helpful technique recognizing the function body from the software binary to analyze the binary code. And that no false positive and no false negative in our experiments strongly proves that our approach is effective.展开更多
文摘The comparative analysis of modem mathematical models for 3D problems in electron optics is presented. The new approach to solve the electron optics problems in three dimensions is presented. It is based on the principal ray method suggested by G. Grinberg in 1948. That perspective approach was not realized before for full three-dimensional electron optic systems, probably because of the complexity of its mathematical apparatus. We describe the analytical technique of the BEM （boundary element method） for the field evaluation, and 3rd order aberration expansion for the trajectory analysis. The first version of such computer code ＂OPTICS-3＂ and some results of numerical simulations with this code were presented.
基金This work is supported by National Natural Science Foundation of China （Grant No.60773093, 60873209, and 60970107）, the Key Program for Basic Research of Shanghai （Grant No. 09JC1407900, 09510701600, 10511500100）, IBM SUR Funding and IBM Research-China JP Funding, and Key Lab of Information Network Security, Ministry of Public Security.
文摘With the spread use of the computers, a new crime space and method are presented for criminals. Thus computer evidence plays a key part in criminal cases. Traditional computer evidence searches require that the computer specialists know what is stored in the given computer. Binary-based information flow tracking which concerns the changes of control flow is an effective way to analyze the behavior of a program. The existing systems ignore the modifications of the data flow, which may be also a malicious behavior. Thus the function recognition is introduced to improve the information flow tracking. Function recognition is a helpful technique recognizing the function body from the software binary to analyze the binary code. And that no false positive and no false negative in our experiments strongly proves that our approach is effective.
