基于Visual Basic 6.0的浮阀塔软件设计 被引量：3

1

作者 司海飞 吴恩 杨忠 《机电工程》 CAS 2011年第2期238-242,共5页

针对浮阀塔手工设计效率低、计算结果不精确等问题,结合可视化编程语言Visual Basic 6.0开发环境在机电系统软件开发中的优缺点,以手工设计方法与工程实践为基础,利用Visual Basic 6.0开发浮阀塔设计软件,实现了浮阀塔结构的快速设计,... 针对浮阀塔手工设计效率低、计算结果不精确等问题,结合可视化编程语言Visual Basic 6.0开发环境在机电系统软件开发中的优缺点,以手工设计方法与工程实践为基础,利用Visual Basic 6.0开发浮阀塔设计软件,实现了浮阀塔结构的快速设计,快速绘制浮阀塔板布阀图及负荷性能图,并能实现EXCEL表输出结构计算参数和水力计算参数。研究结果及应用分析表明,所设计的基于Visual Basic 6.0的浮阀塔软件界面友好、计算结果准确,软件可供工程设计或教学使用,所采用的方法和技术对其他工业应用软件的开发也具有一定的参考价值。 展开更多

关键词 VISUAL basic 6.0 浮阀塔 布阀图 负荷性能图

在线阅读 下载PDF 职称材料

面向灾害损失评估的黄河流域自然灾害知识图谱构建

2

作者 吴廷鑫 余波 +2 位作者 黄瑞 杨洋 刘心怡 《人民黄河》 北大核心 2025年第7期91-96,共6页

针对单灾种的自然灾害知识图谱覆盖信息面窄,难以从海量复杂的信息中提炼知识这一问题,提出一种面向灾害损失评估的黄河流域自然灾害知识图谱构建方法。自然灾害知识图谱由数据资源层、知识抽取层(包含模式层、数据层)和应用服务层构成... 针对单灾种的自然灾害知识图谱覆盖信息面窄,难以从海量复杂的信息中提炼知识这一问题,提出一种面向灾害损失评估的黄河流域自然灾害知识图谱构建方法。自然灾害知识图谱由数据资源层、知识抽取层(包含模式层、数据层)和应用服务层构成。以自然灾害事件本体、基础地理信息本体、灾害损失评估本体模型为主体,采用自顶向下的方法建立模式层。收集多源异构的自然灾害事件、基础地理信息、灾害损失数据,采用自底向上的方法构建数据层,实现从多源异构数据中进行知识抽取、融合、存储。应用情况表明:该图谱支持时空关系的高效检索与区域并发灾害的快速识别,对1981—2018年黄河流域发生的160次重大灾害事件分析发现,灾害发生频率呈递增趋势,洪水为最常见的灾害类型,共识别出37次并发灾害。该图谱突破了传统单灾种知识体系的局限,可提升灾害损失评估的效率。 展开更多

关键词 自然灾害知识图谱 模式层 数据层 基础地理信息 灾害损失评估 黄河流域

在线阅读 下载PDF 职称材料

大规模RDF图数据上高效率分布式查询处理 被引量：10

3

作者 王鑫 徐强 +2 位作者 柴乐乐 杨雅君 柴云鹏 《软件学报》 EI CSCD 北大核心 2019年第3期498-514,共17页

知识图谱是智能数据的主要表现形式,随着知识图谱领域的不断发展,大量的智能图数据以资源描述框架(resourcedescriptionframework,简称RDF)形式发布出来.RDF图上的SPARQL查询语义对应于图同态,是一个NP-完全问题.因此,如何使用分布式方... 知识图谱是智能数据的主要表现形式,随着知识图谱领域的不断发展,大量的智能图数据以资源描述框架(resourcedescriptionframework,简称RDF)形式发布出来.RDF图上的SPARQL查询语义对应于图同态,是一个NP-完全问题.因此,如何使用分布式方法在大规模RDF图上有效回答SPARQL查询是一个富有挑战性的问题.目前已有研究使用MapReduce计算模型处理大规模RDF数据,但其将SPARQL查询拆分成单个的查询子句,没有考虑RDF数据的丰富语义和自身的图特性,导致Map Reduce迭代次数过多.首先,利用RDF数据内嵌的语义和结构信息作为启发式信息,将查询图分解为星形的集合,可以在更少次迭代内得到查询结果.同时,分解算法给出中间结果较少的星形匹配顺序,基于此顺序,每轮Map Reduce操作通过连接操作匹配一个新的星形,直至产生最终的答案.最后,在标准合成数据集WatDiv和真实数据集DBpedia上进行大量的实验评估.实验结果表明:所提基于星形分解的分布式SPARQLBGP匹配算法能够高效回答查询,查询时间比SHARD和S2X算法的查询时间平均提高一个数量级,且优化算法的查询时间与基本算法相比缩短了49.63%～78.71%. 展开更多

