首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 406 毫秒
1.
在中介公理集合论系统中重新定义了良集的概念,讨论了它的性质,证明良集完全满足经典满足经典公理集合论系统的全部公理,且其配套的逻辑系统恰为中介的二值子系统FML,说明整个经典数字也能奠基于MS之上,从而最终回答了中介数字与经典数学的包含关系问题。  相似文献   

2.
首先给出了中介逻辑ML的二值子系统F^IML,说明了它与经典二值逻辑的子系统F^I同构。其次,利用中介公理集合论MS的相关理论,构造了MS中的自然数系统,证明了Peano5条公理为MS中的定理。最后指出以此五条性质为公理、并以F^IM为配套逻辑,在MS中可推出自然数的所有性质。  相似文献   

3.
本组系列论文(I)-(Ⅳ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。  相似文献   

4.
无穷观问题的研究(Ⅳ)--自然数系统与无穷公理   总被引:1,自引:1,他引:0  
本组系列论文(I)-(V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限同一框架中的公理集合论系统APAS。  相似文献   

5.
本组系列论文(Ⅰ)~(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS.  相似文献   

6.
本组系列论文(Ⅰ)-(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。  相似文献   

7.
本组系列论文(I)-(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。  相似文献   

8.
本组系列论文(Ⅰ)-(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相五排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集体论系统APAS。  相似文献   

9.
对经典知识表示系统(多系统)进行了扩充,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统F-K,该公理系统除包含“F”外也包含经典模态词“K”。同时,基于滤子对经典Kripke框架及模型进行了扩充,从而给出了“F”的语义,并证明了该语义下F-K的完备性与可靠性。  相似文献   

10.
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。  相似文献   

11.
无穷观问题的研究(I)——历史的回顾与思考   总被引:2,自引:0,他引:2  
本组系列论文(I)~(V)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种无穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS.  相似文献   

12.
AVARIABLEPARAMETERSQUEEZEOILFILMDAMPERWangHuangTaiping(DepartmentofPowerEngineerin,NUAA29YudaoStreet,Nanjing210016,P.R.China)...  相似文献   

13.
详细介绍了国家CIMS示范工程某装载机厂的CIMS工程MFCIMS的总体设计。首先分析了系统瓣功能和信息需求,并结合装载机厂的现有状况、经营目标,确定了MFCIMS分系统的划分原则。分析了系统总体设计应遵循的原则,并对总体体系设计进行了详细阐述。给出了系统总体体结构图、纵向层次结构图、信息集成关系图、IDEF0图及IDEF1X信息功能图,这些构成了MFCIMS总体设计的核心。最后对MFCIMS的关  相似文献   

14.
介绍了用TMS320C25数字信号处理器实现复调制ZoomFFT(ZFFT)频率细化技术,在所举的例子中,用1024复数点选带FFT获得通常8192复数点基带FFT的频率分辨力。实验结果表明,此种频率细化方法特别适用于不能同时处理N点,而又要求N点FFT频率分辨力的频谱分析场合,文中给出了几种提高C25FFT运算速度的方法,使1024复数点FFT的运算时间减少到12.6ms,可供工程应用参考。  相似文献   

15.
中介关系数据库查询语言   总被引:2,自引:1,他引:1  
给出了中介关系数据模型,在此基础上构造了两类不同的中介关系数据库查询语言,中介关系演算和中介关系代数,中介关系演算以中介谓词演算MF为基础,通过引入直值程度词〈对立否定词和模糊否定词~扩充了关系演算的表达能力,同样地,中介关系代数以中介集合论MS为基础,扩充了关系代数的功能,此外,证明了中介关系演算和中介关系代数的语言表达能力上的等价性,中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。  相似文献   

16.
开放型CNC系统模块化设计的研究   总被引:2,自引:0,他引:2  
本文基于模块化设计思想,建立计算机数控(CNC:ComputerNumercalControl)系统软,硬件的标准化模块研制模式及原型系统,借助于计算机众多的最新成果,探讨以通用模块方式柔性组合为开放型CNC系统的实现方法,以寻求计算机集成制造系统(CIMS:ComputerIntegratedManufacturingSystem)中的一项关键技术的途径。  相似文献   

17.
ACONCISEM-METRICLEASTSQUAREFORMULAFORPOLYNOMIALANALOGY¥PanXiaosu(CollengofScience,NUAA29YudaoStreet,Nanjing210016,P.R.China)A...  相似文献   

18.
柔性制造系统(FMS)运行控制软件是保证FMS有条不紊运行并充分发挥其潜在能力和效益的指挥中心,而FMS运行软件的核心是实时调软件。本文讨论了面向对象的方法和专家系统技术在FMS实时高度软件设计中的应用。该设计技术既能发挥面向对象方法的优势,又能突出专家系统的特点,以对象为中心来构造专家系统,本评论人知识获取、表示和推理三方面进行了论述,重点介绍了FMS调度领域专家知识的面向对象表示。  相似文献   

19.
提出一种新的旨在减少FMS(柔性制造系统)中空闲(no-inputs)和阻塞(blocks)的动态再调度规则。FMS实验系统获得的实验结果表明,新规则的生产率(throughput)比传统规则平均提高7%。由FMS调度仿真专家系统获得的仿真结果表明,新规则的生产率比传统规则平均提高6.48%。因而,新的动态再调度规则是非常有效的。  相似文献   

20.
随着科学技术和经济的高速发展,多品种,小批量混合生产方式将成为今后生产方式的主流,本文从当前我国中小型加工装配企业产品生产的一般现状出发,论述了其发展的构想,笔者认为,推广成组技术(GT)建立柔性制造系统(FMS)提高现场管理水平,是逐步走上“企业集成”之路的切入点,逐步建立和利用计算机集成制造系统(CIMS)进一步改善了T,Q,C,S(时间,质量,成本,服务)指标,可实现优势互补,从根本上改变我  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号