对偶变量

作品数：38被引量：107H指数：6
导出分析报告
相关领域：理学更多>>
相关作者：钟万勰史清江高强李升波陈杰夫更多>>
相关机构：大连理工大学浙江大学杭州电子科技大学清华大学更多>>
相关期刊：《机械强度》《统计与信息论坛》《地下空间与工程学报》《动力学与控制学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划辽宁省博士科研启动基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于指针数组的Gr?bner基方法的优化
《计算机科学与应用》2023年第7期1485-1491,共7页齐爽 冯天烁 史美琦 江建国 
门级整数乘法器电路的验证是形式化验证领域内的一个难题,目前最有效的方法是Grӧbner基方法。在基于此方法的验证过程中,多项式的表示对内存的使用情况有很大的影响。在验证工具Teluma中,多项式表示为单项式的链表。由于链表结点需要同...
关键词：形式化验证 乘法器 对偶变量 Gr?bner基 指针数组 
基于对偶变量的计算机代数证明的机器检验
《应用数学进展》2022年第11期8191-8199,共9页魏峰玉 黄怡桐 刘帅 江建国 
代数推理是目前验证门级整数乘法器最有效的方法之一。实用代数演算是一种涵盖了代数推理并能进行有效证明检验的证明格式。尤其是在代数编码中添加对偶变量生成统一的PAC证明。因为PAC证明文件非常大,且验证过程可能包含错误,本文介绍...
关键词：代数推理 对偶变量 乘法器验证 实用代数演算 
运输位势经济意义研究被引量：1
《河南教育学院学报（自然科学版）》2021年第1期24-26,共3页石磊昊 
通过对运输问题最优性检验的位势法分析,提出了"运输位势"的概念,对其经济意义进行了研究,并阐述了运输问题最优性检验位势法的实际意义。
关键词：运筹学 运输问题 运输位势 对偶变量 经济意义 
基于对偶变量变分原理的完整约束系统保辛算法被引量：1
《计算力学学报》2020年第6期655-660,共6页满淑敏 高强 钟万勰 
国家自然科学基金(11972107,91748203);中央高校基本科研业务费专项资金(DUT2019TD37)资助项目.
基于对偶变量变分原理,选择积分区间两端位移为独立变量,构造了求解完整约束哈密顿动力系统的高阶保辛算法。首先,利用拉格朗日多项式对作用量中的位移、动量及拉格朗日乘子进行近似;然后,对作用量中不包含约束的积分项采用Gauss积分近...
关键词：保辛 完整约束 哈密顿系统 对偶变量 
非完整约束Hamilton动力系统保结构算法被引量：6
《应用数学和力学》2020年第6期581-590,共10页满淑敏 高强 钟万勰 
国家自然科学基金(11972107,91748203);中央高校基本科研业务费(DUT2019TD37)。
基于变分积分的思想和对偶变量表示的Lagrange-d’Alembert原理,构造了一类求解非完整约束Hamilton动力系统的高阶保结构算法.基于变分积分法,选取适当的多项式及数值积分方法,将对偶变量形式的Lagrange-d’Alembert原理进行离散.在此...
关键词：非完整约束 变分积分 保结构算法 对偶变量 
弧k/n(G)与节点k/n(G)网络模型可靠性估计的对偶变量蒙特罗洛方法被引量：1
《系统科学与数学》2018年第1期86-100,共15页丁恒 李延来 
国家自然科学基金(71371156)资助课题
针对弧k／n（G）网络无法刻画网络节点对上游节点输入需求的问题，提出了节点k／n（G）网络模型．在节点k／n（G）网络中，通过设定网络节点工作条件为接收工作输入点集中几个节点里的至少k个输入，节点k／n（G）性质被进一步延伸至对...
关键词：k/n(G)网络 网络可靠性 蒙特卡罗 对偶变量 
对偶变量块体混合元及其位移元的收敛性和精度分析被引量：2
《应用数学和力学》2017年第2期153-162,共10页卿光辉 刘艳红 
国家自然科学基金青年科学基金(11502286)~~
弹性力学Hamilton正则方程和Hamilton混合元的等效刚度系数矩阵,均具有直观的辛特性.基于H-R变分原理和弹性力学保辛理论建立的对偶变量块体混合元,其等效刚度系数矩阵同样具有直观的辛特性.根据对偶变量块体混合元列式,可直接建立问题...
关键词：对偶变量 H-R变分原理 对偶变量块体混合元 对偶变量块体位移元 
非线性最小二乘跟踪的对偶变量变分方法
《力学学报》2016年第5期1202-1207,共6页寻广彬 彭海军 邬树楠 吴志刚 
国家自然科学基金(11432010);中央高校基本科研业务费(DUT15LK31)资助项目
最小二乘跟踪方法是近几年提出的一种计算动力系统跟踪轨迹的方法.基于最小二乘跟踪的灵敏度分析算法可以有效避免传统的非线性系统灵敏度分析方法中的病态初值问题,因此其在混沌系统灵敏度分析方面有着重要的应用.针对非线性的最小二...
关键词：对偶变量变分 最小二乘跟踪 非线性系统 灵敏度分析 
Excel中线性规划问题无穷多最优解情况的判别被引量：4
《曲靖师范学院学报》2014年第3期12-14,共3页李如兵 宗凤喜 
曲靖师范学院科学研究青年基金项目(2009QN015)
利用Excel求解线性规划问题时,所得结果并不能判别该问题存在唯一最优解还是无穷多最优解.在Excel对线性规划问题进行灵敏度分析的基础上,结合单纯形法原理和对偶理论,给出了判定所得最优解是唯一最优解还是无穷多最优解的方法.
关键词：EXCEL 无穷多最优解 对偶变量 
正交叠层复合材料板弯曲问题辛方法研究
《地下空间与工程学报》2011年第6期1134-1137,共4页杨有贞 王燕昌 马文国 戚靖骅 
宁夏自然科学基金资助项目(NZ1155);宁夏大学科学基金重点资助项目((E)ndzr10-3)
基于变分原理,利用辛对偶方法分析叠层复合材料板弯曲问题。于是在由原变量及其对偶变量组成的辛几何空间内,许多有效的数学物理方法如分离变量法和本征函数展开法等均可直接应用于叠层梁弯曲问题的求解,推导矩形板本征值超越方程和本...
关键词：复合材料叠层板 辛对偶体系 对偶变量 本征函数 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部