摘要：几何相位,又被称为Pancharatnam-Berry相位,因设计简单、相位延迟可覆盖2π范围且与频率无关等优势在光学超表面中被广泛用于波前操控.几何相位超表面的效率和带宽往往受限于其结构单元实现正交偏振变换的能力.当工作频率偏离设计频率时,结构单元往往不能完全改变入射圆偏振光的手性,导致仅被改变手性的部分光波波前被调控,而其余光波未被调控.为此,本工作提出了一种几何相位超表面透镜,得益于其结构单元的高效率、宽频带的正交偏振变换能力,该透镜可实现亚太赫兹波束的宽带聚焦.其结构单元为一维低折射率介质光栅,可在130-165 GHz的范围内实现正交偏振变换.通过旋转、截断和拼接此光栅构成二维平面透镜,数值仿真表明该透镜在60-160 GHz的宽带范围内,均保持在40%以上的聚焦效率.超表面透镜的带宽远大于其结构单元的偏振变换带宽,这是由光栅不同的截断长度导致的.这款透镜可以采用3D打印进行加工,制作方便,成本低廉,对发展紧凑型亚太赫兹波束操控元件具有重要意义.

摘要：γ-谷氨酰转移酶7(GGT7)是华支睾吸虫生长发育的各个时期都存在且高表达的蛋白,为探索其作为诊断抗原的潜能,依据GenBank中华支睾吸虫GGT7基因序列,设计了特异性引物,并构建了pET-32a-GGT7重组表达质粒转化至大肠埃希氏菌BL21(DE3)感受态细胞中,进行蛋白表达和反应原性分析。生物分子信息学分析显示,GGT7具有7个α-螺旋和6个β-折叠,B细胞抗原基因表位较多。扩增得到的华支睾吸虫GGT7基因大小为1773 bp,编码591个氨基酸,SDS-PAGE分析在65 ku分子处有明显的目的蛋白条带,Western blot检测表明该蛋白具有较好的反应原性。首次对华支睾吸虫GGT7基因进行了克隆表达,并证明目的蛋白具有良好的反应原性,为华支睾吸虫病诊断试剂的研发奠定了基础。

摘要：介绍了软件系统测试中功能组合测试与边界测试的概念和技术要求。针对我国目前军用型号软件测试的主要过程与方法,总结了在测试用例设计方面存在的不足。结合一个型号软件系统测试中未暴露的典型软件缺陷案例,分析了测试用例设计上的原因,说明了将功能组合测试与边界测试结合实施的必要性。提出了一种基于因果图的边界组合测试方法。经系统测试验证了该方法的可行性和有效性。

摘要：冻土地区的土体冻胀会对输变电工程基础的设计、施工和安全运营等构成严重威胁。而土体冻胀变形问题是多物理场耦合问题,针对该问题,主要分析了热防护结构形式、底层土体温度、地表温度及热防护材料导热系数对地基温度分布、变形与应力的影响,并且充分分析路基水分场、温度场和变形场的变化过程及其耦合作用机理。对于改进并完善季节性冻土区输变电工程桩基础的设计、施工和运营维护具有巨大的现实意义。

摘要：采用英飞凌XC164CS微控制器,结合μC/OS-II的实时调度和任务管理功能,详细阐述了车身控制系统的特点和基于μC/OS-II的汽车车身控制系统设计。以NE6741型客车设计实例,应用文中阐述的设计方法实现了该型客车的车身控制器软件设计。

摘要：针对地面等待策略,给出了问题的具体描述,建立了基于基因表达式编程的地面等待策略模型。该模型考虑了不同机型航班延误费用不同的重要经济因素,采用多基因家族对航班和时隙进行编码。同时,针对有后继任务的航班提出双胞基因。结合实际空中交通管理约束,对普通基因和双胞基因分别设计了适应度函数。实验仿真中,将本文算法与RBS算法、二次自然增长延误算法比较,在所有航班总延误费用较少的情况下,本文算法分配结果中有后继任务航班的总延误时间和总延误费用较RBS算法减少26%和32%,较二次自然增长算法减少了27%和31%,表明了模型和算法的有效性。

摘要：红外焦平面探测器价格昂贵,不慎损坏将带来巨大的经济损失,使用探测器模拟装置进行调试可以降低风险,装置采用CMOS传感器+DSP+FPGA的体系结构。传感器产生1280×1024可见光图像发送给DSP,DSP对数据处理后写入双端口存储器,FPGA读取数据并缓存后根据收到的MC、INT信号及窗口尺寸和位置等配置情况对缓存的图像进行开窗,生成DV等信号并控制数模转换器将图像数据转换为四路模拟信号输出,FPGA控制模数转换器对接口电路电源进行检测。实验结果表明,模拟装置能够较全面模拟探测器各项功能和工作模式,可以有效降低装调风险并提高测试效率。

摘要：通过对设计的实验系统进行测量,得到了亚微米颗粒热泳沉积效率的计算公式.由实验验证:相对于长管,短管可充分利用速度温度正在发展流,从而获得更高的热泳沉积效率.利用逐步递进原则,设计了1种将短管作为热泳除尘段,并和过渡段交替连接的除尘装置.结果表明:在采用8段热泳段的情况下,总除尘率可达到约83.24%.说明利用该原则能设计出可行的脱除亚微米颗粒的除尘设备.

摘要：标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。

摘要：针对飞机壁板数字化、柔性化制造需求,提出一种基于蒙皮内形定位的飞机壁板柔性装配方法,通过有限元参数化建模,应用蒙皮支撑点寻优算法,实现卡板布局优化设计。根据壁板组件各零件的定位要求,详细设计了壁板柔性装配系统中长桁、蒙皮、角片的柔性定位方式,开发了基于EtherCAT总线的分布式网络控制系统用于完成整个壁板的装配。本系统实现了在一套柔性装配系统上完成4块壁板的装配,改变了传统固定式工装设计思维,对飞机壁板柔性装配技术的发展具有重要意义。