公共文化服务平台

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

合作作者

数据库视图更新的一种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年; 在未来的防空作战中如何以最小的经济耗费达到最大的作战效能,对于提高防空兵部队战斗力和完善弹炮结合作战理论具有十分重要的意义。从费用-效能分析的角度建立了弹炮结合防空部署评估指标体系,对费用-效能分析方法在弹炮结合防空部署评估中的应用进行了深入探讨,并且给出了评估模型。实例证明此方法对防空部署的评估切实有效。; 姚光仑王玉生杨大伟苗德成; 关键词：弹炮结合防空部署

具有高校人事信息数据库应用系统界面的电脑: 1．本外观设计产品的名称：具有高校人事信息数据库应用系统界面的电脑。;2．本外观设计产品的用途：本外观设计产品用于数据库应用系统操作以及操作用户与数据库系统的人机交互。;正确输入用户名和密码后，通过界面状态变化图1 登录...; 苗德成

一种高效的分布式数据库完整性技术被引量：1: 2012年; 研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.; 苗德成奚建清刘勇贾连印; 关键词：分布式数据库

Dtrie-allpair:高效的集合T-覆盖连接算法被引量：2: 2012年; 传统的T-覆盖连接算法会因生成的候选集庞大而导致系统性能降低,为此,文中提出了一种基于trie的动态索引结构——DTI结构,并构建了基于该结构的相似度连接算法——Dtrie-allpair算法.通过该算法可以直接得到allpair连接的结果,不产生任何候选集,有效解决了高候选集产生的问题,克服了传统算法因生成并验证候选集而带来的开销.文中还研究了数据库中记录的顺序及记录中元素顺序对Dtrie-allpair算法性能的影响,并在msweb、msnbc两个数据集下对Dtrie-allpair算法与All-pair、PPJoin算法进行对比.结果表明:Dtrie-allpair算法具有明显的优势,覆盖阈值较小时优势更明显;对msweb数据集,阈值为2时,Dtrie-allpair算法的效率相对于All-pair、PPJoin算法提高近两个数量级;通过对数据集进行频率降序和长度升序组合预处理可大幅降低Dtrie-allpair算法访问的trie结点数量,从而显著提升性能.; 贾连印奚建清李孟娟游进国刘勇苗德成