基于Common Lisp的数字系统仿真实现

针对数字系统仿真所涉及的若干关键问题,从对象的行为特点出发,提出一种基本仿真算法及其改进版本。前者能够正确模拟实际数字系统中的并发行为,但可能引起冗余的进程调度;后者考虑了系统模型中信号和进程间的依赖性,可有效避免这一问题,并能在多数情况下提高仿真性能。基于所提算法,应用Common Lisp语言实现了仿真器原型,并与商业仿真平台Modelsim相比较进行了仿真实验,结果表明,所研究的算法和工具正确有效、性能良好。     

独立离场模式下多跑道时空资源优化调度方法

为有效缓解大流量、高密度机场日益严重的交通拥堵和航班延误现状,研究了多跑道离场航班优化调度问题。首先,从生产调度领域视角,将多跑道离场调度问题抽象为典型的车间作业调度NP-Hard组合优化问题;然后,面向航空运输各方利益需求,以航班延误、跑道容量和环境污染为优化目标,综合考虑航空器尾流影响、场面滑行和跑道穿越等各类限制因素,建立了独立离场模式下多跑道时空资源优化调度模型;最后,结合多目标优化及遗传算法基本理论,设计了带精英策略的非支配排序遗传算法(NSGA-II),寻求多跑道离场调度问题的Pareto最优解。仿真实验表明,模型可对独立离场航班进行优化配置,显著降低航班延误时间和航空发动机污染物排放量,并有效提升机场跑道容量。与随机和交替调度策略相比,优化调度策略执行效果显著,其中航班延误时间分别减少了51.2%和42.7%,所提方法可显著缓解大型繁忙机场离场航班起飞延误,有效提升航空运输服务品质。     

多机场终端区进场航班排序模型研究

空中交通需求量高的区域通常拥有两个或两个以上的机场,这些机场的进场运行相互影响.基于跑道和进场定位点双重约束,综合考虑终端区内最大可消耗延误、航班位置偏移等实际运行约束,以多个机场航班进场总延误最小为优化目标建立了混合型0-1整数规划模型,采用Lingo进行建模求解,利用模拟数据进行仿真验证,并将所提规划模型与FCFS的排序结果进行了对比分析,表明所提模型优于FCFS.     

签派工作负荷评估与人力资源配置研究

随着航空公司机队规模的不断扩大,运行航线不断增加,飞行签派员利用运行控制系统对每次飞行起始、持续、终止行使放行与监控的职权时,所需要投入的精力大幅提高。为了确保运行控制安全裕度,这就需要一套科学的评估体系来评估飞行签派员日常工作负荷,指导航空公司签派人力资源的配置,合理安排人员排班,优化系统功能。根据民航局咨询通告建议,通过对航空公司签派员工作负荷的评估实例,对推荐的方法进行应用,并优化计算。同时提出了对排班、系统和流程的优化方法。使用该方法在航空公司签派排班的应用,可优化资源,控制人为因素风险。     

基于Walsh基和二值离散余弦基单像素成像的对比分析

为提升单像素成像的测量效率,对Walsh基和二值离散余弦基单像素成像进行了对比研究。针对Walsh变换和抖动二值化后的离散余弦变换,提出了一种借鉴机器学习的排序方法,即通过分别统计80000幅图像的Walsh测量基和离散余弦测量基各自相应测量权重绝对值,按权重由大到小排序得到了两种具有先验知识的测量基优化排序。按两种测量基优化排序,研究了在相同压缩采样下的单像素成像。利用随机选取的500幅图像,定量分析了成像的峰值信噪比和结构相似度。研究发现,两类测量基在压缩采样为5%时,500幅图像平均峰值信噪比可达20dB,平均结构相似度达0.5以上;在采样率1%~10%的区间,二值化的离散余弦基重建结果占优;在采样率10%~20%的区间,两种测量基效果相当;在采样率大于20%时,Walsh基占优。该结论为单像素成像技术实现快速、高信噪比成像提供了一种方法,对推进单像素成像测量基的选取具有较好的参考价值。     

关联成像技术中调制光场优化研究进展

关联成像技术作为一种全新的成像体制,具有非局域性、抗干扰能力强、探测灵敏度高和超分辨等优点,目前已经成为研究的热点。关联成像技术的实用化进程主要受成像质量和采样效率的限制,在相同重构算法条件下,成像系统的调制光场优劣直接决定了目标物体的重构质量。在简述关联成像技术原理的基础上,重点介绍了调制光场优化的国内外研究进展,并对其发展趋势进行了展望。     

基于改进差分进化算法的舰面保障作业优化

舰载机舰面保障作业调度效能是制约航母编队综合作战能力的重要因素。首先,分析了舰面保障作业流程约束和资源约束,以最小化舰面保障作业完工时间为目标函数,建立了舰面保障作业调度优化模型。其次,设计改进差分进化算法用于模型求解,算法采用基于作业开始时间改进的随机键编码方式和并行变异算子结构,以提高算法搜索效率。最后,进行了仿真试验,验证了模型和算法的有效性,并进一步研究了并行变异算子结构对算法 性能的影响。     

物体表面形状对热象仪测温的影响

本文报道利用红外热象仪 AGA780系统测量金属铝、铜和非金属石膏的平板及圆柱表面温度的准确度实验研究的结果。给出了表面形状不影响温度测量的“自由极角”范围,并且对影响测量准确性的其他因素也进行了讨论。     

智能交通系统中车辆调度问题的遗传算法研究

在智能交通系统(ITS, Intellignet Transportation Systems)的各个子系统中,先进的公共交通系统(APTS, Advanced Public Transportation System)具有重要地位和作用,其中车辆调度问题是APTS的关键.为了提高车辆调度的智能化,提出了一种基于遗传算法(GA, Genetic Algorithm)的公交车辆智能调度方法,采用最小费用作为目标函数,考虑了车辆配置、时间、运营效率及资源利用等方面因素,通过选择、交叉及变异等遗传操作,得到了最优的调度排序方案,并对2种交叉方式进行了比较,仿真结果表明,利用GA解决车辆调度问题具有可行性、先进性和快速性.      

视觉检测中椭圆中心成像畸变误差模型研究

针对在三维视觉检测应用中,空间椭圆的中心经摄像机针孔成像后存在畸变误差的问题进行了研究.基于透视投影变换和空间解析几何理论,建立了在摄像机的像平面上该畸变误差的数学模型,从而为圆孔(椭圆孔)或圆柱(椭圆柱)类工件中心位置的视觉检测、结构光三维视觉检测应用以及视觉检测中的CCD摄像机内部参数标定等问题的解决提供了一个有效的理论依据,具有一定的理论意义和工程应用价值.