Java虚拟机中动态内联策略的改进

在Java虚拟机中,传统的基于计数的热点探测方法往往不能得到方法间的调用关系,因此,采用这种机制的动态编译器会丧失一些优化机会,比如方法内联.提出了基于在线反馈信息的动态内联策略.同已有的内联算法相比,该方法引入了BC Map,它由基线编译器对方法进行第一次编译时构建.BC Map可以确定对方法M进行调用的字节码在其调用者中的索引.通过构建Guarded Rec记录,编译器能够准确判断出虚方法的接收者对象的类型,进而确定方法间的调用关系.使用该信息指导的保护内联优化可以避免静态判断虚方法的接收者对象类型的缺陷,得到更加准确的动态信息,使应用程序的性能得到提升.      

PVM并行调试器中检查点机制的实现方法

介绍了检查点在调试半行程序中常用的实现方法，提出了一种新的断点式一致性的检查点设置方案，并分析了它在ＰＶＭ环境中的实现策略，旨在提供一种快速，方便的调试ＰＶＭ并行程序的手段。     

效益和公平性的多跑道航班调度精确算法研究

机场终端区航班拥堵延误现象日趋严重.机场管理者,一方面要减少航班总延迟成本,另一方面也要维持航空公司间竞争公平性.为多跑道航班协同调度问题建立双目标规划模型,为了精确求解优化问题的Pareto前沿,开发出epsilon约束算法.最后通过算例来说明模型的可行性和算法的有效性.利用数学规划理论建模并开发精确求解算法,为机场资源优化研究提供重要参考.     

基于罚函数序列凸规划的多无人机轨迹规划

多无人机（UAVs）轨迹规划是具有非线性运动约束和非凸路径约束的最优控制问题。引入序列凸规划思想,将非凸最优控制问题近似为一系列凸优化子问题,并利用成熟的凸优化算法进行求解,以更好地权衡最优性和时效性。首先,建立了多无人机协同轨迹规划的非凸最优控制模型。然后,利用离散化和凸近似方法将其转换为凸优化问题,包括对无人机运动模型的线性化,以及对威胁规避约束和无人机碰撞约束的凸化。同时,提出了一种离散点间的威胁规避方法,保证无人机在离散轨迹点间的飞行安全。在凸优化模型的基础上,给出了基于罚函数序列凸规划求解多无人机轨迹规划的具体框架。最后,通过数值仿真验证了方法的有效性,结果表明该方法在多机轨迹规划结果的最优性和时效性都要优于伪谱法,而且优势随编队数量的增加而增大。     

广义凸多目标规则划解的充要条件

本文就目标函数和约束函数都是非光谱的Ｌｉｐｓｃｃｈｉｔｚ函数情形,在引入一定的广义凸性下,开约束规格和Ｋｕｈｎ－Ｔｕｃｋｅｒ条件,给出了多目标规划有效解和弱有效解的充要条件。     

江苏海涂围垦最优决策

根据江苏省海涂资源的特点及开发利用现状，从全局和长远经济效益现值最大的观点出发，对各片海涂的上地利用作了优化和最优开发决策，从而进一步对多片海涂匡围进度进行最优决策。解决了海涂开发与匡围过程中的最优投资分配问题，建立了解决这一问题的通用数学模型。该模型将复杂的决策优化过程化为线性规划与０～１规划相结合的层次体系，通过协调求解。方法简便、实用。     

发动机复合模型及其在飞/推综合优化控制中的应用(英文)

研究了飞/推综合控制系统的在线优化实时性问题。提出将机载发动机复合模型与序列二次规划(Sequential quadratic programming,SQP)算法结合应用于飞/推综合优化控制的策略。首先,设计适用于全包线范围并可大幅度缩短优化时间的发动机稳态复合模型,然后基于SQP算法将该模型应用到发动机性能寻优控制中,包括最大推力和最小油耗优化模式,从而更加有效地完成各种不同的飞行任务。通过飞机巡航、平飞加速等仿真实验,表明了该优化控制方案能够在具有较好优化效果的前提下,明显提高飞/推综合控制系统的优化实时性。     

基于视觉引导的工业机器人示教编程系统

针对目前工业机器人所采用的编程方式的局限性,提出了基于视觉引导的工业机器人示教编程方式。首先采用奇异值分解(SVD)法建立双目视觉系统与机器人的坐标映射关系,通过双目视觉系统识别和提取特定的示教工具末端位姿,以得到规划机器人运动所需的位姿数据。然后解析机器人控制器可执行文件的格式,将位姿数据转化为机器人可以执行的文件。最后通过试验验证了视觉引导示教方式的可行性,并对示教跟踪精度进行了分析,结果表明,跟踪误差最大为-1.18 mm,均方根误差为0.47 mm。      

基于隐马尔可夫模型的空战决策点理论研究

从几何空战理论经过能量空战理论,直到角度空战理论,空战理论的发展更多的是从战斗机性能的角度来分析空战过程,忽略了作战飞行员在决策过程中起到的作用。本文分析空战飞机的客观数据的变化特征,提出了一种基于隐马尔可夫的近距空战流程分析方法,使用维特比算法判断飞行员在空战过程中的状态序列,从而获得了理论上的空战决策点。在理论分析上,提出了一种空战决策点理论用以评判飞行员飞行品质。通过实验仿真验证了使用隐马尔可夫模型讨论近距空战的可行性,并且发现飞行员空战决策点包络处于包围趋势时,飞行员获胜的可能性越大。     

三维斜掠后台阶流动数值模拟

介绍了开源计算流体力学软件OpenFOAM(Open Field Operation and Manip-ulation)及面向对象编程技术,并利用其对三维斜掠后台阶流动进行了数值模拟.通过对无斜掠角度情况下用OpenFOAM计算得到的流场速度型和展向涡强度场分布与实验数据的对比研究,证明其具有良好的计算精度和可靠性.通过对不同斜掠角度台阶下游流线与压力分布的详细研究发现随着斜掠角度从0°增加到60,°回流区涡团结构和再附距离均发生了显著变化.其总体趋势是再附距离在30°后会急剧缩小,旋涡强度也会减弱.