公交网络车费设定问题的Stackelberg博弈模型

对城市公交网络系统车费的合理设定问题进行了研究分析，考虑到乘客对公交收费变动会作出相应的反应，从而改变网络上乘客的流量分布，运用Ｓａｃｋｅｌｂｅｒｇ博弈理论，将这一问题描述为一个两级数学规则问题，在一定的公交网络收费结构下，乘客在网络上的流量分布可由随机用户平衡分配模型进行估计，鉴于两级规划问题的非凸性，提出了基于灵敏度分析的启发式算法，最后，给出一个仿真算例说明本文提出的模型和算法的合理性。     

变结构交互式多模型滤波和平滑算法

针对机动目标跟踪问题，提出了一种变结构交互式多模型滤波和平滑算法。首先，对多模型滤波和平滑问题进行了简单描述，并给出了前向交互式多模型滤波和后向交互式多模型平滑的数学模型；然后，建立了变结构交互式多模型算法的精确模型，模型子集之间并行独立运行，通过选取概率最高的模型子集的状态估计作为最终的估计结果；最后，对变结构交互式多模型算法的滤波数据进行平滑处理，得到了变结构交互式多模型滤波和平滑算法。所提算法将前向滤波和后向平滑相结合，提高了目标跟踪精度。仿真结果表明，变结构交互式多模型滤波和平滑算法的跟踪效果优于其他方法。     

新型公交网络模型与最优出行路径算法

给出一种标号的二分图公交网络模型,在此模型基础上给出线路换乘与最优出行路径的算法,这种算法充分利用标号信息给出站点网络图的边权函数.基于站点网络图不仅能够搜索换乘线路而且能够找到最短路径.最后利用天津市部分公交系统验证了该模型及方法的有效性.     

基于算法与模型参数优选的智能DISOPE方法

本文给出了ＤＩＳＯＰＥ算法收敛速度指标的定义，提出了基于算法与模型参数优选的智能ＤＩＳＯＰＥ方法，有效地改善了ＤＩＳＯＰＥ方法的收敛性能和实用性。仿真表明了该方法的可靠性和有效性。     

交通网络设计的优化模型及算法

通过对交通网络设计的问题及其研究现状的分析．对离散型交通网络设计问题进行了深入的研究。采用双层规划模型描述问题．其中上层规划模型是从交通规划者的角度出发．在建设资金受到约束的前提下．设计合适的路网结构．使得公路网中的交通出行能达到系统最优；而下层优化模型则是从路网使用者的角度出发．使交通出行达到用户最优，针对该双层规划模型．本文对上层模型使用SA算法求解．而下层模型则采用了基于路径搜索的GP算法进行求解．以此为基础设计了SA—GP算法对其进行求解。算例计算的结果表明．模型和算法都是有效的，求取的结果能显著改善路网的交通情况．而且上下层算法的收敛速度快，从而能为路网规划决策提供支持。     

一类群体网络模型建立的代数算法

群体网络模型是多项目计划安排与控制的基础, 本文根据一类群体工程项目的特点结合网络图的代数表达, 提出了群体网络模型建模的原理和代数算法。     

模型库与可视化建模支持环境的沟通

本文首先讨论了ＤＳＳ中的模型的定义，并着重研究了用时序逻辑公式来描述模型过程，研究了时序逻辑与Ｐｅｔｒｉ网的互换算法，把信息用户可见的可视化模型同模型库中存贮的模型统一起来。     

混合交通方式划分与交通分配联合模型

目前我国很多城市各种类型车辆混合行驶，本文重点研究对称混合交通条件下方式划分与交通分配联合模型。描述了UE原则的变分不等式问题。在对称混合交通条件下，证明该联合模型的最优性条件与Wardrop用户均衡原则等价，以及路段流量最优解的唯一性，得到了Loglt形式的分担率模型。对实现该联合模型算法，提高算法的效率具有指导作用。     

基于IDEF3 的业务过程仿真模型的存储与获取

模型的集成和重用是提高仿真建模效率的有效方法,而模型的存储和获取是实现模型集成和重用的关键技术.在研究基于IDEF3的业务过程仿真建模的基础上,分析设计了相应的数据库概念模型,实现了仿真模型在关系数据库中的存储及与描述模型在数据上的共享和集成.然后,重点研究了如何通过结构化参数化的查询从模型库中获取用户想要的特定仿真模型,提出了综合考虑模型基本元素、基本模块、基本属性和整体结构的计算仿真模型相似性的算法,并开发了相应的支持软件工具.     

局部自回归模糊模型及其在小样本数据系统建模中的应用

提出一种基于Takagi-Sugeno模型（TS模型）结构的局部自回归模型糊型（LARF模型），将其用于小样本数据情况下的系统建模。深入分析LARF模型的结构特征，前件的选取、后件参数的辨识及其评价指标等，并提出了完整的模型辨识算法。该建模方法从一维的角度来考虑输入输出空间，减少待辨识参数的个数，同时采用一种具有两个调节参数的隶属函数，在求隶属度的同时完成了数据处理，从而可以省略数据预处理的工作。实例研究表明LARF模型是一种适合用来描述小样本数据系统的模型，相应的建模方法与辨识算法也是很实用的。     

