登机时间最优化解决方案

为了使航空公司获得更多的利润,应该尽量缩短乘客登机时间.以AirBus公司的A320飞机为例,利用已知统计数据、Matlab软件和R语言,建立登机顺序模型,并检验其合理性,同时设计出三种更好的模型供航空公司研究和实际操作.     

高能不等核碰撞和弛豫时间的相对论动力论方程描述

本文用相对论动力论方程描述高能重离子碰撞时空演化,并用它分析在200A GeV的¹⁶O束流和³²S束流下,于快度中心区的末态粒子快度分布,确定了不同系统的弛豫时间.     

模型论逻辑与理论计算机科学

近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义模型论）则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系．本文从抽象逻辑的观点出发．介绍模型论中与计算机科学（ＣＳ）密切相关的若干概念及其应用．特别是广义的有限模型论，它在ＣＳ的刺激下于８０年代形成并急速发展起来，已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用．     

目标值不确定的协调多指标决策模型

本文建立了一类目标值不确定的多指标决策的协调模型,并对其解的概念、性质及其求解方法进行了研究,获得了一些新的结论。     

H_2+He流体混合物在部分离解区的物态方程

H2+He流体混合物在高温高压下由于氢的离解化学反应形成由H2,H,He三种粒子构成的混合体系,此时粒子间的相互作用较为复杂,离解能也会由于粒子间的这种复杂相互作用而降低.本文利用自洽流体变分理论来研究部分离解区H2+He流体混合物的高温高压物态方程,模型考虑了各种粒子间的相互作用及由温致和压致效应引起的离解能降低的自洽变分修正,并通过自洽流体变分过程对非理想的离解平衡方程求解得到粒子数密度分布,进而对自由能求导获得体系的热力学状态参量.计算结果与已有的冲击波实验数据、蒙特卡罗模拟及其他理论计算进行了比较.     

Optimal Capacity Allocation on Heterogeneous Complex Transport Networks

We study how the node delivering capacity is allocated so that the traffic transport efficiency can be enhanced maximally. Network heterogeneity of degree distribution and processing delay of the traffic are considered. An explicit analytical solution is provided, which is based on the M/M/1 queueing theory and optimization principle, provided that the network structure and routing strategy are given. In particular, we extend the relevant conclusions in the literature [Europhys. Lett. 83 （2008） 28001]. Finally, an order parameter simulation example by comparing results with those obtained via simple capacity allocation in large Barabasi—Albert （BA） scale-free network is provided to illustrate the effectiveness of the theoretical results.     

对离散数学课程中结构主义观点的思考

离散数学课程的知识结构,是课程教学的一个重要问题.本文在厘清其基于集合论结构主义观点的基础上,自然地导入范畴论的概念,并说明离散数学教学中从集合论结构主义观点向范畴论结构主义观点转向的合理性.     

基于排队的两类顾客易逝品库存控制策略研究

本文采用排队理论在面向两类顾客需求的环境下讨论易逝品库存排队系统控制策略问题。首先刻画面向两类顾客服务且具有马尔科夫结构的易逝品库存系统排队模型,获得库存水平状态的稳态概率分布以及作为库存成本控制的系统稳态性能指标。接下来,构建库存控制成本函数及考虑服务水平约束的库存控制优化模型,设计了改进的遗传算法。最后,数值算例揭示出系统参数的敏感性和相应的管理启示。     

具有插队和止步行为的M/M/c 排队系统

研究了具有插队和止步行为的M/M/c排队系统. 将到达顾客分为常规顾客和插队顾客, 常规顾客在队尾排队等待服务, 插队顾客总是尽可能的靠近队首插队等待服务. 插队行为由到达顾客的插队概率和队列中等待顾客对插队行为的容忍来描述. 利用负指数分布的性质、Laplace-Stieltjes变换和全概率公式, 给出了处于等待队列位置n的顾客、任意一个常规顾客和任意一个插队顾客的等待时间的表达式. 在此基础上, 讨论了系统相关指标随系统参数的变化情况.