您的位置: 专家智库 > >

唐郑熠

作品数:50 被引量:77H指数:4
供职机构:福建工程学院更多>>
发文基金:国家自然科学基金福建省自然科学基金贵州省自然科学基金更多>>
相关领域:自动化与计算机技术交通运输工程电气工程电子电信更多>>

文献类型

  • 33篇期刊文章
  • 17篇专利

领域

  • 35篇自动化与计算...
  • 2篇交通运输工程
  • 1篇电子电信
  • 1篇电气工程
  • 1篇文化科学

主题

  • 6篇形式化
  • 5篇行为时序逻辑
  • 5篇时序逻辑
  • 5篇自动机
  • 5篇SPIN
  • 3篇新鲜性
  • 3篇信任管理
  • 3篇用户
  • 3篇语言
  • 3篇语义WEB
  • 3篇聚类
  • 3篇句法分析
  • 3篇计算机
  • 3篇建模语言
  • 3篇感知
  • 3篇本体
  • 3篇PROMEL...
  • 3篇词性
  • 3篇词性标注
  • 2篇调度

机构

  • 39篇福建工程学院
  • 15篇贵州大学
  • 4篇贵州师范大学
  • 2篇贵州财经大学
  • 2篇贵州广播电视...
  • 2篇湖南工商大学
  • 1篇北方民族大学
  • 1篇福建信息职业...
  • 1篇湖南大学
  • 1篇湖南商学院
  • 1篇中南大学
  • 1篇闽江学院
  • 1篇湖南医药学院
  • 1篇四创科技有限...

作者

  • 50篇唐郑熠
  • 24篇王金水
  • 16篇薛醒思
  • 15篇胡文瑜
  • 7篇杨荣华
  • 6篇赵钊林
  • 5篇郑建生
  • 5篇刘建华
  • 5篇李均涛
  • 5篇李祥
  • 5篇黄丽丽
  • 5篇陈义
  • 4篇韦立
  • 3篇万良
  • 3篇詹先银
  • 3篇王晓峰
  • 2篇刘琰
  • 2篇许道云
  • 2篇赵梦龙
  • 2篇聂明星

传媒

  • 6篇计算机应用研...
  • 3篇贵州大学学报...
  • 3篇计算机与数字...
  • 3篇福建工程学院...
  • 2篇计算机工程与...
  • 2篇计算机工程
  • 2篇福建电脑
  • 2篇铁道科学与工...
  • 2篇计算机技术与...
  • 1篇计算机安全
  • 1篇电力自动化设...
  • 1篇计算机工程与...
  • 1篇吉林大学学报...
  • 1篇无线互联科技
  • 1篇计算机教育
  • 1篇软件工程
  • 1篇网络空间安全

年份

  • 5篇2023
  • 2篇2022
  • 3篇2021
  • 3篇2020
  • 1篇2019
  • 1篇2018
  • 2篇2017
  • 12篇2016
  • 6篇2015
  • 4篇2014
  • 1篇2013
  • 2篇2012
  • 3篇2011
  • 3篇2010
  • 1篇2009
  • 1篇2008
