-
题名基于柔性神经元的煤矿安全风险预警模型研究
被引量：8
- 1
-
-
作者
陈佳林
付恩三
-
机构
应急管理部信息研究院
-
出处
《煤炭工程》
北大核心
2021年第7期187-191,共5页
-
基金
国家重点研发计划项目课题(2018YFC0808306)。
-
文摘
煤矿安全风险预警模型是实现煤矿安全风险超前预测预警的重要手段,为了进一步提升煤矿安全风险预警模型自动评估的准确性,结合各类煤矿基础数据、动态监测数据,基于连续值逻辑柔性神经网络模型,建立指标体系指标因子属性特征的关系网络、指标权重因子和柔性关系算子库,构建基于柔性神经元网络的决策树风险预警模型。通过对内蒙古小鱼沟煤矿安全生产数据的检验分析,对比传统的决策树和层次分析预测预警分析方法,该方法可自动获得更高的预测预警准确率,有助于降低煤矿安全生产事故的发生率。
-
关键词
煤矿安全
风险预警
柔性神经元
算子库
决策树
-
Keywords
coal mine safety
risk precaution
flexible neuron
operator library
decision tree
-
分类号
TD77
[矿业工程—矿井通风与安全]
-
-
题名数字海图的自动综合方法研究
被引量：5
- 2
-
-
作者
陈高兴
郑义东
田震
-
机构
海军大连舰艇学院海洋测绘系
-
出处
《海洋测绘》
2004年第6期45-48,68,共5页
-
基金
辽宁省自然科学基金资助项目(20032134)
-
文摘
作为现代地图学的重要组成部分,自动综合问题一直是影响地图学发展的重要问题。在总结前人研究成果和现有的空间信息无级比例尺自动综合方法的基础上,以面向地理特征为出发点,以矢量化的电子海图数据为信息源,提出了比较实用的在数字海图分层支持下的自动综合方法。以海图中的部分要素层为例进行分析,并给出了具体的自动综合流程。
-
关键词
数字海图
自动综合
地理特征
算子库
评价标准
-
Keywords
digital chart
automatic generalization
geographic feature
operator base
estimate criterion
-
分类号
P283.7
[天文地球—地图制图学与地理信息工程]
-
-
题名地理国情监测数据自动化检查研究与实现
被引量：4
- 3
-
-
作者
周小迦
宋伟东
-
机构
辽宁工程技术大学测绘与地理科学学院
-
出处
《测绘与空间地理信息》
2020年第3期191-193,共3页
-
文摘
目前,地理国情监测数据质量检查主要以人工和简单的人机交互检查为主,效率低下、检查程序不规范,因此,本文提出地理国情监测数据自动化检查解决方法,采用面向对象的软件开发方法,进行了地理国情监测数据自动化检查系统的体系结构与功能模块设计,并对数据管理模块、自动化检查模块和结果管理模块三大功能模块进行详细设计,实现了数据模版、算子库、质检方案库等自动化检查系统关键技术。已在2017年基础性地理国情监测辽宁省任务区等多个项目中得到成功应用。
-
关键词
地理国情监测
自动化检查
方案库
算子库
-
Keywords
geographical national condition monitoring
automatic inspection
solution library
operator library
-
分类号
P208
[天文地球—地图制图学与地理信息工程]
-
-
题名基于模型诊断的抽象分层过程
被引量：4
- 4
-
-
作者
王楠
欧阳丹彤
孙善武
-
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林财经大学信息学院
吉林财经大学网络实验中心
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第2期383-394,共12页
-
基金
国家自然科学基金(60973089
60873148
+9 种基金
60773097
61003101)
吉林省科技发展计划项目基金(20100173
20101501
20100185
20090108
20080107)
浙江省自然科学基金(Y1100191)
欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
吉林大学符号计算与知识工程教育部重点实验室开放项目(93K-17-2009-K05)资助
-
文摘
分层诊断是降低基于模型诊断计算复杂性的一个重要方法,在分层诊断中很重要的一步是构造系统的抽象分层模型,以往的分层方法都是建立在某一种特定抽象模型基础上,没有将抽象的一般理论与基于模型诊断中的分层过程相联系,并且对自动生成系统的分层表示方法也没有形式化的分析.KRA(Knowledge Reformulationand Abstraction)模型从构造化的角度定义了表示抽象的一般框架,文中在KRA模型框架下建立系统模型,给出了抽象算子在系统的基本框架Rg上进行的非独立的运算过程,使得不会在抽象过程中生成重复的部件类型,不仅降低了存储空间,还增加了在进一步的抽象运算中算子重用的概率,提高了整个抽象运算的效率.同时描述了基于模型诊断中的抽象分层过程,提出了动态和静态构造算子库两种方法,并对其优缺点进行分析,给出了一个应用抽象算子集合自动生成待诊断系统分层表示的一般算法.
-
关键词
基于模型的诊断
分层诊断
KRA模型
算子库
自动分层
-
Keywords
model-based diagnosis
Hierarchical diagnosis
the KRA model
operators database
automatic hierarchy
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于算子库的动态加密算法设计与实现
- 5
-
-
作者
郁抒思
王以刚
-
机构
东华大学计算机科学与技术学院
-
出处
《信息安全与通信保密》
2007年第6期220-221,225,共3页
-
文摘
论文探讨了加密算子的定义,建立算子库以及利用算子库产生动态加密算法的一种方法。建立了算子库的原型系统,由该系统生成了一个动态算法实例,并进行分析,以估计动态算法的安全性。分析表明动态算法有较强的抗破解性能,且不会大量占用各种资源。算子库对块加密算法的进一步研究与发展,对加强网络安全传输有促进作用。
-
关键词
算子库
对称加密
块加密
加密算法
动态算法
-
Keywords
Kernel Operator Library
Symmetrical Cipher
Block Cipher
Encryption
dynamic algorithm
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名泛逻辑学理论——机制主义人工智能理论的逻辑基础
被引量：26
- 6
-
-
作者
何华灿
-
机构
西北工业大学计算机学院
-
出处
《智能系统学报》
CSCD
北大核心
2018年第1期19-36,共18页
-
基金
国家自然科学基金面上项目(60273087)
西北工业大学基础研究基金重点项目(W18101)
-
文摘
当前,世界各主要大国都把人工智能作为它们的国家战略。人工智能的发展正在快速改变着人类的生活方式和思想观念。在中国,有一小批研究者20多年来一直在基于辩证唯物主义潜心研究具有普适性的人工智能基础理论,包括智能的形成机制、逻辑基础、数学基础、协调机理、矛盾转化等。终于,他们各自建立了机制主义人工智能理论、泛逻辑学理论、因素空间理论、协调学、可拓学、集对分析等。其中,机制主义人工智能理论是基于智能形成机制的通用理论,它能把现有的结构主义、功能主义和行为主义三大流派有机地统一起来,使意识、情感、理智成为三位一体的关系;因素空间理论是机制主义人工智能理论的数学基础;泛逻辑学理论是机制主义人工智能理论的逻辑基础。本文介绍了泛逻辑学理论的基本思想、理论基础和应用方法,阐明它的理论意义和应用价值。特别需要指出的是,在广义概率论基础上建立的命题泛逻辑(包括刚性逻辑和柔性逻辑),可看成一个完整的命题级智能信息处理算子库,库中完整地包含了全部18种柔性信息处理模式(包括16种布尔信息处理模式),可用类型编码<a,b,e>来严格区分,用它可寻找到适合自己的信息处理算子完整簇来使用。在每一个信息处理模式中,各种不确定性的组合状态由不确定性程度属性编码<k,h,β,e>来严格区分,用它可在本信息处理模式的算子完整簇中精确选择具体的算子来使用。这表明柔性信息处理本质上是一把密码锁,它需要专门的密码<a,b,e>+<k,h,β,e>才能正常打开,不能乱点鸳鸯谱。通过只有18种模式,每种模式可以从最大算子连续变化到最小算子,已经证明了没有一个命题算子被遗漏。
-
关键词
泛逻辑学
机制主义人工智能
不确定性
柔性神经元
智能信息处理算子库
-
Keywords
universal logic
mechanism-based artificial intelligence theory
uncertainty
flexible logic
intelligent in-formation processing operator library
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于新一代神威超算的量子计算模拟器加速和优化
- 7
-
-
作者
史新民
刘勇
陈垚键
宋佳伟
刘鑫
-
机构
信息工程大学网络空间安全学院
国家并行计算机工程技术研究中心
清华大学计算机科学与技术系
-
出处
《计算机应用》
CSCD
北大核心
2023年第8期2486-2492,共7页
-
基金
国家科技重大专项(2017-I-0004-0004)。
-
文摘
针对量子硬件规模逐步扩大、当下量子计算经典模拟速度不高的问题,提出了基于神威超算量子模拟器的两种优化方法。首先,通过改进张量转置策略和计算策略重新构建了张量收缩算子库SWTT,从而提高了部分张量收缩的计算内核效率并减少了冗余访存;其次,通过提高数据局部性的收缩路径调整方法实现了路径计算复杂度和计算效率之间的均衡。测试结果表明,该算子库改进方法可将“悬铃木”量子霸权电路模拟效率提升5.4%,单步张量收缩效率最高提升49.7倍;该路径调整方法可在路径计算复杂度膨胀2倍条件下提升约4倍的浮点效率。两种优化方法使神威超算整机模拟谷歌53量子比特20层量子芯片随机电路百万振幅采样的单精度和混合精度浮点运算效率分别从3.98%和1.69%提升至18.48%和7.42%,理论估计模拟时间从单精度的470 s降至226 s,混合精度的304 s降至134 s,证明两种方法大幅提高了量子计算模拟速度。
-
关键词
量子模拟器
神威超算体系结构
收缩路径
张量收缩算子库
张量网络收缩
-
Keywords
quantum simulator
Sunway supercomputer architecture
contraction path
tensor contraction operator library
tensor network contraction
-
分类号
TP38
[自动化与计算机技术—计算机系统结构]
-
-
题名基于国产众核处理器的深度神经网络算子加速库优化
被引量：5
- 8
-
-
作者
高捷
刘沙
黄则强
郑天宇
刘鑫
漆锋滨
-
机构
信息工程大学网络空间安全学院
江南计算技术研究所
山东大学软件学院
-
出处
《计算机科学》
CSCD
北大核心
2022年第5期355-362,共8页
-
基金
国家自然科学基金(U1806205)。
-
文摘
基于不同硬件设备的算子加速库已经成为深度学习框架不可或缺的一部分,能够为大规模训练或者推理任务提供数倍的性能加速。当前的主流算子库都是基于GPU架构开发的,与其他异构设计并不兼容;SWDNN算子库是基于申威26010开发的,无法充分发挥升级后的申威26010 pro处理器的性能,也不能满足当前GPT-3等大型神经网络模型对大容量内存和高访存带宽的需求。文中面向申威26010 pro处理器体系结构的特点和大型神经网络模型的训练需求,提出了基于多核组的三级并行和神经网络算子任务调度方案,在满足大型模型训练内存需求的同时,提高了并行效率和整体计算性能;提出了三级异步流水机制和计算访存重叠的访存优化方法,显著缓解了神经网络算子的访存性能瓶颈。基于以上方法,文中构建了基于申威26010 pro处理器的SWTensor多核组算子加速库,在自然语言处理模型GPT-2上进行了实验,结果表明,其典型计算密集型算子和访存密集型算子在单精度浮点计算性能和访存带宽上分别达到了理论峰值的90.4%和88.7%。
-
关键词
深度神经网络
算子加速库
负载均衡
异步流水
双缓冲
-
Keywords
Deep neural network
Operator acceleration library
Load balancing
Asynchronous flow
Double-buffering
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