关键词 星形分解 分布式 基本图模式匹配 大规模RDF 图 MAPREDUCE

在线阅读 下载PDF 职称材料

一种基于HBase的RDF数据存储模型 被引量：8

4

作者 朱敏 程佳 柏文阳 《计算机研究与发展》 EI CSCD 北大核心 2013年第S1期23-31,共9页

随着语义网数据的爆炸式增长,如何高效地管理海量RDF数据成为一个关键问题.现有的集中式关系型RDF数据存储管理系统已难以适应这种需求,越来越多的研究者使用分布式系统和并行计算技术来管理海量RDF数据.提出一种基于分布式数据库HBase... 随着语义网数据的爆炸式增长,如何高效地管理海量RDF数据成为一个关键问题.现有的集中式关系型RDF数据存储管理系统已难以适应这种需求,越来越多的研究者使用分布式系统和并行计算技术来管理海量RDF数据.提出一种基于分布式数据库HBase的RDF数据存储模型,根据OWL本体定义文件,将数据按类划分,同一类的三元组数据保存在该类的S_PO和O_PS两张表中,实现该存储模型上的8种Triple Pattern和Basic Graph Pattern查询算法,并提供部分推理功能,在Hadoop集群环境下对存储模型与查询算法进行了可行性验证. 展开更多

关键词 资源描述框架 语义数据存储 SPARQL 基本图模式 查询处理

在线阅读 下载PDF 职称材料

一种通用的去除文字图像中干扰线的算法 被引量：2

5

作者 程治国 刘允才 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1288-1291,共4页

提出一种去除文字图像中干扰线的通用算法.通过将图像转换为便于操作的基本图形及高级图形,去除了图像的冗余同时获得了图像的几何信息,然后将对干扰线的检测看作对图像主曲线的检测,并将检测环节作为去除干扰线的关键步骤.检测过程中... 提出一种去除文字图像中干扰线的通用算法.通过将图像转换为便于操作的基本图形及高级图形,去除了图像的冗余同时获得了图像的几何信息,然后将对干扰线的检测看作对图像主曲线的检测,并将检测环节作为去除干扰线的关键步骤.检测过程中采用改进的最短路径算法和方向偏移算法,最后将检测到的干扰线与原图分离.大量的实验结果证明,该算法对文字图像中干扰线的检测和去除高效实用. 展开更多

关键词 图像识别 干扰线 主曲线 基本图形 超级图形

在线阅读 下载PDF 职称材料

在装配序列规划中子装配体识别方法研究 被引量：9

6

作者 曹德君 田锡天 +1 位作者 耿俊浩 李洲洋 《机械设计与制造》 北大核心 2009年第10期126-128,共3页

提出了基于关联图与基础零件识别子装配体的方法。首先从有向图识别基础零件。通过模糊数学理论建立几何和工艺优先约束因素相对于装配难度的隶属函数,以综合函数值作为权值得到赋权配合关联图。然后通过设置难度系数和以基础件为核心... 提出了基于关联图与基础零件识别子装配体的方法。首先从有向图识别基础零件。通过模糊数学理论建立几何和工艺优先约束因素相对于装配难度的隶属函数,以综合函数值作为权值得到赋权配合关联图。然后通过设置难度系数和以基础件为核心对节点进行合并与组装得到简化配合关联图。在此基础上通过一定的规则和基础零件识别子装配体。最后通过实例验证方法的可行性。 展开更多

