Altera、国家半导体和MorethanIP发布首款支持IEEE 1588时序控制的8端口交换开发板

2007年1月30号,北京--面临IEEE 1588标准的挑战而需要进行精确时钟同步的下一代工业控制和自动化系统设计人员现在可以采用首款8端口交换开发板来加速他们的互联设计.电路板结合了来自Altera公司(NASDAQ:ALTR)、国家半导体公司(NYSE:NSM)以及德国设计和IP供应商MorethanIP(MTIP)公司的器件和知识产权(IP),为最终产品提供了必需的关键功能.     

单片机软件模拟SPI接口的解决方案

SPI接口是一种同步串行通讯接口，具备SPI接口的外围芯片十分丰富，应用非常广泛。但是，具备SPI接口的单片机种类较少。介绍了一种基于单片机的模拟SPI接口的方法，使没有SPI接口的单片机扩展带有SPI接口的外围芯片成为现实。     

一个新的时序推理系统TRS

本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。     

一种新型燃烧时序控制

本文提出一种新型燃烧时序控制系统，它改变传统控制方法中对燃料与空气进给量的连续控制方式为分时开关控制方式，避免了执行机构在小范围里调节的“非线性”和“死区”特性，从而可以克服以往燃油炉中低温控制效果差的缺点，保证系统能够运行在一种最优状态。     

深亚微米数字集成电路的自动化设计方法学

介绍了基于标准单元库的数字集成电路设计流程和方法学。数字集成电路设计流程从行为级的HDL描述开始，依次进行系统行为级仿真，行为级综合，RTL仿真，逻辑综合，综合后仿真，自动化布局布线，版图后仿真等步骤。讨论了如何把物理设计环境和逻辑设计环境联系起来，以解决物理设计和逻辑设计相脱节的问题。     

多媒体数字处理芯片W99711的静态验证

本文以多媒体处理数字芯片W99711为例,详细描述了静态验证在W99711中的应用。     

不编程顺序控制器（续）

介绍用移位寄存器实现不编程项序控制器的设计方案和一种时序控制的方法，两者结合后可制成一种简便实用的不编程顺序核制器。     

Automated Theorem Proving in Temporal Logic:T-Resolution

This paper presentes a novel resolution method,T-resolution,based on the first order temporal logic.The primary claim of this method is its soundness and completeness.For this purpose,we construct the corresponding semantic trees and extend Herbrand‘s Theorem.     

塔式烘干中心干燥控制系统采样数据的实时性

传统的干燥控制系统思维方式是把干燥流程看成是一个大的惯性场，以惯性的形态看待与过程相关的数据，对输入参数的过程实时性很少研究，这样的结果就是控制准确性、精确度与实际过程的吻合程度较差。拟从干燥系统输入体系的结构入手，采用时序分析的手法对入粮到干燥的传输时序进行解析，推理出动态实时数据模型。