Novel Chiral Ferrocenyl Aziridino Alcohol Catalysts Promoting Asymmetric Addition of Diethylzinc to Aldehydes

Optically active aziridino alcohols containing ferrocenyl groups were prepared from commercially available L-threonine in excellent yields and used as catalysts to promote the asymmetric addition of diethylzinc to aryaldehydes to afford 1-arylpropanol in up to 84% enantiomeric excesses with moderate to good yields.     

薄壁件加工系统动态响应分析

薄壁件在铣削加工中容易产生共振或变形,直接影响加工稳定性及加工精度。采用主轴-刀具-工件整体铣削系统连续梁模型,系统研究在动态铣削力作用下,刀具端部与工件端部的动态响应之间的相互影响关系以及对整体系统动态响应影响较大的薄壁件尺寸。结果表明,工件横截面高度对系统共振的影响较为明显,当高度尺寸较小时,工件的低频共振会通过动态铣削力直接反映到刀具端部的振动频响上。工件横截面底边宽度尺寸的增大虽然对共振频率的改变不太明显,但会导致激发出来的刀具共振幅度出现明显降低。研究成果可以为薄壁件铣削加工系统的稳定性控制提供理论基础。     

人工调控微结构压电驻极体的热稳定性和电荷动态特性

利用表面带有周期性结构的硬质模板,通过冷压工艺将周期结构图案复制到多孔聚四氟乙烯(PTFE)薄膜表面,再经过热黏合工艺与致密氟化乙丙烯共聚物(FEP)薄膜复合,制备出了高度有序的微孔结构复合膜,并用电晕充电的方法对复合膜进行极化处理,最终获得氟聚合物复合膜压电驻极体.借助对这类复合膜压电驻极体介电谐振谱的测量,得到了材料的杨氏模量.并利用等温热老化工艺对它们的压电系数d33的热稳定性进行了考察.最后通过短路热刺激放电谱的测量和分析,讨论了该复合膜在热老化处理后的电荷动态 关键词： 有序结构 压电驻极体 压电性 电荷动态特性     

相变与临界乳光现象

分别采用白炽聚光灯和氦氖激光器照射,观察六氟化硫在临界点附近的临界乳光现象.     

一类自相似集重分形分支的量纲

本文首先定义具有量纲函数的重分形测度,然后证明当Euclid空间中的两个重分形测度具有等价的量纲函数时,它们也等价.进一步,对于直线上满足强分离条件(SSC)的自相似集,在某些加倍条件下,本文给出判断其重分形分支的量纲函数的充要条件.     

环氧树脂中磷系阻燃剂协效体系的研究进展

近年来,出于环保等方面的考虑,一些卤系阻燃剂被逐渐淘汰,磷系阻燃剂作为卤系阻燃剂的替代品备受关注。然而,高效的磷系阻燃剂通常会在提高阻燃性能的同时产生更多的烟雾,因此需要与协效剂搭配使用。本文介绍了磷系阻燃剂在环氧树脂中的阻燃机理,综述了环氧树脂中磷系阻燃剂的协效体系的研究进展,包括无机协效剂、有机协效剂及有机-无机杂化协效剂等,并对环氧树脂体系中磷系阻燃剂的协效体系的未来发展趋势进行了展望。     

基于离轴积分腔输出光谱的燃烧场CO浓度测量研究

CO是碳氢燃料不完全燃烧的重要产物,常常被作为反应燃烧效率的标志物,燃烧场CO组分浓度的精确测量对提高燃烧效率、减少污染物排放具有重要意义。离轴积分腔输出光谱(OA-ICOS)是一种利用物质对激光的特异性吸收,实现对该物质分析和测量的技术,具有非接触、稳定和高灵敏度等优点。针对燃烧场CO浓度低,背景信号干扰强等特点,采用分布反馈式(DFB)激光器搭建基于离轴积分腔输出光谱的CO浓度测量系统,通过直接吸收光谱的测量方法实现对高温燃烧场CO浓度测量。利用仿真模拟的方法,在所用激光器中心波长的附近选出了常温下谱线强度较为突出,高温下不受其他燃烧产物干扰的第一泛频带R(10)吸收谱线。通过固定光程池对比吸光度的方法标定了OA-ICOS系统的有效光程;通过比较不同扫描频率下吸收谱线的信噪比和线型拟合残差标准差,得到最佳波长扫描频率;通过测量不同浓度CO混合气体的吸收信号分析了系统误差。探究了不同燃烧情况下CH₄/Air预混平焰炉上CO的产生情况,根据燃烧场测量区域温度分布情况描述了温度分布不确定度对CO测量结果的影响。当量比为1.0时,在10 ms的测量时间分辨率下,噪声等...     

机器人控制系统关键模块的形式化验证

随着机器人应用在越来越多的领域,人们对其安全性的要求越来越高,作为机器人的核心,控制系统设计的可靠性对整个系统的安全至关重要;针对一种模块化设计的机器人控制系统架构,利用xMAS(eXecutable MicroArchitecture Specification,可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证,首先对Xmas在ACL2中的形式化理论做了阐述,然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型,提取关键属性并进行验证;将xMAS模型和定理证明器ACL2相结合,可以很好地解决机器人控制系统的验证问题,为机器人控制系统的形式化验证提供一个有效的方法参考。