泛权网络聚类在数字电路逻辑设计中的应用

本文应用泛系方法论中泛权网络聚类的思想对数字电路逻辑设计中的状态化简方法进行形式化,得到了状态化简的一组形式化描述,推广了不完全状态化简的一些结论,得到了几个有意义的判定定理。

系统动力学的泛权网络分析与PROLOG模拟

对复杂系统的研究已成为现代科学发展的核心问题之一,系统动力学为系统理论与计算机科学在此领域的结合作出了开创性的工作。泛系方法论从广义系统的数学化描述出发,用泛权网络研究系统的充分可观控建模,为系统动力学模型的高层次、多维化发展找到了新的突破口。在此基础上再用计算机自动推理技术进行系统仿真,将会发展成人工智能领域的一个深层次问題。本文通过用泛权网络建立起动态系统的仿真模型,引入PROLOG语言实现其因果关系的自动推理,并给出一个简单的案例。

泛权网场结合的逻辑守恒性及其在人工神经网络中的应用

给出了泛权网场复合的几个定义，证明了泛权网场复合的一组有关逻辑守恒性的定理·结合均场模型。