基于多主体主从博弈的区域综合能源系统低碳经济优化调度

为解决环境污染以及区域综合能源系统中多市场主体利益冲突的问题,提出一种考虑奖惩阶梯型碳交易机制和双重激励综合需求响应策略的区域综合能源系统多主体博弈协同优化方法。首先,为充分考虑系统的低碳性,在博弈模型中引入奖惩阶梯型碳交易机制限制各主体碳排放量,并在用户侧提出了基于价格和碳补偿双重激励的综合需求响应策略。其次,考虑源-荷-储三方主动性和决策能力,以能源管理商为领导者,供能运营商、储能运营商和用户为跟随者,建立了基于碳交易和博弈协同优化的多主体低碳交互机制,并构建了各主体的交易决策模型。最后,采用结合Gurobi工具箱的自适应差分进化算法对所提模型进行求解。仿真结果验证了所提模型和方法的有效性,即各主体在低碳框架下可以合理调整自身策略,并兼顾系统经济、环境效益。     

基于仲裁机制的扭矩控制算法

设计了一种应用于电控柴油发动机的扭矩控制算法,该算法首先针对当前电控技术工况日趋复杂的情况,设计了一种仲裁表决机制以整合各类工况的扭矩需求;另一方面,针对传统PID控制策略在电控柴油发动机正常运转情况下的诸多不足,设计了一种基于前馈补偿的动态PID控制策略;该算法在发动机台架上进行了实验验证:首先在转速瞬间提升至设定转速时,算法可以在3s内快速响应转速变化并收敛;其次在全转速状态下,该算法的扭矩变化曲线与传统算法的相比,两者相差小于3%;两组实验结果说明该算法基本满足发动机正常工作需要。     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

分数阶微积分定义的一致性在HOL4中的验证

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Caputo定义的分数阶微积分形式化模型;然后验证了该定义与Grunwald-Letni-kov定义、Riemann-Liouville定义之间的关系,实现了这3种常用定义在HOL4中的转换,在一定程度上使这3种定义达到了统一,完善了高阶逻辑定理库。     

基于拟插值理论的三维体数据场高精度重建算法

三维体数据场重建是体数据建模与分析的一个非常基础和重要的步骤,重建算法的精度直接决定了数据重采样和后续分析的准确性.文中发展了基于拟插值方法的三维体数据场重建理论,首次提出一种充分利用体数据自身信息与核函数优化相结合的预处理算法.在合理假设的前提下得到重建误差的表述式;然后充分利用三维体数据自身的信息全局优化该误差,使得重建误差在L2意义下达到最小.最后通过丰富的重建实例,显示了文中算法能有效地提高重建精度,并能够更好地保持三维体数据的高频信息.     

智能小区电能远程抄表系统的设计

依托Internet网和无线移动通线网的普及,提出了基于嵌入式TCP/IP协议芯片S7600A的电能远程抄表系统设计方案,较好地解决资源有限的电能计量系统与Internet连接问题,实现了小区用户电能的集中式抄表功能,同时保证了信息传输的实时性和可靠性.     

视觉实验与观念突围

“视觉实验”是我进入杂志社以来．所做的时间跨度最长的栏目了,其间赋予了我很多的精力和感情．也因为这个栏目有幸结识了一批优秀的年轻摄影师．甚至见证了某些摄影师的艺术成长。他们中间既有像做作．齐鸿这样坚持用传统胶片作为创作手段的摄影师．也有像陆军、于雷这样充分运用数码技术所作的影像实验．更有像马忘、少苦这些成功进入影像拍卖市场的艺术家。 在今年年末的时候．“视觉实验”栏目要告一段落．向读者说声“再会”了．在这最后一期．《数码摄影》请到著名旅美影像评论家、策展人王瑞老师．给这个栏目作一个总结。     

一种快速、鲁棒的唇动检测与定位方法

提出了一种利用唇色在彩色空间分布信息和唇在人脸区域的几何分布特性进行快速、鲁棒的唇动检测与定位的方法。在该方法中,首先提出采用有约束的Fisher变换进行嘴唇图像增强;然后利用嘴唇在人脸区域的几何分布特性,来提高唇动定位的速度和准确性,唇动定位主要利用两种几何分布特性：（1）利用唇的区域面积和人脸的区域面积比值变化范围不大这一特性自适应确定区分唇色和肤色的值。（2）利用外唇参数与内唇参数之间有近似线性关系的假设,用外唇参数预测内唇参数,克服内唇定位经常陷于局部最小、定位不准的缺陷。实验证明,该唇动检测与定位系统无论从速度还是从可靠性、准确性都能满足应用的要求。     

输电线路风偏故障分析及应对措施

通过对输电线路运行情况进行全面的调研分析,风偏故障是造成输电线路跳闸的一个主要因素。结合一些输电线路跳闸统计情况,从风偏机理、天气、地理环境、线路本体设计等方面综合分析了风偏故障的成因,进一步分析了风偏防治措施。在全面借鉴行业先进经验的基础上,依据风偏防治的原则和规范,给出了相应的风偏故障防范措施;并结合相关的电网事故案例,对输电线路风偏防治的现行状况提出了进一步的整改措施,从设计、施工、运维方面提出风偏反措建议。     

消防恒压泵的水力特性与设计选型要点

消防恒压泵又称部分流泵或切线泵,因其流量扬程特性曲线平坦、结构简单、通用化程度高、维修方便等优点,在消防给水中得到大量应用.但是,消防切线泵的结构与常用的消防离心泵不同,其水力特性存在较大的差异,切线泵具有断流特性、不具备并联工作条件、水泵效率相对较低、启泵工作点有一定要求等,设计时一定要针对其水力特性采取相应的技术措施.同时,根据消防给水系统具体情况比较切线泵与离心泵性能的优缺点,扬长避短合理选择泵型,使消防给水系统更加完善,满足工程使用要求.