一种基于图转换的模型重构描述语言 被引量：5

1

作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2009年第8期2087-2101,共15页

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提... 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则. 展开更多

关键词 重构 模型 图转换 描述语言

下载PDF 职称材料

基于矩阵运算的图转换检测算法 被引量：1

2

作者 朱跃龙 陈亮 《电子设计工程》 2011年第5期67-70,共4页

本文基于图是一种可以把复杂的问题直观地表示出来的自然的方式,已应用于计算机科学的几乎所有方面,从而图转换系统(GTS)得到了广泛的用,但是在图转换系统中不同的规则复合会产生冲突,想通过计算机系统自动判断不同规则能否复合,减少规... 本文基于图是一种可以把复杂的问题直观地表示出来的自然的方式,已应用于计算机科学的几乎所有方面,从而图转换系统(GTS)得到了广泛的用,但是在图转换系统中不同的规则复合会产生冲突,想通过计算机系统自动判断不同规则能否复合,减少规则复合人工干涉这一目的,采用了矩阵运算的方法,并且定义冲突矩阵,关联矩阵以及规则链等概念,将各个规则看作各个规则的节点,这样就形成一个有向的规则链。记作pi→pi+1→…→pj,计算各个规则链长度的方法,得到了个规则节点到其他节点的长度,通过寻找复合规则之间长度为l的规则链是否存在,从而检测出这一系列规则有无冲突。 展开更多

关键词 图转换 矩阵运算 规则链 冲突矩阵 关联矩阵

下载PDF 职称材料

面向用户需求的无线带宽优化分配算法 被引量：1

3

作者 沈艳 万夕里 +1 位作者 管昕洁 蔚承建 《计算机工程与设计》 北大核心 2019年第12期3401-3406,共6页

针对通过合理高效的关联无线接入点(access points,APs)与移动设备达到带宽分配最优的问题,将不同的用户带宽需求作为新的约束条件,建立AP关联策略模型,对无线网络中最大带宽分配问题(maximum bandwidth allocation problem,MBAP)进行... 针对通过合理高效的关联无线接入点(access points,APs)与移动设备达到带宽分配最优的问题,将不同的用户带宽需求作为新的约束条件,建立AP关联策略模型,对无线网络中最大带宽分配问题(maximum bandwidth allocation problem,MBAP)进行优化。设计图转换技术,构建网络模型。将MBAP转化为最大子集和问题,提出最大带宽分配算法(maximum bandwidth allocation algorithm,MBAA),生成次优的用户关联方案。与其它AP关联策略进行对比实验,其结果表明,所提方法达到了更好的负载均衡,提高了整个网络的吞吐量。 展开更多

关键词 接入点关联 无线接入 图转换 带宽分配 负载均衡

下载PDF 职称材料

网络可靠性分析方法研究

4

作者 闫达 《电脑编程技巧与维护》 2011年第18期82-84,共3页

总结了进行网络可靠性分析的一般步骤,比较了传统的网络分析方法的优缺点,重点论述了一种基于有序二叉决策图的方法,在考虑失效节点的网络可靠性分析中的应用。

关键词 网络可靠性 状态空间 割集 连接集 图转换 OBDD

下载PDF 职称材料

基于图转换的无线接入点关联优化算法

5

作者 陶雯 沈艳 +1 位作者 管昕洁 万夕里 《电信科学》 北大核心 2017年第11期83-92,共10页

无线接入点关联是Wi-Fi系统中的一个基础问题。已有的研究主要集中在考虑带宽容量约束条件下的各种AP关联问题。这些研究没有从用户的角度考虑带宽需求,从用户的带宽需求出发,以最多带宽分配的AP关联为优化目标,考虑混合型网络架构下的W... 无线接入点关联是Wi-Fi系统中的一个基础问题。已有的研究主要集中在考虑带宽容量约束条件下的各种AP关联问题。这些研究没有从用户的角度考虑带宽需求,从用户的带宽需求出发,以最多带宽分配的AP关联为优化目标,考虑混合型网络架构下的Wi-Fi系统的无线接入点关联优化问题。与已有研究方法不同,通过图转换技术,并将问题转化为流图上的优化问题,提出基于网络流的优化求解算法,并从理论上证明算法的最优性。最后,通过对比实验进一步证明了算法的优越性。 展开更多

关键词 无线接入 图转换 接入点关联

下载PDF 职称材料

基于图转换的模型重构冲突检测方法

6

