摘要：设计了利用多颗LED(Light Emitting Diode,发光二极管)阵列组成的扩展面光源.经过合理的聚光设计使之符合某些投影设备对亮度要求不是很高,但结构紧凑、性能稳定、使用寿命长的要求.结合数学建模和软件模拟的方式设计了一种小巧的反光杯,利用反光杯把LED近180°的发散光束汇聚到60°左右;然后再用一一对应的透镜阵列汇聚为平行光;最后采用柯勒照明方式把较大的面光源阵列汇集到LCD投影屏幕上,从而达到了较高亮度且具有很高均匀性的目的.

摘要：针对小推力器安装角度对卫星南北位置保持、东西位置保持和姿态控制效率的影响,从而决定推进剂需求量,提出一种推进剂消耗过程耦合建模与求解方法,并建立了小推力器安装角度优化模型。该方法采用定点迭代对转移轨道阶段推进剂消耗量和静止轨道阶段推进剂消耗量与贮箱尺寸之间耦合过程进行解耦,并建立了不同阶段推进剂消耗量估算模型。以卫星寿命期推进剂需求量最少为优化目标,建立了小推力器布局优化模型。通过实际的小推力器布局设计实例,分别采用遗传算法和序列径向基函数代理模型(SRBF)优化策略进行优化。优化结果表明相比于基于经验设计,SRBF可以有效地降低推进剂需求量,而且对比遗传算法,优化效率得到了显著提高。

摘要：采用能够描述雷达信号相位和幅值信息的信号仿真方法,通过建立雷达接收处理机的数学模型,并给出各环节数值仿真算法,模拟实现雷达接收信号处理的全过程。结合地物杂波仿真和目标仿真得到雷达接收仿真信号;将仿真信号进行正交解调和脉冲压缩匹配滤波,使信噪比达到最大;利用动目标显示衰减信号地物杂波成分,采用动目标检测对仿真信号进行最佳滤波;最后利用恒虚警和判决进行目标检测。仿真得到结果与实际雷达处理信号波形一致,说明该方法逼真有效,可用于雷达模拟训练器系统的设计与实现。

摘要：磁悬浮系统是个典型的非线性系统,将非线性系统进行线性化后设计磁悬浮控制器,可以保证系统在平衡点附近稳定,但是当存在较大的干扰时,系统有可能失去稳定.本文分析单支点悬浮系统的稳定性,运用变量梯度法构造李雅普诺夫函数,推导出系统相对于平衡点的状态稳定保守区间,给出了系统的一个抗干扰程度,当磁悬浮系统受到较大干扰而偏离这一区间时,就应采取必要的自适应控制措施.最后用试验验证了这种控制方案的可行性.

摘要：针对水箱液位系统存在的大惯性、大时滞和非线性等特点,采用多模型控制思想设计控制律,以改善控制品质.对于三级水箱液位控制系统,设计多个基于一级水箱的等价控制器,简化控制问题.将水箱液位的设定值跟踪问题转化为多个设定值跟踪问题,并由此构成多模型控制器,避免输入达到上限,从而达到优化控制的目的.采用华晟公司的A3000过程控制系统进行实验研究,结果显示,本文提出的多模型控制方案可以极大地改善控制品质.

摘要：中红外波段的单光子源对于下一代量子传感、量子通信和量子成像的研究非常重要.目前常用的产生中红外单光子源的方法是基于周期极化铌酸锂(periodically poled lithium niobate,PPLN)自发参量下转换过程.但是,基于普通PPLN制备的单光子源频域纯度不高,最高值只有0.82左右,会影响量子信息处理方案的保真度.本文利用域设计理论对30 mm长铌酸锂晶体的4000个域进行了定制化排列,消除了相位匹配函数中的旁瓣,获得了高斯型的分布.计算得到的单光子源的频域纯度可达0.99,可调谐范围为2.7—3.3μm.该定制极化铌酸锂(customized poled lithium niobate,CPLN)有望为中红外波段量子信息研究提供性能优异的单光子光源.

摘要：随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.

摘要：为改善高速列车运行舒适度和车下悬挂设备的振动水平,建立了车辆-设备系统垂向动力学模型,推导了车辆系统振动加速度频率响应函数;结合轨道不平顺激励谱函数计算了车下悬挂设备振动加速度均方根,联合人体舒适度加权滤波函数计算了车体振动参考点的垂向舒适度指标;引入目标级联分析(ATC)法逐层分解车辆-设备系统振动指标,构建了车辆-设备系统两层指标分解数学模型,采用指数罚函数策略协调两层振动指标之间的耦合问题;提出了以车辆运行舒适度和车下悬挂设备振动加速度为指标的多目标优化方法,建立了以车下设备悬挂刚度和阻尼为设计变量的优化模型;联合车下设备悬挂参数动力吸振器(DVA)设计法对比探讨了ATC法在复杂车辆系统参数优化设计中的应用效果。分析结果表明:与DVA设计法相比,ATC法优化后车辆中部舒适度在300 km·h;工况下提高了8.5%,设备振动水平减小了约20%;在全速域区间,ATC法对车体中部的振动衰减是DVA设计法的2倍,且对设备的振动衰减比DVA设计法大4.5 dB;与优化前相比,ATC法优化后车辆中部舒适度指标最大提升了15%,设备振动加速度减小了0.18 m·s;。由此可见,ATC法可以运用于复杂轨道车辆结构参数优化设计中,能有效改善车辆系统的振动水平,也可为车下设备悬挂参数优化设计提供指导。

摘要：作为北京谱仪(Beijing Spectrometer,简称BES)的改造,BESⅢ将把TOF(time-of-flight)测量精度提高到一个新的水平,总时间分辨不大于90ps．其中要求前端电子学(Front End Electronics,FEE)对时间测量的不确定性贡献小于25ps．本文介绍了TOF前端读出电子学系统原型电路的设计和初步的测试结果．

摘要：设计了三镜环形结构的光学模清洁器,用于改善激光的光束质量和过滤激光的额外噪声,以达到提高纠缠光束纠缠度的目的。实验证明,此光学模清洁器可以满足量子光学实验的要求。