《墨经》的空间观念

范兴昕, 东方论坛 发表时间:2017-07-04 14:33 期刊

...力学甚至文学学、社会学等多方面的观点,其中也蕴藏着墨子及其后学关于空间的独特理念。该书记载,"宇"就"弥异所",又是以"家"为中心的东、西、南、北四方位的集合体;"长宇"久,"久"却又是"有穷""无穷"的统一体;而且,"长宇"处于无尽的"徙""进"之中,却又有"处"而"无近"。也就是说,在讲求思辩的墨家学者看来,空间是无限性与有限性、历时性与共时性、运动性与静止性的统一体。这种思辩性强、超前意识鲜明的空间观,蕴含了中华先民的空间智慧,至今仍具有较强的现实意义。...


直觉模糊测度的计算树逻辑

鱼先锋; 李超; 李永明, 计算机科学与探索 发表时间:2016-08-19 09:32 期刊

建立了直觉模糊Kripke结构(intuitionistic fuzzy Kripke structure,IFKS)模型,提出了基于直觉模糊Kripke结构的直觉模糊测度空间理论,阐述了IFKS的一系列性质。证明了任一路径转移的直觉模糊可达度(intuitionistic fuzzy probability,IFP)为初始状态的直觉模糊测度与各转移的IFP所取下确界,任一状态出发的所有路径上路径转移的IFP为所有路径可达度的上确界。给出了路径转移矩阵P及其传递闭包P~+


论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统

余军成, 贵州工程应用技术学院学报 发表时间:2017-06-15 期刊

在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。


模型检测中虚假反例检测方法

刘林武; 张弛, 计算机与现代化 发表时间:2017-09-26 11:33 期刊

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要。本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法。


识别完全单半群的最少状态DFA

黎宏伟, 科学咨询(科技·管理) 发表时间:2017-09-03 期刊

设S=G×I×∧是完全单半群,能够识别S的最少状态DFA的终结状态的个数等于I中的元素的个数。


关于超级有穷条件下角域内的亚纯函数的唯一性

李效敏; 刘翠; 徐会彩; 孙文江, 中国海洋大学学报(自然科学版) 发表时间:2017-11-15 期刊

研究了复平面上的亚纯函数在超级有穷条件下在角域内分担2个有限集合的唯一性问题,改进和推广了仪洪勋和林伟川,以及吴召君等人的有关结果。...


涉及高阶导数分担值的亚纯函数正规族

吕凤姣; 刘芝秀, 四川理工学院学报(自然科学版) 发表时间:2017-10-20 期刊

...论研究的一个重要课题。目前正规族的相关理论在复动力系统、复微分方程、模分布和整函数唯一性等方面都有着重要的应用。文章主要探讨了亚纯函数的值分布理论,利用L.Zalcman引理研究了一类涉及高阶导数分担值的亚纯函数族的正规性问题,推广并改进了已有的结果。主要结果为:设F是区域D上的一亚纯函数族,k为正整数,a为非零有穷复数,若对任意的f(z)∈F,有f(z)-a的零点重级至少为k+1,且f(z),fk(z)与fk+1(z)IM分担a,则F在D上正规。...


有限长度的二维倾斜断层重力异常正演表达式的推导

朱文武; 秦昆; 刘金钊; 郑智江; 高艳龙, 大地测量与地球动力学 发表时间:2017-10-15 期刊

二维倾斜断层重力异常正演表达式的推导,前提条件是倾斜断层沿断层方向延伸至无穷远处,而这种情况在现实中并不存在。本文给出了倾斜断层沿延伸方向至有穷远处的重力异常剖面正演表达式,论证了"有穷远处"这一常数的取值范围,同时分析比较了"延伸至无穷远处的倾斜断层"和"延伸至有穷远处的倾斜断层"重力异常剖面正演表达式的异同之处。...


CPN在“操作系统”课程教学改革中的应用研究

张鑫, 周口师范学院学报 发表时间:2017-09-15 期刊

"操作系统"是一门专业性很强的计算机专业核心基础课程.学生普遍反映它的内容抽象、理解困难,不容易和计算机的实际运行结合起来.因此,提高"操作系统"课程的教学效果显得至关重要.Petri网作为信息化建模工具,能够直观、灵活地构建模型,并模拟运行.利用CPN对"操作系统"课程教学进行改革研究,对进程管理部分进行建模和分析,更直观更形象地表达相关知识内容,从而加强学生对操作系统知识的理解与掌握.


一种基于共享度模型的改进Rete算法

孙新; 严西敏; 尚煜茗; 欧阳童; 董阔, 自动化学报 发表时间:2017-08-21 22:41 期刊

专家系统是人工智能领域的重要分支,其中知识表示和知识推理是专家系统的重要组成部分.Rete算法是一种高效的模式匹配算法,能够解决专家系统中推理效率的问题,但是Rete算法在构建Rete网络和推理过程中存在空间和性能方面问题.本文采取有穷自动机理论的思想,阐述了Rete算法中的模式共享度和节点共享度模型,提出了一种Rete网络构建和推理算法来降低Rete网络的复杂度,提升Rete网络推理的速度.最后实验结果表明,本算法能够降低网络复杂度,提升推理速度....


