期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
考虑分布式电源不确定性的配电网鲁棒动态重构 被引量：36
1
作者 徐俊俊 吴在军 +3 位作者 周力 成晟 李培帅 窦晓波 《中国电机工程学报》 EI CSCD 北大核心 2018年第16期4715-4725,共11页
间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约... 间歇性分布式电源并网使得配电网网络重构过程需要考虑更多的不确定因素。在利用仿射数对分布式电源出力的不确定性进行合理分析与建模基础上,建立以重构周期内开关动作耗费与网络有功损耗等综合成本最低为目标函数,以网络安全运行为约束条件的配电网鲁棒动态重构模型。为精确求解该数学模型,引入基于最佳等距思想的分段线性逼近方法将原目标函数松弛为线性可解形式,并根据对偶定理将模型进一步等效转化为双层混合整数线性规划问题;最后采用列约束生成算法对模型进行高效求解。修改的PG＆E 69节点系统测试分析结果表明,与现有的配电网确定性动态重构方法比较,所提鲁棒动态重构方法在抗系统不确定性扰动方面具有明显的优势。 展开更多
关键词 分布式电源 鲁棒动态重构 仿射数 双层混合整数线性规划 列约束生成算法
在线阅读 下载PDF
遗传算法在并行工程约束关系模型中的应用 被引量：5
2
作者 陈冰 王润孝 +1 位作者 王东勃 魏生民 《组合机床与自动化加工技术》 北大核心 2002年第4期46-48,共3页
简述了约束关系模型在并行工程实施中的作用。详述了遗传算法 (GA)在解决并行产品开发过程中全局优化问题中的应用 ,并给出了应用实例。结果表明算法正确 ,效果良好 ,具有较为广泛的应用推广价值。
关键词 并行工程 遗传算法 约束关系模型
在线阅读 下载PDF
改进动态符号执行中的非线性约束求解过程 被引量：2
3
作者 董齐兴 曾凡平 +2 位作者 严俊 张辉 彭凌 《小型微型计算机系统》 CSCD 北大核心 2014年第11期2396-2401,共6页
动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度. 展开更多
关键词 软件测试 动态符号执行 非线性算术约束 约束相似性
在线阅读 下载PDF
概率约束MIMO雷达稳健发射波形设计方法 被引量：4
4
作者 张向阳 廖桂生 +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
等式约束下的模糊运算 被引量：1
5
作者 苏志雄 郭嗣琮 《辽宁工程技术大学学报（自然科学版）》 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
作者 苏志雄 郭嗣琮 《科学技术与工程》 2004年第6期431-433,436,共4页
介绍了G .J .Klir提出的限制型模糊算术 (CFA) ,并与L .A .Zadeh的标准模糊算术 (SFA)进行了比较。研究等式约束下的模糊运算及其性质 ,在G .J .Klir的基础上推广了等式约束下的模糊运算 。
关键词 等式限制型 模糊级数 标准模糊算术 结构元 模糊值函数 等式约束
在线阅读 下载PDF
基于转移时间约束的异面圆锥曲线变轨算法 被引量：1
7
作者 张鹏宇 杨明 王子才 《固体火箭技术》 EI CAS CSCD 北大核心 2009年第1期6-10,19,共6页
在圆锥曲线转移轨道Lagrange方程的基础上,分析了双曲线和多圈飞行椭圆轨道的转移时间与半长轴的几何关系,以及椭圆转移问题的虚焦点位置对长程、短程轨道的约束。给出了一种与初始速度方向相关的转移角定义,以及一种基于Lagrange方程... 在圆锥曲线转移轨道Lagrange方程的基础上,分析了双曲线和多圈飞行椭圆轨道的转移时间与半长轴的几何关系,以及椭圆转移问题的虚焦点位置对长程、短程轨道的约束。给出了一种与初始速度方向相关的转移角定义,以及一种基于Lagrange方程的圆锥曲线变轨计算方法,随后提出了一种以半长轴为迭代变量的变轨算法。通过异面椭圆和双曲线转移两个实例,验证了该算法与Vaughan算法具有相同结果,并具有明确的几何意义。 展开更多
关键词 异面变轨 Lambert算法 圆锥曲线轨道 转移时间约束
在线阅读 下载PDF
COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器 被引量：1
8
作者 苏婉昀 高冲 +1 位作者 古新才 吴志林 《软件学报》 EI CSCD 北大核心 2023年第5期2181-2195,共15页
分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的... 分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLIDdata、SLIDdata的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约束的分离逻辑公式的可满足性问题进行高效的求解,另外,也能对蕴涵问题进行求解. 展开更多
关键词 分离逻辑 形状性质 线性算术数据约束 集合数据约束 可满足性问题 蕴涵问题 约束求解器
在线阅读 下载PDF
基于覆盖率的微处理器运算单元验证技术
9
作者 李智广 章建雄 王玉艳 《计算机工程》 CAS CSCD 2012年第13期221-223,共3页
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验... 根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器(SATG)验证方法。SATG采用一种"闭环"结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。 展开更多
关键词 功能验证 运算单元 约束求解 随机生成 覆盖率 SYSTEM VERILOG语言
在线阅读 下载PDF
正系数整数规划的一种快速搜索求解法
10
作者 解元元 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第z1期7-9,共3页
利用价值系数大先赋值的方法 ,得到接近最优解的初始解 ,并提出一种新的调整方法 。
关键词 整数规划 约束条件 搜索 算法 最优解
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部