一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化,从而可实现确认控制自动化     

模块化工程大肠杆菌从头合成丁香酚

丁香酚是一种绿色生物农药,主要用于防治番茄灰霉病、葡萄霜霉病和马铃薯晚疫病等主要的农业病害.目前丁香酚是从丁香和罗勒等植物中提取制备,其规模和产能受到限制,还存在废渣排放影响生态环境的问题.本研究采用合成生物学和模块化工程策略,设计构建工程大肠杆菌,以期微生物从头合成丁香酚.将丁香酚异源合成途径分成3个模块,分别是上游...     

SBS-g-MMA悬浮接枝共聚物的合成研究

以过氧化二苯甲酰(BPO)为引发剂,水为分散相,用即可作溶剂又可作共聚单体的甲基丙烯酸甲酯(MMA)与SBS在开放体系下进行悬浮接枝共聚反应．并用红外光谱对接技物进行了表征,同时通、过正交实验探讨了最佳合成工-g：MMA／SBS为11．6：1(质量比),BPO用量为SBS的0．5％,在温度为75℃条件下反应4．0h,可得到接枝率为86．3％的SBS-g-MMA接枝共聚物．     

掺加铁矿尾砂的沥青混合料的路用性能

铁矿尾砂利用于沥青路面工程既环保又经济。通过高温车辙试验、蠕变试验和低温弯曲试验评价了掺铁矿尾砂的沥青混合料的路用性能。结果表明,掺铁矿尾砂能够明显提高沥青混合料的高温和低温性能,对混合料水稳定性影响较小。铁矿尾砂可以在沥青路面工程中大规模推广应用。     

序列分数阶系统的渐近稳定性

根据Lyapunov稳定性理论,研究了由序列分数阶线性定常微分方程描述的控制系统的渐近稳定性,给出了分数阶系统稳定性定义,并利用两参数的Mittag-Leffler函数相关定理直接推导出稳定性结论．仿真实例和结果证实了相应的稳定性结论．     

变速恒频双馈风力发电系统的仿真分析

介绍了交流励磁变速恒频双馈风力发电机组的工作原理,从双馈发电机的数学模型出发,采用矢量控制技术,在Matlab/Simulink环境下建立了系统模型,进行了发电机有功无功独立调节的仿真研究.研究结果表明变速恒频双馈风力发电机组具有良好的动态特性,并为风力发电系统的进一步应用研究提供了可靠的理论依据.     

留置导尿管引起尿路感染的护理

<正>导尿及留置导尿管是临床上最基本的诊疗技 术,但临床上常因操作和导尿器具的原因,合并症较 多,其中最严重的是尿路感染。尿路感染的发生与 使用导管的方法、持续时间的长短有关。下面从导 尿管的选择、导尿的方法、气囊导尿管的使用、尿路 感染的途径及预防措施、护理和拔管困难时的解决 方法等方面进行综述。     

基于随机矩阵理论的局部放电脉冲快速检测方法

局部放电(partial discharge, PD)的检测是开展电力设备状态评估的重要手段之一。由于现场背景噪声及干扰信号影响,采集到的局部放电信号往往淹没在噪声中。噪声抑制算法是提高局部放电脉冲检测的有效方法,但这些噪声抑制算法往往需要针对所有采集的数据展开,当数据量特别大的时候将严重影响其实时性。因此,提出了一种基于随机矩阵谱分布理论的局部放电脉冲快速检测新方法。利用特高频传感器接收到的PD时间序列构造高维随机矩阵,再根据随机矩阵理论下时间序列模型的经验谱分布理论,提出了基于滑动时间窗的局部放电脉冲快速检测方法。仿真及实验室测试结果表明,所提方法能快速地识别出时间窗数据中的PD脉冲。     

某型40 kW发电机组冷却系统分析及阻力部件选型设计

为解决某40 kW发电机组冷却系统水温偏高的问题,通过采用计算流体力学方法开展了该发电机组整机流场分析及阻力部件选型设计。结果表明：测量点风速和温度仿真与实测值基本吻合,验证了机组流场计算结果的可靠性;依据部件阻力分析和机组布局确定了阻力部件结构及风阻大小,阻力部件风阻总和为530 Pa。阻力部件选型设计后整机流场校核及实验验证结果显示散热器风量为7.34 kg/s,水温约为93 ℃,低于水温报警温度95 ℃。可见经冷却系统分析及阻力部件选型设计后整机散热改善明显,满足冷却需求。     

“4.20”芦山地震前后宝兴冷木沟泥石流物源特征

研究区受"5.12"汶川地震、"8.18"泥石流、"4.20"芦山地震等大型地质灾害叠加作用的影响,区域上构成独特的工程地质环境条件.通过系统调研和收集宝兴冷木沟地震前后泥石流物源地质原型和泥石流灾害防治的第一手资料,重点查清泥石流形成的物源条件,对比研究"4.20"芦山地震前后泥石流物源特征、动/静储量比例.分析研究结果表明冷木沟发育点状物源、线状物源、面状物源,其中震前震后均以沟床侵蚀物源(线状物源)为主,占76.110%和60.690%."4.20"芦山地震后,沟岸堆积物源(点状物源)却成倍增多,为48的倍率,超31.490个百分点.整体上,除沟岸侧蚀物源(面状物源)外,同一流域段内,震后物源动储量高于震前.静动储量线性关系较为明显,相关系数R2达0.8~1.0,均属高度正相关.