您的位置： 专家智库 > >

苗德成

作品数：37 被引量：59H指数：4
供职机构：韶关学院信息科学与工程学院更多>>
发文基金：国家自然科学基金广东省科技计划工业攻关项目广东省自然科学基金更多>>
相关领域：自动化与计算机技术军事自然科学总论航空宇航科学技术更多>>

合作作者

文献类型

  • 32篇期刊文章
  • 2篇专利
  • 1篇学位论文
  • 1篇会议论文

领域

  • 24篇自动化与计算...
  • 5篇军事
  • 3篇自然科学总论
  • 1篇航空宇航科学...
  • 1篇兵器科学与技...

主题

  • 8篇语义
  • 7篇形式语言
  • 7篇防空
  • 6篇索引
  • 6篇范畴论
  • 5篇数据库
  • 3篇形式语义
  • 3篇语言模型
  • 3篇语义计算
  • 3篇数据模型
  • 3篇决策支持
  • 3篇决策支持系统
  • 3篇函子
  • 3篇FIBRAT...
  • 2篇电脑
  • 2篇素描
  • 2篇图形处理器
  • 2篇共享系统
  • 2篇防空兵
  • 2篇伴随函子

机构

  • 21篇韶关学院
  • 17篇华南理工大学
  • 9篇中国人民解放...
  • 1篇昆明理工大学
  • 1篇云南师范大学
  • 1篇河北科技大学
  • 1篇中国人民解放...

作者

  • 36篇苗德成
  • 16篇奚建清
  • 7篇苏锦钿
  • 5篇路建伟
  • 5篇胥少卿
  • 5篇贾连印
  • 5篇刘勇
  • 2篇戴经国
  • 2篇黄东平
  • 2篇吴江
  • 1篇周海军
  • 1篇罗海凤
  • 1篇谢垂益
  • 1篇王玉生
  • 1篇曹毅
  • 1篇姚光仑
  • 1篇冯黎波
  • 1篇游进国
  • 1篇杨大伟
  • 1篇鲁向前

传媒

  • 6篇韶关学院学报
  • 5篇华南理工大学...
  • 5篇计算机科学
  • 3篇火力与指挥控...
  • 1篇系统工程与电...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇微电子学与计...
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇河北科技大学...
  • 1篇电光与控制
  • 1篇情报指挥控制...
  • 1篇国防技术基础
  • 1篇装备指挥技术...
  • 1篇指挥控制与仿...
  • 1篇计算机科学与...
  • 1篇中国电子学会...

年份

  • 5篇2017
  • 2篇2016
  • 3篇2015
  • 1篇2014
  • 3篇2013
  • 7篇2012
  • 3篇2011
  • 1篇2010
  • 1篇2008
  • 2篇2007
  • 3篇2006
  • 5篇2005
