检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

光栅边界形状对脉冲高斯光束衍射特性的影响

光学学报 2010年第12期30卷 3378-3385页

作者：胡志娟戴翠霞杜国平上海师范大学数理学院上海200234 上海应用技术学院理学院上海200235

基于三维耦合波理论并利用二维Runge-Kutta数值法,研究了空间域和时间域都为高斯分布的脉冲激光光束经边界形状被截取后的体全息光栅(VHG)的衍射特性,分析了再现过程中入射参考光的偏振态及光栅边界形状的改变对衍射光束在频谱域和时间... 详细信息

基于三维耦合波理论并利用二维Runge-Kutta数值法,研究了空间域和时间域都为高斯分布的脉冲激光光束经边界形状被截取后的体全息光栅(VHG)的衍射特性,分析了再现过程中入射参考光的偏振态及光栅边界形状的改变对衍射光束在频谱域和时间域分布以及衍射效率的影响。计算结果表明,通过对VHG边界形状进行合理的截取,控制读出光束的偏振态,并恰当选择入射光的脉冲宽度,可以改善脉冲衍射光束在频谱域和时间域的分布情况,获得衍射效率更高,光束质量更好的衍射光脉冲。

关键词：光栅与衍射局域体全息光栅耦合波理论脉冲高斯光束

在线全文

学校读者我要写书评

暂无评论

一个命题逻辑的反驳演算系统

哲学研究 2014年第2期 118-125页

作者：杜国平中国社会科学院哲学所

论证过程包括相互联系的两个方面：证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程，反驳是论证主体对所反对的观点进行归谬的过程；证明是求得真知的过程，反驳是揭露谬误的过程；证明所依据的是逻辑有效式，反驳所依据的是... 详细信息

论证过程包括相互联系的两个方面：证明和反驳。证明是论证主体对所赞成的观点进行辩护的过程，反驳是论证主体对所反对的观点进行归谬的过程；证明是求得真知的过程，反驳是揭露谬误的过程；证明所依据的是逻辑有效式，反驳所依据的是逻辑矛盾式。自现代逻辑产生以来，人们发现、

关键词：命题逻辑系统演算论证过程逻辑矛盾现代逻辑证明有效式

在线全文

学校读者我要写书评

暂无评论

知识蕴涵与其他蕴涵的关系

哲学动态 2012年第3期 89-94页

作者：杜国平中国社会科学院哲学研究所北京100732

一不同形式的蕴涵蕴涵关系是自然语言表达中经常使用的一种表达方式，也是人们在进行判断、推理等思维活动时所依据的极为重要的逻辑关系之一。由于所使用的语词是有限的，而需要表达的语义是多样的，这就造成了在不同的语言中或者同一... 详细信息

一不同形式的蕴涵蕴涵关系是自然语言表达中经常使用的一种表达方式，也是人们在进行判断、推理等思维活动时所依据的极为重要的逻辑关系之一。由于所使用的语词是有限的，而需要表达的语义是多样的，这就造成了在不同的语言中或者同一语言的不同语境中，蕴涵关系所表达的语义极为丰富多彩。为了准确描述蕴涵关系的不同表达，在逻辑上出现了对蕴涵关系各种不同的形式刻画。

关键词：蕴涵知识语言表达逻辑关系思维活动形式刻画语义同形

在线全文

学校读者我要写书评

暂无评论

“即使p,也q”句式的逻辑分析

浙江社会科学 2011年第7期 88-93,158页

作者：杜国平中国社会科学院哲学研究所中国逻辑学会中国逻辑学会应用逻辑专业委员会

现代汉语中的"即使p,也q"表达的是什么样的逻辑关系?目前主要有两种观点,一种认为表达的是充分条件假言判断,一种认为表达的是联言判断。本文揭示了三个具体的"即使p,也q"语句的七个逻辑特征,通过比较分析可以看出,这两种观点都不能完... 详细信息

现代汉语中的"即使p,也q"表达的是什么样的逻辑关系?目前主要有两种观点,一种认为表达的是充分条件假言判断,一种认为表达的是联言判断。本文揭示了三个具体的"即使p,也q"语句的七个逻辑特征,通过比较分析可以看出,这两种观点都不能完全解释这些逻辑特征。作者提出了一种新的观点,该观点认为"即使p,也q"是"在通常情况Ω下,即使p,也q"的省略表达,它表达的是推理关系"Ω,p├q",它是相对于"在通常情况Ω下,如果非p,那么q"、"在通常情况Ω下,如果p,那么非q"而表达的,其中"在通常情况Ω下,如果非p,那么q"是它的语用断定;"在通常情况Ω下,如果p,那么非q"是它所反驳的推理关系。这种观点可以完全解释三个具体的"即使p,也q"语句的七个逻辑特征。

