Error analysis of digital filters using HOL theorem proving

机译：使用HOL定理证明的数字滤波器误差分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Akbarpour Behzad; Tahar Sofiène;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Error analysis of digital filters using HOL theorem proving [J] . Behzad Akbarpour, Sofiène Tahar Journal of Applied Logic . 2007,第4期

机译：使用HOL定理证明的数字滤波器误差分析
2. SMT solvers: new oracles for the HOL theorem prover [J] . Tjark Weber International Journal on Software Tools for Technology Transfer . 2011,第5期

机译：SMT求解器：HOL定理证明者的新预言
3. Formalization of the Yee algorithm using HOL theorem prover [J] . G. Orhanou, S. El Hajji, Y. Bentaleb Contemporary Engineering Sciences . 2010,第1a4期

机译：使用HOL定理证明器对Yee算法进行形式化
4. Error Analysis of Digital Filters Using Theorem Proving [C] . Behzad Akbarpour, Sofiene Tahar International Conference on Theorem Proving in Higher Order Logics(TPHOLs 2004); 20040914-17; Park City,UT(US) . 2004

机译：使用定理证明的数字滤波器误差分析
5. A modal logic for role-based access control within the HOL theorem prover. [D] . Kosiyatrakul, Thumrongsak. 2010

机译：HOL定理证明器中基于角色的访问控制的模态逻辑。
6. Adjustment of Measurements with Multiplicative Errors: Error Analysis Estimates of the Variance of Unit Weight and Effect on Volume Estimation from LiDAR-Type Digital Elevation Models [O] . Yun Shi, Peiliang Xu, Junhuan Peng, 2014

机译：调整具有乘性误差的测量：误差分析单位重量方差的估计以及LiDAR型数字高程模型对体积估计的影响
7. Error analysis of digital filters using HOL theorem proving [O] . Akbarpour Behzad, Tahar Sofiène 2007

机译：使用HOL定理证明的数字滤波器误差分析

Error analysis of digital filters using HOL theorem proving

著录项

引文网络

相似文献

相关主题

期刊订阅