机电液集成控制的数字液压缸研究

提出一种新型数字液压缸系统,它将油缸、控制阀组和反馈机构集于一体,以高速开关阀作为逻辑锥阀的先导阀,由滚珠丝杠组和编码器构成的反馈机构实时反馈活塞的位移和速度,通过控制器产生PWM信号控制高速开关阀的输出,对锥阀输出流量比例调节,从而实现液压缸活塞位移和速度的数字控制。

布线约束下的低功耗扫描测试

分析了扫描测试过程中功耗产生的原因,研究了扫描触发器跳变对内部组合逻辑锥的影响,并对其进行建模,将计算得到的影响函数值作为扫描链重排序的依据.然后,基于扫描链结构的特殊性,分析了布线约束对扫描链重新排序的影响,并将布线约束简化,提出了一种同时兼顾低功耗和布线约束的算法.该算法不需要迭代,通过一次运行即可得到扫描链重排序的结果,在保证后端设计可行性的前提下,尽可能减少了高影响值扫描单元上的跳变次数,实现了对扫描测试功耗的优化.基于电路测试算例以及ISCAS89基准电路集中的电路s298和s5378,进行了仿真实验,结果表明:所提算法可以使扫描测试功耗降低12%,对故障覆盖率以及测试时间没有任何影响,而且不需要任何硬件开销,可应用于芯片的量产测试.

使用逻辑锥分割的组合电路等价性验证

为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。

逻辑图自动布局

本文提出一种逻辑图布局算法,并在LOD系统中得到实用。元件在横向上从输入到输出由左到右逐级排放;纵向上利用PO锥作宏观布局,对每个PO锥内按元件间的连接紧密程度排放。该方法将大量信息和规则揉到算法中,同时使用启发信息来进行布局,使得结果层次分明,满足要求。

带黑盒组合电路的等价性验证

为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。

插装阀系统故障分析及处理方法

介绍了插装阀在步进梁式加热炉液压系统中的应用；分析了系统逻辑锥阀的故障原因，在把逻辑锥阀由单锥面改为双锥面后，系统故障消除了。

逻辑图自动生成研究

本文提出一种逻辑图自动生成的策略,并在LOD系统中得到实用.利用功能或结构信息进行结构优化,对触发器等元件以宏单元形式出现;横向上网格化,由输入到输出逐级定位,纵向上利用PO锥,按连接关系来定位;使用通道进行走线.横向的网格化和纵向的连续性相结合,使得作出的逻辑图层次分明,可读性及美观性都满足要求。

Church Monoid的集合表示

Stone Representation Theorem之于 Boolean Algebra就象 Cayley Theorem之于 Abstract GroupTheory一样重要 .本文推广 Stone Representation Theorem中所用的方法给出了 Church Monoid的集合表示 .而且根据此表示定理 ,给出了定理 1的一个新证明 .在证明的过程中 ,得到了一些抽象代数与关系代数的对应关系 .

YD-10刨花板热压机液压系统的分析

介绍了 YD-10刨花板热压机应用了近年来的液压新技术,使热压机性能优越.

部分实现组合电路的等价验证优化算法

信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分实现组合电路进行"逻辑锥"分割;其次根据匹配的逻辑锥创建Miter电路,并且使用符号模拟技术对电路中的功能未知模块进行变量约束;最后对多个Miter电路的合取范式依次进行可满足性验证。通过在包含单个未知模块的ISCAS'85基准电路以及包含若干大小相近未知模块的组合电路上得到的实验数据,表明了此算法能够较好地提高电路检错率。