构造自然数算术系统的一种新方法

用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本命题,最后根据这些基本命题来完成对自然数算术系统的精确刻画,从而得到一种具体构造自然算术系统的新方法。

阈算术代数系统及多值电流型CMOS电路设计

该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型CMOS电路设计方法。采用TSMC 0.18μm CMOS工艺参数的HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能。阈算术代数系统的提出及和图的运用为电流型电路设计提供了一种新的简单有效的方法。

阈算术代数系统及电流型CMOS电路设计

根据电流信号易于实现算术运算的特点,定义了阈算术运算、非负运算和阈算术函数,提出了和图为阈算术函数的图形表示,从而建立了阈算术代数系统.并通过具体的电流型CMOS电路的设计实例,阐述了算术意义明确的电流型电路设计方法及基于和图的电流型电路设计方法,实现了阈算术代数在二值电流型CMOS电路中的应用.计算机模拟结果表明,所设计的电路具有正确的逻辑.提出的阈算术代数系统为电流型电路的设计提供了一种新的简单有效的方法.

基于阈算术代数系统的ECL触发器设计

针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足,在分析ECL电路特点和阈算术代数系统的基础上,设计出一种ECL算术运算单元电路,进而提出了基于阈算术代数系统的ECL触发器的设计方法,具体设计了ECL二值主从型D触发器、ECL三值D锁存器以及ECL三值T触发器置数单元.采用TSMC 0.18μm工艺参数对所设计的电路进行HSPICE模拟,结果显示,所设计的电路具有正确的逻辑功能和良好的瞬态特性,验证了本方法的正确性.与以往的ECL触发器电路相比,本方法设计的ECL触发器电路结构有所简化,运用和图方法,使得设计更加简单、直观有效.特别是在较复杂电路设计时,本方法更显优势,电路结构更为简单,所用晶体管数量更少.

基于阈算术代数系统的电流型BiCMOS多值加法器设计

通过分析电流型BiCMOS电路特点,并以和图为阈算术函数的图形表示,设计出基于阈算术代数系统的电流型BiCMOS多值加法器.通过设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型BiCMOS多值加法器设计方法.HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能和良好的瞬态特性.该电路设计不仅使得阈算术代数系统设计的研究得到进一步的完善,而且使得多值加法器的设计更加简单、直观有效,在性能上也得到优化.

基于定长操作数的算术膜计算系统

将膜系统看作8位处理器,利用十进制位置编码的原码、反码及补码的概念和计算方法,设计了算术膜计算(P)系统,实现了加(减)、乘、除4种运算.由于系统中操作对象数量减少,该算术P系统更容易实现大数的运算.而且,设计的算术P系统充分利用膜系统并行运算的特征,具有多项式时间复杂度.

挑战与策略:义务教育信息科技算法教学实施众人谈

《中国信息技术教育》:如何正确认识算法在义务教育信息科技内容体系中的地位?王荣良:算法在计算机科学学科中占据着重要的地位。20世纪初,奥地利数学家哥德尔发表了不完备性定理的论文,其主要观点是,在任何一个包括传统意义的算术系统的数学理论内,总有一些命题的真伪无法通过算法的手段来确定。该论文证伪了希尔伯特关于“数学是可判定的”猜想,同时开启了有关算法能力的研究。

有理数域基于膜计算的算术运算设计与实现

为了生物计算机的实现,算术运算是完成所有计算模型的最基本运算;到目前为止,对膜系统中算术运算的研究只是处于整数域内,还没有实现有理数域内的算术运算;为实现有理数域的乘除法运算,基于生物类细胞模型,介绍了膜计算的基本原理和特性,然后构造基于规则优先级的算术P系统来实现有理数域内的乘法和除法,并举出相应的例子进行详细的说明以及实验仿真;实验仿真结果表明,提出的构造分数P系统来实现有理数域内的乘除法的思想和设计的规则是正确的,能够得到预期目标。

