检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种不确定性语义计算模型

微电子学与计算机 2012年第1期29卷 15-17,22页

作者：苗德成奚建清韶关学院数学与信息科学学院广东韶关512000 华南理工大学计算机科学与工程学院广东广州510000

随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,... 详细信息

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

关键词：不确定性模型软件系统语义程序设计

利用动态阈值决策树分类的华北平原冬小麦动态监测

在线全文

学校读者我要写书评

暂无评论

农业工程学报 2024年第8期40卷 125-132页

作者：乔梦琦周德成南京信息工程大学中国气象局生态系统碳源汇重点开放实验室/气象灾害预报预警与评估协同创新中心南京210044

华北平原是中国最大的粮食生产基地,准确监测其冬小麦种植面积及其变化对粮食产量预测和国家粮食安全具有重要意义。然而,不同土地利用产品所估算的小麦面积、空间分布及其动态变化均存在较大分歧,不能有效反映出冬小麦的长期变化特征... 详细信息

华北平原是中国最大的粮食生产基地,准确监测其冬小麦种植面积及其变化对粮食产量预测和国家粮食安全具有重要意义。然而,不同土地利用产品所估算的小麦面积、空间分布及其动态变化均存在较大分歧,不能有效反映出冬小麦的长期变化特征。该研究结合作物物候特征和已有小麦专题数据产品,首先构建动态阈值决策分类算法,以降低传统方法在阈值设定和样本筛选方面的不确定性;进而分析了2003—2022年华北平原区冬小麦播种面积的长期变化规律。结果表明:1)该研究提出的动态阈值决策分类算法能准确地提取冬小麦面积,平均总体精度为93.44%,且与统计数据具有较高的一致性;2)2003—2022年华北平原冬小麦种植面积整体呈上升趋势,不同地区变化类型差异较大;3)研究时段内,持续种植冬小麦的耕地面积仅占各年份种植范围总面积的5%,种植次数低于10 a的面积占比达55%;4)河北省中南部、山东省西部和河南省中北部冬小麦种植面积相对稳定,京津冀地区以及山区冬小麦播种面积变化相对频繁。该研究可为大尺度冬小麦动态监测提供了新的方法视角,并对科学制定耕地调控策略具有重要意义。

关键词：遥感农作物分类动态阈值决策树 MODIS 华北平原

Dtrie-allpair:高效的集合T-覆盖连接算法

在线全文

学校读者我要写书评

暂无评论

华南理工大学学报（自然科学版） 2012年第6期40卷 109-117页

作者：贾连印奚建清李孟娟游进国刘勇苗德成华南理工大学计算机科学与工程学院广东广州510006 云南师范大学图书馆云南昆明650092 昆明理工大学信息工程与自动化学院云南昆明650500

传统的T-覆盖连接算法会因生成的候选集庞大而导致系统性能降低,为此,文中提出了一种基于trie的动态索引结构——DTI结构,并构建了基于该结构的相似度连接算法——Dtrie-allpair算法.通过该算法可以直接得到allpair连接的结果,不产生任... 详细信息

传统的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结点数量,从而显著提升性能.

关键词：集合相似度 T-覆盖连接覆盖阈值基于trie的动态索引 All-pair算法 PP-Join算法频率降序长度升序

在线全文

学校读者我要写书评

暂无评论

一种高效的分布式数据库完整性技术

华南理工大学学报（自然科学版） 2012年第1期40卷 131-137页

作者：苗德成奚建清刘勇贾连印华南理工大学计算机科学与工程学院广东广州510006

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维... 详细信息

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

关键词：分布式数据库完整性测试代价评估检查策略约束

在线全文

学校读者我要写书评

暂无评论

显性格标记在汉维谚语中句法功能对比研究

语言与翻译 2016年第3期 22-27页

作者：苗德成中国传媒大学文法学部北京100024

文章通过对汉语和维吾尔语谚语中格标记(介词、格语缀、语序等)的形式、句法位置、句法功能等方面进行对比考察,分析汉语和维吾尔语格标记的介引功能、句法语义功能等的异同,认为显性格标记(如介词、格语缀等)处于句法表层结构中,依附... 详细信息