航天任务模型到规划模型转换的映射方法研究

卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强.通过提出转换规则,分析模型转换的源模型--基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型--规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法.针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建.最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性.     

论模型的精度分析

我们在建立了某个数学模型之后,经常会碰到模型的精度分析问题。某些建模方法,如经济计量学,已具有一整套完善的精度分析工具;但其它大部分建模方法的精度分析问题都没有很好地解决,如灰色动态模型的精度分析尚存不少疑点,一些近似的参数估计方法更无明确的精度公式。总的来说,在模型的精度分析领域,至今似乎还没有一种统一的理论,也没有一套常规的计算公式。     

面向理论解的有限元等价模型态生成策略研究

在有限元技术的广泛应用中,存在一个普遍问题,即分析复杂模型十分耗费计算资源。怎样改造模型,使得模型改造前后的分析解的差异在可接受范围内,并有效提高计算效率一直是研究热点。引入的多态模型理论可通过肇低初始模型复杂度生成模型态,并用模型态代替初始模型进行计算以提高计算效率。由有限元误差估计理论推导可知,为了使初始模型与其模型态的分析解差异可控,必须首先保证两者的理论解差异可忽略。因此,以初始模型中的几句特征力研究对象,探索合适的特征改造策略,使得依据该策略生成的模型态与初始模型的理论解差异可忽略不升,即两者在理论解的角度上是等价的,为进一步量化估计初始模型与模型态的分析解差异打下工作基础。     

任务空间概念模型及其形式化抽象描述

任务空间概念模型对建模与仿真的互操作与重用有着重要的意义，但还没有一个统一的描述方法。文章研究了任务空间概念模型在仿真中的应用，探讨了它与作战想定、作战条令、条例之间的关系，然后对任务空间概念模型进行了形式化抽象描述，从而进一步给出了它的模型层次结构。     

复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统; 可执行模型; 可执行模型代数; 模型验证     

基于数值微分技术构造鲁棒估计模型的方法及其应用仿真

在研究宏观空间运动特性的基础上，利用数值微分作为表达工具描述未知运动过程的动态特性，构造了数值微分型滤波模型（NDFM）和数值微分型滤波－预报联合模型（NDFPM）。这种方法能根据各种应用要求对动态特性完全未知的运动过程建立结构简单、鲁棒性强的估计模型，而且容易选择估计算法获得满意的性能。本文对未知扰动作用下的被控过程建立NDFM并实现状态重构和扰动补偿；对动态未知的被跟踪目标建立NDFPM并估计出运动参数的当前值和一步预报值。仿真结果表明这两种模型具有较强的鲁棒性和满意的估计精度。     

基于特征的三维模型简化算法研究

细节层次模型（Level of Detail,LOD）是模型简化最有效的方法之一。针对以往细节层次模型简化算法对模型的特征与边界处理的不足,提出了一种基于特征的LOD模型简化算法,并给出了一种针对模型特征与模型边界的折叠代价函数,较好的解决了以往算法生成LOD模型时对模型重要特征与边界处理的不足,在对原始模型简化的同时,能够很好的保留模型的边界与特征。实验结果证明了算法的高效、可靠,既保持模型细节特征,又减少了模型简化误差。     

一般系统结构理论及其应用（Ⅱ）

在文献［１］的基础上首先通过对一般系统结构模型的数学分析，揭示一般系统原理及规律，从而从数学上取得一种新的面向问题、数学表达的一般系统理论，即一般系统结构理论；然后，应用一般系统结构理论研究一类专门系统——信息存储单元，包括：①推导存储单元结构模型；②揭示与存储单元工作速度有关的因子以及它与这些因子之间的数学关系；③提出改善存储单元工作速度的途径和方法．     

复杂仿真系统模型验证方法的研究

复杂仿真系统置信度评估理论及方法研究是仿真界的难题。本文根据复杂仿真系统的特点,提出了利用贝叶斯(Bayes)理论对复杂仿真系统模型进行验证的方法,建立了检验建模与仿真(M&S)中的复杂假设的规则及实现算法,经过部分实例证明此方法是一种准确、通用和有效的方法。对复杂假设进行检验的Bayes方法,对于小子样甚至是特小子样场合的仿真系统具有参考价值。     

基于讨价还价博弈的经理人激励契约研究

本文在代理人市场是非完全竞争的现实条件下,假设委托代理双方基于重视讨价还价过程的激励契约进行谈判.依据讨价还价过程,建立并求解了无限期Rubinstein轮流出价讨价还价博弈,并利用破裂点分析了代理人的机会主义支付,最后根据唯一子博弈精炼纳什均衡和破裂点为委托人和代理人提供了一份非线性均衡契约.在均衡契约中,委托人获得固定的企业净利润,代理人获得剩余部分,通过这种方式把企业绩效、代理人的努力水平和代理人的薪酬结合到一起.基于Rubi璐tein讨价还价博弈得到的激励契约,做到了在考虑到代理人利益的前提下实现委托人利益的最大化,这样的激励契约是有效率的,更是均衡的,也为激励契约的设计提供一种更符合现实情况的可供借鉴的方式.