格值命题逻辑系统LP(X)的语义归结方法

以3.3V为代表的低电压设计已成一个大的趋势,但是目前市场上依然存在很多5V供电的芯片,因此在同一个系统中就不可避免地存在不同供电电压的模块。本文主要阐述了MSP430与非3.3V器件接口时存在的电源

可编程逻辑系统的VHDL设计技术-------中文版

（史忠植）语义Web的逻辑基础（DDL)

From algorithm design to hard-wire logic VerilogHDL design techniques and methods for complex digita

一些verilog高级设计的经典书籍，高级FPGA设计 结构、实现和优化和夏宇闻的复杂数字逻辑系统的VerilogHDL设计技术和方法

stateflow逻辑系统建模的部分程序-stateflow.rar文件中包含流程图、在动作中执行事件、状态执行顺序三个文件夹和一个word文档，简介如下：流程图包含：stateflow_xuanze

通过引入赋值密度函数、边缘密度函数等概念，给出了几种常见的命题逻辑系统中公式概率真度的定义，研究了概率真度的推理规则并证明了全体公式的概率真度之集在[0，1]中的稠密性，在此基础上给出了相似度的定义并

利用遗传算法实现模糊逻辑系统的自学习, 提出了遗传算法和模糊逻辑系统的结合方式, 并针 对模糊逻辑系统的特点,提出了初始种群的生成方法,较大地提高了遗传模糊逻辑系统的自学习性能。 仿真结果表明,该系统

面向语义Web语义表示的模糊描述逻辑

对经典逻辑中的公理在Gödel系统、Lukasiewicz以及R0系统中的真度大小进行了分析，得到了一系列深刻而有趣的结果。