论惠施“历物之意”中的“合同异”思想

崔卫真, 科学经济社会 发表时间:2018-06-11 期刊

惠施是战国时期的名辩家,他的"历物之意"是先秦名家思想中重要的组成部分。惠施在"历物之意"中用大小和同异等范畴分析宇宙万物,是从逻辑角度探讨名实关系,开出了一条理性主义的认识路径,成为名家"合同异"派承前启后的代表人物。惠施探索名实关系的方法对庄子和墨家学派多有启发。


动态虚拟MSISDN的拟态自动机模型与安全性验证方法

朱维军; 樊永文; 班绍桓, 信息网络安全 发表时间:2018-04-10 期刊

...安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动机描述动态虚拟MSISDN的状态迁移;使用细胞自动机描述动态虚拟MSISDN的变化结构;使用层次自动机描述动态虚拟MSISDN的不同计算粒度。其次,将各种自动机按照一定的逻辑关系组织起来,即可获得描述动态虚拟MSISDN内在行为的拟态自动机模型。然后,使用特定的线性时序逻辑公式描述动态虚拟MSISDN安全性。最后,将动态虚拟MSISDN安全性问题按如下方式规约为拟态自动机模型检测问题:若模型检测结果指出拟态自动机满足...


希尔伯特的有穷数学

康孝军, 自然辩证法通讯 发表时间:2018-06-10 期刊

希尔伯特为了一劳永逸地解决数学基础问题,提出了著名的希尔伯特纲领。该纲领旨在把数学归约到毋庸置疑的有穷数学。遗憾的是,希尔伯特本人并未对有穷数学给出具体形式化。在简介希尔伯特有穷数学的基本思想后,梳理了各种不同的形式化系统:初始递归算术(PRA)、ZFC的有穷数学系统(Fin(ZFC))和基本算术(EA),并对PRA是希尔伯特的有穷数学进行辩护和简要述评。...


一类高阶复微分方程解的增长性

覃智高; 龙见仁, 厦门大学学报(自然科学版) 发表时间:2018-05-28 期刊

利用亚纯函数的Nevanlinna理论研究了高阶复微分方程解的增长性,得到了方程的解是无穷级的几个判定条件.


复线性微分方程解的增长性的进一步讨论

张石梅; 吴秀碧; 龙见仁, 山东大学学报(理学版) 发表时间:2018-05-08 09:08 期刊

应用Nevanlinna理论讨论了复线性微分方程解的增长性,主要研究了Gundersen最近提出的一个问题,获得了一些结果。这些结果是前人结果的延伸及推广。


一种信号系统安全分析建模的设计与实现

吴卫平; 胡剑; 李澎东, 机车电传动 发表时间:2018-05-10 期刊

为提高信号系统安全隐患分析效率,必须研究某一时刻多处失效的运营场景。当前有限自动机建模不能解决上述问题,设计一种用于信号系统安全分析的混合建模方法,一方面采用有限自动机建模进行某一处失效的安全隐患分析,另一方面采用Petri网建模进行多处失效且为异步并发的安全隐患分析。通过上述建模确定特定运营场景相关参数及性能指标,采用软件工具(例如VC6.0)实现信号系统安全分析模拟器。系统分析师通过安全分析模拟器进行系统安全分析,从而减少人为经验错误,提高信号系统安全隐患分析效率,避


跨组织业务过程建模

莫启; 代飞, 计算机产品与流通 发表时间:2017-11-15 期刊

跨组织业务过程使组织能够彼此进行交互和合作,以达成各自的商业目标。提出了一种跨组织业务过程的建模方法。首先,该方法使用有穷状态机建模参与组织的业务过程;其次,定义异步通信;最后,在异步通信模型下,将业务过程组合为跨组织业务过程。...


分担集合的亚纯函数正规族

吕凤姣; 刘芝秀, 西南师范大学学报(自然科学版) 发表时间:2018-07-31 期刊

