基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。     

海上油田原油静电聚结高效脱水技术研究

对一种新型的高效原油经典聚结脱水技术进行研究和分析,该技术通过电场作用来促进油和水的分离,有着非常好的原油脱水效率.工程实践表明,该原油静电聚结高效脱水技术可以减小设备的尺寸和重量,且具有非常好的适应力;试验结果表明该技术的分离精度很高,可以处理含水率95％以上的原油,是稠油脱水处理有效的技术手段.     

新型核酸荧光探针的合成及光谱性质

设计合成了新型荧光探针1,3-二羧戊基-7,8-二甲基苯并蝶啶,结构经过IR,1HNMR予以证实,并研究了它的紫外光谱和荧光光谱性质以及LC与小牛胸腺ctDNA的作用模式。     

酵母菌净化并资源化淀粉工业废弃物的研究与探讨

利用白地霉等酵母菌净化并资源化玉米淀粉工业废水,净化后废水COD值平均为281．4mg／mL,达到了国家污水排放标准;COD去除率为91．0％;pH值平均为7．0;每升废水还生产出干燥的SCP1．646g．同时对玉米淀粉废渣的综合利用进行了探讨。     

地铁站深基坑桩撑支护开挖变形

以济南地铁邢村站基坑开挖支护为工程依托,通过理论分析、数值模拟和监控测量相结合的方法,首先在理论方面阐明基坑变形的理论依据,然后利用有限元软件ABAQUS对邢村站基坑开挖的全过程进行了模拟,并结合现场的监测结果,对基坑开挖过程中围护结构的水平与竖向位移和基坑周边的地表沉降以及支撑结构的轴力变化进行了分析。研究结果表明：随着基坑的开挖,基坑顶部呈现出逐渐向坑内运动的趋势,并且随着开挖过程中支撑结构的施加,围护结构整体呈现出向坑内变形的“弓”形分布,在支撑施加的部位,变形明显减小;由于基坑开挖土体的卸荷,围护结构出现隆起变形;地表沉降曲线呈现“U”形分布,并且随着基坑开挖深度的逐渐增加,地表沉降最大值逐渐增大,基坑开挖的影响范围基本在0～20 m内;各道支撑的轴力呈现出逐渐增加的趋势,下部的支撑发挥作用的效应更明显,并且下部支撑轴力大于上部支撑的轴力。     

高温下正十二烷喷雾及燃烧数值模拟研究

耦合RANS湍流模型、KH-RT破碎模型及SAGE燃烧模型,运用CFD数值模拟平台,对正十二烷在高温定容状态下的喷雾及燃烧现象进行研究。首先进行喷雾模型的标定与验证,确定了适合模拟的最小网格尺寸,然后分析若干边界条件对于正十二烷喷雾着火的影响规律。结果表明,环境压力对正十二烷喷雾尖端平均推进速率的影响程度不大;随着环境温度的升高,正十二烷喷雾的气相贯穿距不断增大,液相贯穿距呈现下降趋势,但变化并不明显;随着环境温度、环境氧浓度的升高,正十二烷喷雾滞燃期在不断地缩短,着火位置越来越靠近喷嘴。     

500W风力机叶片建模与仿真技研究

基于微气象环境,运用风力机设计的基本理论与方法,确定了风力机叶片尖速比、叶片数、风轮直径、弦长、安装角等关键参数,结合三维空间的图形变换技术,确立了叶片空间坐标,借助SolidWorks软件建立了叶片的3D模型;运用有限元软件workbenck完成叶片在额定转速时受力分析及动态特性仿真;为小型风力机的设计、研发及工程应用奠定了理论基础.     

农村电网35kV变电站的安全管理探索

农村电网在得到改造之后大量投入运行了35k V变电站,而关于变电站的安全管理目前仍在进行相关的探索,为了有效预防变电事故的发生,确保农村电网运行的安全可靠是目前的重点目标。针对目前35k V变电站运行的影响因素,本文将从基础管理工作、日常维护工作以及维护人员这三个方面进行分析研究。