检索结果-南通市图书馆

宁波广播电视大学学报 2019年第4期17卷 74-82页

作者：韩晓东陈杰周园园宁波广播电视大学

本文采用多模态社会符号学的方法与视角来研究大学英语课堂中所使用的幻灯片。研究方法以两个前提为中心:(1) PowerPoint是一种符号技术,可以整合到课堂教学话语中;(2) PowerPoint技术包含了社会符号学实践的三个相互关联的维度:软件设... 详细信息

本文采用多模态社会符号学的方法与视角来研究大学英语课堂中所使用的幻灯片。研究方法以两个前提为中心:(1) PowerPoint是一种符号技术,可以整合到课堂教学话语中;(2) PowerPoint技术包含了社会符号学实践的三个相互关联的维度:软件设计、幻灯片组成和幻灯片支持的文稿演示。运用这种方法,我们探究了PowerPoint是如何在宁波一所大学的英语课堂教学中使用的。本文的分析展示了PowerPoint中的多模态资源是如何被用于语言教学话语再语境化。更具体地说,它展示了不同的符号学资源是如何在课堂话语空间中被运用和组合,来重新语境化知识构架,以及教学框架的不同优势是如何通过多模态创新实现的。

关键词： PowerPoint幻灯片大学课堂教学话语符号技术社会符号学多模态创新

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于增量的动态图模式匹配符号算法研究

基于增量的动态图模式匹配符号算法研究

引用

作者：许昌胜桂林电子科技大学

学位级别：硕士

图作为一种可以描述事物之间关系的数据结构,在现实生活中应用广泛。子图匹配问题是图数据分析研究中的基本课题,有着十分重要的研究价值。但随着数据规模越来越大并且伴随实时变化,基于快照模式的动态图匹配算法无法满足实时响应的要... 详细信息

图作为一种可以描述事物之间关系的数据结构,在现实生活中应用广泛。子图匹配问题是图数据分析研究中的基本课题,有着十分重要的研究价值。但随着数据规模越来越大并且伴随实时变化,基于快照模式的动态图匹配算法无法满足实时响应的要求。基于辅助索引结构的动态图匹配算法能够在数据图发生变化时基于辅助结构的信息进行局部更新,获得比快照模式更快的求解效率。我们从两个方面对现有的动态图匹配技术进行优化,一方面优化辅助结构的候选集存储,通过为辅助结构添加更多的约束来优化辅助结构的存储空间,另一方面引入新的压缩技术,其中代数决策图是一种存储紧凑且易于操作的隐式存储结构,可以在相对较小的存储空间内实现大规模图的运算。本文引入代数决策图技术研究了动态图匹配符号算法以及考虑邻域约束解决现有算法中存在的信息冗余问题。主要研究成果和结论如下:(1)针对现有的动态图匹配算法数据图规模庞大,求解过程产生大量的内存消耗的问题,本文引入了代数决策图(Algebraic decision diagram,ADD)结构作为数据的表示方式,实现数据查询与更新的并行运算以及公共子图的共享存储,有效平衡了算法的空间和时间效率。(2)针对(1)中随着数据规模的快速增长,基于增量的有界模拟图匹配算法在更新过程中存在大量的重复计算,以及通过逐点扩展的方式确认受影响区域时的算法效率低下问题,本文基于ADD提出了一种新的编码方式来构建辅助索引结构ADD Index(AIndex),该辅助结构不仅可以压缩存储节点间的路径信息,同时可以利用ADD并行操作的特性,实现快速查找和维护;其次为了增量维护辅助结构和匹配结果,提出了适用于AIndex的增量更新算法。实验表明,与经典算法相比,优化了存储空间,求解性能有了明显提升。(3)为了降低动态子图匹配候选集空间和提高算法效率,针对目前最先进的增量子图同构匹配算法Symbi中的索引结构动态候选空间(Dynamic Candidate Space,DCS)中存在的信息冗余问题,引入邻域信息约束,提出了一种新的索引结构ZDCS,并提出了ZDCS的更新算法INCZDCS来动态维护ZDCS索引结构和匹配结果,进一步提出了动态图的增量子图匹配算法ZSymbi。最后,在真实数据集上与Symbi算法进行实验对比,结果表明ZSymbi有效缩减了计算空间并提高了算法的求解效率。

