| 摘要 |
<p><P>PROBLEM TO BE SOLVED: To provide a logic processor constituting a distributed simulation system of optimistic technique comprising the plurality of logic processors advancing the time based on logical time, and quickly advancing the time without executing unnecessary hypothesis. <P>SOLUTION: In this logic processor 101, a hypothesis management part 104 of an event classifies relation of each future event into a tree structure by two kinds of relations when the received future event is effective and ineffective, and deletes an unnecessary partial tree of the tree structure when it is decided that the event is effective or ineffective. <P>COPYRIGHT: (C)2008,JPO&INPIT</p> |
