期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
最优化问题求解中的“π—行列式”法
1
作者 张焕玮 唐永春 《技术经济》 2004年第1期F003-F004,共2页
关键词 经济问题 拉格朗日乘子法 “π-行列式”方法 求解约束最优化问题 必要条件
下载PDF
以子图融合为最小单位的混合精度推理
2
作者 崔丽群 胡磊 《软件导刊》 2024年第6期44-52,共9页
近几年卷积神经网络作为深度学习最重要的技术,在图像分类、物体检测、语音识别等领域均有所建树。在此期间,由多层卷积神经网络组成的深度神经网络横空出世,在各种任务准确性方面具有显著提升。然而,神经网络的权重往往被限定在单精度... 近几年卷积神经网络作为深度学习最重要的技术,在图像分类、物体检测、语音识别等领域均有所建树。在此期间,由多层卷积神经网络组成的深度神经网络横空出世,在各种任务准确性方面具有显著提升。然而,神经网络的权重往往被限定在单精度类型,使网络体积相较于特定硬件平台上的内存空间更大,且floating point 16、INT 8等单精度类型已无法满足现在一些模型推理的现实需求。为此,提出一种以子图为最小单位,通过判断相邻结点之间的融合关系,添加了丰富比特位的混合精度推理算法。首先,在原有单精度量化设计的搜索空间中增加floating point 16半精度的比特配置,使最终搜索空间变大,为寻找最优解提供更多机会。其次,使用子图融合的思想,通过整数线性规划将融合后的不同子图精度配置,根据模型大小、推理延迟和位宽操作数3个约束对计算图进行划分,使最后累积的扰动误差减少。最终,在ResNet系列网络上验证发现,所提模型精度相较于HAWQ V3的损失没超过1%的同时,相较于其他混合精度量化方法在推理速度方面得到了提升,在ResNet18网络中推理速度分别提升18.15%、19.21%,在ResNet50网络中推理速度分别提升13.15%、13.70%。 展开更多
关键词 子图融合 混合精度推理 约束问题最优化求解 GPU加速
下载PDF
非线性循环不变式的自动生成 被引量:4
3
作者 毕忠勤 曾振柄 郭远华 《计算机应用》 CSCD 北大核心 2008年第7期1854-1857,共4页
提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有... 提出了一个自动生成非线性循环不变式的算法。循环不变式可以表示成一个带参数的多项式的形式,根据断言的归纳特性,将循环不变式的生成问题转变成一个约束求解问题,这个约束求解问题的每个解对应于一个循环不变式,如果约束求解问题仅有零解,则说明不存在该参数多项式形式的循环不变式。该算法在Maple中得到了实现,并通过一些实例说明了该算法的有效性。 展开更多
关键词 程序验证 循环不变式 变迁系统 约束求解问题
下载PDF
可活动关节3D打印模型生成方法研究 被引量:1
4
作者 高鹏 李琳 +1 位作者 储晓丽 谭剑波 《图学学报》 CSCD 北大核心 2017年第5期654-662,共9页
3D模型资源一般是静止封闭的网格,无法为3D打印提供可活动的输入结构。针对非专业用户创建可打印的活动模型,进行了活动关节共性参数化设计与参数求解研究,通过实验得到了影响可活动性的共性阈值参数极限。在此基础上,提出一种易于使用... 3D模型资源一般是静止封闭的网格,无法为3D打印提供可活动的输入结构。针对非专业用户创建可打印的活动模型,进行了活动关节共性参数化设计与参数求解研究,通过实验得到了影响可活动性的共性阈值参数极限。在此基础上,提出一种易于使用的为静止模型添加活动关节的方法,生成了若干可活动四肢的玩偶模型与功能化的生活用品模型。最终3D打印结果说明该方法所设计的关节丰富有效,产生活动模型灵活快速,用户认可度高。 展开更多
关键词 3D打印 活动关节 参数化设计 约束求解问题
下载PDF
基于区间相容技术与GA的测试数据自动生成方法 被引量:1
5
作者 张毅坤 赵明 +1 位作者 张保卫 崔杜武 《西安理工大学学报》 CAS 2006年第4期350-354,共5页
针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒... 针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒弃了二者固有的缺陷,吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准,过滤变量的论域空间,并在经过削减的空间上采用GA搜索算法自动产生测试数据,应用常变量的逆向推导技术、表达式直接遗传等技术,大幅度地提高了测试数据的生成速度。 展开更多
关键词 测试数据自动生成 约束求解问题 eBox相容 GA
下载PDF
Modified Augmented Lagrange Multiplier Methods for Large-Scale Chemical Process Optimization 被引量:6
6
作者 梁昔明 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2001年第2期167-172,共6页
Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studi... Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studied in this paper. The Lagrange function contains the penalty terms on equality and inequality constraints and the methods can be applied to solve a series of bound constrained sub-problems instead of a series of unconstrained sub-problems. The steps of the methods are examined in full detail. Numerical experiments are made for a variety of problems, from small to very large-scale, which show the stability and effectiveness of the methods in large-scale problems. 展开更多
关键词 modified augmented Lagrange multiplier methods chemical engineering optimization large-scale non- linear constrained minimization numerical experiment
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部