作者 陈军冰 王志坚 《计算机工程》 CAS CSCD 北大核心 2010年第20期40-42,共3页

根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算2个非删除规则的交叠。探讨对一种给定带否定应用条件(NAC)的图转换系统可直接计算出关键对的方法,直接构建带NAC的关键对。针对每个冲突原因存在一个有效关键对,... 根据冲突分类规则,对非删除规则产生的关键对的计算进行优化,以避免计算2个非删除规则的交叠。探讨对一种给定带否定应用条件(NAC)的图转换系统可直接计算出关键对的方法,直接构建带NAC的关键对。针对每个冲突原因存在一个有效关键对,可用最小上下文来表示冲突。有效关键对集合仅为关键对集合的子集。该方法可简化系统中冲突的汇合性分析,简化静态冲突检测方法。 展开更多

关键词 模型重构 图转换 关键对 冲突检测

下载PDF 职称材料

网络可靠性分析方法研究

7

作者 何聪 《计算机光盘软件与应用》 2011年第13期69-69,76,共2页

总结了进行网络可靠性分析的一般步骤，比较了传统的网络分析方法的优缺点，重点论述了一种基于有序二叉决策图的方法，在考虑失效节点的网络可靠性分析中的应用。

关键词 网络可靠性 状态空间 割集 连接集 图转换 OBDD

下载PDF 职称材料

基于过程划分技术的服务组合拆分方法

8

作者 刘惠剑 刘峻松 +1 位作者 王佳伟 薛岗 《计算机应用》 CSCD 北大核心 2020年第3期799-805,共7页

针对集中式服务组合内的中心控制器瓶颈问题,提出一种基于过程划分技术的非集中式服务组合构建方法。首先,利用类型有向图对业务过程进行建模;然后,基于图转换的方法提出分组算法,根据分组算法对过程模型进行拆分;最后,根据拆分后的结... 针对集中式服务组合内的中心控制器瓶颈问题,提出一种基于过程划分技术的非集中式服务组合构建方法。首先,利用类型有向图对业务过程进行建模;然后,基于图转换的方法提出分组算法,根据分组算法对过程模型进行拆分;最后,根据拆分后的结果来构建非集中式服务组合。经实验测试,分组算法对模型1的耗时与单线程算法相比降低了21.4%,构建的非集中式服务组合拥有更低响应时间和更高吞吐量。实验结果表明,所提方法能有效地拆分服务组合中的业务过程,所构建的非集中式服务组合能提升服务性能。 展开更多

关键词 服务拆分 图转换 非集中式服务组合方法 服务组合 过程划分

下载PDF 职称材料

图像匹配中误匹配点检测技术综述 被引量：22

9

作者 单小军 唐娉 《计算机应用研究》 CSCD 北大核心 2015年第9期2561-2565,2571,共6页

近年来,具有尺度、旋转不变性的SIFT(scale-invariant feature transform)及其改进算法,在图像匹配中得到了广泛应用并极大提高了匹配精度,但是无论采用何种匹配方法,总会产生误匹配点。因此,误匹配点检测也是图像匹配的一个重要步骤。... 近年来,具有尺度、旋转不变性的SIFT(scale-invariant feature transform)及其改进算法,在图像匹配中得到了广泛应用并极大提高了匹配精度,但是无论采用何种匹配方法,总会产生误匹配点。因此,误匹配点检测也是图像匹配的一个重要步骤。为了使国内外同行对现有误匹配点检测方法有较全面的了解,对这些方法进行了综述。在参考国内外大量文献的基础上,将现有误匹配点检测方法分为三类:基于函数拟合的方法;基于统计模型的方法;基于图的方法。对以上三类方法进行了综述,并对各个方法的优缺点进行了分析;最后,提出了误匹配点检测中还需要解决的一些问题,并给出了基本的解决思路。 展开更多

关键词 图像匹配 误匹配检测 函数拟合 随机抽样一致性 图转换匹配

下载PDF 职称材料

基于改进SIFT特征和图转换匹配的图像匹配算法 被引量：16

10

作者 张官亮 邹焕新 +1 位作者 秦先祥 林小平 《计算机应用研究》 CSCD 北大核心 2013年第9期2861-2864,共4页

