论文部分内容阅读
给出了理想状态下泛逻辑学的形式演绎系统β，证明了此系统是可靠的。提出了在理想状态（h=k=0．5）下泛逻辑学对应的代数系统-UB代数，进一步讨论了UB代数滤子与商代数，得到一些有用的结果。
泛逻辑学中UB代数系统的滤子与商代数
【摘 要】
：
给出了理想状态下泛逻辑学的形式演绎系统β，证明了此系统是可靠的。提出了在理想状态（h=k=0．5）下泛逻辑学对应的代数系统-UB代数，进一步讨论了UB代数滤子与商代数，得到一些有用的
【机 构】
：
华中农业大学理学院计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
2007年35期
【基金项目】
：
湖北省高校科研基金（No.52204-02009）.
其他文献
介绍电动助力转向（ElectricPowerSteering，EPS）系统的工作原理，给出EPS的初步数学模型，参照EPS传统的PID控制方式，分析电动助力转向系统采用模糊控制的可行性，最后给出了基于模糊控