基于UML的业务流程建模及到BPEIAWS的转换

IBM、Microsoft和BEA于2002年联合提出业务流程执行语言（Business Process Execution Language for Web Services，BPEIAWS或BPEL，后更新为WSBPEL）是用于在不改变Web Service正常运行的情况下，将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务，业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上，提出通过构造型和键值方法扩展活动图，并采用扩展模型对业务流程建模，最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。     

ICAO近年来对4444文件修改情况的研究与分析

以不同时期国际民航组织的4444文件为研究对象，对其修改进行对比、归纳、分析，揭示其修改的内在含义。管制员、驾驶员应充分认识并利用这些特性，加深对4444文件的理解，以利空中安全。     

利用奇异辛几何构作新的带仲裁的认证码

利用有限域上奇异辛几何构造了一个新的带仲裁的认证码，并计算了这个码的参数。当收方和发方的编码规则按等概率分布选取时，计算出了各种攻击成功的概率。     

一个航班备降延误的成本分析

分析了一起暴雨天气引起航班备降而延误的损失计算与成本管理问题。这起备降理应更早地在最近机场实现,实际上最后也是这样的,但却在空中绕了一圈,多耗费了一些时间,直接的后果是成本增加,间接的后果是安全压力增加。根据所设计的备降方案和有关费用做出了比较分析,提出了需通过提前信息沟通,增强预见性、主动性,避免飞机在天空多飞而产生过多的损耗,以此提高技术水平与管理水平。     

经济视角下的航空货运网络结构分析

随着经济的快速发展和信息流通的加快，航空货运在经济发展中的作用日益凸显。航空货运的发展依赖于货运网络的完善，体现出构建中国航空货运网络的重要性。以中国城市经济发展形态为切入点，以中国各城市间航段货邮运输量为样本数据，绘制出2004--2009年中国航空货运网络结构图，建立航空货运网络核心一边缘结构模型．并对其平均路径长度、网络集聚系数、度分布、边权分布和点权分布进行分析。结果表明：中国航空货运网络具有聚集效应，对经济发展具有一定的推动作用，并在此基础上呈现中国航空货运网络的进一步完善发展方向．     

基于ARM9的机场应急救援拖车同步控制研究

研究了一种机场应急救援拖车的同步电气控制系统。基于ARM—Linux平台．上位机以ARM9为核心，下位机以PLC为核心，使用Qt／Embedded和梯形图完成对上、下位机的GUI和程序设计，上下位机采用485通讯。连接试验模型和控制系统，实现了用遥控器控制机场应急救援拖车同步转向，通过对模型的测试，其可行性已被初步的实验证实.     

定义于Hilbert空间中星形集上的非扩张映像

假设H是一个实Hilbert空间，C是H的一个非空弱闭星形子集，T：C→C为非扩张映像。研究了T的不动点的存在性及其迭代算法的收敛性，本文结果推广了关于非扩张映像的已有相关结果。     

航班环上的飞机尾号分配问题

飞机尾号分配问题是航空公司生产运营过程中一项重要工作,其结果直接影响到航空公司的运营成本和飞行安全等。首先以飞机维修机会最大为目标建立了航班环生成模型,利用列生成算法和Floyd最短路算法的结合生成了满足3天维修计划的多维修基地航班环;其次,利用分支定界算法得到了航班环生成模型的0-1最优解;再次,采用KM算法完成了飞机与航班环的完美匹配,实现了航班环的动态分配;最后,通过对一个算例的分析,验证了所提出方法的正确性和有效性。     

基于航线对象的五边进近调配程序模型研究

针对进近管制飞行密集、潜在冲突多、调配难度大的特点,提出一种智能化的调配程序研究方法。将五边调配程序分解为基本的飞行程序,并引入航线对象的概念,结合五边进近飞行特点建立调配程序的参数模型。通过模型计算得到关键位置点及飞行控制参数信息,同时生成飞行路径,综合全部信息即得到完整的调配方案,能够为实际管制工作提供参考和服务。计算机仿真结果证明了理论方法的可行性。     

均布载荷下变形受约束悬臂梁弹性大变形分析

建立了分析均布载荷作用下受约束悬臂粱的弹性大变形三阶段模型。模型的第1阶段为悬臂梁变形不受约束的阶段：第2阶段为悬臂梁自由端和其下面的约束相接触时的变形阶段，此时，在接触处有一支反力作用：第3阶段为悬臂梁和其下面的约束有一定接触范围时的变形阶段，此时在接触范围内，粱的挠度和转角是固定的。给出了各个阶段弹性大变形梁的边界条件，提出了各阶段求解梁弹性大变形的三重二分法。实例中，对于梁在各阶段的弹性大变形问题进行了分析计算，并和小变形理论的计算结果进行了比较。结果表明，在梁变形的第1阶段，小变形理论的相对误差随着初始间隙的增大而迅速增大；在梁变形的第2阶段，在给定的初始间隙范围内，小变形理论的相对误差变化不大；在梁变形的第3阶段，小变形理论的相对误差随着接触范围的增大也迅速增大。