关键词 基础零件 有向图 简化配合关联图 子装配体识别

在线阅读 下载PDF 职称材料

高校实验能力图谱基础架构及关键问题探讨 被引量：9

7

作者 江永亨 任艳频 唐潇风 《实验技术与管理》 CAS 北大核心 2023年第12期187-191,共5页

为了弥补对实验能力缺乏系统性认识与理解问题,该文研究了实验能力构成要素和关系,提出了实验能力图谱概念,给出了以实验对象/系统为经、实验能力类别为纬的学科专业实验能力图谱基础架构,以及以实验项目为经、实验能力类别为纬的课程... 为了弥补对实验能力缺乏系统性认识与理解问题,该文研究了实验能力构成要素和关系,提出了实验能力图谱概念,给出了以实验对象/系统为经、实验能力类别为纬的学科专业实验能力图谱基础架构,以及以实验项目为经、实验能力类别为纬的课程项目实验能力图谱基础架构,讨论了实验对象/系统的定位和粒度、能力要素及其关联关系强度门槛、图谱术语和呈现形式等关键问题,为实验能力图谱梳理提供了借鉴和参考。 展开更多

关键词 实验教学 实验能力图谱 基础架构

在线阅读 下载PDF 职称材料

利用MATLAB计算切割图中三区域的面积值 被引量：6

8

作者 杨树川 佘永卫 杨术明 《农机化研究》 北大核心 2005年第5期66-67,共2页

切割器是收割机的主要工作部件,它的工作性能直接影响收割机的性能。为此,介绍了利用MATLAB软件对标准往复式切割器在一定工作条件下切割图中3个区域面积的计算方法和计算过程,这将对于切割器的性能评价及工作参数的选择具有重要的作用。

关键词 农业基础科学 标准往复式切剖器 计算 MATLAB 切割图

在线阅读 下载PDF 职称材料

汇编级软硬结合的控制流检测方法 被引量：3

9

作者 吴艳霞 顾国昌 +2 位作者 戴葵 刘海波 沈晶 《计算机研究与发展》 EI CSCD 北大核心 2010年第8期1481-1489,共9页

控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,... 控制流检测技术是防止由于瞬时故障造成程序错误运行的有效手段之一,在ARGOS卫星上测试过的基于汇编语言的软件控制流检测算法CFCSS具有较高的错误检测能力和较低的冗余指令开销,实用性较强,但此算法存在检测混淆和检测出错现象.为此,首先阐述了CFCSS算法中存在的检测混淆和检测出错现象;接下来根据汇编语言特点,修改了基础基本块的选择方法和多调整签名值赋值语句的插入位置,提出了改进的ICFCSS控制流检测算法;为了在ICFCSS算法基础上进一步提高错误检测能力、降低故障延迟时间和冗余指令开销,提出了软硬结合的ICFCSSHS控制流检测方法,此方法在编译程序时只增加了和签名有关的信息,在程序运行时通过译码阶段判指令类型来触发相应的硬件完成控制流检测.实验表明,此方法的冗余代码空间开销比CFCSS算法减少了21.5%,平均未检测出错误率仅为1.5%,具有一定的使用价值. 展开更多

关键词 可靠性 硬件故障容错 控制流检测技术 控制流图 基本块

在线阅读 下载PDF 职称材料

扫描地图中房屋和建筑物的自动矢量化方法 被引量：1

10

作者 程治国 刘允才 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第5期833-837,共5页

提出一种对扫描地图中房屋和建筑物自动进行结构识别和数据获取的方法.将经扫描和细化处理后的二值骨架地图作为数据源,然后将图像转化为便于操作的基本图形和超级图形.分析了存在于扫描地图中的若干种干扰结构,并提出了其对应的消除方... 提出一种对扫描地图中房屋和建筑物自动进行结构识别和数据获取的方法.将经扫描和细化处理后的二值骨架地图作为数据源,然后将图像转化为便于操作的基本图形和超级图形.分析了存在于扫描地图中的若干种干扰结构,并提出了其对应的消除方法.最后,采用先找“拐点”、后分段处理的方法,对房屋结构进行了矢量化.实验结果证明,该方法在将纸面地图转化为矢量地图中的高效可靠性. 展开更多

