周期性可定实时并行进程的进化代数分析

对应用进化代数（EA），即目前的抽象状态机（Abstract State Machine—ASM），描述可定时实时并行进程进行了研究，进化代数采用第一顺序逻辑（FirSt—Order Logic）定义或解释计算机问题．描述不同的抽象等级并且逻辑地描述计算机算法．因此非常适合描述并行进程复杂的运行过程．并逻辑地精确推导进程调度。     

光学一般三值逻辑运算器件的结构

首次提出用光学线性器件实现一般三值逻辑运算的方法.除了具有一般电子多值逻辑运算器件的优点外,还可用于全并行运算,输入输出信号相同,可串接,对一般的三值逻辑运算可不用基本运算合成,直接实现.可用于更一般的多值(大于三的)逻辑运算.     

NEC开发32nm逻辑LSI多层布线技术

NEC和NEC电子开发出了面向32nm工艺逻辑LSI的多层布线技术，布线间隔为100nm。通过改变low-k膜的成膜方法，达到了32nm工艺LSI所需的性能，同时解决了绝缘耐久性过低的问题。     

织物结构/功能的计算机设计技术

系统地叙述了织物结构与功能计算机设计技术的逻辑方法、系统组成和逻辑执行的步骤，以及应用该设计逻辑进行的真丝电力纺织物、真丝重磅织物和航天压力服限制层面料结构功能CAD实例。     

聚焦低功耗设计技术构建自动化设计环境

日本某半导体厂商表示:"对于65nm的逻辑芯片来说,如果仅依靠工艺技术的进步,无论怎样努力,也不可能将功耗降低到顾客满意的水平。因此,要降低功耗,只有从电路技术、结构技术等方面着手。"针对2007年量产的65nm逻辑芯片,     

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

蒙华海电20MW机组循环水系统改进

针对蒙华海电2×200MW扩建机组循环水泵与出口门之间的逻辑缺陷及2台泵之间没有互联与停泵功能的设计缺陷,进行了改进完善,顺利通过168 h试运行后移交生产.     

网络视频如何进入主流

传统意义的出版社网站属于框架,固定而保守的Web1.0逻辑体系,促使出版社网站多是一种内容传达,割裂了出版与作者。现在,出版社网站仅建立给经销商、或者仅为自己     

喷墨是新游牧民族？——商用机猛扩大地盘 一体机稳定增长

老买记忆里，中国古籍中谈到北方游牧民族，总有“逐水草而居”的描述，那种被阻隔于长城之外的迁徙感和稳定耕种的巾原阡陌形成强烈对比。