期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
函数矩阵理论在HOL4中的形式化 被引量:2
1
作者 刘振科 施智平 +4 位作者 关永 金声震 张杰 叶世伟 李晓娟 《小型微型计算机系统》 CSCD 北大核心 2013年第3期654-658,共5页
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库. 展开更多
关键词 函数矩阵 形式化验证 矩阵微分法 定理证明 HIGHER-ORDER logic4
在线阅读 下载PDF
基于传输电流开关理论的电流型CMOS ADC电路设计 被引量:4
2
作者 周选昌 《电路与系统学报》 CSCD 2000年第2期92-94,共3页
本文利用数字电路设计理论中的传输电流开关理论对A/D转换器的转换过程进行了分析,提出了仅基于该理论的电流型CMOS A/D转换器电路设计。与传统的A/D转换器电路设计比较,它避免了复杂的模拟信号处理部分电路,显著地简化了电路结构。... 本文利用数字电路设计理论中的传输电流开关理论对A/D转换器的转换过程进行了分析,提出了仅基于该理论的电流型CMOS A/D转换器电路设计。与传统的A/D转换器电路设计比较,它避免了复杂的模拟信号处理部分电路,显著地简化了电路结构。结果表明该电路设计具有正确的逻辑功能。 展开更多
关键词 传输电流开关理论 CMOS电路 A/D转换器 电路设计
在线阅读 下载PDF
THE ORTHOGONAL 4-VALUED FUNCTION SERIES
3
作者 钱博森 《Transactions of Tianjin University》 EI CAS 1995年第1期96+93-96,共5页
ased on the 4-valued logic function in orthogonal area, a new series──the orthogonal 4-valued function series──is proposed. Having good performances, the new series is superior to Walsh function and block pulse fu... ased on the 4-valued logic function in orthogonal area, a new series──the orthogonal 4-valued function series──is proposed. Having good performances, the new series is superior to Walsh function and block pulse function in the computation of truncation errors. 展开更多
关键词 orthogonal function SERIES 4-valued logic
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部