关键词 扫描纸面地图 基本图形 超级图形 组件分割 坐标线

在线阅读 下载PDF 职称材料

一种控制流基本块的静动态结合反汇编方法 被引量：1

11

作者 唐成华 王璐 +2 位作者 张鑫 王宇 强保华 《小型微型计算机系统》 CSCD 北大核心 2016年第9期1942-1946,共5页

针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对代码... 针对静态反汇编间接跳转定位难和反汇编路径覆盖等问题,提出一种基于控制流基本块精确的静动态结合反汇编方法,首先利用函数定位切分识别函数块依赖关系,其次从超汇编指令集中产生粗粒度控制流图,接着结合中断标记点处理机制实现对代码执行路径可知,继而建立精确的控制流基本块,并最终完成以实际控制流引导的反汇编过程.实验结果表明该方法能有效地提高代码反汇编的准确性和覆盖率,为代码分析提供了一种新的解决途径. 展开更多

关键词 反汇编 控制流图 基本块 中断处理机制

在线阅读 下载PDF 职称材料

一种基于控制流检测的低功耗基本块划分方法 被引量：2

12

作者 吴艳霞 顾国昌 王克惠 《计算机工程与应用》 CSCD 北大核心 2007年第25期118-120,共3页

星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性,控制流检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一。为了在低功耗模式下保证错误检测概率,提出一种基于控制流检测的低功耗基本块划分方... 星载嵌入式系统要求更小的功耗和必备的在空间辐射环境中运行的高可靠性,控制流检测技术是防止由于单粒子翻转事件而造成程序错误运行的有效手段之一。为了在低功耗模式下保证错误检测概率,提出一种基于控制流检测的低功耗基本块划分方法,此基本块划分方法在编译后期完成,不影响编译调度效果。采用GCC、SDCC两款编译器,将三种具有代表性的控制流检测算法注入到典型的程序集中进行测试。实验证明,此种基本块划分方法在保证错误检测概率的条件下,降低了程序运行功耗。 展开更多

关键词 控制流检测 控制流图 基本块 编译技术

在线阅读 下载PDF 职称材料

汇编程序覆盖测试中分支路径数的计算 被引量：2

13

作者 唐科 汪文勇 +1 位作者 向渝 罗光春 《电子科技大学学报》 EI CAS CSCD 北大核心 2005年第2期236-239,共4页

说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准... 说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准确地计算出给定汇编程序的分支路径数。 展开更多

关键词 覆盖测试 基本块 程序流图 存储矩阵 邻接表

在线阅读 下载PDF 职称材料

基于基本块标识方法的控制流图生成器设计 被引量：4

14

作者 孙永新 吴家培 闫大顺 《计算机应用与软件》 CSCD 2010年第5期158-161,共4页

设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造... 设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。 展开更多

关键词 控制流图构造 基本块标识 语法制导翻译

在线阅读 下载PDF 职称材料

空间可展开天线基本单元构型的数综合方法 被引量：2

15

作者 田大可 刘荣强 +1 位作者 邓宗全 郭宏伟 《沈阳工业大学学报》 EI CAS 北大核心 2012年第4期420-426,454,共8页

为对金属网面可展开天线进行构型创新研究,提出了一种基于图论理论的金属网面可展开天线基本单元构型的数综合方法.根据基本单元的展开方式,总结出其运动链的特点,建立了运动链与拓扑图的转换关系,得到了4种基本单元的拓扑图模型.将拓... 为对金属网面可展开天线进行构型创新研究,提出了一种基于图论理论的金属网面可展开天线基本单元构型的数综合方法.根据基本单元的展开方式,总结出其运动链的特点,建立了运动链与拓扑图的转换关系,得到了4种基本单元的拓扑图模型.将拓扑图进行子图化分解,分析了构件的拓扑对称性.采用双色拓扑图分析了机架在不同位置时运动副的拓扑对称性,得到了满足拓扑要求的基本单元的构型总数.通过例子阐述了由拓扑图综合成机构的过程,并讨论了机构间的构型演化.算例及分析表明:该方法得到的构型总数可方便计算机自动综合软件建立拓扑图库,同时为宇航空间可展开机构理论的研究提供了借鉴与参考. 展开更多

