Network forensics is a security infrastructure,and becomes the research focus of forensic investigation.However many challenges still exist in conducting network forensics:network has produced large amounts of data;th...Network forensics is a security infrastructure,and becomes the research focus of forensic investigation.However many challenges still exist in conducting network forensics:network has produced large amounts of data;the comprehensibility of evidence extracting from collected data;the efficiency of evidence analysis methods,etc.To solve these problems,in this paper we develop a network intrusion forensics system based on transductive scheme that can detect and analyze efficiently computer crime in networked environments,and extract digital evidence automatically.At the end of the paper,we evaluate our method on a series of experiments on KDD Cup 1999 dataset.The results demonstrate that our methods are actually effective for real-time network forensics,and can provide comprehensible aid for a forensic expert.展开更多
After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable ...After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.展开更多
A study of flow rate limitation in an open wedge channel is reported in this paper. Under microgravity condition, the flow is controlled by the convection and the viscosity in the channel as well as the curvature of t...A study of flow rate limitation in an open wedge channel is reported in this paper. Under microgravity condition, the flow is controlled by the convection and the viscosity in the channel as well as the curvature of the liquid free surface. A maximum flow rate is achieved when the curvature cannot balance the pressure difference leading to a collapse of the free surface. A 1-dimensional theoretical model is used to predict the critical flow rate and calculate the shape of the free surface. Computa- tional Fluid Dynamics tool is also used to simulate the phenomenon. Results show that the 1-dimensional model overestimates the critical flow rate because extra pressure loss is not included in the governing equation. Good agreement is found in 3-dim- ensional simulation results. Parametric study with different wedge angles and channel lengths show that the critical flow rate increases with increasing the cross section area; and decreases with increasing the channel length. The work in this paper can help understand the surface collapsing without gravity and for the design in propellant management devices in satellite tanks.展开更多
基金supported by the National Natural Science Foundation of China under Grant No.60903166 and 61170262the National High-Tech Research and Development Plan of China under Grant Nos.2012AA012506+4 种基金Specialized Research Fund for the Doctoral Program of Higher Education of China under Grant No.20121103120032the Humanity and Social Science Youth Foundation of Ministry of Education of China under Grant No.13YJCZH065General Program of Science and Technology Development Project of Beijing Municipal Education Commission of China under Grant No.km201410005012the Research on Education and Teaching of Beijing University of Technology under Grant No.ER2013C24Open Research Fund of Beijing Key Laboratory of Trusted Computing
文摘Network forensics is a security infrastructure,and becomes the research focus of forensic investigation.However many challenges still exist in conducting network forensics:network has produced large amounts of data;the comprehensibility of evidence extracting from collected data;the efficiency of evidence analysis methods,etc.To solve these problems,in this paper we develop a network intrusion forensics system based on transductive scheme that can detect and analyze efficiently computer crime in networked environments,and extract digital evidence automatically.At the end of the paper,we evaluate our method on a series of experiments on KDD Cup 1999 dataset.The results demonstrate that our methods are actually effective for real-time network forensics,and can provide comprehensible aid for a forensic expert.
基金supported by the Funds of the Chinese Academy of Sciences for Key Topics in Innovation Engineering under Grant No.KJCX2-YW-S02
文摘After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.
文摘A study of flow rate limitation in an open wedge channel is reported in this paper. Under microgravity condition, the flow is controlled by the convection and the viscosity in the channel as well as the curvature of the liquid free surface. A maximum flow rate is achieved when the curvature cannot balance the pressure difference leading to a collapse of the free surface. A 1-dimensional theoretical model is used to predict the critical flow rate and calculate the shape of the free surface. Computa- tional Fluid Dynamics tool is also used to simulate the phenomenon. Results show that the 1-dimensional model overestimates the critical flow rate because extra pressure loss is not included in the governing equation. Good agreement is found in 3-dim- ensional simulation results. Parametric study with different wedge angles and channel lengths show that the critical flow rate increases with increasing the cross section area; and decreases with increasing the channel length. The work in this paper can help understand the surface collapsing without gravity and for the design in propellant management devices in satellite tanks.
