基于多层次动态门控推理网络的文本蕴含识别

现有的文本蕴含模型通常计算一次词级别注意力得到两段文本在不同层面的交互特征,但对于文本不同层面的理解,不同重要词的注意力应该是不同的,并且一次词级注意力推理仅能捕捉到文本对局部特征.针对这个问题,提出一种多层次动态门控推理网络,该网络结合了词级别信息的细粒度推理和句子级别门控机制来动态捕捉文本对的语义信息,并采用不同注意力计算方式提取文本对不同层面的语义特征,共同推理文本对的蕴含关系.本文在两个文本蕴含数据集上均做了实验,相较于基准模型和现有主流模型,准确率提升了0.4%～1.7%,通过消融分析,进一步验证了本文模型各部分结构的有效性.     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

《可编程逻辑器件原理及应用》课程实践教学研究

讨论了《可编程逻辑器件原理及应用》课程的前期实验和后期课程设计的选题、硬件条件、训练内容与教学组织方式等方面的问题,以强化综合性、创新性实训为手段,以培养学生的综合运用能力、实践动手能力和创新能力为教学目标。     

基于机会发现逻辑的多智能体系统形式化描述方法

MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。     

I2C总线协议在CPLD上的模拟实现

介绍了一种在CPLD器件上模拟实现I^2C总线时序的方法,提出了有关设计思路和注意要点,并给出了部分程序和仿真结果。     

Windows对硬件设备访问的机理

探讨了操作系统对设备驱动程序的支持 ,windows操作系统下对硬件设备访问的过程及实现的机理。     

PLC虚拟数字实验室研究

本项目采用计算机仿真技术,以PLC教育为对象,开发了由虚拟的多种常用PLC系统和多种多媒体图形动画虚拟PLC被控对象组成的PLC虚拟数字实验室系统;提出了解决工程教育中虚拟数字实验室的设计方案,虚拟数字实验室的框架结构、实验环境、实验方法和实验操作步骤.     

一种轻量级文本蕴含模型

现有主流文本蕴含模型大多采用循环神经网络编码,并采用各种注意力推理机制或辅以手工提取的特征来提升蕴含关系识别准确率,由于复杂的网络结构和RNNs网络串行机制导致这些模型训练和推理速度较慢.本文提出轻量级文本蕴含模型,采用自注意力编码器编码文本向量,点积注意力交互两段文本,再采用卷积神经网络对交互特征推理,整个结构可根据不同数据的推理难度叠加不同模块数量.在多个文本蕴含数据集实验表明,本文模型在保持较高识别准确率情况下仅用一个块参数仅为665K,模型推理速度相比其他主流文本蕴含模型至少提升一倍.     

信道编码方法分析与循环码编、译码实现

介绍了循环码编译系统的特点。从一个(15,6)循环码编译实验系统入手,分析研究其编、译码实现方法,并在仿真软件QUARTUS II上具体实现。在实验中,输入6位信息码元CDIN,经编码器编码后,可得到码长为15的输出信号CDOUT,信道无错码条件下,把CDOUT作为译码器的输入。     

分析逻辑程序的一种有效工具—推导格式

本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。