摘要：提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.

摘要：自动校零环路应用在地震勘探仪器的瞬时浮点放大器中,瞬时浮点放大器为脉冲放大器,用于对采样脉冲串依次放大。瞬时浮点放大器为直接耦合的多级放大器,如何抑制零点漂移是一个需要重点考虑的问题。自动校零环路的设计构想是采用两拍工作方式:在两个采样脉冲的间隔时间进行"零漂记忆",在放大器对采样脉冲进行放大处理时实现"零漂校正"。配合其它校零措施后,该设备零漂指标可达到小于0.25μV的水平。

摘要：采用TMS320C6416作为系统的核心处理器,并应用适当的算法完成图像的编解码过程。该系统可以应用于通信科学,图像识别,新闻现场等诸多图像处理与传输领域。对系统的硬件资源选择、视频采集芯片SAA7111,系统的软件流程进行了详细的分析。系统不仅能够实现较高比例的数据压缩,而且还原图像的失真较小,具有较高的实用价值。

摘要：由单片机 80 C3 1、调制解调器 AM791 0、无线电台构成的无线远程通信系统 ,电路简单 ,信息传输可靠 ,成本较低 ,在昆明 -东川国际泥石流观测站的降雨无线遥测系统中应用证实 。

摘要：七阶型瞬时浮点放大器,应用在石油勘探仪器与多通道数据采集系统中,用于对采集到的脉冲电压依次放大。放大器的设计制作水平,直接影响到地下信息采集的精度。本文简要介绍了瞬时浮点放大器的工作原理,并就设计制作中需要注意的问题进行了讨论。

摘要：采样速度和保持精度,是采样保持电路设计制作者最为关注的两项指标。通过对数字地震仪模拟单元采样保持电路的理论分析,阐明了影响这两项指标的主要因素,并就如何提高采样速度和保持精度提出了作者的看法。

摘要：在石油地震勘探仪器的瞬时浮点放大器（以下简称主放大器）中,瞬时浮点放大器对采集到的每个子样脉冲都能选择一个最佳增益值,从而把幅度相差悬殊的地震信号放大至最佳值（2V-8V）,由于过零点子样脉冲采自信号幅度为零附近．因此子样顶部有较大的斜率，当主放大器最终选定增益值时．子样幅度却在不断增加．如何预测子样幅度的变化趋势，使主放大器准确选择放大倍数，就是本文要讨论的问题。