关键词 可展开结构 可展开天线 基本单元 构型综合 图论 邻接矩阵 拓扑图 运动链

在线阅读 下载PDF 职称材料

基本图的图表示与项表示的相互转换算法

16

作者 金英 金成植 韩鸿莺 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1438-1441,共4页

基本图是一种描述并发交互系统的形式化方法 ,它具有描述简洁、清晰和直观的特点 .在基本图中 ,进程以及进程间的交互行为 ,既可以用图表示方法 (其中一个图对应一个进程 ,图之间的归约对应进程之间的交互行为 ) ,又可以用项代数来表示 ... 基本图是一种描述并发交互系统的形式化方法 ,它具有描述简洁、清晰和直观的特点 .在基本图中 ,进程以及进程间的交互行为 ,既可以用图表示方法 (其中一个图对应一个进程 ,图之间的归约对应进程之间的交互行为 ) ,又可以用项代数来表示 .本文对基本图的图表示中进行了一些改动 ,并在此基础上给出了这两种表示方法之间的转换算法 ,同时实现了具有创建。 展开更多

关键词 基本图 图表示 项表示 算法 计算机

在线阅读 下载PDF 职称材料

通风网路理论的发展（Ⅰ） 被引量：1

17

作者 徐瑞龙 单亚飞 章庆丰 《阜新矿业学院学报》 1995年第2期104-106,共3页

综述通风网路的基本性质．运用图论揭示风网的基本性质、运用特征图技术揭示通风系统的特征是现代风网理论的标志．

关键词 基本性质 图论 矿井 发展 通风

在线阅读 下载PDF 职称材料

基于可满足性模理论求解器的程序路径验证方法 被引量：2

18

作者 任胜兵 吴斌 +1 位作者 张健威 王志健 《计算机应用》 CSCD 北大核心 2016年第10期2806-2810,共5页

针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造... 针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。 展开更多

关键词 路径验证 控制流图 决策树 基本路径 可满足性模理论求解器

在线阅读 下载PDF 职称材料

一类树图谱半径的界

19

作者 王新霞 束金龙 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第3期12-16,共5页

研究具有n+1条边的n阶简单连通图(n,n+1)的树图TG的结构,给出了TG的谱半径的由n和l确定的界,其中l为G中两个基本圈的共同的边数.

关键词 树图 谱半径 基本圈

在线阅读 下载PDF 职称材料

一种基于层次化R-GCN的会话情绪识别方法 被引量：1

20

作者 赖河蒗 李玲俐 +1 位作者 胡婉玲 颜学明 《计算机工程》 CAS CSCD 北大核心 2022年第1期85-92,共8页

会话情绪识别包括说话者自身情绪影响以及说话者之间情绪影响这2个重要因素,为了充分考虑上述影响因素以提高会话情绪识别效果,提出一种基于层次化关系图卷积神经网络(HRGCN)的识别方法。使用一个基础神经网络对会话序列的特征数据进行... 会话情绪识别包括说话者自身情绪影响以及说话者之间情绪影响这2个重要因素,为了充分考虑上述影响因素以提高会话情绪识别效果,提出一种基于层次化关系图卷积神经网络(HRGCN)的识别方法。使用一个基础神经网络对会话序列的特征数据进行优化,按照不同的说话者划分出2个不同的会话子序列,采用2个局部关系图卷积神经网络(R-GCN)分别对2个子序列进行局部建模,按照会话发生的时间顺序重新整合局部建模后的2个子序列,并利用全局R-GCN对其进行全局建模。通过对输入的多模态特征数据的分层次建模,使得会话序列捕获到更多的上下文信息。在IEMOCAP数据集上的实验结果表明,与当前流行的循环神经网络LSTM、GRU等相比,HRGCN方法的会话情绪识别性能较高,准确率与F1值分别达到84.48%与84.40%。 展开更多

关键词 基础神经网络 关系图卷积神经网络 会话 情绪识别 人工智能

在线阅读 下载PDF 职称材料