基于中高地应力地区条件下的地下厂房岩壁吊车梁开挖技术

文登抽水蓄能电站地下厂房位于埋深约360m山体内,地下厂房岩壁吊车梁地质条件以Ⅰ-Ⅱ类围岩为主,处于中高地应力地区,本文介绍了爆破参数选择、工艺控制措施、爆破振动测试、开挖效果总结分析等工程实践内容,以保证岩壁吊梁开挖成型率,确保施工安全与质量.     

高强度高韧性球铁曲轴的生产

研究了合金化，二次孕育，热处理工艺及圆角滚压对球铁曲轴性能的影响，经实际生产验证，此工艺可使抗拉强度超过800MPa，伸长率超过5％。     

基于Petri网的OLED生产线建模与仿真

介绍了OLED(Organic Light Emitting Diodes)的制造过程及制造系统的PN模型。讨论了Petri网的分析技术。针对OLED制造生产线的复杂性,描述了具体的加工过程。采用结构化方法,综合应用自上而下与自下而上相结合的方法,建立了基于赋时变迁Petri网的OLED制造生产线模型,反映了整个生产线的加工动态特性。利用仿真工具Hpsim,对模型进行了仿真分析,并对其结果进行了定性分析,同时验证了模型的合理性和有效性。     

电渗析中的膜污染及其控制方法研究进展

电渗析作为一种膜分离技术,因其不消耗药品、无废液产生已被广泛用于盐溶液脱盐及环境和生物技术工业领域,但膜污染始终是限制电渗析技术应用的主要因素.从引起电渗析过程中膜污染的物质、膜及料液性质、操作条件等方面分析了膜污染的成因和污染后果,并对电渗析过程中膜污染的分析方法及防治措施进行了较为详细的综述.     

聚四氟乙烯缠绕吹胀成型制品与橡胶复合的技术

介绍利用聚四氟乙烯车削薄带缠绕吹胀成型方法,加工直径 14 7mm,长 180mm,波峰半径 30mm的波纹管与橡胶复合制品的制作过程。     

基于ANSYS的土石坝地基沉降数值模拟

近年来,大型水枢纽工程的地段沉降数值模拟应用越来越广泛,其使用价值和理论意义在这些领域变得尤其突出。鉴于不同土坝段坝线长度、岩性、工程基质不同,坝体及地基易发生破坏,针对石坝段地基沉降问题,借助ANSYS软件进行有限元法三维建模计算。工程模拟结果显示:沉降量过大时,易发生危险且不满足设计使用要求,采用挤密砂桩地基处理方法加固地基较为有效。本文结果可为土石坝段地基加固提供参考。     

苦参生物碱杀虫生物活性测定

以桃蚜等9种试虫为供试靶标，研究了苦参根提取物和苦参碱、氧化苦参碱、槐果碱、野靛碱的杀虫活性。试验结果表明：苦参生物碱具有一定的杀虫活性，9种试虫中，苦参根提取物对蚜虫的活性最高，其对蚕豆蚜的LC50为20．635mg／L；即使在最高剂量为4000mg/L时，也不能直接杀死粘虫、小菜蛾和棉铃虫。4种生物碱对朱砂叶螨活性均较低，LC50均大于2500mg／L。野靛碱是4种生物碱中杀虫活性最高的，对淡色库蚊、桃蚜、蚕豆蚜、褐飞虱和家蝇的LC50分别为172．431mg/L、207．667mg／L、85．212mg／L、266．179mg／L和763．224mg／L；而且对褐飞虱、桃蚜和家蝇的活性高于苦参根提取物，苦参碱对蚜虫的活性高于氧化苦参碱和槐果碱，槐果碱对淡色库蚊、褐飞虱和家蝇的活性高于苦参碱和氧化苦参碱。     

聚硅氧烷改性环氧树脂的研究进展

综述了制备聚有机硅氧烷改性环氧树脂的4种途径：含羟基或烷氧基的聚硅氧烷与环氧树脂的反应、含氨基的聚硅氧烷与环氧树脂的反应、含硅氢基的聚硅氧烷与环氧树脂的反应、含杂原子的聚硅氧烷与环氧树脂的反应,并讨论了聚有机硅氧烷改性环氧树脂对环氧树脂的相结构、机械性能和热稳定性的影响.     

甲基丙烯酸甲酯中阻聚剂2,4-二甲基-6-叔丁基苯酚的测定

提出用气相色谱外标法测定甲基丙烯酸甲酯中阻聚剂 2 ,4 -二甲基 - 6 -叔丁基苯酚的质量分数。在选定的色谱条件下 ,仪器均有良好的稳定性 ,且所测组分定量结果的重复性好。此方法较内标法简单、快捷。     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。