摘要：为了保证新型强迫换流型真空直流限流断路器关断短路电流的可靠性，对该型断路器分断过程的真空介质恢复特性进行研究。设计了与断路器关断过程等效的介质恢复试验方案，通过等效试验结果和理论推演公式的拟合，得到了新型强迫换流型限流断路器真空灭弧室触头打开过程的动态介质强度恢复规律。研究结果表明：减小燃弧能量、提高触头运动速度可提高真空灭弧室介质的临界击穿电压；综合考虑燃弧时间与燃弧能量及触头开距的关系，随着燃弧时间的增加，真空灭弧室临界击穿电压先减小后增大。所得介质恢复规律可以作为新型断路器优化设计的参考依据。

摘要：[目的]通过对氟虫腈的结构改造,开发新型柞蚕饰腹寄蝇病防治药剂。[方法]以氟虫腈为先导化合物,经NaH处理、与相应的酰氯反应,合成6种酰胺化衍生产物,测定它们对柞蚕的毒性及对柞蚕饰腹寄蝇病防效。[结果]其结构经红外光谱、核磁、质谱和元素分析确证。将氟虫腈酰胺化衍生物用于柞蚕寄蝇防治,结果表明其毒性降低,对寄蝇病的防效最高可达69%。[结论]合成氟虫腈酰胺化衍生物并应用于柞蚕保护领域,取得较好防效,为开发基于苯基吡唑类结构的新型柞蚕饰腹寄蝇病防治药剂的分子设计奠定一定基础。

摘要：研究了线性三层规划问题:minx≥0 f1(x,y,z)=c11x+c12y+c12zs.t.A1x+B1y+C1z≤b1 miny≥0 f2(x,y,z)=c21x+c22y+c23zs.t.A2x+B2y+C2z≤b2 minz≥0 f3(x,y,z)=c31x+c32y+c33zs.t.A3x+B3y+C3z≤b3的模糊求解算法。其中:ci1∈R^n;ci2∈R^m;ci3∈R^p;bi∈R^qi;Ai∈R^qi×n;Bi∈R^qi×m;Ci∈R^qi×p;i=1,2,3;x,y,z分别为上层、中层和下层问题的决策变量;x∈R^n,y∈R^m,z∈R^p;f1,f2,f3:R^n×R^m×R^p→R分别是上层、中层和下层问题的目标函数。首先采用优化问题的K-K-T条件将线性三层规划问题转化为下层含互补约束的二层规划问题,然后采用模糊优化算法求解得到的二层规划问题。数值试验验证了模糊优化算法的可行性和有效性。

摘要：已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL,提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑,给出了软件体系结构层注入点和切点指示器(pointcut designator,PCD)的形式化描述方法。在此基础上,应用一阶逻辑公式的合一思想,提出了软件体系结构层共享注入点的相关定义及定理,并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。

摘要：时间单位“秒”是人类计量最为精准的国际单位,目前国际单位制(SI)“秒”的定义是基于微波跃迁的铯原子(^(133)Cs)喷泉钟。光钟的参考跃迁频率为光学频率,理论上精度会比微波钟高4个数量级,因此可能成为未来的国际“秒”定义。可搬运光钟的研制使光钟迈进实际应用,除了在时间基准以及卫星导航方面的应用,也在验证洛伦兹不变性、基本物理常数是否随时间变化、引力波和暗物质探测等方面具有广泛的应用。针对可搬运钙离子光钟,设计了一套集成化激光冷却系统,利用Pound-Drever-Hall方法将钙离子光钟397nm和866nm冷却激光的频率锁定在一个超低热膨胀系数的Fabry-Perot振腔上,以获得窄线宽和低频率漂移的稳频激光。同时,实验中采用了基于FPGA的高分辨率时序控制系统,并采用“预冷和冷却”两步Doppler冷却方式更好地冷却离子。通过以上方法,将可搬运钙离子光钟的宏运动引起的二阶Doppler频移的不确定度抑制到小系数10^(-18)水平。