基于张量虚拟机的快速卷积自动性能优化

卷积神经网络作为深度学习的典型代表,是计算机视觉等任务中最常用的神经网络,然而,卷积运算通常占整个卷积神经网络运行时的90%以上,成为卷积神经网络的性能瓶颈。此外,由于当下硬件的复杂性及工作负载的多样性,之前工作中的一些特定优化往往缺乏性能可移植性。对此,作者提出BlazerML,一个基于张量虚拟机(TVM)模板代码自动生成的开源卷积计算库,可为任何输入形状自动生成高性能的卷积实现。BlazerML是基于Winograd算法实现的,因为该算法是快速卷积算法中性能最高的算法。实验结果表明:BlazerML显著优于当下最先进的开源库。在x86 CPU上运行常见的深度学习网络前向推理分别比OnnxRuntime、MNN和TVM社区版本快1.18~2.47倍、1.18~2.27倍和1.01~1.66倍。在ARMCPU上运行常见深度学习网络的单层推理分别比ACL和FastConv快1.26~6.11倍、1.04~4.28倍。

剑杆织机关键运动副间隙对打纬稳定性影响研究

为了减小打纬力波动幅度和运动副接触碰撞力,对打纬机构进行了运动学仿真和动力学分析。通过多目标正交试验得到了当前公差设计下不同间隙值对打纬机构运动性能的影响,并以此对共轭凸轮机构运动副间隙进行调整,提高了打纬机构的运动稳定性。

抛物积分微分方程的Crank-Nicolson全离散格式下的超收敛分析

文章基于低阶协调的双线性元在矩形网格下的高精度积分恒等式,在时间方向使用具有二阶精度的Crank-Nicolson离散格式,再利用插值与投影相结合的技巧,给出了抛物积分微分方程的全离散格式下的超逼近和超收敛的误差估计。最后,通过数值试验验证了理论分析的正确性。

经济管理类专业高等数学教学改革的若干思考

文章分析了经济管理类专业高等数学课程开设的现状及教学中存在的问题,结合近年来的教学实践,对经济管理类专业高等数学教学改革的目标定位进行了探讨,并从加强教材建设、提高数学教师的经济管理专业知识、培养学生学习的主动性、改进教学方法、加强数学建模教学及构建科学的考评体系等方面提出了一些改革的设想和措施。

基于灰色关联度和理想解法的区间评价方法

灰色理论系统是对社会、经济等抽象系统进行分析、建模、预测和控制的理论,并且在工程控制、经济管理、社会系统和生态系统等领域得到应用。但大多的研究是关于确定性数据的理论研究,而大量的事实是数据的选取往往存在不确定性,即评估者对某些评价指标给出的是一个评估区间。因此文章在灰色关联度和理想解法下考虑了带区间评价值的评价问题。最后通过酒店选择的示例进一步说明方法的应用性。

浅析高等数学的教与学

数学教学既传承数学科学知识,又培养学生的思维能力。为使学生主动学习数学,就要在教学中找到教与学的平衡点,创设引起学生兴趣的方法。

基于控制器切换的不确定模糊时滞系统的鲁棒输出反馈控制

研究了基于控制器切换的模糊时滞系统的输出反馈控制问题,由Lyapunov稳定性理论,给出了系统渐近稳定的充分条件.

离散模糊双线性系统的H_∞控制

研究了一类离散的基于T-S双线性模型的H∞控制问题,通过Lyapunov函数得到系统稳定的条件,并把最终结果转化为线性矩阵不等式.

离散模糊双线性系统的输出反馈控制

研究了一类离散的基于T-S双线性模型的输出反馈控制问题,通过Lyapunov函数得到系统稳定的条件,并把最终结果转化为线性矩阵不等式.

浅析极限的若干求法

极限理论是高等数学的基础,本文给出了极限的若干求法,并用具体实例加以说明。

两类整数分解算法的分析与改进

给出了整数分解的两种算法,试除法和Pollard算法。根据素数分布的规律,通过减少试除次数提高了试除法运算效率,使得其性能显著提高;对Pollard算法进行分析后,变换随机序列产生式并重启算法使算法运行更稳定有效。给出了这两类改进算法的运行时间对比表,结果表明,改进的试除法在分解32位内小整数效果更佳而改进的Pollard算法在分解32位以上大整数有明显的优化。

离散复杂网络系统的混沌同步

研究了离散复杂网络系统,以及离散复杂网络时滞系统的混沌同步问题,并基于Lyapunov稳定性理论,得到在控制律的适当选取下复杂网络混沌系统是同步的.数值算例说明了该方法的有效性.

基于自适应最近邻的局部保持投影算法

局部保持投影(LPP)是一种新的数据降维技术,但其本身是一种非监督学习算法,对于分类问题效果不是太好。基于自适应最近邻,结合LPP算法,提出了一种有监督的局部保持投影算法(ANNLPP)。该方法通过修改LPP算法中的权值矩阵,在降维的同时,增加了类别信息,是一种有监督学习算法。通过二维数据可视化和UMIST、ORL人脸识别实验,表明该方法对于分类问题具有较好的降维效果。

退化工件误工数的双机自由作业排序问题

探讨退化工件两台机器自由作业环境下的最小化加权误工工件的排序问题,其中所有工件具有相同的公共交货期。首先证明了最小化误工工件数问题是NP困难的;然后对最小化加权误工工件数问题给出了一个拟多项式时间算法;最后对几种特殊情形给出了多项式时间算法。

一类不确定模糊切换系统的保成本H_∞控制

基于线性矩阵不等式方法和Lyapunov稳定性理论,讨论了由T-S模糊切换系统的保成本与H∞衰减问题,导出了系统鲁棒保成本H∞控制器存在的充分条件,所得结果以矩阵不等式表示,便于实现.

具有多重公共工期的单机退化工件排序

研究了需要同时确定最优工件工期和加工序列的单机排序问题。工件的加工时间是其开工时间的线性增长函数。每个工件的惩罚费用包含两部分,一部分是分配给它的工期费用,另一部分是由机器上产生的提前及延迟惩罚费用。管理者的目标为最小化所有工件的总惩罚费用。对于公共工期个数固定的情形,给出了一个多项式时间算法。

两个代理的单机排序问题研究

研究了两个代理的单机排序问题.其中第一个代理以完工时间和为目标函数,第二个代理以误工工件个数为目标函数.排序问题的目标是寻找一种排序,使得在第二个代理的目标函数不超过给定上界的情况下,第一个代理的目标函数最小.本文还对这一问题设计了一个拟多项式时间算法.

一类Lurie切换系统的稳定性问题

考虑了一类Lurie切换系统的稳定性问题,用矩阵不等式和Lyapunov函数给出了切换律的构造,并以矩阵不等式的形式表示所得结果.

大规模图处理研究

大数据研究领域的许多问题可以转换为图的问题。本文将阐述鲲鹏大数据系统计算引擎中有关大规模图处理的研究进展以及应用,具体包括高效子图匹配算法、面向图的稀疏数据存储结构和大规模图异步计算模型及其在基因拼接中的应用。

融入MATLAB的数学建模课程教学探索

数学建模是联系数学理论与实际问题的重要途径,是将数学知识应用于各个领域的重要媒介。因此,注重数学建模的教学质量,对培养应用型和创新型人才有重要的作用。针对目前数学建模重理论教学的问题,并结合对数学建模课程的教学改革的探索和MATLAB在解决数学问题时的优势,探讨了融入MATLAB进行数学建模课程教学的必要性和重要性,从而对数学建模的课堂教学改革提出一些思路。