关键词： “即使p,也q” 充分条件假言判断联言判断推理关系

基于三轴加速度计的桥涵防碰撞报警装置的设计

在线全文

学校读者我要写书评

暂无评论

传感技术学报 2014年第9期27卷 1178-1182页

作者：高婵杜国平南京理工大学自动化学院南京210094

设计了一种基于三轴加速度计ADXL345的桥涵防碰撞报警装置,它能够及时检测桥涵限高门架的碰撞及倾斜情况,并将碰撞信息发送至远程监控端。将装置安装在限高门架上,一旦碰撞加速度超过系统设定阈值,加速度计产生中断信号,微控制器联网报... 详细信息

设计了一种基于三轴加速度计ADXL345的桥涵防碰撞报警装置,它能够及时检测桥涵限高门架的碰撞及倾斜情况,并将碰撞信息发送至远程监控端。将装置安装在限高门架上,一旦碰撞加速度超过系统设定阈值,加速度计产生中断信号,微控制器联网报警。由于装置安装环境的特殊性,系统必须是一个无源系统。电能依靠锂电池提供,为延长系统的使用周期,采用太阳能充电。为进一步减少系统能耗,对电源模块进行管理。电源模块的设计保证系统能稳定持久地运行。

关键词：三轴加速度计碰撞倾斜无源系统太阳能充电

在线全文

学校读者我要写书评

暂无评论

沈有鼎学术思想研讨会综述

哲学研究 1998年第11期 80-81页

作者：杜国平

在线全文

学校读者我要写书评

暂无评论

知识蕴涵直觉主义逻辑系统

东南大学学报（哲学社会科学版） 2012年第2期14卷 18-22,126页

作者：杜国平中国社会科学院哲学研究所北京100732

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定... 详细信息

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。

关键词：知识蕴涵直觉主义司各脱法则矛盾

在线全文

学校读者我要写书评

暂无评论

一类3值逻辑2元Sheffer函数

华南师范大学学报（社会科学版） 2016年第1期1卷 169-175,192页

作者：杜国平中国社会科学院哲学研究所

3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:... 详细信息

3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:只有333型中的6个不是Sheffer函数,其余48个均为Sheffer函数。在此基础上,可以进一步发现并证明大量的其他类Ci型和类Di型Sheffer函数。

关键词： 3值逻辑 Sheffer函数 S型函数类Ci型Sheffer函数

在线全文

学校读者我要写书评

暂无评论

罗素悖论研究进展

湖北大学学报（哲学社会科学版） 2012年第5期39卷 1-6页

作者：杜国平中国社会科学院哲学研究所北京100732

罗素悖论发现之后,包括罗素本人在内的众多学界精英都投入到了解决悖论的研究之中,产生了众多的解决悖论的方案,这种研究一直持续到21世纪的今天。即使在当下,关于罗素悖论的研究仍然是逻辑学界日久弥新的问题之一。从形式结构上看,罗... 详细信息

罗素悖论发现之后,包括罗素本人在内的众多学界精英都投入到了解决悖论的研究之中,产生了众多的解决悖论的方案,这种研究一直持续到21世纪的今天。即使在当下,关于罗素悖论的研究仍然是逻辑学界日久弥新的问题之一。从形式结构上看,罗素悖论涉及到两个关键的因素,即循环和否定。寇里悖论、沈有鼎悖论和等值悖论等给出了集合论悖论的不同形式结构,从而说明,循环和否定都不是构成集合论悖论的必要条件。莫绍揆、郑毓信、杜国平等人的研究结果证明,在保留概括原则和集合论基本定义的前提下,尝试通过修改经典二值逻辑系统、配以其他多值逻辑系统作为推理工具来避免悖论的方案是不可行的。这也恰恰可以说明,导致悖论的原因不在于逻辑系统,问题可能出在概括原则或者集合论的基本定义上。

关键词：罗素悖论寇里悖论沈有鼎悖论等值悖论概括原则