浅谈算法思想在高中数学中的应用

苏丽敏, 学周刊 发表时间:2019-04-23 期刊

在科学技术迅猛发展的今天,信息技术和互联网技术被广泛应用于高中数学教学的领域中。无论是信息技术还是互联网技术,从本质上来讲核心思想核心内容都是算法,因此教师可从算法的角度来深入剖析高中数学教学。


坚守大爱30载 只缘深山有穷亲——广州市黄埔区、广州开发区扶贫纪实

谢佚芳; 梁伯钧, 源流 发表时间:2019-03-05 期刊

"增强饮水思源、不忘党恩的意识,弘扬为党分忧、先富帮后富的精神,对于打赢脱贫攻坚战很有意义。"习近平总书记的指示,正是广州市黄埔区、广州开发区30余载扶贫工作的最好印证。2018年,广州黄埔区、广州开发区财税总收入1052亿元,其税收额占了广州的六分之一,成为广州经济发达的地区之一。"黄埔人"笑了,但在笑声中他们没有忘记初心,他们紧记着一个朴素的道


亚纯函数的差分多项式

张然然; 黄志波, 数学年刊A辑(中文版) 发表时间:2019-05-15 期刊

假设函数f(z)是亚纯函数,H(z,f)是关于f(z)的差分多项式,s(z)是关于f(z)的小函数,考察了差分多项式f(z)~nH(z,f)-s(z)的零点分布问题.首先得到了差分多项式f(z)~nH(z,f)-s(z)的零点计数函数和函数f(z)的特征函数以及极点计数函数之间的一些不等式估计,再根据这些不等式,建立了Hayman关于亚纯函数的一个经典结果的差分模拟.


限制零点个数的亚纯函数的正规定则

钱雪雪; 叶亚盛; 贾志晶, 数学年刊A辑(中文版) 发表时间:2019-05-15 期刊

设k,n(≥k+1)是两个正整数,a(≠0),b是两个有穷复数,F为区域D内的一族亚纯函数.如果对于任意的f∈F,f的零点重级大于等于k+1,并且在D内满足f+a[L(f)]n-b至多有n-k-1个判别的零点,那么F在D内正规·这里L(f)=f(k)(z)+a1f(k-1)(z)+…+ak-1f'(z)+akf(z),其中a1(z),a2(z),…,ak(z)是区域D上的全纯函数....


分担四值的亚纯函数的唯一性

蔡奇莉; 林珊华, 泉州师范学院学报 发表时间:2019-04-15 期刊

研究了亚纯函数的四值分担问题.对刘思思与黄斌得到的有穷级整数级的亚纯函数分担3IM+1CM的唯一性定理中的IM分担条件进行减弱,并得到结论:如果一个有穷非整数级与下级的亚纯函数与任意一个亚纯函数分担3个‘IM'值和1个CM值,则它们必相等....


亚纯函数及其微分多项式IM分担小函数

王汉杰; 王新利, 上海理工大学学报 发表时间:2019-04-15 期刊

研究了亚纯函数f及其微分多项式分担小函数的唯一性问题,证明了f和L (f)分担a (z)的2个唯一性定理,改进了已有的一些结论。假设f (z)是非常数的亚纯函数,k为正整数,a (z)(a (z)?0)是亚纯函数。当f-a和L (f)-a分担0 IM,若满足1 0δ(0, f)+8 (k+1)Θ(∞, f)> 8k+17,则f≡L (f).


亚纯函数系数微分方程解的复振荡性质

王腾毅, 井冈山大学学报(自然科学版) 发表时间:2019-05-15 期刊

综合运用Nevanlinna值分布的理论,Wiman-Valiron的理论及其它复分析中的常用方法研究了复域上高阶微分方程解带有小函数时复振荡的性质,该文的结果将二阶情形推广到高阶情形。


基于完备剩余格值逻辑的下推自动机与上下文无关文法

彭家寅, 山东大学学报(理学版) 发表时间:2018-05-18 11:54 期刊

引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推


计算机智能图像识别算法研究

陈文鹏, 无线互联科技 发表时间:2019-05-15 16:35 期刊

计算机智能图像识别系统依靠的是计算机自身拥有的强大的计算功能,系统可以通过对图像信息详细具体的分析,识别不同图像的特点,将图像信息转化为数字信息。计算机智能图像识别功能的强化与利用不同的空间进行映射存在一定的关系,进而反映出相对清晰的图像自身特征。文章主要介绍了计算机算法和图像识别以及计算机智能图像识别算法的研究。


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

杨志涛; 林浦任, 课程教育研究 发表时间: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年提出的问题....


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

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

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


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