共 37 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
Fibrations理论在索引归纳数据类型不确定语义中的应用
2017年
应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。
苗德成奚建清刘新盛苏锦钿
关键词：语义计算
XML的网络标图技术被引量：1
2007年
针对信息化条件下网络标图的需要,以SVG(可缩放矢量图形)作为态势图中电子地图、队标、队号以及附注说明等数据模型的表现形式,提出了基于XML将态势图信息文本化,并实现网络标图的构想,对态势图和军标进行了建模处理,并基于Microsoft Visual Studio.NET网络开发平台,对态势图的标绘、代码解析、网络传输和接收再现进行了较深入的研究。
路建伟胥少卿苗德成唐松洁
关键词：XMLSVG
图形处理器上内存数据库索引T-树的研究被引量：3
2013年
为进一步提高内存数据库索引结构T-树的操作性能,提出一种基于图形处理器的T-树无锁并行计算方案.该方案通过分析平衡树结构的父子节点间的关系,在图形处理器平台上实现使用m个线程并行创建具有m个节点的T-树索引,从而以最大并行度的方式构建T-树.为验证方案的正确性,提出以堆栈的方式在图形处理器上遍历T-树的算法,对各平台上构建T-树的方案进行性能分析,并通过页锁定内存的方式提高CPU和GPU间的数据传输速率.通过对多个处理器平台上的实验结果的对比发现,提出的方案在并行构建T-树和T-树的批量节点插入上相比于传统CPU平台方案分别获得12倍和8倍以上的加速比.
刘勇奚建清黄东平贾连印苗德成
关键词：图形处理器内存数据库索引结构
数据库视图更新的一种Opfibrations方法
2013年
视图为数据库操作提供一定程度上的逻辑独立性,但视图支持的这一功能依赖于数据库视图更新问题的解决.针对数据库视图更新问题的研究现状,提出一种基于Opfibrations的数据库视图更新方法,在模型范畴内将视图定义映射提升为数据库视图更新函子并分析了泛转换存在的条件,对数据库视图更新函子的Opfibrations分裂性质进行了形式化证明,设计了数据库视图更新函子的Grothendieck构造方法,为数据库视图更新问题的有效解决提供了统一的基于Opfibrations方法的数学框架.
苗德成
关键词：视图函子数据库
基于Petri网的防空群决策信息传输能力分析被引量：2
2005年
决策信息传输能力的大小,直接决定着防空作战行动的作战效能,进而决定了防空作战的成败。针对防空群决策信息传输问题,用 Petri 网建模,从时效性和可靠性两个方面,对防空群的决策信息传输能力进行了分析,得到了不同指挥方式下的信息传输能力的度量。对防空群通信能力的分析和指挥体制的优化有一定的借鉴和指导意义。
胥少卿阮伟伟苗德成路建伟
关键词：防空群决策信息指挥方式
一种基于数据挖掘技术的决策信息模型
2007年
探讨了决策支持系统在管理信息系统发展过程中的重要地位,依据现代企业管理的决策支持需求,研究并设计了决策信息模型的基本结构,重点研究了模型的数据挖掘技术.阐述了具体的数据挖掘算法,并应用算法解决了某企业员工考勤部门匹配问题,挖掘出潜在的信息模式,为模型的知识获取子系统提供了知识准备,加快了推理机的推理进程,最后指出了算法的逐步求精性和算法的普遍性.
苗德成
关键词：信息模型数据挖掘决策支持系统聚类分析
防空兵C^3I系统生存能力的综合量化评估被引量：2
2005年
结合实际作战情况,给出了防空兵C3I系统生存能力综合评价的指标体系。利用AHP和D e lph i法进行权重的确定,并对定性指标的处理方法即D e lph i法进行了详细的介绍,对定量指标采用标准化值的方法处理,从一定程度上克服了专家赋值的主观因素,利用AHP法和模糊综合评判法建立了防空兵C3I系统生存能力的综合量化评估模型,最后以实例证明了其可行性。
路建伟周海军苗德成
关键词：综合评估C^3I系统
形式化方法在软件工程中的应用研究被引量：4
2011年
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价。
苗德成冯黎波
关键词：形式化方法软件工程规约
图形处理器上CSB^+-树索引的并行构建算法
2014年
为提高缓存敏感CSB+-树索引的操作效率,在图形处理器(GPU)上研究CSB+-树的并行构建和查询性能.通过分析索引树内部节点的每一键与对应叶子节点的映射关系,提出了一种一次性并行构建CSB+-树所有内部节点键值的无锁并行算法,以最大并行度来快速构建索引树.该算法通过设计GPU平台上支持CSB+-树的索引数据任意伸缩的动态数组来解决GPU上不能动态分配显存空间的问题,通过在索引内部节点的边界增加填充位来减少线程块的线程分支数,从而提高CSB+-树的查询效率.实验结果表明,文中所提算法的运行时间比基于单个节点和基于树层的并行算法分别提高了31.0和1.4倍.
刘勇奚建清黄东平贾连印苗德成
关键词：图形处理器CSB动态数组查询效率
弹炮结合防空部署的费用-效能分析被引量：1
2005年
在未来的防空作战中如何以最小的经济耗费达到最大的作战效能,对于提高防空兵部队战斗力和完善弹炮结合作战理论具有十分重要的意义。从费用-效能分析的角度建立了弹炮结合防空部署评估指标体系,对费用-效能分析方法在弹炮结合防空部署评估中的应用进行了深入探讨,并且给出了评估模型。实例证明此方法对防空部署的评估切实有效。
姚光仑王玉生杨大伟苗德成
关键词：弹炮结合防空部署
全选 清除 导出
共4页<1234>
聚类工具0