针对SIFT特征在纹理丰富的图像中提取较多的伪点和不稳定的点而影响图像匹配的问题,提出了一种基于Harris阈值准则的局部不变特征图像匹配算法。该算法在提取SIFT不变特征的基础上,利用Harris阈值准则对所提取到的不变特征进行选择,剔... 针对SIFT特征在纹理丰富的图像中提取较多的伪点和不稳定的点而影响图像匹配的问题,提出了一种基于Harris阈值准则的局部不变特征图像匹配算法。该算法在提取SIFT不变特征的基础上,利用Harris阈值准则对所提取到的不变特征进行选择,剔除了图像区域中大量可区分性较差的特征点,从而得到了相对稳定和可区分性较好的特征点。其次,结合不变特征矢量与图转换匹配(GTM)的方法对提取到的稳定特征点进行了精确匹配。实验对比结果表明,用取得稳定的特征点,进而结合一种好的匹配策略,能够更加增强图像匹配的高效性和鲁棒性。 展开更多

关键词 图像匹配 特征点提取 SIFT特征 高斯差分尺度空间 Harris阈值准则 自相关矩阵 图转换匹配

下载PDF 职称材料

机动目标一维距离像RAT法线性化补偿 被引量：5

11

作者 李文臣 王雪松 王国玉 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第5期38-42,共5页

研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差... 研究了机动目标宽带线性调频脉冲回波全去斜率信号模型,根据速度和加速度的调频频谱展宽特点,提出了机动目标宽带一维距离像线性化调频回波模型,给出了Radon模糊图转换(RAT)法线性参数估计与运动补偿方法,并进一步分析了测速和测距误差。仿真实验验证了RAT法一维距离像线性化参数估计与补偿,表明该方法很好地解决了运动参数未知情况下机动目标的一维距离像频谱展宽问题。 展开更多

关键词 机动目标 一维距离像 线性化补偿 Radon模糊图转换(RAT)

下载PDF 职称材料

基于MiniGUI的梯形图编程工具的设计与实现 被引量：4

12

作者 姚家庆 陶耀东 郑一麟 《组合机床与自动化加工技术》 北大核心 2013年第2期30-33,37,共5页

针对数控系统可编程逻辑控制器(PLC),使用MiniGUI实现一个梯形图编程工具。首先指出MiniGUI占用资源低、移植性好等优点。随后提出图元的数据结构、手动绘制图元的方法,在此基础之上给出梯形图的数据结构以及如何刷新梯形图。此外,编程... 针对数控系统可编程逻辑控制器(PLC),使用MiniGUI实现一个梯形图编程工具。首先指出MiniGUI占用资源低、移植性好等优点。随后提出图元的数据结构、手动绘制图元的方法,在此基础之上给出梯形图的数据结构以及如何刷新梯形图。此外,编程系统使用"正向深度扫描算法"来实现梯图向IL程序的转换并且在转换之前还对梯图进行一些语法正确性的检查。最后给出一个梯形图转换的实例,验证了编辑工具的实用性。 展开更多

关键词 MINIGUI 软件PLC 梯图编程 梯图转换

下载PDF 职称材料

高重现毛细管电泳的研究进展

13

作者 郭振朋 陈义 《色谱》 CAS CSCD 北大核心 2024年第6期544-554,共11页

毛细管电泳(CE)因具有微量、快速、高效、分离模式丰富等特点得以快速发展并逐渐走向成熟,但在其推广应用过程中一直伴随着出峰稳定性或重现性不佳的问题。CE长期采用信号强度对迁移时间作图的测量模式,但迁移时间并非自变量,受诸多直... 毛细管电泳(CE)因具有微量、快速、高效、分离模式丰富等特点得以快速发展并逐渐走向成熟,但在其推广应用过程中一直伴随着出峰稳定性或重现性不佳的问题。CE长期采用信号强度对迁移时间作图的测量模式,但迁移时间并非自变量,受诸多直接和间接因素的影响,故很难测得稳定或精密的电泳谱图。为解决此类问题,国内外很早就开展了不同层次的研究,出现了至少三类解决策略:一是设法控制和稳定电泳特别是影响电渗的条件,以提高出峰的重复性;二是设法调整电泳峰参数,主要是利用内标来校正出峰位置,以提高出峰的重现性,如作时间比例谱、校正时间谱、有效淌度谱、校正淌度谱等;三是寻找建立高重现CE(HRCE)实时测量的新理论、新原理、新方法,从根本上彻底解决问题,如本团队提出的加权淌度谱、迁移电量谱、电密度谱、偏摩尔电密度谱及其比例谱等,这些新式CE方法在适当范围内可以抵抗CE条件或参数的波动,给出高重现的电泳谱图。本综述旨在总结构建HRCE的理论表述和研究进展,阐明影响CE重现性的一些关键因素,核心是电泳峰的表述方式。综述简要归纳分析了CE发展以来文献中对电泳峰表述方式的研究,但不直接涉及和讨论通过仪器改进、实用方法相关的参数的优化、改善等提升CE重复性或重现性的研究及其进展。 展开更多