文章通过对汉语和维吾尔语谚语中格标记(介词、格语缀、语序等)的形式、句法位置、句法功能等方面进行对比考察,分析汉语和维吾尔语格标记的介引功能、句法语义功能等的异同,认为显性格标记(如介词、格语缀等)处于句法表层结构中,依附名词性语义成分而存在,在句法结构中所依附的位置及其选用时所受的限制存在语言差异。

关键词：汉维语格标记句法位置介引功能

在线全文

学校读者我要写书评

暂无评论

一种形式语言代数模型

华南理工大学学报（自然科学版） 2011年第10期39卷 74-78页

作者：苗德成奚建清贾连印刘勇华南理工大学计算机科学与工程学院广东广州510006

针对形式语言研究的国内外现状,对形式系统规约描述语言的数学模型进行了初步探讨,建立了一种形式语言的代数模型,依据软件重用的思想及转换语义的方法提出了语言重用的概念,根据软件工程分层设计原则构建了形式语言族模型.该模型在不... 详细信息

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

关键词：形式语言语言模型重用形式语义分层设计

能带优化和载流子调控改善SnTe的热电性能

在线全文

学校读者我要写书评

暂无评论

无机材料学报 2024年第3期39卷 306-312页

作者：陈浩樊文浩安德成陈少平太原理工大学材料科学与工程学院太原030024 太原理工大学物理学院太原030024 太原理工大学化学学院太原030024

作为ⅣA族碲化物,SnTe具有与PbTe相同的晶体结构和相似的双价带结构,是一种非常有前途的热电材料,但高温软化和低温热电性能差等问题阻碍了其进一步推广应用。因此,提升SnTe的平均热电优值,拓宽服役区间,有重要的研究意义。能带工程和... 详细信息

作为ⅣA族碲化物,SnTe具有与PbTe相同的晶体结构和相似的双价带结构,是一种非常有前途的热电材料,但高温软化和低温热电性能差等问题阻碍了其进一步推广应用。因此,提升SnTe的平均热电优值,拓宽服役区间,有重要的研究意义。能带工程和晶格工程可同时优化功率因子和晶格热导率,提升SnTe的热电性能。本研究采用MgSe合金化策略,通过熔炼和放电等离子烧结(SPS)的方法制备了一系列Sn1-yPbyTe-x%MgSe(0.01≤y≤0.05,0≤x≤6)样品。研究发现,合金化MgSe可增大能带带隙,有效抑制本征SnTe在高温段的双极扩散,使高温Seebeck系数得到提升,同时声子散射降低了体系晶格热导率,使高温热电性能(873 K)提升了100%;掺杂Pb元素可有效调制载流子浓度抑制电子热导率,从而提升SnTe平均热电性能。其中,Sn0.96Pb0.04Te-4%MgSe样品在873 K的ZT为1.5,423~873 K的平均ZT达到0.8,得到了比文献更优异的结果。

关键词：热电材料载流子调制合金化能带工程 SnTe

在线全文

学校读者我要写书评

暂无评论

一种时态数据形式语言模型

计算机科学 2012年第4期39卷 172-176,204页

作者：苗德成奚建清韶关学院数学与信息科学学院韶关512005 华南理工大学计算机科学与工程学院广州510640

数据模型是数据库技术发展的主线,时态数据模型是时态数据库系统的核心与基础。针对时态数据模型的研究现状,初步探讨了时态数据模型的基本要素,建立了一种形式化时态数据模型;基于形式语言理论和形式语义学的指称语义方法,进一步建立... 详细信息

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

关键词：模型形式语言时态数据完整性约束形式语义

在线全文

学校读者我要写书评

暂无评论

增投入上项目保增长促发展

经济论坛 1998年第23期 17-18页

作者：苗德成河北省滦县人民政府

近年来，滦县从经济发展的实际出发，坚持把项目建设作为经济发展的切入点，多渠道筹措建设资金，不断优化投资结构，今年１－８月份，全县完成固定资产投入７．６５亿元，比１９９７年增长６６％，其中有２４２个生产性建设项目已经完... 详细信息

近年来，滦县从经济发展的实际出发，坚持把项目建设作为经济发展的切入点，多渠道筹措建设资金，不断优化投资结构，今年１－８月份，全县完成固定资产投入７．６５亿元，比１９９７年增长６６％，其中有２４２个生产性建设项目已经完工，总投资２１亿元，有力地促进了...

关键词：经济滦县优化投资结构投资财政管理