树莓派的多个视频矩阵控制系统设计

谢成; 蒋健; 陈炜, 单片机与嵌入式系统应用 发表时间:2017-10-01 期刊

介绍了一种基于树莓派的视频矩阵控制系统的设计方法,描述了系统的硬件组成和软件架构,并着重讲述了多个视频矩阵的串并联组合以及基于确定有穷自动机的键盘控制程序。测试结果表明该系统稳定可靠,在兼容市场上现有视频矩阵控制系统的同时具有自己独特的功能。该系统已经成功的运用于视频监控领域。...


高阶非齐次线性微分方程解的增长级

周鉴; 龙见仁, 中北大学学报(自然科学版) 发表时间:2017-10-15 期刊

运用微分方程复振荡的理论,研究一类具有整函数系数的高阶非齐次复线性微分方程解的增长级,其中方程的系数均为整函数且非齐次项不恒为零.当方程的系数增长级满足一定的条件时,方程任一非零解具有无穷增长级.


基于DFA-Petri网模型的桥式起重车辆IWD优化调度

陈佩峰; 全成斌, 现代电子技术 发表时间:2017-11-15 期刊

为了提高车间桥式起重车辆(OTC)运行的有效调度,实现最短运输时间目标,提出基于DFA-Petri网模型的OTC系统车辆IWD优化调度算法。首先,对OTC系统车辆的时间-序列模型进行描述,并利用Petri网模型方法来简化优化约束,利用有限自动机(DFA)方法实现OTC系统状态空间二进制输入的降维,降低模型复杂度;其次,构建基于DFA-Petri网的OTC系统车辆优化调度模型,并利用智能水滴算法(IWD)进行调度优化;最后,通过仿真实验,验证了所提模型在调度时间指标上的优势


从“射日除害”到“怅然望月”——论汉代时期羿形象的转变

张玉婷; 李华, 湖北工程学院学报 发表时间:2017-10-20 13:24 期刊

先秦时期,羿作为上射十日、为民除害的英雄形象被人们崇拜着。可是在汉代形成的完整的奔月神话中,羿不但变成了嫦娥的丈夫,而且成了被嫦娥欺骗、抛弃的对象,最终成为受到人们同情的"怅然望月"的受害者形象。为什么羿的形象会发生如此转变?通过梳理先秦至汉代有关羿和嫦娥的文献可发现,实际上羿与嫦娥两个形象原本并不相关,只不过汉代时期出于奔月神话合理性的需要才将二人联系起来。而羿的形象之所以在汉代时期发生这一转变,既与其在先秦时期已经形成的英雄形象有关,也是汉代文人的有意为之。


有穷非整数下级整函数的唯一性的进一步结果

陶毅翔; 陈省江, 宁德师范学院学报(自然科学版) 发表时间:2015-11-28 期刊

研究了有穷非整数下级整函数的唯一性问题,改进仪洪勋的一个结果....


基于安全性检测的广义量子Loop程序终止验证

林运国; 李永明, 中国科学:信息科学 发表时间:2015-12-20 期刊

针对广义量子Loop程序的终止问题,首先介绍终止和几乎终止的两种定义,说明它们在刻画程序终止问题上的能力不足.为了弥补这种缺陷,引入另外两种定义:以一定概率在第n步终止和可终止,并且对这四种终止定义进行比较.其次,量子(正则)安全性是量子Markov链中重要的一类线性时间属性,证明出量子正则安全性的可满足概率等于乘积量子Markov链终状态不可达的概率,从而给出量子正则安全性检测技术.运用该检测技术,将广义量子Loop程序的终止问题归结为量子正则安全性的可满足性问题,并给


提高数学学习兴趣几点建议

孙鲁平, 劳动保障世界 发表时间:2015-09-15 期刊

面对数学教学中的内容较多,难度较大的问题,精品学习网数学教学论文为您提供了采用多种方法来激发学生学习数学的兴趣,采取情感教育、自主学习、生活体验等策略来提高数学教学质量,提升人生价值。


广义可能性决策过程的计算树逻辑模型检测

马占有; 李永明, 计算机工程与科学 发表时间:2015-11-15 期刊

模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。


整函数及其差分的唯一性

王品玲; 杨德贵; 刘丹, 数学年刊A辑(中文版) 发表时间:2015-12-11 10:54 期刊

设f是一个有穷级的超越整函数,a,b,c是3个有穷复数,满足c≠0,a≠b,且n为正整数.如果a是f的Borel例外值,且Δcnf(z)与f(z)IM分担b,则f(z)=a+AeBz,其中A,B为两个非零常数....


讨论有穷时 发展无止境——2015建材行业转型升级大讨论总结与展望

中国建材 发表时间:2016-01-06 期刊

持续大半年的"切实转变发展方式推进建材行业转型升级向纵深转折"大讨论,日前进入收尾阶段。大讨论堪称2015年建材行业参与面最广、影响力最大的思想交流活动,其形式新颖,主题鲜明,为当前和今后建材行业发展奠定了坚实的思想基础。2015年2月4日,本报刊发第一期大讨论稿件——对中国建材联合会会长乔龙德的访谈,题为《转型快慢取决于觉悟早晚》,正式拉开大讨论的序幕。


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