关键词 毛细管电泳 电泳谱图转换 非时间测量模式 高重现谱图

下载PDF 职称材料

面向财务审计的数据异常侦测算法研究

14

作者 张学凯 张仰森 +2 位作者 刘帅康 朱思文 孙圆明 《重庆理工大学学报（自然科学）》 CAS 北大核心 2024年第7期158-165,共8页

为更好地推进审计数字化,实现财务审计的数据异常侦测任务,设计了采用独立研究的改进注意力机制CMA(channel mixed attention mechanism)的CMA-Resnet18模型,提出一种基于数图转换思想的财务审计侦测数据集构建方法。使用CMA网络对样本... 为更好地推进审计数字化,实现财务审计的数据异常侦测任务,设计了采用独立研究的改进注意力机制CMA(channel mixed attention mechanism)的CMA-Resnet18模型,提出一种基于数图转换思想的财务审计侦测数据集构建方法。使用CMA网络对样本各通道进行全局加权,对样本不同通道进行融合特征加权,实现对样本数据的全局“注意力”数据增强。通过Resnet18模型(residual network18)提取样本数据的局部特征。结果表明,在财务审计异常侦测数据集上,经典分类网络的评估结果都高于90%,验证了数据集构建方法的有效性;CMA-Resnet18模型的F1值为94.31%,相比Resnet18提高了1.49%,证明了CMA-Resnet18模型能够更好的实现侦测任务;通过经典分类网络及其CMA变种网络在Cifar10公开数据集上进行实验,表明CMA变种网络的准确率普遍高于其原始网络,证明CMA模块的有效性和泛化性。 展开更多

关键词 审计数字化 数图转换 数据集构建 改进注意力机制 残差网络

下载PDF 职称材料

面向地铁隧道表面渗漏水的快速检测技术 被引量：4

15

作者 田有良 樊廷立 唐超 《测绘通报》 CSCD 北大核心 2022年第9期29-33,共5页

随着地铁运营时间的不断增加、地下水位的上涨,地铁隧道渗漏水情况日益严重,已严重影响地铁隧道的安全运行。传统的检测方法为人工现场巡查,效率低、准确率差,高自动化、高精度、高稳定性的漏水检测方法是改进传统检测方法的关键。因此... 随着地铁运营时间的不断增加、地下水位的上涨,地铁隧道渗漏水情况日益严重,已严重影响地铁隧道的安全运行。传统的检测方法为人工现场巡查,效率低、准确率差,高自动化、高精度、高稳定性的漏水检测方法是改进传统检测方法的关键。因此,本文提出了一种利用移动激光扫描隧道进行渗漏水检测的深度学习方法。该方法由以下部分组成:①利用获取的隧道衬砌点云建立渗漏水数据集;②通过基于掩码区域卷积神经网络进行自动渗漏检测。在南京地铁2号线奥体东—兴隆大街测试结果表明,本文方法实现了隧道衬砌漏水在二维平面的自动化检测和评价,为检测人员提供了直观的漏水信息展示。 展开更多

关键词 地铁隧道 三维激光 深度学习 灰度图转换 图像二值化

下载PDF 职称材料

语图转换中的“山乡巨变”——论贺友直对《山乡巨变》的连环画改编

16

作者 李洪华 《长江学术》 CSSCI 2024年第3期29-40,共12页

贺友直根据周立波小说《山乡巨变》改编的同名连环画,在以图释文的艺术转换中,寓乡村风情于社会变革,运用“明显强烈的处理手法”,凸显人物在外貌、身份和性格等方面的主要特征,成功塑造了邓秀梅、李月辉、刘雨生、盛佑亭、陈先晋、王... 贺友直根据周立波小说《山乡巨变》改编的同名连环画,在以图释文的艺术转换中,寓乡村风情于社会变革,运用“明显强烈的处理手法”,凸显人物在外貌、身份和性格等方面的主要特征,成功塑造了邓秀梅、李月辉、刘雨生、盛佑亭、陈先晋、王菊生等一批新型乡村干群形象。贺友直善于在连环图像叙事中“做戏”和“制造情节”,将充满政治指涉的社会化内容纳入乡村家庭伦理生活叙事,生动再现了合作化运动给山乡人物带来的巨大影响。画家在以传统线描笔法构设山乡风情的同时,赋予山水风物以鲜明的时代蕴含,在原本紧张峻切的时代氛围中营构出轻松活泼的诗意空间。 展开更多

