脉动阵列的自动综合—FP方法

本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得一个规整高效的计算结构。文章形式地用FP/B定义了脉动式,并根据FP/B代数,建立了具有终止性和保持正确性的脉动阵列重写系统,它能将用户FP/B程序自动转换为等价的脉动式,再根据FP/B并发计算型及一些函数的几何语义可较为直接地获得一个脉动阵列的硬件描述。文末给出一个例子加以说明。

天然地震识别与震相自动拾取技术进展

震相拾取是地震数据处理过程中最基本的步骤之一。在传统的人工拾取技术不能满足庞大的地震数据处理需求的情况下,震相自动拾取技术从产生到发展至今经历了漫长的过程。本文回顾并总结了震相自动拾取技术的发展状况,重点介绍了长短时窗法、赤池准则法、模板匹配技术、基于自相关盲搜索的FAST法、S波偏振分析法、人工智能方法等,以及近年发展起来的多频率震相识别、全波形叠加、二次方自回归模型等方法,同时分析了每种方法的优势和局限性。

室温下中等浓度电解质中Pt(111)电极零电荷电势的理论模拟

在电化学模型中,温度效应是经常被忽略的重要参量.本文采用最近发展的经典分子动力学和第一性原理杂化方法研究了室温下Pt(111)电极在0.77 mol/L NaClO_4电解质溶液中的零电荷电极电势(PZC).分子动力学结果表明,ClO_4^-弱吸附于Pt(111)表面,而Na^+则分布在整个溶液中.基于分子动力学的轨迹,第一性原理计算得到的平均PZC相对于标准氢电极为0.57 V.相较于无限稀溶液,该值正移了0.33 V.这一结果归结于ClO_4^-的弱吸附,并且趋势和实验测量值一致.计算结果同时表明,暂态PZC呈标准方差为0.60 V的准正态分布.电解质和溶剂的热运动是引起这一分布的原因.本文中的理论结果有助于深入了解双电层结构以及电催化剂的设计.