亚纯函数的某类形式差分算子的唯一性

林珊华, 延边大学学报(自然科学版) 发表时间:2016-12-20 期刊

探讨亚纯函数的某类形式的差分算子在权弱分担值的情况下的唯一性问题,所得定理改进和推广了文献[3]和[4]的结果.


时钟有限自动机模型及其演化算法

范林军; 史湘宁; 凌云翔, 计算机工程与科学 发表时间:2017-02-15 期刊

传统分布仿真系统时钟不一致影响因素分析方法,已不能满足当前面向服务分布仿真的时钟状态分析需要。从系统全局时钟演化出发,阐述了时钟状态演化内涵与过程;在此基础上,基于有限自动机理论,提出了用于时钟不一致影响因素量化分析的动态演化模型及其算法:时钟有限自动机CFSA和时钟一致性演化算法CCEA。仿真实验表明:相比传统的分析方法,使用CFSA模型及其CCEA演化算法刻画系统时钟一致性状态变迁过程,探寻各种不一致因素的影响机理,量化分析各因素的影响程度等具有可行性、有效性和新颖性


费马型的微分方程的一些结果

聂俊; 曹廷彬, 南昌大学学报(理科版) 发表时间:2017-02-25 期刊

研究费马型微分差分方程f(k)(z)n+f(z+c)m=1和差分方程f(z)n+f(z+c)m=1的超越亚纯函数解及其值分布,其中k,m,n是正整数。


正则模型类的时态可定义性

王善侠; 马明辉; 陈武; 邓辉文, 软件学报 发表时间:2017-01-20 16:06 期刊

正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t-互模拟像、C2t-超滤扩张下封闭,并且它的补类在C2t-超滤扩张下封闭.该刻画定理说明了时态语言在正则模型类上的表达力.


求有限集合覆盖的构造方法

吴寄语; 邱伟星; 王蔚; 张迎周, 大学数学 发表时间:2017-04-15 期刊

在近似算法领域,集合覆盖问题是研究的比较早和比较透彻的问题之一.文中解决与经典SCP不同的另一问题,针对有限集合覆盖的构造,提出一种构造有限集合上的集合覆盖的算法,并且给出了该算法的完备性证明.该算法简单有效,是一种用于构造集合覆盖的规范方法.


从CTL到CCG——逻辑语义学的新模式

邹崇理, 湖北大学学报(哲学社会科学版) 发表时间:2017-03-22 期刊

范畴类型逻辑CTL和组合范畴语法CCG,是范畴语法CG的两个现代版本。CTL采用传统的逻辑语义学方式,其特点是强调计算的思想、基于规则的思路和研究逻辑工具本身的性质。就面向自然语言计算机处理的任务而言,CTL的短板是显然的,即对自然语言的丰富多样的具体现象,尤其是对语词的研究非常不充分。CCG则挑战传统,大胆创新,提出新的研究模式,构筑大规模的词库,关注大量的规则例的应用,以此满足了计算机的自然语言系统处理大规模真实文本的需求。而如果全面系统地考虑语义因素,CCG的词库和


一种面向CPS的控制应用程序协同验证方法

张雨; 董云卫; 冯文龙; 黄梦醒, 软件学报 发表时间:2017-01-20 16:06 期刊

信息-物理融合系统是一种新型嵌入式系统计算模式.它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息-物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性(safety)和活性(liveness)等属性要求,提出了对该模型进行形


涉及极点重级与分担值的亚纯函数正规定则

林琼; 叶亚盛; 俞伟鹏, 纯粹数学与应用数学 发表时间:2017-06-25 期刊

运用分担值的思想证明了涉及极点重数的亚纯函数族的正规定则,所得结论推广了相关文献的主要结果.


粮库监控系统总线网络可靠性建模与分析

黄海, 韶关学院学报 发表时间:2017-06-15 期刊

针对粮库监控系统总线网络缺乏可靠性评估手段的难题,引入广义随机Petri网建模与分析技术,建立了粮库监控系统总线网络可靠性分析模型.该模型有效地模拟了各类故障在粮库监控系统总线网络中的动态行为.在TimeNET 4.2软件环境下实现粮库监控系统总线网络可靠性分析模型,分析了系统可用度的动态变化趋势及原因,验证了模型的正确性和有效性.模型可以为粮库监控系统总线网络的可靠性评估提供参考.


基于正态分布对模糊概念自动计算的FPDA应用设计

刘浩舸; 管建和, 计算机科学 发表时间:2017-06-15 期刊

计算机控制系统具有自动机的特征,可以用有限自动机理论来对其进行描述,有限自动机是计算机科学各个方面的重要基石。但除确定性的有限自动机理论外,还有许多模糊事件应该由模糊自动机的隶属函数来解决,文中将重点放在具有正态分布特征的事件上。提出了一种实现自动运算的模糊自动机模型,若要在正态分布中得到"可能发生"和"很可能发生"这类模糊型事件的概率,可以只用这种模型实现自动计算。


M-模糊化相关集族及M-模糊化β-圈集族

王岚, 模糊系统与数学 发表时间:2017-04-15 期刊

