期刊文献+
共找到77篇文章
< 1 2 4 >
每页显示 20 50 100
Adaptive broadband beamformer for nonuniform linear array based on second order cone programming 被引量:3
1
作者 Chen Peng Hou Chaohuan +3 位作者 Ma Xiaochuan Cao Zhiqian Liang Yicong Yan Sheng 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第2期278-282,共5页
Adaptive broadband beamforraing is a key issue in array applications. The adaptive broadband beamformer with tapped delay line (TDL) structure for nonuniform linear array (NLA) is designed according to the rule of... Adaptive broadband beamforraing is a key issue in array applications. The adaptive broadband beamformer with tapped delay line (TDL) structure for nonuniform linear array (NLA) is designed according to the rule of minimizing the beamformer's output power while keeping the distortionless response (DR) in the direction of desired signal and keeping the constant beamwidth (CB) with the prescribed sidelobe level over the whole operating band. This kind of beamforming problem can be solved with the interior-point method after being converted to the form of standard second order cone programming (SOCP). The computer simulations are presented which illustrate the effectiveness of our beamformer. 展开更多
关键词 information processing technique adaptive broadband beamformer tapped delay line nonuniformlinear array constant beamwidth second order cone programming
下载PDF
基于智能光储软开关的柔性有源配电网潮流优化
2
作者 宋亮 邢志同 +1 位作者 毛晨旭 于馨玮 《山东电力技术》 2024年第6期36-42,84,共8页
近年来,以现代电力电子装置为基础的智能软开关(soft normally open point,SNOP)逐渐成为配电网重要的一环,为进一步充分发挥SNOP拓扑结构优势,提出在SNOP直流侧接入光储一体化系统对柔性配电网进行潮流优化。首先分析储能系统和光伏系... 近年来,以现代电力电子装置为基础的智能软开关(soft normally open point,SNOP)逐渐成为配电网重要的一环,为进一步充分发挥SNOP拓扑结构优势,提出在SNOP直流侧接入光储一体化系统对柔性配电网进行潮流优化。首先分析储能系统和光伏系统的模型;然后,将其接入SNOP的直流侧,形成智能光储软开关(SNOP integrated with energy storage and photovoltaics,PE-SNOP),在此基础上建立柔性有源配电网的潮流调控模型,采用二阶锥规划算法进行求解;最后,利用改进的IEEE 33节点配电网模型对所提优化模型和算法进行了求解与验证,并与SNOP、智能储能开关单独优化的结果进行了对比。结果表明,所提模型有效提升了SNOP的调节能力,能够实现削峰填谷、抵抗随机扰动的作用,可改善系统运行状态,有效提高配电网运行经济性。 展开更多
关键词 柔性有源配电网 SNOP 储能 光伏系统 二阶锥规划
下载PDF
Extended Sequential Truncation Technique for Adaptive Dynamic Programming Based Security-Constrained Unit Commitment with Optimal Power Flow Constraints
3
作者 Danli Long Hua Wei 《Journal of Power and Energy Engineering》 2014年第4期687-693,共7页
Considering the economics and securities for the operation of a power system, this paper presents a new adaptive dynamic programming approach for security-constrained unit commitment (SCUC) problems. In response to t... Considering the economics and securities for the operation of a power system, this paper presents a new adaptive dynamic programming approach for security-constrained unit commitment (SCUC) problems. In response to the “curse of dimension” problem of dynamic programming, the approach solves the Bellman’s equation of SCUC approximately by solving a sequence of simplified single stage optimization problems. An extended sequential truncation technique is proposed to explore the state space of the approach, which is superior to traditional sequential truncation in daily cost for unit commitment. Different test cases from 30 to 300 buses over a 24 h horizon are analyzed. Extensive numerical comparisons show that the proposed approach is capable of obtaining the optimal unit commitment schedules without any network and bus voltage violations, and minimizing the operation cost as well. 展开更多
关键词 Power system Operation and Planning PRIORITY order Adaptive Dynamic programMING Unit COMMITMENT
下载PDF
考虑重构策略的配电网可靠性增值服务双层博弈模型及其求解 被引量:1
4
作者 胡邦安 刘友波 +3 位作者 许立雄 刘俊勇 向明旭 王晓辉 《中国电机工程学报》 EI CSCD 北大核心 2023年第24期9496-9508,共13页
竞争性售电市场快速发展,差异化可靠性服务前景广阔,但仍受信息不对称问题与“搭车”现象制约。为此,针对可靠性服务优先的配电网重构问题,搭建各市场主体间双层博弈模型。首先,基于最小路法定义了具有差异化与精准化特征的可靠性服务... 竞争性售电市场快速发展,差异化可靠性服务前景广阔,但仍受信息不对称问题与“搭车”现象制约。为此,针对可靠性服务优先的配电网重构问题,搭建各市场主体间双层博弈模型。首先,基于最小路法定义了具有差异化与精准化特征的可靠性服务。其次,设计配电网运营商(distribution system operator,DSO)与可靠性服务聚合商(reliability service aggregator,RSA)的合同模式,分析DSO、RSA与用户三方的博弈关系。在上层主从博弈中,DSO为主方,RSA为从方,双方通过博弈实现各自效益,并确定重构策略与下层总费用;在下层合作博弈中,可用Shapley值法实现用户总费用的公平分配。在证明该双层博弈模型纳什均衡存在性前提下,采用分散迭代法可实现稳定求解。算例分析表明,所提方法在适当市场机制下,可精准保障停电时优先用户可靠供电,满足用户差异化的可靠性需求。 展开更多
关键词 配电网运营商 可靠性服务聚合商 可靠性增值服务 配电网重构 混合整数二阶锥规划 双层博弈
下载PDF
考虑源荷不确定性的配电网新能源系统规划策略 被引量:6
5
作者 刘东升 《广东电力》 2023年第1期77-83,共7页
碳达峰、碳中和的提出使发展新能源系统成为我国能源转型的必然需求,然而新能源系统发电和持续增长负荷的不确定性问题会危害电力系统的稳定运行,研究考虑源荷不确定性的配电网新能源系统规划策略具有重要意义。为此首先建立了考虑源荷... 碳达峰、碳中和的提出使发展新能源系统成为我国能源转型的必然需求,然而新能源系统发电和持续增长负荷的不确定性问题会危害电力系统的稳定运行,研究考虑源荷不确定性的配电网新能源系统规划策略具有重要意义。为此首先建立了考虑源荷不确定性的配电网新能源系统鲁棒规划模型,综合考虑配电网的规划成本和运行成本。由于原有模型为一个难以直接求解的混合整数非线性规划问题,提出一种二阶锥松弛的方法将原模型转化为易于求解的混合整数二阶锥规划模型,提高了模型的求解效率。最后,以IEEE 33节点的配电网为算例进行仿真,仿真结果验证了所提策略的有效性。 展开更多
关键词 源荷不确定性 配电网 新能源系统 鲁棒规划 二阶锥松弛
下载PDF
基于SMT的区域控制器同步反应式模型的形式化验证
6
作者 李腾飞 孙军峰 +4 位作者 吕新军 陈祥 刘静 孙海英 何积丰 《软件学报》 EI CSCD 北大核心 2023年第7期3080-3098,共19页
在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶... 在安全关键系统的软件开发过程中,形式化验证是一种经检验的提高软件质量的技术.然而,无论从理论上还是从应用角度来看,软件的验证都必须是完整的,数据流验证应该是对实现层软件模型进行验证的必要体现.因此,环境输入、泛型函数、高阶迭代运算和中间变量对于分析形式化验证的可用性至关重要.为了验证同步反应式模型,工程师很容易验证控制流模型(即安全状态机).现有工作表明,这类工作无法全面地验证安全关键系统的同步反应式模型,尤其是数据流模型,导致这些方法没有达到工业应用的要求,这成为对工业安全软件进行形式化验证的一个挑战.提出了一种自动化验证方法.该方法可以实现对安全状态机和数据流模型的集成进行验证.采用了一种基于程序综合的方法,其中,SCADE模型描述了功能需求、安全性质和环境输入,可以通过对Lustre模型的程序综合,采用基于SMT的模型检查器进行验证.该技术将程序合成作为一种通用原理来提高形式化验证的完整性.在轨道交通的工业级应用(近200万行Lustre代码)上评估了该方法.实验结果表明,该方法在大规模同步反应式模型长期存在的复杂验证问题上是有效的. 展开更多
关键词 形式化验证 安全关键系统 同步反应式模型 高阶迭代 程序转换
下载PDF
半自动化仓库内订单分批优化研究
7
作者 项溪 唐仕青 +2 位作者 徐晓威 宫琳 刘欣 《物流科技》 2023年第14期12-16,24,共6页
随着电商行业的快速兴起,物流企业对电商仓库的运作能力和效率提出了更高的要求。其中,订单分批问题是影响订单处理效率的一大瓶颈。文章基于半自动化仓库的布局和运作模式,以订单的总处理时间最小化为目标,考虑订单结构和规模及拣选能... 随着电商行业的快速兴起,物流企业对电商仓库的运作能力和效率提出了更高的要求。其中,订单分批问题是影响订单处理效率的一大瓶颈。文章基于半自动化仓库的布局和运作模式,以订单的总处理时间最小化为目标,考虑订单结构和规模及拣选能力等约束条件,提出了一个混合整数规划模型(Mixed-Integer Programming,MIP),并使用Gurobi作为MIP求解器对模型进行算例验证。结果表明对于中小规模的批量订单的处理,模型可以在短时间内得到较优解。 展开更多
关键词 拣选系统 半自动化仓库 订单分批 混合整数规划
下载PDF
乔姆斯基的形式语言理论与计算机程序的电路控制
8
作者 陈锐 《西部学刊》 2023年第21期156-160,共5页
一阶谓词逻辑是语言学数学化的标准形式,具有公理递归演绎特性;乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性;计算机语言与乔姆斯基语言学具有完全的逻辑等价性,这使得人工智能处理人类语言成为可能;人... 一阶谓词逻辑是语言学数学化的标准形式,具有公理递归演绎特性;乔姆斯基的形式语言理论和计算机程序语言都具备了一阶谓词逻辑的公理递归特性;计算机语言与乔姆斯基语言学具有完全的逻辑等价性,这使得人工智能处理人类语言成为可能;人类语言最终可以还原为电路中高电压与低电压的有序变化,深刻地证明了物质与意识的辩证统一规律。 展开更多
关键词 一阶谓词逻辑 公理体系 递归 计算机程序语言 乔姆斯基 辩证统一
下载PDF
适用于变电站操作票推理的面向对象知识表示法 被引量:9
9
作者 张健 朱永利 +1 位作者 杨子强 冀新峰 《电力自动化设备》 EI CSCD 北大核心 2002年第1期63-65,81,共4页
为改变现有的面向对象操作票专家系统使用难的状况 ,提出了“一切服务于操作票推理”的思想 ,基于这一思想抽象操作票生成系统问题域的类 ,从而得到一种全新的适用于变电站操作票专家系统的面向对象知识表示法。用此法开发的操作票专家... 为改变现有的面向对象操作票专家系统使用难的状况 ,提出了“一切服务于操作票推理”的思想 ,基于这一思想抽象操作票生成系统问题域的类 ,从而得到一种全新的适用于变电站操作票专家系统的面向对象知识表示法。用此法开发的操作票专家系统具有代码短、易维护、易修改和易扩充的优点 ,系统的通用性得到极大地提高。 展开更多
关键词 变电站 操作票 推理 面向对象 知识表示法 专家系统 电力系统
下载PDF
考虑负荷特性的配电网无功优化 被引量:5
10
作者 郑能 丁晓群 +2 位作者 郑程拓 管志成 蒋煜 《智慧电力》 北大核心 2018年第3期31-37,43,共8页
无功优化在改善电压质量和降低网损方面扮演着十分重要的角色。建立了基于混合整数二阶锥规划的无功优化模型。首先,考虑光伏和负荷的不确定性,利用拉丁超立方抽样生成光伏和负荷的初始样本,再利用同步回代缩减法进行场景缩减以提高运... 无功优化在改善电压质量和降低网损方面扮演着十分重要的角色。建立了基于混合整数二阶锥规划的无功优化模型。首先,考虑光伏和负荷的不确定性,利用拉丁超立方抽样生成光伏和负荷的初始样本,再利用同步回代缩减法进行场景缩减以提高运算效率;其次,运用二阶锥松弛技术,将非凸的潮流方程转变为二阶锥规划模型,再利用大-M法将双线性约束进行线性化处理;最后,将改进的IEEE 33节点配电系统作为测试算例,分析了不同PV接入容量下,负荷模型对配电网无功优化的影响。算例结果验证了该模型的有效性和实用性。 展开更多
关键词 无功优化 二阶锥规划 拉丁超立方 配电系统 负荷模型
下载PDF
图书馆音视频资源点播系统的功能需求及需解决的问题 被引量:2
11
作者 张石欣 《图书馆论坛》 CSSCI 北大核心 2004年第4期114-116,共3页
根据本馆音视频资源点播系统的建设 ,对图书馆建立音视频资源点播系统的功能进行了详尽的阐述 。
关键词 图书馆 音频点播系统 视频点播系统 服务器 电视转播 客户端
下载PDF
含高比例光伏的配电网有功—无功功率多目标协调优化 被引量:32
12
作者 郑能 丁晓群 +2 位作者 郑程拓 管志成 蒋煜 《电力系统自动化》 EI CSCD 北大核心 2018年第6期33-39,91,共8页
高比例光伏并网,给配电网有功—无功功率优化带来了新的问题和挑战。因而提出了基于混合整数二阶锥规划的有功—无功功率多目标协调优化模型。首先,利用二阶锥松弛技术,将混合整数非线性规划问题松弛为混合整数二阶锥规划问题。然后,利... 高比例光伏并网,给配电网有功—无功功率优化带来了新的问题和挑战。因而提出了基于混合整数二阶锥规划的有功—无功功率多目标协调优化模型。首先,利用二阶锥松弛技术,将混合整数非线性规划问题松弛为混合整数二阶锥规划问题。然后,利用ε-约束方法刻画多目标问题的Pareto有效前沿。接着,运用Benders分解方法,将此问题分解为0-1整数线性规划的主问题和仅含连续变量的二阶锥规划的子问题,主—子问题利用Benders割的牵连,交替迭代,直至收敛到最优解。最后,利用改进的IEEE 33节点配电系统进行数值仿真,结果验证了所提模型的有效性。 展开更多
关键词 光伏系统 二阶锥规划 有功—无功功率优化 多目标 Benders分解
下载PDF
机载武器控制系统算法研究 被引量:5
13
作者 聂光戌 魏贤智 冯金富 《火力与指挥控制》 CSCD 北大核心 2003年第2期16-18,共3页
机载武器控制系统的算法是其软件部分的核心,算法的最终目的是保证在一定的条件下实现最有利的武器运用方案。将机载武器控制系统的算法分为四个不同的子算法,对每一子算法的建立方法进行了描述,最后得到形成执行命令的算法,即武器运用... 机载武器控制系统的算法是其软件部分的核心,算法的最终目的是保证在一定的条件下实现最有利的武器运用方案。将机载武器控制系统的算法分为四个不同的子算法,对每一子算法的建立方法进行了描述,最后得到形成执行命令的算法,即武器运用方案执行命令分配及形成的算法。 展开更多
关键词 机载武器 武器控制系统 算法 战斗有效性 武器运用法案 存在性 完好性 准备性
下载PDF
有推力约束航天器交会的模型预测制导策略 被引量:2
14
作者 叶东 张宗增 吴限德 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2017年第5期759-765,共7页
针对具有推力幅值和方向约束的航天器交会问题,本文提出了基于模型预测控制算法的制导策略。在建立推力幅值约束和方向约束数学模型的基础上,将交会相对动力学模型与约束模型预测控制理论相结合,以离散二次型函数为性能指标,建立了航天... 针对具有推力幅值和方向约束的航天器交会问题,本文提出了基于模型预测控制算法的制导策略。在建立推力幅值约束和方向约束数学模型的基础上,将交会相对动力学模型与约束模型预测控制理论相结合,以离散二次型函数为性能指标,建立了航天器交会的模型预测控制算法。本文分析了影响系统稳定性的三大因素:局部镇定器、终端代价函数和终端约束集。仿真结果证实了算法的有效性和可行性:在推力大小和方向有约束的情况下,实现了追踪航天器与目标航天器的快速交会。 展开更多
关键词 航天器交会 制导 推力 约束 离散化 模型预测控制 混杂系统 二阶锥规划
下载PDF
基于二阶锥规划的光储系统功率平滑最优控制策略 被引量:1
15
作者 马静 石建磊 +4 位作者 王桐 李文泉 李峰 王增平 杨奇逊 《电力系统保护与控制》 EI CSCD 北大核心 2013年第6期57-63,共7页
提出一种基于二阶锥规划(Second-order Cone Programming,SOCP)的光储系统(Photovoltaic Energy Storage System,PESS)功率平滑最优控制方法,不仅能够保证PESS功率平滑输出,而且能够实现其内部的有功功率最优分配(经济性),弥补了传统方... 提出一种基于二阶锥规划(Second-order Cone Programming,SOCP)的光储系统(Photovoltaic Energy Storage System,PESS)功率平滑最优控制方法,不仅能够保证PESS功率平滑输出,而且能够实现其内部的有功功率最优分配(经济性),弥补了传统方法二者只能择其一的缺陷。该方法首先构建计及发电成本指标、环境污染指标以及一次能源浪费指标的PESS的2维SOCP模型,然后利用Matlab平台,应用预估-校正算法实现PESS机组间最优功率分配。基于Matlab平台与PSCAD平台的算例验证结果表明,该方法不仅能够很好地抑制光伏输出功率的波动,而且能够给出经济性最优的功率分配策略,且不会陷入局部极小点,计算速度快,准确度高,易于工程实践。 展开更多
关键词 二阶锥规划 功率平滑 光伏系统 最优控制策略 光储系统
下载PDF
考虑气电联合需求响应的气电综合能源配网系统协调优化运行 被引量:35
16
作者 刘天琪 张琪 何川 《中国电机工程学报》 EI CSCD 北大核心 2021年第5期1664-1676,共13页
在未来多能互补、综合能源系统的背景下,传统配电网和配气网独立调度运行的模式已经不能满足多种能源互补的运行要求。为此,该文提出气电综合能源配网系统最优潮流的凸优化方法,即利用二阶锥规划方法对配电网潮流方程约束进行处理,并提... 在未来多能互补、综合能源系统的背景下,传统配电网和配气网独立调度运行的模式已经不能满足多种能源互补的运行要求。为此,该文提出气电综合能源配网系统最优潮流的凸优化方法,即利用二阶锥规划方法对配电网潮流方程约束进行处理,并提出运用增强二阶锥规划与泰勒级数展开相结合的方法对天然气潮流方程约束进行处理,进而将非线性的气电综合能源配网系统优化调度问题转化为混合整数二阶锥规划模型,为气电综合能源配网的气/电协调优化运行和规划设计提供支撑。同时在配网系统中引入气电联合需求响应来提高系统调度的可控性和灵活性,从而更好的消纳新能源,以达到配网系统的优化运行。仿真结果表明,运用增强二阶锥规划与泰勒级数展开相结合的方法能更好提高配气网的二阶锥松弛精度,且考虑气电联合需求响应能够提高综合能源配网系统运行的经济性和新能源的消纳能力。 展开更多
关键词 气电综合能源配网系统 增强二阶锥规划 二阶锥规划 泰勒级数展开 需求响应 新能源
下载PDF
J2EE应用中Business Delegate模式的研究与改进 被引量:4
17
作者 毛力 浦佶 张景莉 《计算机工程与设计》 CSCD 北大核心 2008年第2期344-346,349,共4页
J2EE模式提供了一组基于J2EE平台的对常见问题的解决方案,但是由于模式角色与模式的每一个实例类之间存在着映射关系,所以按照传统的面向对象方式使用J2EE模式,会产生一系列横切问题。通过一个实例,对面向对象实现业务代表模式所引发的... J2EE模式提供了一组基于J2EE平台的对常见问题的解决方案,但是由于模式角色与模式的每一个实例类之间存在着映射关系,所以按照传统的面向对象方式使用J2EE模式,会产生一系列横切问题。通过一个实例,对面向对象实现业务代表模式所引发的问题进行了深入的分析和研究,提出了一种在J2EE应用中基于面向方面编程技术改进Business Delegate模式的实现方案。实践结果表明,使用该改进方案,能提高系统的性能,具体表现在更好的代码局部化、可维护性、可扩展性和可重用性。 展开更多
关键词 J2EE模式 面向方面的编程 业务代表模式 横切关注点 网上订购系统
下载PDF
网上酒店点菜系统 被引量:3
18
作者 沈晓红 《浙江水利水电专科学校学报》 2003年第2期49-52,共4页
网上酒店点菜系统的设计定位于Frontpage网页设计、Html、SQL语言、ASP及Access数据库 .其设计的核心是ASP编译环境 .前台主要完成顾客浏览、查询及点菜功能 ,后台包括顾客登记管理、酒席预定管理及菜类、菜别的营养分析库 .
关键词 酒店 点菜系统 ASP ACCESS数据库 ASP 系统设计 体系结构 数据流图 数据词典 程序 网络
下载PDF
教师深入企业实践心得 被引量:2
19
作者 曹俊生 《物流科技》 2010年第4期117-119,共3页
为了进一步提高教师的实践能力,单纯的理论教学已无法满足现实的要求,如何实现理论与实践结合,缩短职业教育与企业人才需求之间的差距,是我们都在思索的问题。基于这个问题笔者深入企业,通过了解公司的实际状况,对教学工作的启示感受很... 为了进一步提高教师的实践能力,单纯的理论教学已无法满足现实的要求,如何实现理论与实践结合,缩短职业教育与企业人才需求之间的差距,是我们都在思索的问题。基于这个问题笔者深入企业,通过了解公司的实际状况,对教学工作的启示感受很深,颇具心德,希望能为理论教学提供借鉴和帮助。 展开更多
关键词 标准化 管理制度 程序化管理 订单式培养
下载PDF
高职院校“订单式”人才培养模式下课程体系的构建——以房地产经营与估价专业为例 被引量:9
20
作者 刘丽 《河南科技学院学报(社会科学版)》 2011年第2期88-91,共4页
文章针对高职院校"订单式"人才培养模式下课程体系的构建理论研究与实践现状,以房地产经营与估价专业为例,提出了在"订单式"人才培养模式下课程体系的构建方案,以期对高职院校在该领域的探索有所启发。
关键词 高职院校 “订单式” 人才培养模式 课程体系 构建方案
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部