THEORY AND APPLICATION OF PULSE INTERPOLATION TO PROVER SYSTEMS

机译：脉冲插值对玻璃系统的理论与应用

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Pulse interpolation, by definition, is the ability to estimate values of (a function) between two known values. Therefore, pulse interpolation enables pulse counts to be made to a fraction of a pulse, thus greatly reducing the rounding - off errors that occur when pulse counts are made to the nearest whole number; which always happens in the absence of Pulse Interpolation.

机译：根据定义，脉冲插值是在两个已知值之间估计（函数）的值的能力。因此，脉冲插值使得脉冲计数能够对脉冲的一部分进行脉冲计数，从而大大减少了在脉冲计数到最接近的整数时发生的舍入误差;这总是在没有脉冲插值的情况下发生。

著录项

来源
《International School of Hydrocarbon Measurement Conference》|2018年|645-1307 p.|共7页
会议地点
作者
David J. Seiler;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类烃（碳氢化合物）;
关键词

相似文献

外文文献
中文文献
专利

1. Output bandwidth enhancement of a pulsed ultrasound system using a flat envelope and compensated frequency-modulated input signal: Theory and experimental applications [J] . Costa-Felix Rodrigo, Machado Joao Carlos Measurement . 2015,第Null期

机译：使用平坦包络和补偿频率调制输入信号的脉冲超声系统的输出带宽增强：理论和实验应用
2. The adaptive interpolation method for proving replica formulas. Applications to the Curie-Weiss and Wigner spike models [J] . Barbier Jean, Macris Nicolas Journal of physics, A. Mathematical and theoretical . 2019,第29期

机译：证明复制公式的自适应插值方法。应用于Curie-Weiss和Wigner Spike Models
3. The design of excitation pulses for spin systems using optimal control theory:With application to NMR spectroscopy [J] . Naum I. Gershenzon, David F. Miller, Thomas E. Skinner Optimal Control Applications and Methods . 2009,第5期

机译：基于最优控制理论的自旋系统激发脉冲设计：在核磁共振谱中的应用
4. THEORY AND APPLICATION OF PULSE INTERPOLATION TO PROVER SYSTEMS [C] . David J. Seiler International School of Hydrocarbon Measurement Conference . 2018

机译：脉冲插值对玻璃系统的理论与应用
5. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997

机译：对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
6. Theory of Elastic Systems Vibrating under Transient Impulse with an Application to Earthquake-Proof Buildings [O] . M. Biot 1933

机译：弹性系统在瞬态脉冲作用下的振动理论及其在抗震建筑中的应用
7. A chaotic traveling pulse in discrete dissipative systems (Interfaces, Pulses and Waves in Nonlinear Dissipative Systems : RIMS Project 2000 "Reaction-diffusion systems : theory and applications") [O] . 上山大信, 西浦廉政, 柳田達雄 2001

机译：离散耗散系统中的混沌行进脉冲（非线性耗散系统中的接口，脉冲和波：RIMS Project 2000“反应扩散系统：理论和应用”）
8. Automated Theorem Proving in the Theory of Approximate Reasoning, with Applications to Logic Programming and Expert Systems. [R] . Schwartz, D. G. 1991

机译：近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。

THEORY AND APPLICATION OF PULSE INTERPOLATION TO PROVER SYSTEMS

摘要

著录项

相似文献

相关主题

期刊订阅