摘要：本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．

摘要：状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效，实用、新型的纯逻辑式程序设计语言，递归无疑地确保了其计算能力，本文证明了仅用状态逻辑的迭工程序冰可计算部分递旭函数，这就等于证明了，任何图灵可计算的对象都可用纯逻辑代地定义和高效地计算。

摘要：作为电阻、电容、电感之外的第4种基本电路元件,忆阻器自2008年被发现以来受到学术界和产业界的广泛关注.忆阻器的阻值记忆效应和纳米工艺制造方式使其被认为可用于构建未来更大容量和密度的存储器,逐渐替代FLASH等现有存储器件.除存储功能外,HP公司在2010年《Nature》上发表的文章表明,忆阻器还可以通过以蕴含为基础的状态逻辑实现任意逻辑运算.研究了忆阻器状态逻辑的另一种操作——与操作,提出了一种更加高效的与操作实现方法,该方法不需要增加额外的忆阻器,降低了激励电压的复杂性,减小了误差,使运算更加简便高效.最后通过SPICE模拟仿真对提出的方法进行了验证.

摘要：忆阻器作为第四种基本电路元件,在实现数字逻辑方面有着广阔的前景。输入和输出都是忆阻器阻值的忆阻状态逻辑被认为是实现存内运算的一种重要手段。提出了一种依靠少数和非(MIN-NOT)逻辑的新型忆阻状态逻辑,其所有逻辑操作可以在忆阻阵列中完成,并通过在忆阻阵列中使用晶体管开关,MIN-NOT逻辑可以高效地实现并行运算,使用列和行的非运算可以在两个循环中完成数据在忆阻阵列中的复制操作。还提出了一种在忆阻阵列中实现全加器运算的方法,使用7个忆阻器在5个步骤内完成全加运算,并通过LTspice进行仿真验证。对比数据显示,相比于使用忆阻状态逻辑搭建的全加器,本设计在面积和延迟上均有较大改善,验证了MIN-NOT逻辑的高效性。

摘要：忆阻器是一种使能器件,具有阻值非易失、低功耗、高耐久度、易于集成、CMOS工艺兼容性等特性。基于忆阻器的状态逻辑计算能够实现计算和存储的真正融合,并且是逻辑完备的,从而有望突破冯·诺依曼架构的限制,有效缓解存储墙瓶颈问题。这些优异特性使得忆阻器相关研究受到学术界和工业界的极大关注。鉴于此,从忆阻器所具有的状态逻辑计算特性出发,综述面向应用的计算存储融合体系结构的研究进展。首先详细分析了状态逻辑的实现原理和改进方法;接着梳理了基于忆阻器交叉杆的状态逻辑设计,包括基本逻辑并行实现、拷贝操作和比较操作;然后概括了基于忆阻器的数据存储结构的设计原理和实现结构;在此基础上,探讨了面向应用的计算存储融合体系结构技术;最后,对该方向研究存在的问题进行了总结,并对未来的发展方向进行了展望。

摘要：项目使用西门子的Batch软件作为高级配方控件,Portal软件借助PCS7实现设备模块和设备阶段功能,使Portal软件开发的功能块在配方中得以运用。在工厂中实现不同系统控制的设备、生产线都能集成到西门子Batch配方流程中统一控制。系统设计主要以Portal为主,功能框架参照SFC的运行机制和编程特点,从状态逻辑、控制策略、设备模块的实现、PCS7端的设置等4个方面进行设计。实践表明,该机制不仅规范了大量数据通信的对接方式,还考虑到Portal与PCS7两个软件的编程语言所运行的框架、机制的一致性问题,使Batch、PCS7及Portal 3个软件开发的程序紧密结合,共同完成批生产任务。