结合关系建模与项重写技术的时序电路等价验证

提出一个新颖的时序电路等价验证的方法框架.该方法有效地结合了关系建模和项重写技术.首先利用带有测试条件的Kleene关系代数建模时序设计,进而通过对关系表达式的项重写来证明时序设计的等价性.与传统的基于状态空间遍历的时序等价验证方法相比,该方法提供了一种全新的思路.     

DM891复合变性淀粉用于普梳纯棉高密织物经纱上浆

我公司是一家拥有65000纱锭、2000头气流纺、2000台织机、40年生产历史的棉纺织企业。1998年底,我们着手普梳纯棉14.5/14.5 523.5/283 1702/1纱斜的开发生产。在试验阶段,采用曾在纯棉14.5/14.5523.5/283府绸经纱上浆中运用较为成功的浆料配方及上浆工艺,在贝宁格泽尔浆纱机(双浆槽)上浆纱,效果极不理想,布机经纱开口不清晰,后梭口易起棉球,经纱断头较多,生产效率、产品合格率较低。经过对比分析,认为是浆纱的毛羽被     

基于新型微腔体微波反应器的微波辅助衍生-气相色谱质谱法快速测定水果中的有机酸

设计制作了一种新型微腔体微波衍生反应器,采用红外成像技术研究了反应器中样品的温度分布和升温特征。结果表明,设计的微波衍生反应器具有优于传统谐振腔微波反应器的体积小巧、操作简单、样品升温匀速平稳、温度分布均匀、易于控制等特点。据此建立了微波辅助衍生-气相色谱质谱法(microwave-assisted derivatization-gas chromatography mass spectrometry, MAD-GC-MS)快速测定有机酸的方法,采用GC-MS鉴定出琥珀酸和柠檬酸衍生产物分别为琥珀酸二甲酯和柠檬酸三甲酯,获得最佳衍生条件：衍生剂硫酸体积分数20%,用量1.0 mL、微波功率30 W、微波衍生时间4 min。相对于传统衍生方法,衍生时间从120 min大幅度缩短至4 min,且衍生效率明显提高。该方法对琥珀酸和柠檬酸的检出限分别为0.019 mg/mL和0.026 mg/mL,使用该方法测定了柠檬、猕猴桃和番木瓜中琥珀酸和柠檬酸含量,回收率为98.34%～102.52%,标准偏差为1.63%～3.25%。该研究所设计的微腔体微波反应器适于色谱分析前对有机酸等成分进行精确、...     

基于新型直流风电机组的串联型全直流发电系统设计研究

通过直流风电机组(DC wind turbine, DCWT)建设直流风电场实现风能的直流汇集与直流传输是海上风电系统的主要发展方向之一。为了使DCWT具备高压绝缘隔离、能量双向流动以及直流短路故障自清除能力,提出了一种适用于串联型全直流发电系统的新型DCWT拓扑。该DCWT拓扑采用了H桥结构的DC/DC变换器代替传统的隔离型DC/DC变换器,将DCWT直接串联并加以调制实现低压直流到高压直流的变换。基于PSCAD/EMTDC搭建了基于新型DCWT的串联型全直流发电系统仿真模型。经风电系统的DCWT在输出功率均衡、输出功率不均衡、高压直流母线电压波动等稳态运行工况以及故障DCWT动态切入切出等故障运行工况下的仿真,验证了该DCWT的输出特性、系统的运行特性以及系统对故障DCWT的处理能力,提高了直流风电场的运行可靠性与灵活性,为直流风电场的建设提供了一种切实可行的解决方案。     

移相全桥变换器中 RC 缓冲电路对系统影响机理与优化研究

移相全桥ZVS变换器副边整流二极管电压应力较高,需要设计缓冲电路来保证系统性能。然而,加入RC缓冲电路的变换器在某种工作模式下近似为LCL三阶谐振系统,导致接近开关频率的谐振甚至在整流二极管两侧产生更高的电压应力。通过建立移相全桥ZVS变换器在能量传输模式期间的等效电路模型,揭示RC缓冲电路对系统稳定性产生影响机理及电路参数对振荡的影响规律,通过分析选取合理的RC缓冲电路参数,不仅有效降低整流二极管电压应力,同时抑制由缓冲电路带来的振荡问题,进而提高系统的效率。设计了一个3．2kW(10A,320V)的实验样机,验证了理论分析的正确性。     

大孔径坚硬石质深挖孔桩高效施工技术研究

以郑卢高速公路大铁沟特大桥施工为例,针对该桥挖孔桩基础2.2 m孔径、地处风化石质围岩地形的工程特点,详细论述了岩石地质条件下挖孔桩爆破施工的具体工艺流程及其施工技术要点,以保证基岩的完整性和稳定性。     

夹片式锚具锚垫板荷载传递试验介绍——预应力锚固区安全探讨之七

意大利米兰市\"材料检验试验室\"作为官方机构,完成了一项夹片式锚具铸造型锚垫板的荷载传递试验,以确认此项锚垫板用于混凝土结构的负荷能力及安全性。它依据的标准是欧洲标准ETAG 013《预应力结构后张成套组件》和它的\"理解文件\"(2007年12月发布)。欧洲28个成员国都执行这项标准,域外工程单位也多有采用。我国即将实施的新版锚具国家标准(GB/T 14370)与欧洲标准基本一致。这份试验报告对我国当前情况很有参考价值。在我国预应力行业中,多数从业人员对\"荷载传递试验\"还比较陌生,不久将会遇到这种试验的工作要求。本文按试验报告原件的章节对试验过程进行了综合梳理和说明,并补充了欧洲标准的相关要点,希望减少读者疑问。     

玛连尼MP系列铣刨机

玛连尼MP系列铣刨机可前后履带转向并能自动回中,带同步控制。前后履带可独立转向、蟹行转向,先进的转向方式减小了转向半径,使玛连尼MP系列铣刨机在狭小的空间工作成为现实。履带支腿的设计制造形式使在铣刨鼓下面仍有超过     

水环境微塑料对重金属吸附行为的研究进展

为了探究水环境中微塑料对重金属的吸附行为,综合分析了近年来国内外的相关研究进展,从水环境中微塑料的分布、微塑料对重金属的吸附行为、联合作用对水生生物的毒性效应、影响吸附行为的主要因素等方面进行了归纳总结,并建议今后的研究应更加关注环境因子-微塑料表面特征-微塑料与重金属吸附行为之间的响应关系,微塑料-重金属复合污染物在水生食物网中的传递过程等,旨在为自然水环境特征下微塑料与重金属复合污染物的环境行为和生物效应研究提供理论依据。