公共文化服务平台

苗德成: 作品数：37 被引量：59H指数：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系统

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结点数量,从而显著提升性能.; 贾连印奚建清李孟娟游进国刘勇苗德成

带有图形用户界面的电脑（高校人事信息系统）: 1．本外观设计产品的名称：带有图形用户界面的电脑（高校人事信息系统）。;2．本外观设计产品的用途：本外观设计产品用于运行程序。;3．本外观设计产品的设计要点：在于屏幕中的图形用户界面内容，电脑为现有设计。;4．最能表明本...; 苗德成

基于SVG的战术标图系统设计与研究被引量：4: 2006年; 针对信息化条件下战术标图的需要,提出了基于SVG实现战术标图系统的实现构想,并基于Visual Studio.NET开发平台,对态势图的标绘、代码解析、网络传输和接收再现进行了较深入的研究,得出基于SVG实现战术标图具有可行性和必要性的结论。; 胥少卿路建伟钱叶魁苗德成; 关键词：XML SVG

一种时态数据形式语言模型被引量：2: 2012年; 数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立了该时态数据模型的形式语言模型。应用时态数据形式语言模型定义了各类时态完整性约束的形式语义规则,深入分析了时态数据模型内在的时态语义联系,为时态数据模型的研究提供了一个便利、高效的形式化理论框架。; 苗德成奚建清; 关键词：形式语言时态数据形式语义

一种形式语言代数模型被引量：8: 2011年; 针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不同层次上描述复杂形式系统软件规约的抽象表达程度,适于复杂形式系统的开发与测试.此外,文中应用范畴理论深入分析语言族模型中各语言模型之间的内在联系,以提供一个便利、高效的形式语言模型的理论框架.; 苗德成奚建清贾连印刘勇; 关键词：形式语言语言模型形式语义

一种不确定性语义计算模型被引量：1: 2012年; 随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.; 苗德成奚建清; 关键词：不确定性软件系统语义程序设计