摘要：随着高功率激光技术的进步,激光等离子体加速因其优异的加速结构获得迅速发展,现已获得近百MeV质子以及数GeV电子输出.激光驱动质子束具有μm量级尺寸、ps量级脉冲长度的优异品质.由于强激光场的存在,原位直接应用存在一定困难,因而更多应用场景需要通过束线把质子束传输到应用端.激光加速离子束由于具有宽能谱和大散角的特点,通过束线传输具有一定困难.常梯度磁场中的弱聚焦作用具有特别的优势:在水平和竖直方向可同时聚焦,在水平方向可进行能量分析,在水平和竖直方向的聚焦力可以通过磁场降落指数n进行分配,色差效应影响较小.通过对质子束在弱聚焦磁场中运动的束流动力学的研究,探索了弱聚焦作用在大能散、大散角质子束聚焦和能量分析中的要求、特点和优势.在合适的束流光学设计中,可以实现聚焦、选能的同时,压缩脉冲长度,有效缩减束线尺寸,优势显著.

摘要：目的:使用多重位点特异性聚合酶链式反应(PCR)的方法,简单高效地鉴定地骨皮(Lycii Cortex)的2种基原植物枸杞(Lycium chinense)和宁夏枸杞(***)。方法:在使用植物叶绿体基因组数据库(CGIR)获取枸杞和宁夏枸杞叶绿体基因组序列的基础上,利用IdenDSS软件筛选出两基原间特定的单核苷酸多态性(SNP)位点,并利用Primer 5.0软件设计获得特异性鉴别引物,包括鉴别枸杞的引物GQ-F/R、鉴别宁夏枸杞的引物NX-F/R。对引物浓度比、退火温度、循环次数、Taq酶进行优化,形成最适的PCR鉴别体系和条件,并对采集自不同地区的地骨皮进行适用性考察。结果:对影响PCR结果的各个条件进行考察优化后,最终确定枸杞和宁夏枸杞的引物浓度比为2∶1、退火温度为59℃、循环次数为30次时,来自不同产区地骨皮的2个基原枸杞和宁夏枸杞分别在183、295 bp的位置出现特异性鉴别条带。结论:通过一次PCR即可方便、快捷、高效地鉴定地骨皮的基原,为枸杞和宁夏枸杞的专属性鉴别提供新方法,同时对含有地骨皮成分的经典名方的研发提供一定的技术支撑。

摘要：针对当前压电驱动悬臂梁谐振器存在加工工艺复杂、成本较高的问题,该文提出了一种基于氮化铝支撑层的新型压电驱动悬臂梁层叠结构,它不仅能有效降低加工难度,还能在实现器件小型化的同时保持较高的品质因数。该文通过理论分析研究了固定频率下谐振器品质因数与器件尺寸设计的关系,并对比了不同支撑层材料对谐振器品质因数的影响。通过实验研究了电极尺寸设计对谐振器在真空中性能的影响,从而确定了工作在面外弯曲振动模式的压电驱动氮化铝基悬臂梁谐振器的最优设计。测试结果表明,在电极宽度占比为1,长度占比为2/3时,该谐振器表现出最好的性能,其品质因数为7786,谐振频率为63.44 kHz,运动阻抗为66.70 kΩ。

摘要：针对近些年污水处理厂进厂水量不稳定和进水BOD5浓度偏低等实际问题,福鼎市结合排水管网勘察与检测工作,追根溯源,对污水系统进行问题诊断,分析了城市污水系统运行效能低下的原因,制定了污水处理提质增效“一厂一策”方案,合理选择技术手段和工程措施,指导地方推进污水提质增效工作,促进排水设施建设逐步实现由“规模增长”向“质量提升”转变。

摘要：为实现相贯线数控切割及两管的理想焊接,就需要对切削工具的运行轨迹进行控制,由于比较积分法插补算法具有插补精度高和速度控制容易等特点,因而对相贯线比较积分插补算法的研究具有重要的现实意义。通过齐次坐标变换建立了两异径圆管偏置斜交空间相贯线的数学模型;通过MATLAB编程仿真,获得了一系列相贯平面展开曲线上的节点;利用Origin软件拟合相贯平面展开曲线,获得了二阶线性方程;根据比较积分法插补算法原理,利用VB编程软件实现了相贯平面展开曲线插补过程的动态仿真,为相贯曲线的研究设计、加工制造等奠定了理论与实践的技术基础。

摘要：为了解决采用CAN总线的子系统接入航电主干网FC网络的问题,提出了一种CAN/FC网关设计方案。通过对两种网络的分析和研究,设计了两者协议转换的方法,描述了网关模块的工作流程,讨论了实时性的设计。通过验证表明,该设计能够完成CAN网络和FC网络的互联,满足系统要求。

摘要：为了解决纳米铝热剂的制备工艺中组分分布不均匀和燃烧效率低等问题,采用层层组装技术将铜‐均苯三甲酸(Cu(BTC))和铁‐均苯三甲酸(Fe(BTC))交替包覆在nAl表面,制备核壳结构nAl@Cu(BTC)/Fe(BTC)纳米铝热剂,并对其结构、形貌、热反应性能(铝热反应温度)和燃烧性能(燃烧时间、点火延迟时间和燃烧温度等)进行研究。结果表明:层层组装技术可以调控包覆层的厚度和形貌,随着包覆层厚度的增加纳米铝热剂从粗糙疏松逐渐变得光滑致密;交替包覆12层Cu(BTC)/Fe(BTC)的纳米铝热剂燃烧剧烈,火焰传播速率较快,在0.710 s内火焰达到最大,具有适中的点火延迟时间(0.509 s)、最短的燃烧时间(2.036 s)和最高的燃烧温度(1425℃),此时,Cu(BTC)和Fe(BTC)的协同作用使其铝氧化反应温度峰值降低到552.5℃和735.0℃。

摘要：编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可信编译器的构造中。一种方法是对编译器本身进行形式化验证,经过严密的证明,可杜绝误编译的发生。然而,这种方法可能"冻结"编译器的设计,阻碍编译器未来可能的优化和完善。翻译确认是另外一种用于可信编译器构造的形式化方法,它避免了对编译器自身的验证,有很好的可重用性,近年来在编译器验证领域得到了广泛研究,已取得令人瞩目的成果。介绍了翻译确认方法的概念及研究进展。

摘要：提出了一种可变分数延时宽带数字滤波器的优化设计方法,该方法首先采用内插的方法提高采样率,降低信号的归一化带,再采用Farrow结构来实现分数延时,通过抽取,恢复信号的初始采样率。其实现形式采用基于多相滤波的级联结构,使得内插和抽取相互抵消,降低滤波器的阶数,提高运算效率。采用基于FPGA的并行分布式算法,设计利用了器件的结构特点以及与器件特性独立的2种方法,在时域实现了高速、高阶的宽带分数延时滤波器,并在Altera Stratix FPGA上进行了仿真验证,最高工作频率分别为184 MHz和119 MHz。

摘要：介绍了液压支架的作用和种类,分析了煤机产品将来的发展方向,结合当前现状探讨了在发展过程中对液压支架设计的新要求和在设计时的注意事项。