支持动态编译的GIS模型库系统中模型表示方式——图形图元表达、正则表达式及模型运算树 被引量：2

1

作者 扈海波 王瑛 +1 位作者 朱文泉 李京 《计算机工程与应用》 CSCD 北大核心 2007年第21期214-217,共4页

提出模型库系统中模型的三种表达方式——图形图元表达、正则表达式及模型运算树。它们可作为动态生成高效率模型体的有力手段,是模型库系统即时编译生成模型组件的基础。这为解决模型库系统实现过程中模型内容表达这一难题,提供理论基... 提出模型库系统中模型的三种表达方式——图形图元表达、正则表达式及模型运算树。它们可作为动态生成高效率模型体的有力手段,是模型库系统即时编译生成模型组件的基础。这为解决模型库系统实现过程中模型内容表达这一难题,提供理论基础及解答。最后,在此概念及原理基础上,给出了采用这三种表达方式展现原型系统中范例模型的具体过程。 展开更多

关键词 模型库系统 图形图元表达 正则表达式 模型运算树

在线阅读 下载PDF 职称材料

基于视觉传感器的机器人路径跟踪摄像机模型及逆模型运算 被引量：1

2

作者 杨杰 张明路 《大庆石油学院学报》 CAS 北大核心 2009年第5期93-97,共5页

基于颜色传感器和条形码组合的移动机器人路径跟踪方法,虽然跟踪准确,不易受干扰,但跟踪轨迹成"之"字形比较严重.对此,采用基于彩色视觉和神经网络方法实现路径跟踪,建立HEBUT-Ⅱ型移动机械手的摄像机模型,完成摄像机的逆模... 基于颜色传感器和条形码组合的移动机器人路径跟踪方法,虽然跟踪准确,不易受干扰,但跟踪轨迹成"之"字形比较严重.对此,采用基于彩色视觉和神经网络方法实现路径跟踪,建立HEBUT-Ⅱ型移动机械手的摄像机模型,完成摄像机的逆模型变换,将路径、路标信息从图像空间中恢复出来.路标识别实验结果表明,基于摄像机模型及逆模型运算的路径识别与跟踪方法可以达到较高精度. 展开更多

关键词 移动机器人 路经跟踪 逆模型运算

在线阅读 下载PDF 职称材料

泛逻辑泛运算模型之间的关系 被引量：2

3

作者 罗敏霞 何华灿 马盈仓 《计算机应用研究》 CSCD 北大核心 2006年第6期26-27,44,共3页

研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m... 研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。 展开更多

关键词 泛与运算模型 泛或运算模型 模糊非 DE Morgan三元组

在线阅读 下载PDF 职称材料

分形图像的泛逻辑运算模型 被引量：3

4

作者 毛明毅 何华灿 +1 位作者 陈志成 葛敬亚 《计算机工程与应用》 CSCD 北大核心 2004年第2期23-25,56,共4页

泛逻辑学与分形理论是研究非线性自然系统的新兴科学,它们在复杂系统与计算机图像处理中已有良好的应用。论文首先给出了分形图像的测度选取原则与分维计算方法,然后利用泛逻辑学的基本原理,首次在分形图像中引入“泛逻辑”的概念。文... 泛逻辑学与分形理论是研究非线性自然系统的新兴科学,它们在复杂系统与计算机图像处理中已有良好的应用。论文首先给出了分形图像的测度选取原则与分维计算方法,然后利用泛逻辑学的基本原理,首次在分形图像中引入“泛逻辑”的概念。文章分析并建立了分形图像的“非与或”运算模型,并实现了分形图像的泛逻辑运算仿真系统,得到了良好的运算结果。这给分形图像的研究提供了一种新的思路,同时也拓展了泛逻辑学的应用领域。 展开更多

关键词 分形图像 分形维数 分形测度 泛逻辑 运算模型

在线阅读 下载PDF 职称材料

基于幂零泛与运算模型的命题模糊逻辑 被引量：3

5

作者 罗敏霞 何华灿 《计算机科学》 CSCD 北大核心 2004年第8期97-99,共3页

本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([... 本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],∨,∧,*,→,0,1)作成一个 MV-代数。给出了基于幂零泛与运算模型 T(x,y,h)(h∈(0,0.75))的模糊命题演算系统 PC(T),证明了此命题演算系统与 Lukasiewicz 逻辑命题演算系统是等价的。 展开更多

