浅谈“对等”概念的产生发展在实变函数教学中的作用

杨志涛; 林浦任, 课程教育研究 发表时间:2019-06-21 期刊

本文介绍了"对等"概念产生的历史过程,然后结合作者从事实变函数教学经验,阐述了把数学史融入实变函数教学中的重要作用。


整函数差分算子的唯一性

李倩; 吴小英, 华南师范大学学报(自然科学版) 发表时间:2019-08-08 07:00 期刊

利用复域差分方程的方法,研究差分多项式的唯一性问题,在某一个整函数具有正的亏值假设下,证明了2个不同整函数的差分算子CM分担某值时的唯一性问题,所得结果可以看作微分情形的差分模拟.


假如石油断供,我们有多大底气

中国石油石化 发表时间:2019-06-15 期刊

不是我们不努力!中国的原油资源禀赋及当前油价在中低档徘徊的形势,决定了我国原油产量要有效益、可持续地维持在2亿吨并不是一件易事。战术有穷时,战略来接替。...


深度和弱宽度有穷的传递逻辑的有穷可公理化(英文)

张炎, 逻辑学研究 发表时间:2019-06-18 期刊

这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论。在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L的框架中反链的禁自返点基数都不大于某个自然数n,那么L是有穷可公理化的。对于反面结论,本文证明了对任意n≥3和k≥2,存在深度为n且弱宽度为k的传递逻辑是不可有穷公理化的。...


边疆研究及边疆学学科体系建设的哲思收敛初探

孙勇, 云南师范大学学报(哲学社会科学版) 发表时间:2019-07-15 期刊

...合人类知识体系建构规律的。作为中国边疆研究的学术猜想,应该符合马克思主义哲学对世界的认识论,承认物质运动的统一性,也应该符合科学哲学的一般原理,即认知新旧理论的范式转换是学术进步的门径。其中,经过哲思的范式创新,将研究对象进行无穷指向与有穷集合的筛选之后,通过关键词集群的分析,返还到边疆研究的问题域和原始域问题之中,寻找交叉研究即跨学科研究的跨通,以找到通往可以看到"场域"的门径,经过对场域运动的分析,最终有可能在多学科自洽于边疆研究之下完成"边疆统一场论"。...


一种基于Prolog有限自动机的正则表达式算法研究

李晓欧; 刘军, 电脑编程技巧与维护 发表时间:2019-07-18 期刊

正则表达式用于人工阅读比较容易,但是对于计算机阅读与理解则相对很困难。介绍了Prolog人工智能语言的结构与特性、正则表达式与有限自动机的定义,阐述了它们之间的关系与转换方式,并提出了实现了一种基于Prolog的通过有限自动机匹配正则表达式算法。


编译原理文法类型介绍

王欣, 电子世界 发表时间:2019-07-30 期刊

