期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
High Accuracy Arithmetic Average Discretization for Non-Linear Two Point Boundary Value Problems with a Source Function in Integral Form
1
作者 Ranjan K. Mohanty Deepika Dhall 《Applied Mathematics》 2011年第10期1243-1251,共9页
In this article, we report the derivation of high accuracy finite difference method based on arithmetic average discretization for the solution of Un=F(x,u,u′)+∫K(x,s)ds , 0 x s < 1 subject to natural boundary co... In this article, we report the derivation of high accuracy finite difference method based on arithmetic average discretization for the solution of Un=F(x,u,u′)+∫K(x,s)ds , 0 x s < 1 subject to natural boundary conditions on a non-uniform mesh. The proposed variable mesh approximation is directly applicable to the integro-differential equation with singular coefficients. We need not require any special discretization to obtain the solution near the singular point. The convergence analysis of a difference scheme for the diffusion convection equation is briefly discussed. The presented variable mesh strategy is applicable when the internal grid points of the solution space are both even and odd in number as compared to the method discussed by authors in their previous work in which the internal grid points are strictly odd in number. The advantage of using this new variable mesh strategy is highlighted computationally. 展开更多
关键词 Variable Mesh arithmetic Average DISCRETIZATION non-linear Integro-Differential EQUATION Diffusion EQUATION Simpson’s 1/3 Rd Rule SINGULAR Coefficients Burgers’ EQUATION Maximum Absolute Errors
在线阅读 下载PDF
Rheological Behavior for Polymer Melts and Concentrated Solutions——Part Ⅶ: A Quantitative Verification for the Molecular Theory of Non-linear Viscoelasticity with Entanglement Constraints in Polymer Melts 被引量:2
2
作者 Mingshi SONG, Chen ZHANG and Guixian HU Research Institute of Polymeric Materials, Beijing University of Chemical Technology, Beijing 100029, China E-mail: wangzhchen@sina.com 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2001年第3期375-382,共8页
Based on the molecular theory of non-linear viscoelasticity with constrained entanglements in polymer melts, the material functions in simple shear flow were formulated, the theoretical relations between. eta((gamma) ... Based on the molecular theory of non-linear viscoelasticity with constrained entanglements in polymer melts, the material functions in simple shear flow were formulated, the theoretical relations between. eta((gamma) over dot), psi (10)((gamma) over dot) and shear rate ((gamma) over dot), and topologically constrained dimension number n ' and a were derived. Linear viscoelastic parameters (eta (0) and G(N)(0)) and topologically constrained dimension number (n ' a and <(<upsilon>)over bar>) as a function of the primary molecular weight (M-n), molecular weight between entanglements (M-C) and the entanglement sites sequence distribution in polymer chain were determined. A new method for determination of viscoelastic parameters (eta (0), psi (10), G(N)(0) and J(e)(0)), topologically constrained dimension number (n ', a and v) and molecular weight (M-n, M-c and M-e) from the shear flow measurements was proposed. It was used to determine those parameters and structures of HDPE, making a good agreement between these values and those obtained by other methods. The agreement affords a quantitative verification for the molecular theory of nonlinear viscoelasticity with constrained entanglement in polymer melts. 展开更多
关键词 Rheological Behavior for Polymer Melts and Concentrated Solutions A Quantitative Verification for the Molecular Theory of non-linear Viscoelasticity with Entanglement constraints in Polymer Melts PART
在线阅读 下载PDF
THE FUNDAMENTAL EQUATIONS OF DYNAMICS USINGREPRESENTATION OF QUASI-COORDINATES IN THE SPACEOF NON-LINEAR NON-HOLONOMIC CONSTRAINTS
3
作者 邱荣 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1997年第11期0-0,0-0+0-0+0-0+0,共9页
The dot product of the bases vectors on the super-surface of the non-linear nonholonomic constraints with one order, expressed by quasi-coorfinates, and Mishirskiiequalions are regarded as the fundamental equations of... The dot product of the bases vectors on the super-surface of the non-linear nonholonomic constraints with one order, expressed by quasi-coorfinates, and Mishirskiiequalions are regarded as the fundamental equations of dynamics with non-linear andnon-holononlic constraints in one order for the system of the variable mass. From thesethe variant ddferential-equations of dynamics expressed by quasi-coordinates arederived. The fundamental equations of dynamics are compatible with the principle ofJourdain. A case is cited. 展开更多
关键词 non-linear non-holonomic constraints quasi-coordinates fundamental equations of dynamics
在线阅读 下载PDF
考虑分布式电源不确定性的配电网鲁棒动态重构 被引量:38
4
作者 徐俊俊 吴在军 +3 位作者 周力 成晟 李培帅 窦晓波 《中国电机工程学报》 EI CSCD 北大核心 2018年第16期4715-4725,共11页
间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约... 间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约束条件的配电网鲁棒动态重构模型。为精确求解该数学模型,引入基于最佳等距思想的分段线性逼近方法将原目标函数松弛为线性可解形式,并根据对偶定理将模型进一步等效转化为双层混合整数线性规划问题;最后采用列约束生成算法对模型进行高效求解。修改的PG&E 69节点系统测试分析结果表明,与现有的配电网确定性动态重构方法比较,所提鲁棒动态重构方法在抗系统不确定性扰动方面具有明显的优势。 展开更多
关键词 分布式电源 鲁棒动态重构 仿射数 双层混合整数线性规划 列约束生成算法
原文传递
遗传算法在并行工程约束关系模型中的应用 被引量:5
5
作者 陈冰 王润孝 +1 位作者 王东勃 魏生民 《组合机床与自动化加工技术》 北大核心 2002年第4期46-48,共3页
简述了约束关系模型在并行工程实施中的作用。详述了遗传算法 (GA)在解决并行产品开发过程中全局优化问题中的应用 ,并给出了应用实例。结果表明算法正确 ,效果良好 ,具有较为广泛的应用推广价值。
关键词 并行工程 遗传算法 约束关系模型
在线阅读 下载PDF
改进动态符号执行中的非线性约束求解过程 被引量:2
6
作者 董齐兴 曾凡平 +2 位作者 严俊 张辉 彭凌 《小型微型计算机系统》 CSCD 北大核心 2014年第11期2396-2401,共6页
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度. 展开更多
关键词 软件测试 动态符号执行 非线性算术约束 约束相似性
在线阅读 下载PDF
能力约束下的停车行为模型及其求解算法 被引量:7
7
作者 李志纯 朱道立 《中国公路学报》 EI CAS CSCD 北大核心 2007年第5期89-94,共6页
建立了能力约束下的旅行选择和停车行为模型,模型同时考虑了出行者对旅行路径和停车设施的选择、道路路段和停车设施的能力约束以及道路网络的需求弹性。构造了数学规划模型,证明在非主动能力约束下,网络均衡条件与该数学规划模型等价;... 建立了能力约束下的旅行选择和停车行为模型,模型同时考虑了出行者对旅行路径和停车设施的选择、道路路段和停车设施的能力约束以及道路网络的需求弹性。构造了数学规划模型,证明在非主动能力约束下,网络均衡条件与该数学规划模型等价;当能力约束为主动约束时,该数学规划模型的解不是网络均衡解,但当对路网的饱和路段和饱和停车设施征收某个附加费用之后,网络均衡解满足能力约束。设计了增广的Lagrangian对偶算法和部分线性化算法来求解该模型,并利用算例来验证模型和算法的效率及评价交通政策的效果。计算结果表明:停车收费、新增停车设施、停车设施与目的地之间的步行距离将显著影响出行者的旅行选择和停车行为。 展开更多
关键词 交通工程 停车行为 数学模型 能力约束 网络均衡 弹性需求
在线阅读 下载PDF
概率约束MIMO雷达稳健发射波形设计方法 被引量:4
8
作者 张向阳 廖桂生 +1 位作者 许京伟 曾操 《系统工程与电子技术》 EI CSCD 北大核心 2015年第1期42-47,共6页
传统多输入多输出(multi-input multi-output,MIMO)雷达发射波形设计方法对传播矩阵误差敏感,导致难以得到最优的匹配波形,进而造成系统检测性能严重下降。针对此问题,提出一种基于概率约束的MIMO雷达稳健发射波形设计方法。该方法考虑... 传统多输入多输出(multi-input multi-output,MIMO)雷达发射波形设计方法对传播矩阵误差敏感,导致难以得到最优的匹配波形,进而造成系统检测性能严重下降。针对此问题,提出一种基于概率约束的MIMO雷达稳健发射波形设计方法。该方法考虑最差情况的发生为小概率事件,基于输出信噪比(signal noise ratio,SNR)低于可接受水平的概率小于中断概率的约束条件,通过最大化输出信噪比设计最优波形。利用传播矩阵误差的概率分布特性,将概率约束转化为凸约束,从而将统计优化问题转化为确定性优化问题。该方法在传播矩阵存在误差情况下以高概率实现系统性能最优化。仿真结果表明所提方法能够提高输出SNR,具有较好的检测性能。 展开更多
关键词 多输入多输出雷达 概率约束 波形设计 稳健算法 最优化
在线阅读 下载PDF
模糊数和模糊值函数的等式限定运算 被引量:2
9
作者 孙旭东 郭嗣琮 《模糊系统与数学》 CSCD 北大核心 2009年第4期60-65,共6页
通过模糊数的结构元表示方法,利用两个单调函数的自反单调变换构造了等式限定算子,推广了文[6]中的等式限定运算,处理了存在负模糊情况下关于乘法运算的不可逆问题。同时,本文还将等式限定运算推广到模糊值函数上,提出了模糊值函数等式... 通过模糊数的结构元表示方法,利用两个单调函数的自反单调变换构造了等式限定算子,推广了文[6]中的等式限定运算,处理了存在负模糊情况下关于乘法运算的不可逆问题。同时,本文还将等式限定运算推广到模糊值函数上,提出了模糊值函数等式限定运算的结构元方法,解决了模糊值函数运算的不可逆问题。 展开更多
关键词 模糊数 模糊值函数 等式限定运算
在线阅读 下载PDF
等式约束下的模糊运算 被引量:1
10
作者 苏志雄 郭嗣琮 《辽宁工程技术大学学报(自然科学版)》 EI CAS 北大核心 2005年第2期299-302,共4页
介绍了G.J.Klir提出的限制型模糊算术(CFA),并与L.A.Zadeh的标准模糊算术(SFA)进行了比较。研究等式约束下的模糊运算及其性质,在G.J.Klir的基础上推广了等式约束下的模糊运算,定义了一类可结构元展开的模糊值函数,给出了这类函数的微... 介绍了G.J.Klir提出的限制型模糊算术(CFA),并与L.A.Zadeh的标准模糊算术(SFA)进行了比较。研究等式约束下的模糊运算及其性质,在G.J.Klir的基础上推广了等式约束下的模糊运算,定义了一类可结构元展开的模糊值函数,给出了这类函数的微积分运算,并给出了几个例子。 展开更多
关键词 标准模糊算术 限制型模糊算术 结构元 模糊值函数 模糊微积分
在线阅读 下载PDF
多种模糊值函数微分定义的统一表述 被引量:6
11
作者 郭嗣琮 《模糊系统与数学》 CSCD 北大核心 2008年第3期116-121,共6页
针对模糊值函数微分有多种定义,并且在形式难以得到统一的现状,提出了模糊数的广义限定性运算。在此基础上,利用[-1,1]上同序标准单调函数类与模糊实数空间的同胚性质,给出了广义限定差意义下的模糊值函数微分定义,并证明了这个定义与... 针对模糊值函数微分有多种定义,并且在形式难以得到统一的现状,提出了模糊数的广义限定性运算。在此基础上,利用[-1,1]上同序标准单调函数类与模糊实数空间的同胚性质,给出了广义限定差意义下的模糊值函数微分定义,并证明了这个定义与借助于扩张原理形式、借助于Hukuhara差形式和借助于模糊结构元形式的三种模糊值函数微分定义是等价的,进而得到了基于模糊结构元方法的模糊值函数微分定义的统一表述。 展开更多
关键词 模糊值函数微分 模糊结构元 广义限定性运算
在线阅读 下载PDF
求解模糊数限定运算的一种新方法 被引量:1
12
作者 岳立柱 《模糊系统与数学》 CSCD 北大核心 2012年第6期38-44,共7页
针对模糊数限定运算比较困难的问题,提出了一种比较便捷的运算方法。首先,利用模糊结构元理论给出了模糊数一种新的表现定理。在此定理基础上,得到了模糊数运算的解析表达形式。解决了模糊结构元中,非同序模糊数和非单调模糊数不能运算... 针对模糊数限定运算比较困难的问题,提出了一种比较便捷的运算方法。首先,利用模糊结构元理论给出了模糊数一种新的表现定理。在此定理基础上,得到了模糊数运算的解析表达形式。解决了模糊结构元中,非同序模糊数和非单调模糊数不能运算的问题,统一并拓展了模糊数运算的结构元表述形式。 展开更多
关键词 模糊数 结构元 限定运算
原文传递
视场受限制导与控制一体化设计 被引量:3
13
作者 田宏亮 许晓艳 《航空科学技术》 2017年第5期67-73,共7页
针对拦截弹视场受限问题,提出了一种基于动态面控制和自适应扩张状态观测器(ESO)的制导控制一体化(IGC)设计方法。首先,建立基于目标拦截过程的拦截弹运动方程和非线性动力学方程的IGC模型;其次,设计自适应ESO估计导弹自身信息干扰和目... 针对拦截弹视场受限问题,提出了一种基于动态面控制和自适应扩张状态观测器(ESO)的制导控制一体化(IGC)设计方法。首先,建立基于目标拦截过程的拦截弹运动方程和非线性动力学方程的IGC模型;其次,设计自适应ESO估计导弹自身信息干扰和目标加速度误差。然后,设计基于动态面控制的IGC算法获取虚拟控制力矩,并利用李雅普诺夫(Lyapunov)理论证明系统稳定性。仿真结果表明,所设计的IGC算法能够实现在视场受限情况下稳定制导和控制导弹姿态,满足动能碰撞杀伤目标的要求,可用于导弹制导和控制系统设计。 展开更多
关键词 制导 控制 一体化算法 视场约束 动态面
在线阅读 下载PDF
带约束的一类循环和不等式 被引量:1
14
作者 吴善和 《华侨大学学报(自然科学版)》 CAS 2004年第2期133-136,共4页
给出一类带约束条件x1x2 …xn=1,并含指数参数的循环和不等式 .该不等式有着丰富的内涵 ,利用它可得到许多有价值的循环和不等式 .给出该不等式的一些特例 .
关键词 循环和 约束条件 幂平均不等式 算术-几何平均不等式 指数参数
在线阅读 下载PDF
等式限制型模糊级数
15
作者 苏志雄 郭嗣琮 《科学技术与工程》 2004年第6期431-433,436,共4页
介绍了G .J .Klir提出的限制型模糊算术 (CFA) ,并与L .A .Zadeh的标准模糊算术 (SFA)进行了比较。研究等式约束下的模糊运算及其性质 ,在G .J .Klir的基础上推广了等式约束下的模糊运算 。
关键词 等式限制型 模糊级数 标准模糊算术 结构元 模糊值函数 等式约束
在线阅读 下载PDF
片上非均匀性自适应校正CS算法的电路实现及仿真
16
作者 刘会平 白丕绩 +1 位作者 梁艳 李敏 《红外》 CAS 2009年第10期23-26,共4页
在红外焦平面列阵中,由于敏感元材料缺陷、工艺误差及读出电路加工失配等原因,不可避免地会引入非均匀性。这些非均匀性的特征会随着时间的变化而改变,所以传统的定标校正法在使用过程中维护起来比较困难,而且由于其体系庞大,不利于片... 在红外焦平面列阵中,由于敏感元材料缺陷、工艺误差及读出电路加工失配等原因,不可避免地会引入非均匀性。这些非均匀性的特征会随着时间的变化而改变,所以传统的定标校正法在使用过程中维护起来比较困难,而且由于其体系庞大,不利于片上系统的集成。本文就非均匀性自适应校正的CS(应用常值统计约束)算法展开研究,应用Cadence IC设计软件和集成电路实现了该算法并应用spectre软件对其进行了仿真。结果表明,该非均匀性自适应校正CS算法在实时校正方面具有简单、易实现的优势,非常适合于片上集成。 展开更多
关键词 非均匀性校正 CS(应用常值统计约束)算法 集成电路设计 片上集成
在线阅读 下载PDF
基于转移时间约束的异面圆锥曲线变轨算法 被引量:1
17
作者 张鹏宇 杨明 王子才 《固体火箭技术》 EI CAS CSCD 北大核心 2009年第1期6-10,19,共6页
在圆锥曲线转移轨道Lagrange方程的基础上,分析了双曲线和多圈飞行椭圆轨道的转移时间与半长轴的几何关系,以及椭圆转移问题的虚焦点位置对长程、短程轨道的约束。给出了一种与初始速度方向相关的转移角定义,以及一种基于Lagrange方程... 在圆锥曲线转移轨道Lagrange方程的基础上,分析了双曲线和多圈飞行椭圆轨道的转移时间与半长轴的几何关系,以及椭圆转移问题的虚焦点位置对长程、短程轨道的约束。给出了一种与初始速度方向相关的转移角定义,以及一种基于Lagrange方程的圆锥曲线变轨计算方法,随后提出了一种以半长轴为迭代变量的变轨算法。通过异面椭圆和双曲线转移两个实例,验证了该算法与Vaughan算法具有相同结果,并具有明确的几何意义。 展开更多
关键词 异面变轨 Lambert算法 圆锥曲线轨道 转移时间约束
在线阅读 下载PDF
COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器 被引量:2
18
作者 苏婉昀 高冲 +1 位作者 古新才 吴志林 《软件学报》 EI CSCD 北大核心 2023年第5期2181-2195,共15页
分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的... 分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLIDdata、SLIDdata的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约束的分离逻辑公式的可满足性问题进行高效的求解,另外,也能对蕴涵问题进行求解. 展开更多
关键词 分离逻辑 形状性质 线性算术数据约束 集合数据约束 可满足性问题 蕴涵问题 约束求解器
在线阅读 下载PDF
基于覆盖率的微处理器运算单元验证技术
19
作者 李智广 章建雄 王玉艳 《计算机工程》 CAS CSCD 2012年第13期221-223,共3页
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验... 根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。 展开更多
关键词 功能验证 运算单元 约束求解 随机生成 覆盖率 SYSTEM VERILOG语言
在线阅读 下载PDF
正系数整数规划的一种快速搜索求解法
20
作者 解元元 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第z1期7-9,共3页
利用价值系数大先赋值的方法 ,得到接近最优解的初始解 ,并提出一种新的调整方法 。
关键词 整数规划 约束条件 搜索 算法 最优解
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部