把亚纯函数正规族与分担值或分担集合结合起来考虑是亚纯函数正规族理论研究的一个重要课题.目前正规族的相关理论在复动力系统、复微分方程和整函数唯一性等方面都有着重要的应用.利用Nevanlinna理论研究一类涉及分担集合的亚纯函数族的正规性.主要证明了如下的结论:设F={f(z)}是区域D内的一族亚纯函数,S1={a1,a2,a3}和S2={b1,b2,b3}均为由3个互异的有限复数所构成的集合,如果对于任意的f(z)∈F,有{z∈D:f(z)∈S1}={z


有穷对数φ级整函数系数线性微分方程解的增长性

伍廷蜜; 龙见仁; 吴秀碧; 覃智高, 西南大学学报(自然科学版) 发表时间:2018-07-31 期刊

利用亚纯函数的Nevanlinna理论研究了有穷对数φ级整函数系数线性微分方程解的增长性,得到了解的增长级与系数的对数φ级之间的一些关系....


L-函数的唯一性

林伟川; 林培强, 数学学报(中文版) 发表时间:2018-07-15 期刊

本文利用Nevanlinna理论,研究了在广义Selberg类中的L-函数的唯一性.证明了存在两个集合S1(含有一个或两个元素),S2(含有三个元素),使得当E(Si,f)=E(Si,L),i=1,2时,有f≡L.


关于一类高阶性线差分方程亚纯解的增长性

吴秀碧; 张石梅; 龙见仁; 石磊, 数学杂志 发表时间:2017-06-01 13:50 期刊

本文研究了一类高阶线性差分方程非零亚纯解的增长性问题.利用Phragmn-Lindelf指标函数的方法,获得了当方程拥有多个具有相同型的主导系数时,方程非零亚纯解的增长性的一个下界估计.该结果改进了前人的一些已有结果.


一类二阶线性微分方程解的复振荡

周鉴; 龙见仁, 兰州理工大学学报 发表时间:2018-06-26 13:31 期刊

研究一类具有整函数系数的二阶线性微分方程解的复振荡.在系数满足一定条件下方程的任一非零解具有无穷增长级.


基于时间自动机的脑网络时空演化建模方法

裴常福; 王彬; 薛洁; 刘辉; 熊新, 计算机工程与应用 发表时间:2017-08-11 13:05 期刊

人类大脑本质上是不断变化的整体,但基于静息态功能磁共振成像重构技术的人脑网络动态特性研究尚在起步阶段,并且大多采用定性的方法描述。采用时间自动机理论对脑网络在时间和空间上的系统动态特征和演化过程展开了建模方法研究,首先通过对采样时间区间上血氧依赖水平信号的处理得到全脑脑区在单个采样点上的状态描述,然后通过无监督聚类获取其状态集,研究其状态随时间转换的可观测性,最后在此基础上结合时间自动机理论对脑网络状态的演化过程进行建模,从而达到对脑网络动态特性定量描述的目的。实验结果显


有限自动机可识别语言的基数

迟晓晴; 王玉涵; 王艳慧, 计算机工程与应用 发表时间:2017-11-22 11:30 期刊

利用有向图的邻接矩阵研究有限自动机的可识别语言的基数问题。通过建立有限自动机的可识别语言与其有向图中从初始结点(有限自动机的初始状态)到终止结点(有限自动机的终止状态)的路的一一对应关系,利用邻接矩阵给出了有限自动机的可识别语言的基数公式,研究了两个自动机不等价的充分条件。


基于有穷论域下区间时序逻辑的模型检测研究

李超, 计算机与数字工程 发表时间:2018-07-20 期刊

通过结合自动机技术实现了有穷论域区间时序逻辑的判定算法,给出了有穷论域下区间时序逻辑变量、函数的处理方法,并提出了利用自动机进行系统建模的方法。最终实现了一个基于有穷论域区间时序逻辑的模型检测工具。...


书面汉语自动分词的现状和问题

黄祥喜, 情报学报 发表时间:1989-04-24 期刊

书面汉语自动分词方法可以分为两大类,一类是基于算法的方法,它强调形式匹配;一类是基于知识的方法,它强调知识对分词过程的制导。现有的自动分词研究成果主要在基于算法的分词方面。本文分析了种种基于算法的分词方法的特点、不足及改进途径,指出了基于知识的分词是自动分词的发展方向,进而讨论了在实现基于知识的分词方法时所要考虑的问题。文中还介绍了我们在基于知识的分词方面所做的一些工作。


定题情报检索实用算法

苏新宁, 情报学报 发表时间:1992-02-24 期刊

本文详细地描述了一种定题情报检索算法。该算法的基本思想为:将提问逻辑式分解成逻辑树表结构,并根据有限自动机原理将提问词构造成逻辑树,检索采用倒爬树方式实现,对已命中的提问采取屏蔽手段,以避免重复查找。本算法已在实际的定题服务系统中运用,获得了良好的效果与收益。


几种求解有限集合上传递关系闭包方法研究

刘玉珍; 李雄; 朱萍; 刘敏, 教育现代化 发表时间:2018-06-25 期刊

关系在离散数学中关系贯穿始终,关系的各种性质对初学者来说理解起来也相对较难,在这之中,传递关系算学习起来更为艰难,求解传递关系的闭包应该说是难上加难,本文给出了定义法、集合法、几何法、矩阵法及Warshall法求解传递关系的闭包,这对初学同学是非常有必要的。


强赋值幺半群上的加权Mealy机与加权Moore机的关系

王敏; 李永明, 计算机科学与探索 发表时间:2017-09-05 09:41 期刊

...半群的基础上定义强赋值幺半群。由于带输出的加权有穷自动机在自然语言的处理方面有很重要的意义,是自动机理论的一个重要研究方向。在权重取值于强赋值幺半群下定义了3种带输出的加权自动机,即强赋值加权序列机、强赋值加权Mealy机以及强赋值加权Moore机,并且给出了它们的响应函数,进而探讨了强赋值加权Mealy机和强赋值加权Moore机的关系,即强赋值加权序列机与强赋值加权Mealy机是不等价的,强赋值加权序列机与强赋值加权Moore机是等价的;并以强赋值加权序列机为中介,强赋值...


《墨经》中的自然哲学理论初探

崔雪茹; 黄英, 重庆三峡学院学报 发表时间:2018-09-20 期刊

...步。其几何学知识体现在:点的定义、整体与部分、有穷与无穷,方与圆。这说明后期墨家不仅给点、方、圆等几何概念下了精确的定义,而且还讨论形体之间的相切、相交、相比、相离等关系。《墨经》集中讲光学的条目共有八条,主要解释说明针孔成像、投影、镜像以及反射等方面的光学现象。这些关于光学的记载比古希腊欧几里德的相关理论早一百多年。《墨经》中关于力学的条目有十几条,内容涉及时空观念、力的定义、杠杆原理、滑轮和斜面的作用等方面。其中,对时空和运动的关系,后期墨家的认识比较深刻。...


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