自1956年,乔姆斯基建立了形式语言的描述,使得形式语言的理论发展得十分迅速。形式语言的理论不仅对计算机科学有着深远的影响,也对编译方法、程序设计语言的设计等方面有着更重大的作用。乔姆斯基将文法分为0型,1型,2型,3型,本文重点介绍这四种文法的分类与判别条件。1文法说明文法G定义为一个四元组(VN,VT,P,S)(肖军模,程序设计语言编译方法:大连理工大学出版社,1991;何炎祥,伍春香,


固定点逻辑和积封闭的关系分析

董英东, 贵州工程应用技术学院学报 发表时间:2019-06-15 期刊

标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的"积封闭"。均衡博弈为无穷博弈,以模态固定点逻辑为其博弈语义,均衡博弈具有历史约束确定的、有利于构建模态固定点逻辑的语义。


布尔悖论的雅布鲁展开式

陈智斌; 熊明, 华南师范大学学报(社会科学版) 发表时间:2019-07-25 期刊

根据库克等人的提法,雅布鲁悖论可看作是说谎者悖论的"展开"。这种展开被证明保持了说谎者的悖论度,从而也保持了它的循环性,并且这种保持对n-卡片悖论及其展开也成立。将这个结论进一步推广到更大的一类悖论——布尔悖论上,利用语句网来表达布尔悖论及其展开可以证明,任何一个布尔悖论与其展开都具有相同的悖论度,还可证明两者依赖了相同的循环性。


涉及导数与差分分担值的唯一性问题

邓炳茂; 曾翠萍; 刘丹; 方明亮, 数学学报(中文版) 发表时间:2019-09-15 期刊

本文研究了有穷级亚纯函数的导数及其差分分担值的唯一性问题,主要证明了以下结论:如果f′与△_cfCM分担a,b,∞,则f′≡△_cf.该结论解决了Qi等人在2018年提出的问题....


涉及CM分担值的常系数指数多项式的唯一性

苏敏; 李玉华; 刚鹏飞, 数学年刊A辑(中文版) 发表时间:2019-08-15 期刊

主要证明了两个非常数的常系数指数多项式,如果在复平面中4个张角严格大于π的每一个角域内都有1个有穷的CM分担值,且这4个分担值是判别的,则它们必然恒等....


亚纯函数多项式与其导函数分担小函数的唯一性

林珊华; 林伟川, 福建师范大学学报(自然科学版) 发表时间:2019-09-16 11:09 期刊

讨论一类亚纯函数多项式与其导函数分担小函数的问题,所得到的定理改进或推广了林伟川、黄斌,雷春林、方明亮,张继龙、杨连中,S.Majumder等人的结果.


非精确谓词逻辑推理

潘文全, 逻辑学研究 发表时间:2019-08-18 期刊

非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来,以形成非精确谓词逻辑?为了让IP概率逻辑能够表达谓词,必须另辟蹊径。通过在状态描述上引入非精确概率,然后把非精确概率扩展到QFSL,进而通过IP推理的自然扩张扩展到SL上。这样就实现了非精确概率同谓词逻辑的结合,得出了非精确概率谓词逻辑推理。换言之,通过把主观主义嫁接在卡尔纳普的


算法不是万能的——从“内涵段子”被关停和抖音的走红说开去

李鸿, 新闻传播 发表时间:2019-06-08 期刊

2018年4月,中国互联网发生了一件具有历史意义的大事,那就是国家广播电视总局发布通知,责令"今日头条"网站永久关停"内涵段子"等低俗视听产品。而与此同时,同为今日头条旗下的短视频app抖音却是发展得风生水起,竟是成也算法败也算法。


关于几类特殊函数方程组亚纯解的存在性

王燕; 陈亦佳, 玉溪师范学院学报 发表时间:2019-05-20 期刊

研究特殊类型的函数方程组亚纯解的存在性,证明了两类特殊的函数方程组不存在非平凡的亚纯解。


具有DP的广义可能性模糊时态CTL模型检测

魏杰林; 袁申; 李永明; 梁常建, 计算机科学与探索 发表时间:2018-08-25 10:41 期刊

为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态计算树逻辑并给出其在广义可能性测度下的语义,得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广义可能性调度下通过模糊矩阵运算讨论了"soon、within、last、nearly"等几类模糊时态连接词的具体计算方法,给出相应的模型检测算法。经验


基于马尔可夫的有限自动机入侵容忍系统模型

罗智勇; 杨旭; 孙广路; 谢志强; 刘嘉辉, 通信学报 发表时间:2019-09-04 16:41 期刊

为保证区域网被入侵时,系统仍然能为合法用户提供正常服务,设计了一种有限自动机入侵容忍模型。该模型在马尔可夫的理论基础上,通过建立状态转移概率矩阵来描述系统提供服务的状态变换关系,将转移状态进行量化求解,发现系统中关键结点。通过对关键结点的维护可以增强系统的容忍能力和提高服务的可靠性。实验对比表明,该模型不但具备很强的入侵容忍能力,在保障系统受到入侵时的完整性也具有明显优势。


莱布尼茨、计算主义与两个哲学难题

李熙, 科学技术哲学研究 发表时间:2019-12-05 期刊

莱布尼茨的单子是无形的自动机,如果把它看作抽象的图灵机,莱布尼茨单子论式的可能世界就是当下计算主义关心的数字宇宙。在这种抽象的"单子"宇宙中,数学的可应用性"谜题"以"不足道"的方式解决,但另一个哲学难题——世界的可知性"谜题"却凸显出来。借助算法信息论的话语,可以精确界定几类"可知的"可能世界,继而可以严格的探讨它们之间的相互关系。至于具体如何认识的问题,所罗门诺夫的通用归纳模型直接体现了方法论自然主义"假设——验证"的试错过程和诸如"简单性"的先验原则,抛开它不可计算


亚纯函数周期性的进一步结果

连桂; 陈俊凡, 福建师范大学学报(自然科学版) 发表时间:2019-11-20 期刊

研究亚纯函数与其位移算子具有CM分担值和截断分担值的周期性问题,所得定理推广了林伟川等人的结果,并且举例说明条件是必要且精确的.


夏代中兴史的史料批判及其《左传》文本的形成

周秦汉, 殷都学刊 发表时间:2019-09-15 期刊

...襄公四年》的史源有三:晋史官所记的魏绛言和戎、有穷兴亡的夏史、辛甲的《虞人之箴》;其编撰者至少有三人:和戎部分的编撰者、谏田部分的编撰者,混合两部的编撰者。不同的编撰者以自己意图改造文本,使文本产生断裂和张力,文本的融贯性在一定程度上受干扰。从《左传·哀公元年》,到《史记·吴太伯世家》,再到《伍子胥列传》,呈现出内容逐渐简略的现象。《左传》重于记事,务求详尽,保留大量信息;《史记》重于立言,裁汰冗余信息,以凸显主旨。《左传·襄公四年》《哀公元年》《离骚》《天问》是夏代中兴史...


相关搜索
 找到 3,324 条结果 
首页上一页123456789下一页
关于iData
iData是第三方交流学术成果的公益互联网项目,旨在促进知识的传播和最新学术科技的共享,所有信息均来自公开、透明的互联网查询网站,iData重新对这些信息进行整合和优化,从而高效地输出有用信息,提高人与知识的连接效率。iData从创建之初便提供免费的学术文献浏览和下载。