50 条 记 录,以下是 1-10
排序方式:
基于对齐卷积和椭圆损失函数的遥感图像目标检测算法被引量:1
2023年
针对遥感图像旋转框定位过程通常会出现分类分数和定位精度不匹配、交并比计算不精确的问题,文章提出了一个鲁棒性高的单阶段对齐检测网络(Single-stage Alignment Network,SAN),首先在网络中采用了对齐卷积,解决了分类分数和定位精度不匹配的问题;其次在网络训练过程中引入椭圆损失函数,将传统采用的定位交并比的计算方式转换为椭圆区域的参数表示计算。该方法在DOTA和HRSC2016数据集上进行的实验取得了74.3%和89.0%的平均精度,分别比基线方法高出13.2%和15.5%,优于大部分的主流网络模型。
郑凌云李佐勇蔡远征唐郑熠
关键词:目标检测遥感图像卷积神经网络
行为时序逻辑中四级公平性下的活性推理规则
2016年
公平性是行为时序逻辑用于表达系统活性的形式,直接影响到系统描述的正确性与完整性,对其进行细化与完善能有效提高行为时序逻辑的系统描述能力。然而在对公平性进行细化的同时,却缺乏相应的、运用于性质验证的推理规则。针对这一问题,通过对公平性内涵的分析,给出了四级公平性体系下的活性推理规则,并分别进行了证明。作为示例,运用新的活性推理规则对一个程序实例进行了推理验证,在建立起相应的活性推理规则后,四级公平性才能够被有效运用到实际的系统描述与验证中。
唐郑熠薛醒思王金水王晓峰
关键词:行为时序逻辑活性
一种基于句法的跟踪关系恢复方法
一种基于句法的跟踪关系恢复方法,包括如下步骤:句子切分,词性标注,块分析,降噪,聚类,聚类簇映射。本发明利用句法分析技术从制品中抽取出最可能刻画自身特征的标引词,再通过语义聚类恢复不同软件制品之间的跟踪关系,解决了传统的...
王金水郑建生杨荣华唐郑熠赵钊林薛醒思黄丽丽詹先银
文献传递
语义Web服务组合的自动验证方法及其系统
本发明提供一种语义Web服务组合的自动验证方法及其系统,将OWL‑S描述的Web服务转化为一台原子过程自动机,将原子过程自动机组合为组合过程自动机;消除组合过程自动机的冗余并发和同步迁移,获得优化模型;依据用户限定的相容...
唐郑熠王颖胡文瑜陈义王金水
文献传递
基于连续ARQ协议的隐蔽洪水攻击
2012年
通信协议设计时的疏漏很容易造成严重的后果,因此有必要采用形式化的方法来保证协议的安全性和可靠性。模型检测是一种具有工业应用前景的形式化分析方法,并具有很高的自动化程度,适合于协议的分析与验证。文中采用模型检测工具SPIN对连续ARQ协议建模,通过验证该协议的基本属性证明所建模型的正确性。然后依据Dolev和Yao的思想加入攻击者模型再进行分析,发现了连续ARQ协议的一个新漏洞,攻击者能够利用这个漏洞造成大量冗余数据的传输和存储。这种攻击建立在互信的数据传输基础上,且攻击者并不直接发送冗余数据,因此具有很高的隐蔽性。
赵梦龙唐郑熠
关键词:洪水攻击SPINPROMELA
炼焦过程控制计算机故障的分析与模型检测
2010年
用模型检测技术分析了工业生产中计算机通讯的一个死锁故障。根据技术人员的分析,建立了该通讯过程的Promela语言模型,并使用SPIN进行检测,找出了发生死锁的原因,其检测结果与技术人员的分析一致。
李元唐郑熠李祥
关键词:SPIN死锁
基于词性标注的文本聚类算法
2015年
针对传统的文本聚类容易受到噪声影响的问题,提出一个基于词性标注的文本聚类算法。该算法利用词性标注从文本中识别并抽取最能体现文本特征的关键词,再基于所抽取的关键词进行聚类操作。实验发现,相对传统的聚类算法,基于词性标注的文本聚类算法能够有效地提高聚类结果的质量。
王金水唐郑熠薛醒思
关键词:文本聚类词性标注自然语言处理聚类分析
一种WSN逻辑型感知需求的验证方法
本发明提供了一种WSN逻辑型感知需求的验证方法,包括如下步骤:步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统;步骤S20、将逻辑型感知需求描述为感知时态逻辑公式;步骤S30、将感知格局变迁系统转化为UPPAA...
唐郑熠薛醒思王金水胡文瑜刘建华刘琰
文献传递
大数据分析中基于MapReduce的空间权重创建方法研究被引量:2
2016年
大数据空间分析是Cyber-GIS的重要方面。如何利用现有的网络基础设施(如大规模计算集群)对大数据进行并行分布式空间分析仍然是一大难题。提出一种基于MapReduce的空间权重创建方法。该方法依托Hadoop框架组织计算资源,基于MapReduce模式从大规模空间数据集中高效创建出空间权重:大空间数据首先被分为多个数据块,然后将映射器分布给计算集群中的不同节点,以便在数据中寻找出空间对象的相邻对象,最后由约简器从不同节点处收集相关结果并生成权重文件。利用Amazon公司弹性MapReduce的Hadoop框架,从人工空间数据中创建基于邻近概念的权重矩阵进行仿真,实验结果表明,本方法的性能优于传统方法,解决了大数据的空间权重创建问题。
赵梦龙唐郑熠万良韦力
关键词:MAPREDUCE可扩展性
通信协议的Promela语言建模与检测被引量:1
2016年
通信协议的设计与分析是十分困难的工作。使用传统的方法已经难以保证协议设计的效率与质量,针对这一问题,提出了采用SPIN模型检测技术对通信协议进行分析的方法。以停等式ARQ协议为实例,抽象出它的模型并以Promela语言进行实现。同时,对协议的安全属性进行了分析,并转化为线性时序逻辑公式进行自动验证。最后,分析了停等式ARQ协议的缺陷,并在SPIN模型检测器中进行了验证。
陈义唐郑熠
关键词:通信协议ARQ协议SPINPROMELA
共5页<12345>
聚类工具0