基于电流型CMOS的n变量函数分解新算法及电路设计

电流型电路具有功耗低、速度快的特点,是当今集成电路研究的一个热点.文章基于阈算术代数系统,改进了非相交分解算法;设计了电流型互补金属氧化物半导体(complementary metal oxide semiconductor, CMOS)的异或门电路,并利用改进后的新算法,将n变量函数分解成3变量函数,实现了任意n变量函数电路.模拟测试证明所设计的电路结构简单,且具有正确的逻辑功能.

论希尔伯特的元数学纲领及其哲学意义

希尔伯特(D.Hilbert,1862～1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲领作出全面的、历史的评述,并根据马克思主义哲学观点对它的哲学意义作出初步的概括。

电流型CMOS脉冲D触发器设计

该文根据脉冲触发器的设计要求,结合阈算术代数系统,提出一种电流型CMOS脉冲D触发器的通用结构,用于二值及多值电流型CMOS脉冲触发器的设计,并可方便地应用于单边沿和双边沿触发。在此结构的基础上设计了电流型CMOS二值、三值以及四值脉冲D触发器。采用TSMC 180 nm CMOS工艺参数对所设计的电路进行HSPICE模拟后表明所设计的电路具有正确的逻辑功能和良好的瞬态特性,且较以往文献提出的电流型D触发器,优化了触发器的建立时间和保持时间,二值和四值触发器最差最小D-Q延时比相关文献的主从触发器降低了59.67%和54.99%,比相关文献的边沿触发器降低了4.62%以上,所用晶体管数也相对减少,具有更简单的结构以及更高的电路性能。

基于电流型CMOS电路的新型数据选择器

基于阈算术代数系统的CMOS电路设计技术和方法,根据任意二值三变量函数的最小项规范展开表示,通过和图分解,分别设计实现了8个最小项表达式,进一步组合8个子电路,提出一种新型电流型CMOS数据选择器.Hspice模拟表明该数据选择器具有正确的逻辑功能和良好的瞬态特性,且功耗低、速度快.

论数学悖论的思维特色

本文只讨论数学悖论(也即逻辑悖论),而不讨论语义学悖论。 1902年,罗素(Russell·B·)揭示出集合论的一个悖论,这直接触及数学大厦的基础,它使哲学界,逻辑学界和数学界震惊,人们开始对悖论作理性的研究。

浅论哥德尔理论与思维科学

本世纪最伟大的数学家之一,奥地利的哥德尔,1931年在《论“数学原理”及有关系统中的不可判定命题》一文中,首次提出并阐述了“哥德尔不完全定理”.以它为中心的哥德尔理论,与逻辑、数学、语言和思维乃至遗传和艺术都有着密切的联系.哥德尔理论的严格数学表达和论证,确属多数人难以问津的,但经过努力,了解它的基本方法和思维逻辑是可以办到的,而且是现代有文化的人所应了解的.

算术半格的信息系统表示

本文给出了算术信息系统的概念,证明了算术信息系统是算术半格的表示。基于算术信息系统之间的逼近映射,我们得到了算术信息系统范畴和算术半格范畴之间的范畴等价。

计算机辅助技术

Y2002-63121-730 0221326剩余算术系统转换器的结构探测和自动化的计算机辅助设计工具=A CAD tool for architecture level explo-ration and automatic generation of RNS conveners[会,英]/Soudris,D.J.& Dasigenks,M.M.//The IEEEInternational Symposium on Circuits and Systems Vol.4of 5.—730～733(HE)Y2002-63180-313 0221327应用螺旋 CT 图像的肺癌计算机辅助诊断系统临床试验结果=The results in the clinical trial of CAD systemfor lung cancer using helical CT images[会,英]/Kubota,K.& Kubo,M.//Proceedings of 2001 InternationalConference on Image Processing Vol.1 of 3.—313～316(HE)