用Ｒｉｔｚ法研究梁的挠度变分问题时，需做大量的数学符合推导运算，计算工作量大。该文利用Ｍａｔｈｅｍａｔｉｃａ能进行符合运算的特点，用于解决此类问题，结果令人满......

首先,该文以符合运算的形式和性质为基础,提出了或、符合代数系统理论.包括连和与加合两种基本运算的定义,逻辑函数在或、符合代数......

介绍了传统二值数字电路设计工具卡诺图在基于iernl运算的多值微分负阻NDR特性电路中的应用，提出了卡诺图不仅可以应用于基本的多值......