丁函
- 作品数：33 被引量：34H指数：4
- 供职机构：湖北文理学院更多>>
- 发文基金：湖北省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>
- 图文法与字符文法的比较分析
- 2012年
- 在计算机科学的发展历史中,形式语言理论起到了重要的作用。特别在计算机编程语言等方面,它是现有编程语言的基础理论。现有的乔姆斯基形式文法是针对一维字符文法而提出的,但随着计算机科学的发展及各种应用的需求,对各种二维的图、表形式对象的处理,一维字符文法已无法胜任。于是,二维图文法应运而生。图文法将图、表等二维对象作为处理的对象,对其进行定义、分析和转换等操作,以达到实用的目的。本文在现有图文法理论研究的基础上,从处理对象、处理方式以及由于图文法理论的提出而新引出的问题等方面对字符文法和图文法进行了全方位的比较,便于更深刻地理解、应用图文法的基本理论。
- 丁函王毅徐格静
- 关键词：形式语言图文法
- 云计算与网格计算分析比较被引量：2
- 2010年
- 本文从云计算和网格计算的概念入手,在商业模式、虚拟化、异构性、应用模式和安全模式等几个方面对云计算和网格计算进行分析比较。
- 徐格静丁函王毅
- 关键词：云计算网格计算
- 基于运动时海拔高度变化的音频播放方法及装置
- 一种基于运动时海拔高度变化的音频播放方法及装置，包括将音频分为不同类型，设置每种运动状态对应的音频类型；海拔高度检测及相应地音频播放，包括进行海拔高度初始检测并播放，在间隔一段时间后，重新进行海拔高度检测，计算判断方向状...
- 杭波吴钊谷琼王毅胡春阳康长青吴中博熊伟王新颖丁函
- 基于边的图文法产生式选择无关条件的判断
- 2014年
- 为了降低归约算法的时间复杂度,在基于边的上下文相关图文法(EGG)形式化的基础上,通过对产生式形式的适当约束,提出了EGG的产生式选择无关条件的判断方法。通过此方法可有效判断EGG产生式的选择无关性。对于选择无关的产生式,由于归约过程中产生式的使用顺序不会影响归约的结果,从而避免了回溯,能够有效地降低归约算法的时间复杂度。
- 王毅丁函
- 关键词：归约算法时间复杂度
- 一种无向图同构的判定算法
- 2012年
- 在图论中,图同构的判定是一个非常重要的问题,是一个N-P问题。至今未找到一种公认的、简单有效的算法。本文针对无向图,提出了一个实用的算法,并对算法进行了分析。
- 王毅丁函任丹
- 关键词：同构无向图
- 一种新的贪婪回溯子空间追踪算法研究被引量：6
- 2017年
- 针对目前的贪婪类算法在实际应用中出现的重构遮挡和虚假等问题,在分析该问题产生的原因基础上,提出了一种新的贪婪回溯子空间追踪(greedy backtracking subspace pursuit,GBSP)算法。该算法的基本思想是在每次的迭代过程中,采用回溯反馈和贪婪精选的思路进行支撑集选择。具体而言,在原子识别阶段,从残差投影中挑选出绝对值最大的K(K是信号稀疏度)个投影值位置,添加到候选支撑集中,为降低在此步骤中产生的错误概率,每次只将候选支撑集中的前s(s
- 丁函王毅袁磊吴钊
- 关键词：压缩感知贪婪算法子空间追踪
- Access数据库中交叉表查询的教学设计
- 2013年
- 交叉表查询是Access数据库教学的难点。为此,提出了采用阶梯式教学法和对比的方法,设计适当的教学案例,给出交叉表查询的教学设计过程。实践表明,这种教学设计能够提高教学效果。
- 詹彬赵永标丁函
- 关键词：ACCESS数据库阶梯式教学法教学案例教学设计
- 电子商务系统的用户管理方法
- 一种电子商务系统的用户管理方法，是用来精确掌握登入使用者现况，其主要是在使用者成功登入后，即可将该登入用户的信息及登入时间记录在内存中，此时浏览器必须每隔固定时间将目前浏览器的状态送回服务端，以告知服务器目前该浏览器仍然...
- 丁函王毅杨凡
- 文献传递
- 守在已发现的关联规则上找到有趣的规则
- 2008年
- 关联规则是在数据挖掘中得到的一类重要的知识,但并非都是有趣的。为了减少无趣的关联规则,本文从主观和客观两个方面分析了如何衡量规则的有趣性。在主观标准方面,介绍了目前国外的一些流行的解决方法。在客观标准方面,通过举例来阐明。最后,作者特别探讨了如何发现有趣的多层关联规则,并提出了一种SH算法来解决问题。
- 杨凡丁函
- 关键词：关联规则主观标准多层关联规则
- 基于海拔高度的音频播放方法及装置
- 一种基于海拔高度的音频播放方法及装置，包括将音频分为不同类型，设置登山的起始海拔高度和目标海拔高度，并将起始海拔高度和目标海拔高度之间的区间划分子区间，设置每个子区间对应的音频类型；海拔高度检测及相应地音频播放，包括进行...
- 杭波吴钊谷琼王毅胡春阳康长青吴中博熊伟王新颖丁函
- 文献传递