关键词：动态图匹配代数决策图符号技术邻域约束 ZSymbi

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

胡塞尔《算术哲学》中数与符号的关系研究

胡塞尔《算术哲学》中数与符号的关系研究

引用

作者：漆阳西北师范大学

学位级别：硕士

胡塞尔的数学哲学通常被认为是前现象学时期的心理学产物,因此不属于现象学关注的问题视域而被边缘化。但如果我们回顾他早期出版的著作和论文就会发现:与上述观点相反,胡塞尔现象学是在为数学提供基础的过程中发展形成的。本论文将通... 详细信息

胡塞尔的数学哲学通常被认为是前现象学时期的心理学产物,因此不属于现象学关注的问题视域而被边缘化。但如果我们回顾他早期出版的著作和论文就会发现:与上述观点相反,胡塞尔现象学是在为数学提供基础的过程中发展形成的。本论文将通过梳理胡塞尔在其早期思想中所关注的心理学、数学以及逻辑学之间的关系,贯通胡塞尔在《算术哲学》到《逻辑研究》时期的思想脉络,同时详细阐明胡塞尔的符号公理系统在其整体思想中的关键所在。第一章追溯分析了在19世纪末数学基础背景争论中胡塞尔的基本观点。在柏林数学学派魏尔斯特拉斯领导的严密的算术化分析运动的影响下,胡塞尔将自然数的概念作为数学的基础。此后,胡塞尔在布伦塔诺学派的影响下,从数学研究转向哲学研究,试图通过描述心理学的方法寻找数概念的起源。第二、三章则主要是对《算术哲学》中数与符号的关系进行系统性阐明。胡塞尔在试图运用描述心理学的方法分析数概念的起源时,由于表象行为无法解决虚数难题,他由此从数的本真表象方法转向了用符号来替代真实的数的概念的方法。但符号技术仍然无法为虚数等概念的起源在生活世界中提供合理解释,其次,以基数为基础建立的符号系统却可以在不同的数域中运用。为了解决上述问题,胡塞尔因此从算术符号的研究转向逻辑学的研究。第四章主要解决胡塞尔在1890-1900年间胡塞尔的符号系统思想和逻辑观的转变问题。在1891-1895年期间,胡塞尔接受了当时主流的数学逻辑学的观点,采用了一种抽象的、结构化的数学思路来解决上述问题。这种数学视角的转变使得他突破了《算术哲学》所面临的困境,从而也使他从逻辑学的符号工艺论转向了纯粹逻辑学的流形论观点。这种新的逻辑观为胡塞尔的整个算术理论奠定了基础,并由此发展出一套关于符号公理系统的理论,以此重新解释了数的概念与符号的关系。第五章则在上述几章的基础上,通过梳理弗雷格对胡塞尔《算术哲学》的书评以及区分二者的问题意识和研究方法,反驳胡塞尔放弃心理主义立场的主要原因是受到弗雷格的批评和影响。我们将证明,这是胡塞尔内在思想的自身转变。最后总结胡塞尔建立一种符号形式的公理系统的目的,以及这一结果对其后续思想发展的影响。胡塞尔认为,数学中这种理想客观性的存在最终是由一个明确的公理体系来保证的。因此,明确定义的公理系统的概念为胡塞尔提供了一个决定性的论据,以反驳关于他陷入心理主义的指控。

关键词：胡塞尔数的概念符号技术算术基础形式公理系统

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一类新型抽象数据类型:有序二叉决策图

引用

桂林电子科技大学学报 2010年第5期30卷 374-388页

作者：古天龙桂林电子科技大学计算机科学与工程学院广西桂林541004

有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型。OBDD在VLSI逻辑综合和验证的成功应用结果... 详细信息

有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型。OBDD在VLSI逻辑综合和验证的成功应用结果引起了学术界和工业应用界的极大关注。迄今为止,OBDD技术及其工业应用已有了长足的发展、产生了不少的研究结果。本文对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面的研究现状进行了综述和讨论。

关键词：有序二叉决策图抽象数据类型数据结构符号技术布尔函数

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：