本文在已有研究基础上,讨论了M-模糊化相关集族的若干性质,给出了M-模糊化β-圈集族的定义,研究了M-模糊化β-圈集族的基本性质,并借助于M-模糊化拟阵的层拟阵结构,得到由M-模糊化相关集族和M-模糊化β-圈集族可以等价刻画M-模糊化拟阵这一重要结论。


费马q-差分微分方程整函数解的增长性研究(英文)

刘新玲; 刘凯, 数学杂志 发表时间:2017-07-15 期刊

本文研究了费马q-差分微分方程的整函数解的相关问题.利用经典和差分的Nevanlinna理论和函数方程理论的研究方法,获得了q-差分微分方程整函数解增长性的几个结果.


近世代数教学中的问题解答

欧阳伦群; 郑棵心, 当代教育理论与实践 发表时间:2017-04-20 期刊

对有限集合间映射的个数、n个元素间加括号步骤的个数及等价关系中反射律条件是否多余等6类近世代数教学中学生普遍感到难以理解的问题,通过实例分别做出详尽解答。


q移位差分方程的亚纯解及任意亚纯函数分担3个值的唯一性

杨引; 叶亚盛, 吉林大学学报(理学版) 发表时间:2017-07-26 期刊

用Nevanlinna理论,研究差分方程a1(z)f(qz+p)+a0(z)f(z)=F(z)一个有穷级超越亚纯解f(z)及任一亚纯函数g(z)分担0,1,∞IM时的唯一性问题(其中p,q为常数,满足n∈N+,qn≠±1,q≠0,a1(z),a0(z),F(z)为非零亚纯函数且级均小于1),得到了f(z)=g(z)....


中国共产党榜样教育的历史考察与现实思考

李蕊, 河南社会科学 发表时间:2017-07-31 11:20 期刊

..."公而忘私""政治至上""拼搏进取""多样人性"的变迁历程。在中国共产党的发展历程中,榜样教育发挥了重要的历史作用,但也存在榜样生成"官方化"、榜样宣传"神性化"、榜样学习"形式化"等问题,造成人们对榜样的疏离、质疑甚至是抹黑等突出现象。针对这些现象,榜样教育既需要坚持推进,也需要转变思维,理性把握"有穷"与"无穷"的限度;既需要创新内部模式,优化榜样自身的生成、宣传和学习机制;也需要改善外部环境,将其与社会主义核心价值观的培育践行结合起来,实现两者良性互动。...


论“无穷事物”的定量认知(Ⅲ)——“‘无穷载体理论’缺失”和“‘潜无穷-实无穷’混淆”所导致的“无穷事物”定量认知难题

欧阳耿, 喀什大学学报 发表时间:2017-05-30 期刊

分析、研究由自古以来悬而未决的典型"‘无穷小-无穷大’悖论家族"所揭示的与"无穷事物的定量认知"问题相关的现有经典科学体系基础理论中的致命缺陷,提出当代数学分析和集合论中14个与"无穷小-无穷大"相关的定量认知难题.在与"无穷"相关的现有经典科学体系基础理论中,"‘无穷载体理论’缺失"和"‘潜无穷-实无穷’混淆",导致了几千年来人们一直没有能力自圆其说的回答这样一个非常基本的问题——"与无穷相关的数量形式"(与数量相关的无穷事物)究竟是"潜无穷"还是"实无穷"?如果是"潜


有穷而必变——竟陵派对晚明文学的反思与重构

杨森旺, 河北北方学院学报(社会科学版) 发表时间:2017-05-23 17:05 期刊

明末文场,复古与反复古的斗争以贬损文学自身审美价值为代价。在这种环境下,竟陵派以"通变"为理论基调,力求通过"方圆除尽"的审美要求使文学价值复归。浓厚的反思意味与对诗教等传统的继承在很大程度上决定了竟陵派的这种价值复归具有极强的内敛性。竟陵派"静观默照"的审美特征是审美自觉的反映,也体现出该派对文学通变观的独特理解。对竟陵派通变思想的研究,有助于对该派的文学地位和历史意义作出客观公正的评价。


读书让梦想开花

吴福成, 美术教育研究 发表时间:2017-04-15 期刊

老家有"穷不丢书,富不丢猪"的传统,读书成了农村娃唯一的出路。那时的农村学校,除了枯燥的教科书之外,课外书可谓是凤毛麟角,难得读上一本。记得上五年级那年春节,我从亲戚家发现了一套残缺不全的四大名著,连饭都没吃就急忙捧回家读起来。无奈书里的不少文字生涩难懂,令人费解,给我的阅读增加了不少难度。不过终究抵不过阅读的魅力,我硬是带着七分猜测三分想象,偷偷摸摸地把书读完了。一开始,我并没有发现读这些课外书的好处。有一天老师上《武松打虎》这篇课文时


概称句词项逻辑系统GAG与Gaa的完全性

陈星群; 周北海, 逻辑学研究 发表时间:2017-06-18 期刊

GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺。通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分


Z-型Rabin树理论的可判定性

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

Z-型Rabin树是Rabin树的一种变体,它们与Rabin树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构。本文通过归约的方法证明,Z-型Rabin树的一目二阶理论是可判定的。


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