计算机取证目前面临多方面的难题,包括海量数据、案件复杂程度的增加、取证推理结果的可信性等。自动分析成为解决这些问题的一个重要方法。本文在时间Petri网的基础上提出了利用取证推理时间Petri网(Forensics Rea-soning Time Petri Net,FRTPN)对计算机证据进行自动推理分析,并提出一套健全的形式化理论及推理算法。基本思路是将所调查的系统用该网进行建模,分析所有可能
cooperative work manner for a group of people making use of network.Nowadays,it is a study hotspot in and out country,but the contents are usually idiographic applications,lacking in security research
本文在渐进网格算法的基础上,提出了一种新的基于边优化的三角网格简化算法。在基于该方法重建出的多分辨率模型表面上,模型的细节层次(Levels of Details,LOD)呈连续分布,并且能够跟随视点位置的变化发生动态变化。实验结果表明本算法运算速度快,显示效果也较好,能有效地支持细节层次模型的表示。