关键词 《山乡巨变》 贺友直 连环画改编 语图转换

下载PDF 职称材料

顺序控制的PLC程序设计方法探讨 被引量：2

17

作者 叶建亭 《湖南农机（学术版）》 2009年第2期33-34,共2页

通过实例介绍了顺序控制的PLC程序设计方法,首先用顺序功能图描述控制过程,然后将顺序功能图转换成梯形图。

关键词 PLC 顺序功能图设计 顺序功能图转换

下载PDF 职称材料

基于改进SIFT匹配方法的货架乳制品识别 被引量：2

18

作者 郑建彬 白雅贤 +1 位作者 詹恩奇 汪阳 《计算机科学》 CSCD 北大核心 2017年第9期315-319,共5页

利用尺度不变特征变换(SIFT)算法识别盒装乳制品时易产生误匹配,从而影响识别的准确率。为了消除误匹配点的影响并精确识别商品的种类和数量,提出了一种改进的SIFT误匹配点剔除方法。根据盒装乳制品图像形变较小、多数为刚性变换的特点... 利用尺度不变特征变换(SIFT)算法识别盒装乳制品时易产生误匹配,从而影响识别的准确率。为了消除误匹配点的影响并精确识别商品的种类和数量,提出了一种改进的SIFT误匹配点剔除方法。根据盒装乳制品图像形变较小、多数为刚性变换的特点,首先利用粗匹配对的主方向角度差进行筛选,再计算出模板图和测试图各自特征点两两之间的距离比,标记距离比出现异常的匹配点,最后通过投票剔除误匹配点。在自建商品图像数据库上将所提方法与改进的随机抽样一致性算法、基于图的消除误匹配点方法进行对比测试,结果表明,所提方法在匹配准确率和误剔除率方面有明显改善。 展开更多

关键词 商品识别 尺度不变特征变换 误匹配 空间一致随机抽样一致性 图转换匹配算法

下载PDF 职称材料

矿图坐标高精度转换实践

19

作者 朱占荣 《矿山测量》 2011年第4期58-60,共3页

矿图坐标的高精度转换是一项系统和复杂的工作,文中以在薛庙滩煤矿坐标转换中遇到问题的分析及解决为主线,阐述了矿图坐标系高精度转换的原理、方法及流程,验证了转换结果的可靠性,该方法具有较高的推广和应用价值。

关键词 矿区坐标系转换 矿图转换 坐标转换流程 MICROSTATION Geographics

下载PDF 职称材料

基于图转换法的双重时限下城市快递问题研究 被引量：1

20

作者 张晓 刘澜 《交通运输工程与信息学报》 2016年第2期101-109,共9页

在城市快递配送复杂性、经济性、时效性、服务性以及不确定性的特征下,本文研究双重时限下快递员送货问题。在单次作业软时间窗、快递员一天总作业时间及装载量约束的条件下,计算所属有向路网内完成派送任务所需最少快递人员数,同时得... 在城市快递配送复杂性、经济性、时效性、服务性以及不确定性的特征下,本文研究双重时限下快递员送货问题。在单次作业软时间窗、快递员一天总作业时间及装载量约束的条件下,计算所属有向路网内完成派送任务所需最少快递人员数,同时得出他们的任务分配与路径选择。首先,采用CARP问题定义城市快递派送,根据双层装箱问题建立0-1整数规划模型,第一层装箱定义为快递员在进行单次配送任务时,其装载量和单次配送时间满足小箱"容量"限制,第二层装箱定义为快递员一天中完成所属若干个配送任务的总时间满足大箱"容量"限制。其次,由于双重时限的特性,快递员单次配送时间灵活多变,本文通过将各需求弧转化为点,赋予其时间属性及装载量属性,将原问题转化为VRP问题,采用lingo软件编程求得其精确解的同时也有效解决了CARP问题中子回路消除的问题。最后,构造求解算例,验证该模型的可行性。 展开更多

关键词 快递派送 双层装箱问题 图转换法 子回路消除

下载PDF 职称材料