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

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

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

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

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

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

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

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

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

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

对依法治校与现代大学制度的一种理论追寻

我国现代大学制度的内涵首先表现在应秉承学术自由、大学自治、以人为本和彰显民族特色的价值理念,要使得这些理念得以制度化就必须实施依法治校的方略;依法治校的实质内涵与灵魂是奉行法的统治,坚持一种制度化、规范化与程序化的大学治理方式;依法治校与现代大学制度之间存在着必然的逻辑贯通.     

An Adaptive Design for Six Sigma（ ADFSS ） ： a Simulated Annealing and Regression Analysis Embedded Approach

Design for six sigma (DFSS) is a powerful approach of designing products,processes,and services with the objective of meeting the needs of customers in a cost-effective manner.DFSS activities are class...     

墨子的数学思想

本文将墨子的数学思想作为一个整体来研究,揭示了它的起源及本质,探讨了数学与政治、文化及哲学的关系.文章着重阐述墨子是怎样把墨家特有的形式逻辑——辩学,用于数学研究的,并认为在墨子的数学理论中,整体观是基础,抽象性是主要特征,而关于无限的论述则代表着墨子数学思想的最高水平.文中还探讨了墨家衰亡的社会原因,提出一些值得今天借鉴的历史教训.