市场环境下计及可靠性约束的备用优化模型

从分析备用与可靠性之间的关系入手,构建了计及可靠性约束的备用优化模型.该模型以系统总购电费用最小为目标,而系统备用的总量通过一组体现备用互补性的约束方程加以描述,以保证备用优化结果满足发电系统的N-1安全准则.结合算例进行仿真分析,验证了模型的合理性与有效性.     

实时并发系统的PTSL模型检测

随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采用自动化的验证算法判断系统是否具有某一性质,它不仅包括对系统模型的遍历以及基于图形的分析方法,而且还需要大量的数值计算。本文把实时并发模型看成对并发博弈模型（CGS）的扩展,在此基础上添加了概率与时间性质,提出了概率时间并发博弈结构（PTCGS）。同时本文还提出了新的逻辑语言-概率时间策略逻辑（PTSL）,它显式地把策略作为一阶逻辑中的对象,从而使我们能够以简单而自然的方式指定PTCGS系统中的非零和属性。PTSL模型检测方法能够让设计者准确知道模型是否满足用户的需求,从而提高系统的可靠性。最后,本文以ZeroConf协议为例来说明PTSL模型检测方法的正确性。     

加强品牌建设 做强中国农业——专访农业部市场与经济信息司司长唐珂

正2017年被农业部确立为农业品牌推进年,农业部出台了2017年农业品牌推进年工作的通知,加快品牌创建。在这一年里,我国农业品牌建设各项工作有序开展,成为深入推进农业供给侧结构性改革、提高农业综合效益和竞争力、促进农业增效和农民增收的有效途径。农业品牌推进年举办了哪些活动?成效如何?在农业品牌建设中还存在哪些问题?新的一年,我国农     

雨污分流制泵站旱天放江后上游调水对受纳河道水质的影响

旱天放江是造成上海市城区河道污染的主要原因之一。以虬江为研究对象,探究分流制泵站旱天放江后,调水对受纳河道水质的影响。选取放江当天至调水第7 d,分析对比受纳水体上游至下游,各采样断面水体中COD、TP、氨氮以及沉积物中TOC含量的差异。结果表明,放江后和调水连续7 d后,各断面水体中水质检测指标以及沉积物中TOC含量均高于放江前。放江开始至调水第7 d,虬江水体中COD、TP、氨氮含量均呈现先递减后趋向于平稳的趋势,沉积物中TOC含量呈现递增的趋势。受调水作用的影响,上游水体中COD、TP、氨氮以及沉积物中TOC含量均低于下游。     

新型荧光增白剂的制备与性能研究

采用无溶剂法合成了一种新的含有咔唑基团的α,β-不饱和酮,通过肼类和不饱和酮在碱性条件下反应合成吡唑啉系列化合物,这类化合物在吡唑啉的1-位连有芳香基团,3-位连有N-乙基咔唑,5-位连有呋喃基团,并且通过红外光谱、质谱及元素分析进行结构表征,化合物的荧光测定显示此类化合物具有较好的荧光性,荧光性的强弱与取代基有关。     

数字超声轮轴探伤仪软件系统的设计与实现

车轴检测是保证铁路安全的重要手段之一.ZTY-1型数字式轮轴超声波探伤仪的研制满足了铁道部对轮轴检测的最新要求.它的软件系统研发是基于VC++的MFC利用对话框构建而成,通过消息传递信息.探伤仪共有五大功能模块,分别是探伤、日常性能校验、季度性能校验、探头测试和数据管理.在研制过程中,利用双缓冲技术解决了界面的波形闪烁问题,用多线程实现双人探伤以及通过构造虚拟文档视图结构实现了MFC中的报表打印功能.该系统通过铁道部技术评审,已在哈尔滨铁路局系统推广应用,提高了探伤检测效率,得到良好效果.     

模冷淬火快凝镁合金的性能

全面介绍了模冷淬火快凝镁合金全球的研发进展.模冷淬火是制造新型镁合金的一种新工艺,生产的镁合金具有一系列的优点,是一类新型的航空航天材料,特别是对航天零部件的减重效果显著.世界上研发与生产这类镁合金的主要公司是美国的阿莱德西格纳尔公司、洛克希德导弹及空间集团、法国的普基/诺斯克海德鲁公司,中国尚处于起步阶段,但发展很快...     

简析铝合金加钛的经济效益

钛是铝及铝合金铸造时常用的晶粒细化剂,也是对晶粒细化最有效的元素之一,对某些铝合金还是一个微量合金化元素。钛剂与铝一钛一硼中间合金是常用的添加钛的载体,在钛价不甚贵的过去,多用钛剂,但在钛价高昂的今天,用Al—Ti—B中间合金不但经济效益更好一些,而且产品品质也更有保证。     

基于51的推拉窗自动控制系统

主要介绍一种以51单片机为控制核心的推拉窗自动控制系统,给出了自动控制的结构图,描述实现窗子自动控制的具体方法.该系统实现了窗子的智能化控制和防盗控制.     

储能型模块化多电平换流器的分析与控制方法

电池储能是目前最有前景的储能技术之一,模块化多电平换流器(MMC)广泛应用于柔性直流输电领域。将电池储能与MMC相结合,构成储能型MMC。由于其具有电池系统、交流电网与直流电网间功率交换的功能,导致与传统MMC的控制方法不同。分析了储能型MMC的结构与工作原理,研究了多种运行工况下换流器功率解耦控制方法,搭建了仿真与实验样机,验证了所提控制方法的正确性和有效性。