基于时间阈值的旅客登机模型及动态登机策略

减少登机时间有利于提高旅客体验和航空公司运行效率,故优化基于旅客行为的登机策略尤为重要. 基于旅客登机过程中两个阶段的延时,建立考虑时间阈值的新登机模型;在干扰时间阈值分布的基础上,通过优化算法分配行李,从而使登机时间最小,进一步得到基于不同行李构成的动态旅客登机策略. 通过元胞自动机仿真和现场模拟实验比较动态登机策略的效率. 结果显示：新登机模型能准确反映登机过程,Steffen 次序具有最大的干扰时间阈值和优化空间;本文提出的动态登机策略可以缩短登机时间,使登机效率显著提高.     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

磁场饱和与畸变对发电机电感参数计算的影响

为了提高发电机故障检测的灵敏性,需要准确计算发电机电感参数.考虑发电机负载运行时磁路的饱和与位置的畸变,分别应用磁路法和磁场法计算了不同饱和程度与畸变程度下的电感参数,讨论了磁路饱和与磁场畸变对电感参数的影响,指出磁路法计算电感参数的局限性.对一台一对极隐极式发电机样机进行的不同工况下转子匝间短路实验表明：磁场法可以充分考虑物理情况,参数计算结果更加准确.在要求准确计算电感参数的场合使用磁场法更合适.     

基于移动闭塞条件下的列车运行仿真系统设计

当今,国外轨道交通系统中的移动自动闭塞技术已经发展成熟,这一技术具有优越的可控制性,可为运输组织的灵活管理提供有利的条件。探讨通过计算机仿真手段,模拟列车在移动自动闭塞条件下的追踪运行。从而为移动闭塞这一技术应用于我国轨道交通领域提供一个预测性的理论结果。     

基于ANSYS的斜拉桥施工过程模拟分析

施工控制在大跨径斜拉桥施工过程中的地位日益重要，而桥梁的施工模拟计算对整个施工控制的成败与效率起着关键性作用．文中结合云阳长江公路大桥的施工监控实践，利用ANSYS的二次开发工具APDL语言，同时引入生死单元功能，编制了相应的ANSYS命令流程序，成功地实现了该斜拉桥的施工过程模拟分析．     

基于小波域隐马尔可夫树模型的多光谱遥感影像纹理分割技术研究

遥感图像纹理信息丰富，需要进行有效的纹理特征描述．小波域隐马尔可夫树（HMT）模型提供了一种有效的纹理特征提取方法．简述了HMT模型及分割思想，并在此基础上针对多光谱遥感图像，探索更好的纹理描述方法．通过适当的数学变换，得到多光谱遥感影像在不同角度下的描述：H—S—I分量和最大主成分分量．研究比较各分量特性并应用HMT模型，得到不同分量下纹理分割结果．实验表明，利用多光谱信息可有效地提高分割质量。     

用Arena进行供应链建模和仿真

提出了在用Arena软件对供应链进行仿真建模研究中的一些思路，通过计算机对供应链系统的仿真分析，不仅可以使得管理人员对由于从销售端到供应端的需求变化引起的“牛鞭效应”进行较为深入和直观的分析，同时也可以在模型中快速对不同物流管理策略和方案进行测评．整个供应链和供应链中各环节的平均库存水平和服务水平是所介绍的模型中的主要供应链绩效指标．文中采用了由供应商、制造商、分销商、零售商和客户所组成的传统供应链结构进行仿真建模，同时介绍了完成的第一个Arena仿真模型．