您的位置: 专家智库 > >

王雷

作品数:8 被引量:10H指数:2
供职机构:延安大学更多>>
发文基金:陕西省教育厅科研计划项目国家自然科学基金更多>>
相关领域:语言文字自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 5篇语言文字
  • 3篇自动化与计算...

主题

  • 2篇方言
  • 1篇代码
  • 1篇党八股
  • 1篇动态检测
  • 1篇形式化
  • 1篇形式化描述
  • 1篇有限状态机
  • 1篇有向图
  • 1篇语法化
  • 1篇语料
  • 1篇语气
  • 1篇语气副词
  • 1篇语言学
  • 1篇语言学史
  • 1篇中国语言
  • 1篇中国语言学
  • 1篇中国语言学史
  • 1篇软件逆向工程
  • 1篇软件设计
  • 1篇软件设计与开...

机构

  • 8篇延安大学

作者

  • 8篇王雷
  • 3篇王鹏翔
  • 3篇张帅
  • 1篇惠雁冰
  • 1篇王文发

传媒

  • 3篇延安大学学报...
  • 1篇电脑编程技巧...
  • 1篇语文研究
  • 1篇计算机工程
  • 1篇延安大学学报...
  • 1篇广西民族大学...

年份

  • 1篇2023
  • 1篇2022
  • 1篇2021
  • 1篇2015
  • 1篇2012
  • 2篇2008
  • 1篇2003
8 条 记 录,以下是 1-8
排序方式:
基于相似度评分与二级子系统的设计模式识别
2023年
为寻找系统中的模式实例,现有设计模式识别方法多直接将原系统与设计模式进行匹配,从而引入大量的假阳性实例或假阴性实例,导致召回率和精确率降低。为此,在前期研究的基础上,进一步探索基于相似度评分与二级子系统的设计模式识别方法。根据从系统中提取的相关信息,将系统和设计模式表示为有向图/矩阵形式。将待识别系统划分为若干个子系统,并进一步拆解和重组为类个数与待识别模式中角色个数相等的二级子系统。利用相似度评分算法判断二级子系统是否为模式实例,同时对获取的实例做进一步处理,以得到最终的模式实例。在JHotDraw、JRefactory和JUnit三个开源项目上的实验结果表明,该方法的平均召回率分别达到96.7%、91.7%和100%,平均精确率分别达到94.9%、91.5%和92.5%,而CPU时间花费分别为5408 ms、22280 ms和3284 ms,在保持高召回率的前提下提升了精确率和时间效率。
王雷王雷王文发张帅
关键词:有向图软件逆向工程
论毛泽东《反对党八股》对红色话语规则的建构意义被引量:1
2015年
随着文言体系的崩溃,在经历了短暂的失声期之后,中国产生了一种不土不洋、不古不今的、"马和驴子交媾产生"1的骡子话语。为了取得更多的话语权,为了在抗日战争的语境中发出自己的声音,作为红色革命的主要叙述者,毛泽东《反对党八股》构建了一套高明的红色话语规则,一套对现代汉语影响甚大的RAFT叙述模式。可以说毛泽东《反对党八股》对于现代汉语的影响丝毫不亚于《讲话》对中国现代文学的影响。
王雷惠雁冰
关键词:《反对党八股》
陕北志丹方言的语气副词“该”被引量:3
2008年
通过描写、比较志丹方言语气副词"该"用于不同句类、句法环境的语法意义,厘定了"该"和"敢"的区别;并结合陕北、山西晋语的情况和"该"的古今义之继承关系,考察了"该"的来源及语法化问题。
王鹏翔王雷
关键词:语气副词语法化
陕北方言本字续再考被引量:2
2003年
本着据义定字,据音定词的原则,可以考释出能够代表陕北方言语词的若干本字。由于时、地的不同,这些本字的读音与陕北方言语词的实际读音并不都是完全一致。只要语义一致,语音符合音变规律的,即可定为本字。
王雷
关键词:陕北方言本字
基于FSM的UML模型与代码一致性动态检测被引量:1
2021年
为解决统一建模语言(UML,unified modeling language)模型与源代码一致性检测缺少动态分析的问题,讨论了一种基于有限状态机(FSM,finite state machine)的UML模型与代码一致性动态检测方法。该方法执行源代码并捕获方法调用跟踪,将捕获的方法调用与UML顺序图转换得到的FSM进行匹配,以此来检测动态行为的一致性。在三个开源项目上进行了实验,分别发现了31、45和69处不一致,检出率分别达到93.94%、88.24%和90.79%。实验结果表明,在基于图论的一致性静态检测的基础上,该方法可以对UML模型与代码的一致性进行动态检测,且具有较高的检测准确率。
王雷王雷宋慧娜
关键词:动态检测有限状态机函数调用UML模型
数据流图的一种形式化描述与检测方法被引量:1
2022年
数据流图是一种常用的表示软件模型的图示方法。在建模的过程中,由于系统的复杂性等原因,经常会出现一些设计上的缺陷、错误和不一致。目前数据流图的检测主要通过建模者人工来完成,降低了工作效率。为此,提出了一种基于Petri网的数据流图形式化描述方法,以实现数据流图的自动检测。通过对数据流图基本符号的功能的分析,找出形式化描述规则,然后给出了一个订货系统描述实例,并讨论了数据流图自动检测算法。实验结果表明,该方法可以形式化描述数据流图,并自动检测出数据流图中存在的设计错误。在此基础上,可以进一步实现数据流图描述与自动检测软件工具。
王雷王雷张帅
关键词:数据流图形式化描述PETRI网软件设计与开发
试对中国语言学史材料的梳理与分析被引量:1
2012年
中国语言学史研究的首要任务是整理出具有史料价值的语料,即解释言意、言文关系的元语言材料、语言学专著类例材料、通论性概述材料和研究方法材料。为了避免"以今释古",客观再现中国语言学发展的历史线索,在中国语言学史的研究中应特别注意中国传统上"理一分殊"的认知模式和解读方式,进而在马克思唯物史观的指导下,辨其理论、明其方法、揭其体例,述其源流,从而抽绎出中国语言学发展的历史线索。
王雷王鹏翔
关键词:语言学史语料史料价值
陕北志丹话的“得V”句被引量:1
2008年
志丹话谓词前的"得",无论是它的分布、用法还是语法意义,都与普通话有很大差异。文章主要探讨志丹话"得V"句所表示的语法意义,描述其语义和句法结构的特点,并讨论该句式对学习普通话的影响及其对策。
王鹏翔王雷
关键词:普通话
共1页<1>
聚类工具0