This thesis proposes a CASE tool ACASE which is an integration of different techniques for the formal modeling and simulation of Active Networks.

• 本论文是利用电脑程式作为逻辑电路的模拟实验，并且采用包括类神经网路与模糊逻辑控制推论方法，来实现全加器与全减器的真值表。