关键词 泛与运算模型 泛蕴涵运算模型 幂零三角范数 剩余 伴随对 数理逻辑

在线阅读 下载PDF 职称材料

基于泛平均运算的矿井瓦斯浓度组合预测模型 被引量：7

6

作者 贾澎涛 邓军 《中国安全科学学报》 CAS CSCD 北大核心 2012年第6期41-46,共6页

为有效分析煤矿瓦斯监测数据以实现准确、可靠的瓦斯浓度预测,基于不等权泛平均运算模型,研究瓦斯浓度时间序列组合预测的方法,提出一种新的矿井瓦斯浓度组合预测模型,并证明最优组合预测模型是其特例。采用自回归(AR)模型和径向基函数(... 为有效分析煤矿瓦斯监测数据以实现准确、可靠的瓦斯浓度预测,基于不等权泛平均运算模型,研究瓦斯浓度时间序列组合预测的方法,提出一种新的矿井瓦斯浓度组合预测模型,并证明最优组合预测模型是其特例。采用自回归(AR)模型和径向基函数(RBF)神经网络预测模型作为组合预测模型的单项预测模型;以遗传算法和最小二乘法确定新组合预测模型的参数,实现瓦斯浓度预测单项模型的最优组合。试验分析表明:新模型在平方和误差、平均绝对误差、均方误差、平均绝对百分比误差、均方百分比误差等评价指标上,均取得比自回归模型、径向基函数神经网络模型和最优组合预测模型更低的误差。 展开更多

关键词 瓦斯浓度 组合预测 不等权 泛平均运算模型 遗传算法

在线阅读 下载PDF 职称材料

泛逻辑的一级泛运算模型的代数性质 被引量：2

7

作者 罗敏霞 何华灿 《计算机工程与应用》 CSCD 北大核心 2004年第30期4-7,28,共5页

论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h... 论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。 展开更多

关键词 泛与运算模型 泛或运算模型 伴随对 加性生成元 乘性生成元

在线阅读 下载PDF 职称材料

泛组合运算模型研究 被引量：4

8

作者 贾澎涛 何华灿 《计算机科学》 CSCD 北大核心 2010年第10期175-180,共6页

泛逻辑学是在模糊逻辑的基础上,分析命题之间关系的连续可变性。提出了"广义相关性"和"广义自相关性"两个重要的概念,将命题连接词运算模型定义为由相关性所控制的算子簇,实现了命题连接词运算模型的柔性化。其中... 泛逻辑学是在模糊逻辑的基础上,分析命题之间关系的连续可变性。提出了"广义相关性"和"广义自相关性"两个重要的概念,将命题连接词运算模型定义为由相关性所控制的算子簇,实现了命题连接词运算模型的柔性化。其中泛组合运算模型是为了满足连续值逻辑中综合决策的需求而提出的。目前仅有二元模型,在实际应用中迫切需要多元模型。但由于泛组合问题的复杂度随着"元"的个数增加而急剧增大,其设计有一定的难度。提出了多元泛组合运算模型和生成元加权零级泛组合运算模型,从而不仅满足了应用中多元综合决策的要求,还进一步完善了泛逻辑学中的命题连接词理论。 展开更多

关键词 泛逻辑学 柔性化 泛组合运算模型

在线阅读 下载PDF 职称材料

使用辨识得到的运算电感模型估计同步发电机d轴等值电路参数 被引量：3

9

作者 黄淼 李文沅 +2 位作者 颜伟 张海兵 徐娇 《电网技术》 EI CSCD 北大核心 2012年第2期82-87,共6页

提出了一种利用辨识得到的运算电感模型确定同步发电机d轴等值电路参数的方法。由于辨识得到的运算电感模型的参数通常带有误差,直接根据解析公式求取的等值电路参数值可能远离其真值。为获得较为准确的等值电路参数值,首先将用解析公... 提出了一种利用辨识得到的运算电感模型确定同步发电机d轴等值电路参数的方法。由于辨识得到的运算电感模型的参数通常带有误差,直接根据解析公式求取的等值电路参数值可能远离其真值。为获得较为准确的等值电路参数值,首先将用解析公式计算得到的等值电路参数值作为初值,然后基于发电机的混合状态模型,用预测误差法对等值电路参数进行估计。数值仿真的结果验证了本文所提方法的有效性。 展开更多

关键词 同步发电机 参数估计 等值电路参数 运算电感模型

在线阅读 下载PDF 职称材料

不等权泛组合运算模型研究 被引量：1

10

作者 付利华 何华灿 《计算机科学》 CSCD 北大核心 2009年第6期199-202,213,共5页

实际复杂系统中的各因素一般具有不同的权重,针对现有的泛组合运算模型描述的是一种理想的等权情况,给出了两种广义加权算子模型,并据此提出了一种不等权泛组合运算模型,从而可以更准确地处理复杂系统中各因素间关系的不确定性问题。

关键词 泛逻辑 泛组合运算模型 加权算子 不等权泛组合运算模型

在线阅读 下载PDF 职称材料

不等权泛平均运算模型研究 被引量：1

11

作者 贾澎涛 何华灿 《计算机科学》 CSCD 北大核心 2011年第10期215-219,共5页

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的。鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权... 泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的。鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例。最后比较了广义加权平均运算模型和不等权泛平均运算模型的异同。 展开更多

关键词 泛逻辑学 不等权泛平均运算模型 广义加权平均运算模型

在线阅读 下载PDF 职称材料

任意区间上的泛组合运算模型研究 被引量：1

12

作者 付利华 毛明毅 何华灿 《计算机工程与应用》 CSCD 北大核心 2009年第36期35-37,共3页

泛组合运算为处理复杂系统中因素间相互冲突或协调的关系提供了有效解决途径。针对传统泛组合运算模型是基于单位区间[0,1]的理想情况,重点对在任意区间上取值的泛组合运算模型进行研究,给出并严格证明了其具有的一系列重要性质,为泛组... 泛组合运算为处理复杂系统中因素间相互冲突或协调的关系提供了有效解决途径。针对传统泛组合运算模型是基于单位区间[0,1]的理想情况,重点对在任意区间上取值的泛组合运算模型进行研究,给出并严格证明了其具有的一系列重要性质,为泛组合运算模型在控制中的应用提供了有力的依据。 展开更多

关键词 泛逻辑 泛组合运算模型 模糊控制 柔性逻辑控制模型

在线阅读 下载PDF 职称材料

[0,∞)值柔性逻辑中平均运算模型的研究 被引量：1

13

作者 杨志晓 范艳峰 何华灿 《计算机科学》 CSCD 北大核心 2013年第1期195-199,共5页

在柔性逻辑中,不仅命题真值的连续可变性对命题连接词运算模型有影响,而且命题间关系的连续可变性对命题连接词运算模型也有影响。柔性逻辑中的逻辑算子是在其定义域上随广义自相关系数k和广义相关系数h连续变化的算子簇。详细研究了柔... 在柔性逻辑中,不仅命题真值的连续可变性对命题连接词运算模型有影响,而且命题间关系的连续可变性对命题连接词运算模型也有影响。柔性逻辑中的逻辑算子是在其定义域上随广义自相关系数k和广义相关系数h连续变化的算子簇。详细研究了柔性逻辑平均算子,定义了[0,∞)值零级和一级柔性逻辑平均运算模型。为保证逻辑运算模型的零级完整性,该模型在其定义域内,从最大算子经过概率算子和中心算子,到最小算子单调连续变化,证明了该区间上的4个特殊算子形式。 展开更多

关键词 柔性逻辑 广义自相关性 广义相关性 平均运算模型 [0 ∞)值

在线阅读 下载PDF 职称材料

命题对象的空间逻辑运算模型

14

作者 毛明毅 何华灿 陈志成 《计算机科学》 CSCD 北大核心 2005年第2期176-179,共4页

在现有逻辑系统中,各连接词的运算模型都可以归结为某些“代数算子”,其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系。文章以“空间位置相关性”为中心,提出了“摸天花板问题”,分析了逻辑... 在现有逻辑系统中,各连接词的运算模型都可以归结为某些“代数算子”,其共同特征是仅考虑了命题所描述集合的代数测度大小,而没有考虑它们在几何空间中的位置关系。文章以“空间位置相关性”为中心,提出了“摸天花板问题”,分析了逻辑运算中存在的几何位置相关性。在“命题对象”、“真值向量”、“空间图像”等概念的基础上,提出了命题对象的空间逻辑运算模型,并结合格分维理论给出了在几何图像中的具体应用形式。本文工作拓展了泛逻辑学中广义相关性的含义,为连接词的运算形式提供了一种新的模型。 展开更多

关键词 运算模型 对象 空间逻辑 泛逻辑 归结 图像 逻辑运算 命题 几何 代数

在线阅读 下载PDF 职称材料

基于CPU-GPU异构环境的运算代价评估模型 被引量：2

15

作者 江慧芳 蔡达 王晓蕊 《计算机工程》 CAS CSCD 北大核心 2017年第9期12-16,共5页

传统性能分析模型仅针对单个处理器,未考虑异构系统中处理器之间数据的传输开销,不能有效地评估异构系统的性能。为此,提出一种运算代价评估模型。通过对计算平台硬件参数和工作负载特征属性的分层建模,结合LogGP模型和Roofline模型,估... 传统性能分析模型仅针对单个处理器,未考虑异构系统中处理器之间数据的传输开销,不能有效地评估异构系统的性能。为此,提出一种运算代价评估模型。通过对计算平台硬件参数和工作负载特征属性的分层建模,结合LogGP模型和Roofline模型,估算不同执行方式的运算时间成本。依照建模的粒度粗细,通过多层建模计算消耗的能量,采用LogGP模型实现CPU与GPU之间的数据传输,并运用EPCC测试集对运算代价模型进行验证。实验结果表明,该模型对处理不同大小数据集时的性能评估具有较高的准确性。 展开更多

关键词 运算代价模型 性能分析 异构系统 功耗 LogGP模型 Roofline模型 EPCC测试集

在线阅读 下载PDF 职称材料

采用改进的SqueezeNet模型识别多类叶片病害 被引量：43

16

作者 刘阳 高国琴 《农业工程学报》 EI CAS CSCD 北大核心 2021年第2期187-195,共9页

为实现作物叶片病害的准确识别,该研究以PlantVillage工程开源数据库中14种作物38类叶片为研究对象,从网络规模小型化和计算过程轻量化需求的角度出发,对经典轻量级卷积神经网络SqueezeNet提出改进措施,包括修改最后一层卷积层的输出、... 为实现作物叶片病害的准确识别,该研究以PlantVillage工程开源数据库中14种作物38类叶片为研究对象,从网络规模小型化和计算过程轻量化需求的角度出发,对经典轻量级卷积神经网络SqueezeNet提出改进措施,包括修改最后一层卷积层的输出、删除经典模型中的后3个fire模块并修改fire模块5的参数、调节fire模块中expand层中1×1和3×3的卷积核数目的比例、移动部分fire模块在模型中的位置等措施,共获取5种改进的病害叶片检测模型,并运用迁移学习和随机梯度下降算法进行训练。试验结果表明,在不过多损失网络性能的前提下,改进后5种模型的参数内存需求及模型计算量均呈现大幅减小,模型收敛迅速,其中最优模型参数内存需求仅为0.62 MB,模型运算量仅为111 MFLOPs,其平均准确率达到98.13%,平均查全率达到98.09%,平均查准率达到97.62%,在与已有相关研究的对比中表现出较高的性价比。该研究提出的改进模型在大幅减少参数内存要求和计算量的同时使模型性能保持在一个较高的水平,较好地平衡了这3项指标,适合将模型部署在移动终端等嵌入式资源受限设备上,有助于实现对作物病害的实时准确识别。 展开更多

关键词 病害 图像识别 SqueezeNet 轻量级卷积神经网络 模型参数内存需求 模型运算

在线阅读 下载PDF 职称材料

评现行货币供给量运算模型

17

作者 朱文毅 《东南学术》 CSSCI 1990年第3期43-46,共4页

多年来,我国以货币供给量增长率不大于经济增长率与物价上涨率两者之和,作为界定货币供给量的计算公式。本文拟对这一计算公式进行质疑,旨在为进一步探讨合理界定货币供给量的数学模型开拓思路。

关键词 货币供给量增长率 运算模型 计算公式 数学模型 经济增长率 物价上涨率 开拓思路 合理界定 货币流通速度 货币供给增长率

在线阅读 下载PDF 职称材料

基于轻量级SSD模型的夜间金蝉若虫检测 被引量：5

18

作者 刘阳 高国琴 《农业工程学报》 EI CAS CSCD 北大核心 2022年第10期166-175,共10页

为实现夜间树上金蝉若虫的快速准确检测,该研究以自然环境图像数据集为研究对象,结合近距离实际应用场景,考虑到嵌入式系统的模型小型化和计算过程轻量化,在保持精度指标基本不变的前提下,基于适度削减模型深度、宽度的思路对已有目标... 为实现夜间树上金蝉若虫的快速准确检测,该研究以自然环境图像数据集为研究对象,结合近距离实际应用场景,考虑到嵌入式系统的模型小型化和计算过程轻量化,在保持精度指标基本不变的前提下,基于适度削减模型深度、宽度的思路对已有目标检测网络Mobile Net-SSD提出改进。具体措施包括:删除骨干网络末端的小尺寸特征图卷积层,逐级裁剪模型整体宽度、适当增加中高层卷积深度,在目标检测的分类层和预测框的回归层中使用深度可分离卷积代替传统3×3卷积等措施,先后获取3种改进的精简模型以进行比较。夜间图像测试结果表明,在基本保持网络性能的前提下,改进后的模型大小及计算量均呈现大幅减小,其中最优模型大小从原MobileNet-SSD的15.22 MB减少到1.51 MB,模型的浮点运算量也由原先的1.13×10^(9)减少到1.26×10^(8),其平均准确率达90.46%,平均交并比达83.52%,F1分数达92.35%,GPU上的检测速度达179.3帧/s,CPU上的检测速度达到6.49帧/s,与改进前的模型相比具有更好的综合性能,白天图像的试验结果也显示出较好的泛化性能。该文提出的改进模型在大幅减少模型大小及其计算量的同时使模型性能保持在一个较高的水平,更适合部署在移动终端等资源受限设备上,可为金蝉的人工养殖提供有益参考。 展开更多

关键词 图像识别 目标检测 金蝉若虫 MobileNet-SSD 轻量级卷积神经网络 模型尺寸 模型运算量

在线阅读 下载PDF 职称材料

三维储集层地质模型的二维表征方法 被引量：4

19

作者 王月莲 宋新民 《石油勘探与开发》 SCIE EI CAS CSCD 北大核心 2002年第6期54-55,共2页

三维储集层地质模型不仅能表征储集层已知地质特征 ,还能对井间储集层展布进行预测。笔者从地质模型三维数据体网格单元纵横向结构分析入手 ,以地层岩性、油层为计算单元统计分析各岩性的厚度、百分组成和油层储集参数平面展布 ,并通过... 三维储集层地质模型不仅能表征储集层已知地质特征 ,还能对井间储集层展布进行预测。笔者从地质模型三维数据体网格单元纵横向结构分析入手 ,以地层岩性、油层为计算单元统计分析各岩性的厚度、百分组成和油层储集参数平面展布 ,并通过多种储集层特性三维网格数据体之间的数据运算 ,来表征油层储量丰度等参数。探讨三维地质模型的运算与平面图形的表征 ,不仅有利于三维地质模型的检验 ,更有助于储集层精细地质研究与预测、有利于加密井、扩边井的井位设计 ,这可以作为对三维可视化技术的补充。 展开更多

关键词 储集层地质建模 三维可视化 模型运算 平面图表征 储集层 储集参数

在线阅读 下载PDF 职称材料

一种多因素多模型选择的航迹关联算法 被引量：1

20

作者 王贤圆 吴元 赖作镁 《电讯技术》 北大核心 2023年第7期1043-1048,共6页

针对模糊综合判决中同一因素和合成运算模型无法适用于所有评价等级的问题,提出了一种基于多因素多模型选择的模糊综合决策航迹关联算法。该算法在多因素模糊综合决策的基础上,分析各因素的关联特性和合成运算模型在不同评价中的适用性... 针对模糊综合判决中同一因素和合成运算模型无法适用于所有评价等级的问题,提出了一种基于多因素多模型选择的模糊综合决策航迹关联算法。该算法在多因素模糊综合决策的基础上,分析各因素的关联特性和合成运算模型在不同评价中的适用性,通过多因素定向选择和多元合成运算模型对关联隶属度进行计算,生成航迹关联结果。仿真实验表明,在密集目标环境下,该方法具有良好关联性能,平均正确关联率达到77.70%,比传统多因素模糊综合判决方法高3.86%。 展开更多

关键词 密集目标 航迹关联 模糊综合判决 模糊因素 合成运算模型

在线阅读 下载PDF 职称材料