基于CPLD的并行多路数据采集控制器

设计了一种基于可编程逻辑器件的并行多路数据采集控制器.该控制器可以控制10路AD转换器,根据配置对2种最多达660个通道进行数据采集.采用乒乓存储器同时进行数据采集和传输;使用片内共享存储区存储配置数据并返回特定通道数据;设计了工作时钟发生器以维护工作时序,同时可降低芯片功耗.控制器采用VHDL(超高速集成电路硬件描述语言)语言在RTL(寄存器传输级)级设计,并在单片CPLD(复杂可编程逻辑器件)上实现.设计结果表明,该控制器具有体积小、功耗低、易于移植等优点.     

概 率 逻 辑 学 习 概 述

在归纳逻辑编程研究的基础上, 给出了概率逻辑学习的一种形式化定义框架. 根据不同概率逻辑学习方法在实例表示和概率定义上的不同, 讨论了3种概率逻辑学习框架： 解释学习、 证明学习和蕴涵学习; 并据此对现有的典型概率逻辑学习方法和系统进行了分析和概述.     

基于随机估计学习算法的ATM拥塞控制

在分析了目前的拥塞控制算法的基础上,将随机估计学习算法（SELA）和模糊逻辑的知识引入拥塞控制,提出了新的拥塞控制模型,对模型的信元丢失率进行了数学分析,得出了分析结果,利用语言（VB）进行了仿真程序的开发,并利用开发的仿真程序对系统的性能进行了仿真分析。     

群上L—fuzzy同余关系

利用剩余格值逻辑的语义方法讨论了L－fuzzy同余关系的某些性质,给出了L-fuzzy正规子群与群上L-fuzzy同余之间的某些联系。     

基于动态逻辑的多动作承诺机制

研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释,通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理,为逻辑框架KARO中加入主体顺序执行动作作承诺与取消承诺的处理机制,并给出了详细的Kripke型语义描述,在使用KARO解释多主体环境一主体思维与行为的研究中,多动作的承诺使得主体可以将主体间合作作为其规划的一部分。     

用光折变晶体桥式互泵浦相位共轭实现光逻辑运算

报道一种利用光折变晶体桥式互尕浦相位共轭实现与、或、非、或非等光逻辑运算的方法。该方法的逻辑门输出信号具有相当大的信噪比（逻辑1／0）,这些逻辑运算可以组合起来构建更复杂的逻辑系统。     

基于多元分析和模糊规则的系统特征冗余度排序算法

针对参数性故障分布具有很强随机性的特点,将特征观值看作随机变量的取样,引入多元统计理论的分析方法,对多种状态下的特征样值进行分析筛选,进而对初始的检测特征集合进行冗余排序,可以大大压缩特征参数数量,减少故障诊断的时间,综合时间效率和灵敏度两个参考指标,运用模糊推理的方法对检测特征进行了总排序,并采用算法对一个实用电路进行了分析,实验结果表明,本算法具有较强的实用性。     

时序逻辑电路设计方案的多样性在实验教学中的处理

用实例说明时序逻辑电路设计方案的多样性，列出所有方案的设计过程和设计结果，并加以对比会发现其中的两套方案所用的门电路数量及连线数量最少，为最简方案．结合以往实验教学的实际情况，提醒学生在预习环节注意设计方案的多样性和最简问题，引导学生按照最简方案设计和做实验，学生都能在指定时问内顺利做完，减轻了实验负担，提高了实验效率．     

MCML单元电路晶体管尺寸设计

通过建立数学模型得出功耗延时积最优化时对应的MCML电路工作的电流,在matlab环境下得出晶体管大小的最优化算法,由电流和约束条件确定电流源、逻辑运算、有源负载晶体管尺寸大小。     

高师数学专业数理逻辑教学的一些思考

抽象、枯燥、形式化程度高、学时紧等问题给数理逻辑教学带来了不利,专业性与师范性的矛盾也给教学增加了困扰.分析了高师数学专业数理逻辑课教学面临的缺乏适合师范专业的教材,抽象、枯燥、形式化程度高、学时紧张,课程的重要性没有得到足够的体现等问题.提出了相应的建议,使数理逻辑教学更加具有针对性、实用性和师范性.