期刊文献+
共找到79篇文章
< 1 2 4 >
每页显示 20 50 100
构造自然数算术系统的一种新方法
1
作者 唐善刚 《数学理论与应用》 2008年第4期40-44,共5页
用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本... 用公理化方法来定义非空集上的二元关系<,使得<与该集合构成全序集,在全序集中给出最小元素原理的定义,再构造一个含有最小元素原理的适当公理系统来重新给出自然数的公理化定义,然后从构造的自然数公理系统中严格推导出一些基本命题,最后根据这些基本命题来完成对自然数算术系统的精确刻画,从而得到一种具体构造自然算术系统的新方法。 展开更多
关键词 自然数 最小元素原理 后继 前导 算术系统
下载PDF
阈算术代数系统及多值电流型CMOS电路设计 被引量:5
2
作者 姚茂群 张官志 施锦河 《电子与信息学报》 EI CSCD 北大核心 2012年第7期1773-1778,共6页
该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了... 该文根据电流信号易于实现算术运算的特点,定义了阈算术运算及非负运算,建立了一个适合于电流型电路设计的阈算术代数系统,并在阈算术代数系统中定义和图为阈算术函数的图形表示。在此基础上,通过三值电流型CMOS电路的设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型CMOS电路设计方法。采用TSMC 0.18μm CMOS工艺参数的HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能。阈算术代数系统的提出及和图的运用为电流型电路设计提供了一种新的简单有效的方法。 展开更多
关键词 电流型CMOS电路 算术代数系统 算术函数 和图 多值逻辑
下载PDF
阈算术代数系统及电流型CMOS电路设计 被引量:2
3
作者 张官志 姚茂群 +1 位作者 施锦河 周旋 《浙江大学学报(理学版)》 CAS CSCD 2013年第1期51-55,共5页
根据电流信号易于实现算术运算的特点,定义了阈算术运算、非负运算和阈算术函数,提出了和图为阈算术函数的图形表示,从而建立了阈算术代数系统.并通过具体的电流型CMOS电路的设计实例,阐述了算术意义明确的电流型电路设计方法及基于和... 根据电流信号易于实现算术运算的特点,定义了阈算术运算、非负运算和阈算术函数,提出了和图为阈算术函数的图形表示,从而建立了阈算术代数系统.并通过具体的电流型CMOS电路的设计实例,阐述了算术意义明确的电流型电路设计方法及基于和图的电流型电路设计方法,实现了阈算术代数在二值电流型CMOS电路中的应用.计算机模拟结果表明,所设计的电路具有正确的逻辑.提出的阈算术代数系统为电流型电路的设计提供了一种新的简单有效的方法. 展开更多
关键词 算术代数系统 和图 电流型CMOS
下载PDF
基于阈算术代数系统的ECL触发器设计 被引量:2
4
作者 姚茂群 张立彬 《浙江大学学报(理学版)》 CAS CSCD 2014年第6期664-669,共6页
针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足,在分析ECL电路特点和阈算术代数系统的基础上,设计出一种ECL算术运算单元电路,进而提出了基于阈算术代数系统的ECL触发器的设计方法,具体设计了ECL二值主从型D触发器、ECL三值... 针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足,在分析ECL电路特点和阈算术代数系统的基础上,设计出一种ECL算术运算单元电路,进而提出了基于阈算术代数系统的ECL触发器的设计方法,具体设计了ECL二值主从型D触发器、ECL三值D锁存器以及ECL三值T触发器置数单元.采用TSMC 0.18μm工艺参数对所设计的电路进行HSPICE模拟,结果显示,所设计的电路具有正确的逻辑功能和良好的瞬态特性,验证了本方法的正确性.与以往的ECL触发器电路相比,本方法设计的ECL触发器电路结构有所简化,运用和图方法,使得设计更加简单、直观有效.特别是在较复杂电路设计时,本方法更显优势,电路结构更为简单,所用晶体管数量更少. 展开更多
关键词 算术代数系统 和图 ECL电路 触发器
下载PDF
基于阈算术代数系统的电流型BiCMOS多值加法器设计 被引量:3
5
作者 姚茂群 周传鑫 《杭州师范大学学报(自然科学版)》 CAS 2018年第5期549-554,共6页
通过分析电流型BiCMOS电路特点,并以和图为阈算术函数的图形表示,设计出基于阈算术代数系统的电流型BiCMOS多值加法器.通过设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型BiCMOS多值加法器设计方法.HSPICE模拟结果表明,所... 通过分析电流型BiCMOS电路特点,并以和图为阈算术函数的图形表示,设计出基于阈算术代数系统的电流型BiCMOS多值加法器.通过设计实例,阐述了运用和图将逻辑函数转化为阈算术函数的电流型BiCMOS多值加法器设计方法.HSPICE模拟结果表明,所设计的电路具有正确的逻辑功能和良好的瞬态特性.该电路设计不仅使得阈算术代数系统设计的研究得到进一步的完善,而且使得多值加法器的设计更加简单、直观有效,在性能上也得到优化. 展开更多
关键词 算术代数系统 和图 多值逻辑 加法器
下载PDF
基于定长操作数的算术膜计算系统 被引量:1
6
作者 王艳霞 郭平 +1 位作者 陈海珠 刘慧君 《上海交通大学学报》 EI CAS CSCD 北大核心 2016年第7期1132-1138,共7页
将膜系统看作8位处理器,利用十进制位置编码的原码、反码及补码的概念和计算方法,设计了算术膜计算(P)系统,实现了加(减)、乘、除4种运算.由于系统中操作对象数量减少,该算术P系统更容易实现大数的运算.而且,设计的算术P系统充分利用膜... 将膜系统看作8位处理器,利用十进制位置编码的原码、反码及补码的概念和计算方法,设计了算术膜计算(P)系统,实现了加(减)、乘、除4种运算.由于系统中操作对象数量减少,该算术P系统更容易实现大数的运算.而且,设计的算术P系统充分利用膜系统并行运算的特征,具有多项式时间复杂度. 展开更多
关键词 算术运算 类细胞膜计算(P)系统 算术膜计算(P)系统 补码运算 位置编码
下载PDF
挑战与策略:义务教育信息科技算法教学实施众人谈 被引量:1
7
作者 王荣良 魏雄鹰 +1 位作者 梁祥 鲍通 《中国信息技术教育》 2023年第5期12-17,共6页
《中国信息技术教育》:如何正确认识算法在义务教育信息科技内容体系中的地位?王荣良:算法在计算机科学学科中占据着重要的地位。20世纪初,奥地利数学家哥德尔发表了不完备性定理的论文,其主要观点是,在任何一个包括传统意义的算术系统... 《中国信息技术教育》:如何正确认识算法在义务教育信息科技内容体系中的地位?王荣良:算法在计算机科学学科中占据着重要的地位。20世纪初,奥地利数学家哥德尔发表了不完备性定理的论文,其主要观点是,在任何一个包括传统意义的算术系统的数学理论内,总有一些命题的真伪无法通过算法的手段来确定。该论文证伪了希尔伯特关于“数学是可判定的”猜想,同时开启了有关算法能力的研究。 展开更多
关键词 义务教育 计算机科学 信息技术教育 算法教学 希尔伯特 哥德尔 算术系统 挑战与策略
下载PDF
有理数域基于膜计算的算术运算设计与实现
8
作者 晏勇 高晓琴 《计算机测量与控制》 北大核心 2014年第6期1973-1976,共4页
为了生物计算机的实现,算术运算是完成所有计算模型的最基本运算;到目前为止,对膜系统中算术运算的研究只是处于整数域内,还没有实现有理数域内的算术运算;为实现有理数域的乘除法运算,基于生物类细胞模型,介绍了膜计算的基本原理和特性... 为了生物计算机的实现,算术运算是完成所有计算模型的最基本运算;到目前为止,对膜系统中算术运算的研究只是处于整数域内,还没有实现有理数域内的算术运算;为实现有理数域的乘除法运算,基于生物类细胞模型,介绍了膜计算的基本原理和特性,然后构造基于规则优先级的算术P系统来实现有理数域内的乘法和除法,并举出相应的例子进行详细的说明以及实验仿真;实验仿真结果表明,提出的构造分数P系统来实现有理数域内的乘除法的思想和设计的规则是正确的,能够得到预期目标。 展开更多
关键词 算术运算 计算模型 系统 算术P系统 规则优先级
下载PDF
基于电流型CMOS的n变量函数分解新算法及电路设计
9
作者 姚茂群 邱思越 +2 位作者 孙曦 李聪辉 张慧熙 《杭州师范大学学报(自然科学版)》 CAS 2023年第6期649-657,共9页
电流型电路具有功耗低、速度快的特点,是当今集成电路研究的一个热点.文章基于阈算术代数系统,改进了非相交分解算法;设计了电流型互补金属氧化物半导体(complementary metal oxide semiconductor, CMOS)的异或门电路,并利用改进后的新... 电流型电路具有功耗低、速度快的特点,是当今集成电路研究的一个热点.文章基于阈算术代数系统,改进了非相交分解算法;设计了电流型互补金属氧化物半导体(complementary metal oxide semiconductor, CMOS)的异或门电路,并利用改进后的新算法,将n变量函数分解成3变量函数,实现了任意n变量函数电路.模拟测试证明所设计的电路结构简单,且具有正确的逻辑功能. 展开更多
关键词 电流型 CMOS 异或门 非相交分解算法 算术代数系统
下载PDF
论希尔伯特的元数学纲领及其哲学意义 被引量:1
10
作者 张家龙 《自然辩证法研究》 CSSCI 北大核心 1991年第7期22-28,共7页
希尔伯特(D.Hilbert,1862~1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲领作出全面的、历史的评述,并根据马克思主义哲学观点对它的... 希尔伯特(D.Hilbert,1862~1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲领作出全面的、历史的评述,并根据马克思主义哲学观点对它的哲学意义作出初步的概括。 展开更多
关键词 证明论 实无穷 数学理论 希尔伯特 元数学 哲学意义 哥德尔定理 潜无穷 算术系统 布劳维尔 数学符号 不完全性定理
下载PDF
电流型CMOS脉冲D触发器设计 被引量:9
11
作者 姚茂群 张立彬 耿亮 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2278-2282,共5页
该文根据脉冲触发器的设计要求,结合阈算术代数系统,提出一种电流型CMOS脉冲D触发器的通用结构,用于二值及多值电流型CMOS脉冲触发器的设计,并可方便地应用于单边沿和双边沿触发。在此结构的基础上设计了电流型CMOS二值、三值以及四值脉... 该文根据脉冲触发器的设计要求,结合阈算术代数系统,提出一种电流型CMOS脉冲D触发器的通用结构,用于二值及多值电流型CMOS脉冲触发器的设计,并可方便地应用于单边沿和双边沿触发。在此结构的基础上设计了电流型CMOS二值、三值以及四值脉冲D触发器。采用TSMC 180 nm CMOS工艺参数对所设计的电路进行HSPICE模拟后表明所设计的电路具有正确的逻辑功能和良好的瞬态特性,且较以往文献提出的电流型D触发器,优化了触发器的建立时间和保持时间,二值和四值触发器最差最小D-Q延时比相关文献的主从触发器降低了59.67%和54.99%,比相关文献的边沿触发器降低了4.62%以上,所用晶体管数也相对减少,具有更简单的结构以及更高的电路性能。 展开更多
关键词 集成电路 通用结构 电流型CMOS电路 脉冲D触发器 算术代数系统 和图
下载PDF
基于电流型CMOS电路的新型数据选择器 被引量:2
12
作者 姚茂群 孙曦 周旋 《杭州师范大学学报(自然科学版)》 CAS 2020年第1期98-104,共7页
基于阈算术代数系统的CMOS电路设计技术和方法,根据任意二值三变量函数的最小项规范展开表示,通过和图分解,分别设计实现了8个最小项表达式,进一步组合8个子电路,提出一种新型电流型CMOS数据选择器.Hspice模拟表明该数据选择器具有正确... 基于阈算术代数系统的CMOS电路设计技术和方法,根据任意二值三变量函数的最小项规范展开表示,通过和图分解,分别设计实现了8个最小项表达式,进一步组合8个子电路,提出一种新型电流型CMOS数据选择器.Hspice模拟表明该数据选择器具有正确的逻辑功能和良好的瞬态特性,且功耗低、速度快. 展开更多
关键词 算术代数系统 CMOS电路 数据选择器 电流型
下载PDF
论数学悖论的思维特色 被引量:2
13
作者 王秀芳 郝素娥 《太原师范学院学报(社会科学版)》 1993年第2期37-41,共5页
本文只讨论数学悖论(也即逻辑悖论),而不讨论语义学悖论。 1902年,罗素(Russell·B·)揭示出集合论的一个悖论,这直接触及数学大厦的基础,它使哲学界,逻辑学界和数学界震惊,人们开始对悖论作理性的研究。
关键词 数学悖论 辩证逻辑 思维特色 形式逻辑 数学发展 完备性定理 哥德尔 无穷小量 算术系统 思维过程
下载PDF
浅论哥德尔理论与思维科学
14
作者 郭润玺 《呼兰师专学报》 1994年第3期50-52,共3页
本世纪最伟大的数学家之一,奥地利的哥德尔,1931年在《论“数学原理”及有关系统中的不可判定命题》一文中,首次提出并阐述了“哥德尔不完全定理”.以它为中心的哥德尔理论,与逻辑、数学、语言和思维乃至遗传和艺术都有着密切的联系.哥... 本世纪最伟大的数学家之一,奥地利的哥德尔,1931年在《论“数学原理”及有关系统中的不可判定命题》一文中,首次提出并阐述了“哥德尔不完全定理”.以它为中心的哥德尔理论,与逻辑、数学、语言和思维乃至遗传和艺术都有着密切的联系.哥德尔理论的严格数学表达和论证,确属多数人难以问津的,但经过努力,了解它的基本方法和思维逻辑是可以办到的,而且是现代有文化的人所应了解的. 展开更多
关键词 哥德尔定理 完全性定理 形式系统 逻辑思维 人工智能 思维科学 思维过程 算术系统 可枚举集 形式语言
下载PDF
算术半格的信息系统表示
15
作者 张清霞 李庆国 《模糊系统与数学》 北大核心 2020年第1期163-170,共8页
本文给出了算术信息系统的概念,证明了算术信息系统是算术半格的表示。基于算术信息系统之间的逼近映射,我们得到了算术信息系统范畴和算术半格范畴之间的范畴等价。
关键词 算术半格 算术信息系统 范畴等价
原文传递
Pinch Point Calculations and Its Implications on Robust Distillation Design 被引量:1
16
作者 Daniel A. Beneke Seon B. Kim Andreas A. Linninger 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2011年第6期911-925,共15页
Rising energy costs and growing environmental awareness motivate a critical revision of the design of distillation units. Systematic design techniques, such as the rectification body, column profile map, and temperatu... Rising energy costs and growing environmental awareness motivate a critical revision of the design of distillation units. Systematic design techniques, such as the rectification body, column profile map, and temperature collocation methods, require exact knowledge of all pinch points in a particular system, because these stationary points delineate the possible composition trajectories realizable in separation columns. This paper demonstrates novel methods for rigorously determining all pinch points for the constant relative volatility, ideal and non-ideal systems. Constant relative volatility and ideal solution systems are transformed into one-dimensional polynomial and nonlinear functions, regardless of the number of the components. A deflation method is proposed to locate all zeros in ideal and non-ideal zeotropic problems. For more challenging non-ideal problems, a novel hybrid sequential niche algorithm is used to solve hard azeotropic problems successfully. Finally, the design implications of these pinch point locations are investigated to show how new separation configurations can be devised. Methodically the paper points out the use of rigorous pinch point computations in conjunction with continuous composition profiles for robust distillation design. 展开更多
关键词 pinch point column profile map phase equilibrium model temperature collocation
下载PDF
A Greedy Algorithm for Task Offloading in Mobile Edge Computing System 被引量:32
17
作者 Feng Wei Sixuan Chen Weixia Zou 《China Communications》 SCIE CSCD 2018年第11期149-157,共9页
Mobile edge computing (MEC) is a novel technique that can reduce mobiles' com- putational burden by tasks offioading, which emerges as a promising paradigm to provide computing capabilities in close proximity to mo... Mobile edge computing (MEC) is a novel technique that can reduce mobiles' com- putational burden by tasks offioading, which emerges as a promising paradigm to provide computing capabilities in close proximity to mobile users. In this paper, we will study the scenario where multiple mobiles upload tasks to a MEC server in a sing cell, and allocating the limited server resources and wireless chan- nels between mobiles becomes a challenge. We formulate the optimization problem for the energy saved on mobiles with the tasks being dividable, and utilize a greedy choice to solve the problem. A Select Maximum Saved Energy First (SMSEF) algorithm is proposed to realize the solving process. We examined the saved energy at different number of nodes and channels, and the results show that the proposed scheme can effectively help mobiles to save energy in the MEC system. 展开更多
关键词 mobile edge computing task off- loading greedy choice energy resource allo- cation
下载PDF
An improved computation scheme of strapdown inertial navigation system using rotation technique 被引量:8
18
作者 张伦东 练军想 +1 位作者 吴美平 胡小平 《Journal of Central South University》 SCIE EI CAS 2012年第5期1258-1266,共9页
To improve the accuracy of strapdown inertial navigation system(SINS) for long term applications,the rotation technique is employed to modulate the errors of the inertial sensors into periodically varied signals,and,a... To improve the accuracy of strapdown inertial navigation system(SINS) for long term applications,the rotation technique is employed to modulate the errors of the inertial sensors into periodically varied signals,and,as a result,to suppress the divergence of SINS errors.However,the errors of rotation platform will be introduced into SINS and might affect the final navigation accuracy.Considering the disadvantages of the conventional navigation computation scheme,an improved computation scheme of the SINS using rotation technique is proposed which can reduce the effects of the rotation platform errors.And,the error characteristics of the SINS with this navigation computation scheme are analyzed.Theoretical analysis,simulations and real test results show that the proposed navigation computation scheme outperforms the conventional navigation computation scheme,meanwhile reduces the requirement to the measurement accuracy of rotation angles. 展开更多
关键词 strapdown inertial navigation system rotation technique navigation computation scheme error characteristic
下载PDF
A Fault Detection and Isolation Scheme Based on Parity Space Method for Discrete Time-delay System 被引量:1
19
作者 王红雨 田作华 +1 位作者 施颂椒 翁正新 《Journal of Donghua University(English Edition)》 EI CAS 2008年第3期304-307,共4页
A Fault detection and isolation(FDI)scheme for discrete time-delay system is proposed in this paper,which can not only detect but also isolate the faults.A time delay operator is introduced to resolve the problem bro... A Fault detection and isolation(FDI)scheme for discrete time-delay system is proposed in this paper,which can not only detect but also isolate the faults.A time delay operator is introduced to resolve the problem brought by the time-delay system.The design and computation for the FDI system is carried by computer math tool Maple,which can easily deal with the symbolic computation.Residuals in the form of parity space can be deduced from the recursion of the system equations.Further more,a generalized residual set is created using the freedom of the parity space redundancy.Thus,both fault detection and fault isolation have been accomplished.The proposed method has been verified by a numerical example. 展开更多
关键词 fault detection and isolation parity space time-delay system
下载PDF
A Co-Point Mapping-Based Approach to Drivable Area Detection for Self-Driving Cars 被引量:5
20
作者 Ziyi Liu Siyu Yu Nanning Zheng 《Engineering》 2018年第4期479-490,共12页
The randomness and complexity of urban traffic scenes make it a difficult task for self-driving cars to detect drivable areas, Inspired by human driving behaviors, we propose a novel method of drivable area detection ... The randomness and complexity of urban traffic scenes make it a difficult task for self-driving cars to detect drivable areas, Inspired by human driving behaviors, we propose a novel method of drivable area detection for self-driving cars based on fusing pixel information from a monocular camera with spatial information from a light detection and ranging (LIDAR) scanner, Similar to the bijection of collineation, a new concept called co-point mapping, which is a bijection that maps points from the LIDAR scanner to points on the edge of the image segmentation, is introduced in the proposed method, Our method posi- tions candidate drivable areas through self-learning models based on the initial drivable areas that are obtained by fusing obstacle information with superpixels, In addition, a fusion of four features is applied in order to achieve a more robust performance, In particular, a feature called drivable degree (DD) is pro- posed to characterize the drivable degree of the LIDAR points, After the initial drivable area is characterized by the features obtained through self-learning, a Bayesian framework is utilized to calculate the final probability map of the drivable area, Our approach introduces no common hypothesis and requires no training steps; yet it yields a state-of-art performance when tested on the ROAD-KITTI benchmark, Experimental results demonstrate that the proposed method is a general and efficient approach for detecting drivable area, 展开更多
关键词 Drivable area SELF-DRIVING Data fusion Co-point mapping
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部