硬件描述语言(HDL)与逻辑系统设计

本文介绍了当前流行的两种硬件描述语言———ＶＨＤＬ和ＶｅｒｉｌｏｇＨＤＬ。给出了利用硬件描述语言进行逻辑系统设计的流程和方法,与传统设计方法进行了比较。     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。     

模糊逻辑系统的非线性组合预测方法与系统误差分析研究

本文提出一种基于模糊逻辑系统的组合预测方法。其基本思想是利用模糊系统的万能逼近特性,采用模糊Taki Sugeno模型来进行非线性组合预测函数的φ（x）模拟。这种全新的组合预测方法不仅降低了构造非线性组合预测函数φ（x）的难度,而且使预测精度大大提高。     

基于模糊逻辑系统的电动车用MH-Ni电池建模

电动汽车的电池管理系统需要一个精确和可靠的电池模型,以往不同类型的电池模型很难来精确地描述电池性能。本文基于模糊逻辑系统提出一种建立MH—Ni电池智能模型的方法,通过更容易采集到的输入输出数据来有效的训练模型参数,使得到的智能模型能很好的模拟电池的动态性能。     

不确定系统的鲁棒稳定性

针对一类不确定非线性系统,基于王立新1994年提出的监督控制方案提出了一种SISO系统的模型参考自适应模糊控制器设计的新方案.该方案同时利用广义多线性模糊逻辑系统的逼近能力和I型模糊逻辑系统的逼近能力,不仅能保证闭环系统状态全局稳定,而且有效避免了控制增益可能出现的奇异性问题.理论分析证明了跟踪误差收敛到零,仿真结果表明了该方法的有效性.     

马克思社会理论的逻辑

马克思的社会理论是在批判现代资本主义的过程中形成和发展起来的,其理论体系是以物质生产范畴为逻辑起点,而物质生产的两个维度(一是物质生产与社会的生成和发展;二是物质生产和人的发展与解放)则构成了马克思社会理论两条相互交织的逻辑线索.在物质生产范畴基础上派生的一系列范畴的联系和转化,构成了马克思社会理论的逻辑系统.以唯物史观为基础的反映人类社会发展的一般规律、现代资本主义社会发展的一般规律和资本主义阶段性规律(自由竞争阶段)的理论构成了马克思社会理论的科学体系.一般、个别和特殊这三重逻辑共同指向一个理论目标:社会解放与人的解放.     

FPGA在复杂开关逻辑系统中的应用研究

介绍了复杂逻辑系统的共性特征和需求,根据其特点,研究了使用FPGA克服相关问题的途径.讨论了FPGA对于复杂逻辑的设计方法,多时钟系统中FPGA的处理技术,FPGA设计中的抗干扰策略.以针织机械控制系统为目标.基于VHDL程序语言构建了FPGA原理控制系统,根据测试结果对系统进行了总结分析.     

逻辑系统L*和BL*的广义演绎定理的逆定理

利用形式推演方法，给出逻辑系统L*和BL*的广义演绎定理逆定理的证明，并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。     

由ω_1ω诱导的几个逻辑系统

给出了由无限长逻辑诱导的一些子系统，讨论了一些重要的模型论性质，然后对它们的强弱作了系统的比较。     

锁斗系统故障处理

本文阐述了水煤浆气化系统中锁斗的工作过程及安全逻辑系统，锁斗堵渣及锁斗阀门常见问题的判断，并结合实际工作经验，提出了相应的解决方案。