服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

双笼翻板施工升降机进楼层存在问题案例分析

施工升降机的布置是一项技术性较强的工作,吊笼进入楼层的方式有是否使用脚手架平台之异。以某住宅项目为例,分析了双笼翻板施工升降机构造与外脚手架类型、建筑物平面与立面造型、施工进度动态管理等方面遇到的问题,提出了缩短附着架长度、调整外脚手架杆件、变更施工方式等解决方案,为今后类似条件下的施工提供借鉴参考。     

基于有向无环图支持向量机的水轮发电机组故障诊断模型

提高水轮机组的状态监测与故障诊断系统的准确性和及时性,对电力系统的安全运行具有重大意义。针对神经网络收敛速度慢、容易陷入局部最优解等不足,提出了一种基于有向无环图支持向量机方法的水轮发电机组故障诊断方法。该方法能有效解决小样本、高维数、非线性等问题,从而能在较短的时间内准确地诊断故障。     

助剂改性聚丙烯耐候性研究进展

近年来,聚丙烯老化改性的研究引起了广泛的关注,其中包括有机助剂改性和无机助剂改性。综述了聚丙烯老化改性的几种常用方法、国内外发展情况以及老化改性的机理等内容。     

无机阻锈剂的组分设计

选用NaNO2,Ca(NO2)2,以及可以消除亚硝酸盐对混凝土性能负面影响的Z盐设计阻锈剂的组分,并将其与减水剂、缓凝剂、引气剂进行复合,得到阻锈性能较佳,施工性能良好的阻锈剂,并且对混凝土的碳化、氯离子渗透等耐久性能有一定的提高。     

基于CORBA架构和LabVIEW的分布式电能质量在线监测系统

提出了一种基于CORBA架构和LabVIEW的分布式电能质量在线监测系统实现的框架结构来实现对电能质量的指标测量和监控。监测系统由数字测量仪器组成实现数据采集、分析处理、诊断和报警等功能。数字测量仪器采用虚拟仪器技术即LabVIEW软件开发实现硬件测量功能,在网络通信中采用CORBA架构技术实现异构环境下中心控制站与各个监测仪间的远程访问和控制。系统的仿真研究和现场测试均表明该系统能够基本实现电能质量各项指标的监测和分析功能。     

基于卷积神经网络的直线同步电动机电枢绕组故障诊断

通过绕组函数理论对直线同步电动机进行分析,提出一种基于卷积神经网络(CNN)的直线同步电动机故障诊断方法。从直线同步电动机的数学模型出发,基于绕组函数理论对电动机正常状态和匝间短路故障状态进行仿真,对电流波形图进行快速傅里叶变换(FFT)得到不同状态的数据集。利用CNN中的GoogLeNet网络结构,在保持网络空间维度的同时不增加故障诊断的计算量。将数据集输入到网络模型进行故障诊断,仿真结果表明GoogLeNet网络结构对直线同步电动机电枢绕组的短路故障识别率达到了96.5%以上。     

一种温度不敏感的高线性功率放大器

设计了一种温度不灵敏的高线性度的射频功率放大器芯片,采用新颖的带温度反馈环路的有源片上自适应偏置电路,该电路降低了温度引起的放大器集电极直流电流分量的变化量,补偿了由温度变化而引起的性能偏差,进而有效提高了放大器的线性度。基于这个温度不灵敏的偏置结构采用InGaP/GaAs HBT工艺设计了一个工作在2110~2170 MHz频段的功率放大器。测试结果表明,该功放在工作频段内的增益大于等于35.3 dB;在中心频率2140 MHz处,1 dB功率压缩点大于33 dBm,功率附加效率在输出功率24.5 dBm时为18%;使用LTE_FDD调制信号,获得邻信道功率比为-47 dBc。在环境温度为-40℃、+25℃和+80℃条件下,功放的增益平坦度较好,增益变化量小于1.5 dB,输出级集电极电流基本不变,有效降低了功放对温度的敏感性。     

基于频率分集阵列的多功能一体化波形设计与信号处理方法

频率分集阵(FDA)是在相控阵基础上的一次体制革新,其通过在发射天线阵元间进行频率步进,得到的发射方向图是角度、距离、时间的多维函数,显著提升了波束控制能力与信号处理维度,经过收发联合处理后,可应用于多维参数联合估计、主瓣欺骗式干扰抑制、模糊杂波抑制、高分宽幅成像等方面。该文从系统层面出发,研究基于FDA的多功能一体化波形设计与信号处理方法,重点对其在检测与估计一体化、解模糊与抗干扰一体化、合成孔径雷达(SAR)成像与动目标检测一体化的信号处理新方法进行综述、评述及研究,并对FDA多功能一体化系统的应用前景进行展望。