汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

基于拦截式中间件的HLA仿真克隆研究

仿真克隆可以提高分布式离散事件仿真的效率和并行性,方便快捷地对仿真中的多种可能性进行分析、比较和评估.介绍仿真克隆的相关概念,基于HLA仿真克隆的体系结构,提出并设计一种支持多剧情并发执行的拦截式仿真克隆中间件,并讨论基于该中问件的仿真克隆过程以及克隆过程中的数据同步策略,最后通过实验验证所提方法的适用性.     

新农村文化创新的逻辑考量

文化创新是推进新农村文化建设的根本。在新农村文化建设中,文化创新具有完整的内在逻辑体系。农村多元文化矛盾运动是新农村文化创新的逻辑起点,内源性的文化创新和外源性的文化整合及其交互运动是农村文化创新的主要逻辑路向,而文化和谐的和谐思维方式是农村文化创新最根本的逻辑思维方式。分析新农村文化创新的内在逻辑体系,有助于揭示农村文化的发展运动规律和准确理解当代农村文化创新的本质内核。     

逻辑代数在PLC控制系统中的应用

介绍了1种用双PLC备份实现某化工厂工艺电器控制系统硬件电路设计方法．根据继电器常用的工作方式，探讨了继电器的逻辑关系表达式，将逻辑代数这一数学工具引用到继电器控制和PLC梯形图设计中能够快捷、准确地实现控制系统原理图．对于复杂的二次原理图还可以采用分块设计然后再组合，大大地提高了工作效率，实践证明，该方法简单、快捷，并且具有灵活性．     

带模理论的回答集程序设计

基于回答集语义的逻辑程序（ASP）是一种描述性问题求解的典范，目前人们提出了各种ASP的扩张。本文提出带背景理论的回答集程序设计框架，它不仅是正规逻辑程序的一般化，对带聚合函数的ASP而言，也与SPT—PDB的回答集语义一致。经证明，当背景理论是命题逻辑时，该框架与Shen和You提出的方法一致。     

4个加数的并行加法器及扩展接口的研究

算术逻辑运算单元(ALU)决定着中央处理器(CPU)的性能,而加法器又决定着ALU的性能.为了提高CPU的性能,文章提出了一种4个加数的并行加法器及其接口扩展的研究方案,论述了所提新型加法器的工作原理和过程,同时描述了接口扩充思想;最后,采用MAX+PLUSⅡ对设计电路进行了模拟验证,实验结果说明了所提加法器的设计合理性.     

Vario EL元素分析仪测定含硫配合物的改进方案及应用

使用德国Vario EL元素分析仪对含硫配合物的测定时,发现对硫元素含量的测定存在一定误差,而且误差数据不系统,通过对元素分析仪的工作原理分析,进行了局部改进后,硫的测定结果得到明显改善,绝对误差范围精确到0.3%之内.达到了满意效果.     

从藏语格标记看结构语言学的局限性

在藏语语法中格标记具有举足轻重的作用,诸如使动词成为羡余,使句子中名词性成分容量提升,造成句法成分的多重性等。在以格标记为核心的名词句中,结构语言学直接成分分析法的局限性明显凸现,而语言逻辑却占有一席之地。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。