检索结果-维普期刊中文期刊服务平台

计算机科学若干概念的元数学刻划被引量：3: 1; 作者邹姝稚张再跃郭振民《现代电子技术》 2000年第6期37-40,共4页; 简要介绍元数学的产生和发展历史以及她的基本思想 ,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学 ,特别是计算机科学理论的产生与发展所起的重要作用。; 关键词元数学计算机科学概念; 在线阅读下载PDF 职称材料

直接数字频率合成(DDS)技术在ADC系统中的应用被引量：1: 2; 作者朱范德《现代电子技术》 2002年第1期81-83,共3页; 从介绍 DDS的原理出发 ,将 DDS与 PL L做一些比较 ,分析了直接频率合成技术和传统频率合成技术之间的不同 ,提出了一个用直接频率合成技术的方法来提高 DAC系统中时钟准确性。; 关键词直接数字频率合成 DDS ADC系统模数转换 AD9850 工作原理; 在线阅读下载PDF 职称材料

Rosser公式对偶形的存在及推导: 3; 作者邹姝稚唐立中《河海大学学报（自然科学版）》 CAS CSCD 2000年第3期99-102,共4页; G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与... 展开更多; 关键词数理逻辑元数学相容性 Rosser公式对偶形; 在线阅读下载PDF 职称材料

对Wirth一个不变式的修正: 4; 作者邹姝稚《河海大学学报（自然科学版）》 CAS CSCD 2000年第6期111-114,共4页; Wirth在《算法 +数据结构 =程序》一书中关于“对半检索”程序中给出了一个不变式 ,但该不变式是不完善的 .本文对此予以了修正 ,并通过一系列定理及其证明进行了完整的论证 .在论证过程中 ,也揭示出程序作为一种对象 ,其整体的一些性... 展开更多; 关键词对半检索不变式程序正确性《算法+数据结构=程序》; 在线阅读下载PDF 职称材料

题名计算机科学若干概念的元数学刻划被引量：3: 1; 作者邹姝稚张再跃郭振民; 机构扬州大学工学院计算机科学与工程系; 出处《现代电子技术》 2000年第6期37-40,共4页; 文摘简要介绍元数学的产生和发展历史以及她的基本思想 ,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学 ,特别是计算机科学理论的产生与发展所起的重要作用。; 关键词元数学计算机科学概念; Keywords meta-mathematics, computer science theory; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名直接数字频率合成(DDS)技术在ADC系统中的应用被引量：1: 2; 作者朱范德; 机构扬州大学工学院计算机科学与工程系; 出处《现代电子技术》 2002年第1期81-83,共3页; 文摘从介绍 DDS的原理出发 ,将 DDS与 PL L做一些比较 ,分析了直接频率合成技术和传统频率合成技术之间的不同 ,提出了一个用直接频率合成技术的方法来提高 DAC系统中时钟准确性。; 关键词直接数字频率合成 DDS ADC系统模数转换 AD9850 工作原理; Keywords direct digital frequency synthesis, A/D transformation, AD9850; 分类号 TN74 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名Rosser公式对偶形的存在及推导: 3; 作者邹姝稚唐立中; 机构扬州大学工学院计算机科学与工程系东南大学计算机科学与工程系; 出处《河海大学学报（自然科学版）》 CAS CSCD 2000年第3期99-102,共4页; 文摘 G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与证明中所疏漏的信息 ,推导出了Rosser公式的对偶形式 ,并给出了与此相关的定理 .通过这一研究将深化人们对数学系统相容性、完备性的认识 .; 关键词数理逻辑元数学相容性 Rosser公式对偶形; Keywords mathematical logic metamathematics consistency completeness; 分类号 O141.2 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名对Wirth一个不变式的修正: 4; 作者邹姝稚; 机构扬州大学工学院计算机科学与工程系; 出处《河海大学学报（自然科学版）》 CAS CSCD 2000年第6期111-114,共4页; 文摘 Wirth在《算法 +数据结构 =程序》一书中关于“对半检索”程序中给出了一个不变式 ,但该不变式是不完善的 .本文对此予以了修正 ,并通过一系列定理及其证明进行了完整的论证 .在论证过程中 ,也揭示出程序作为一种对象 ,其整体的一些性质 .程序的这些特性 ,在一般测试时未必能被认识 .因而程序中的“不变式”及对“不变式”的论证。; 关键词对半检索不变式程序正确性《算法+数据结构=程序》; Keywords binary research invariant program correctness; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料