GNSS兼容性软件设计与仿真分析

随着各国全球和区域卫星导航系统的建设或现代化升级,越来越多的信号占用拥挤的导航频段,卫星导航系统间的兼容性问题日益突出。在建立高精度的空间段、用户段、环境段与干扰模型的基础上,提出了一种GNSS兼容性分析的软件实现方法,给出了基于Matlab平台的GNSS兼容性软件的体系架构,详细描述了各主要模块的功能与实现方法。最后,仿真分析了Compass、GPS和Galileo三大导航系统在L1频段内的兼容性,得出GPS L1C/A信号是最主要的系统内干扰,最大为3.71dB,且GPS对其它系统的干扰均较大,约为2dB,Galileo对其它系统的干扰较小,不超过0.6dB。     

一种分布式制造系统控制结构的形式化建模方法

针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结构,结合有限状态自动机理论和制造系统自身混杂特性,提出一种优化自动机。同时,考虑到建模过程中Agent层次的动态划分和重组,进而提出了改进型动态控制元结构模型。最后,以瓷砖生产线为例,借助MATLAB为实验工具设计了相应的仿真实验,验证了所提理论和建模方法的可行性和有效性。     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

SUMPLE算法的合成权值相位性能分析与仿真

SUMPLE算法是深空网天线组阵中信号合成的最重要方法之一。研究了合成权值的补偿相位估计性能,从参数估计角度分析了该算法具有较好的合成性能原因。同时,进一步利用SUMPLE算法合成权值之间相位差实现多天线信号间的相位差估计,并推导了估计算法的理论性能以及分析了天线数对算法性能的影响。理论分析与仿真结果表明,天线数越多,相位差估计性能越接近估计下界,较适合于低信噪比下多天线信号间的相位差估计。     

面向精益建造的最后计划者系统研究综述

20世纪90年代以来, 精益建造逐渐影响着建设工程施工管理的思想和方法, 并在提升一些建筑企业的管理效率和经济效益中发挥重要作用. 最后计划者系统(LPS)作为精益建造实施最有力的管理工具之一, 已成为国际精益建造研究的重要领域, 中国也正在开始这方面的研究. 从LPS渊源入手, 简述了LPS内涵和演进历程; 在梳理已有文献的基础上, 勾勒出了LPS的研究框架; 进而对LPS的运行方式、运行环境、运行评价和工程应用等相关方面研究进行了系统综述; 在分析LPS已有研究成果局限性的基础上, 展望了未来的研究方向.     

混合Jobshop炼钢-连铸重调度方法及其应用

炼钢-连铸生产过程中加工设备起、停时间经常会出现严重延迟,导致调度计划不可行. 目前人工调整,存在响应速度慢和调整结果不优化的问题. 对炼钢-连铸混合Jobshop重调度问题进行了分析,提出了正在作业炉次已分配设备不变的重调度方法. 并提出了求解策略,将原调度分解为两个子调度问题. 引入炉次操作状态参数β,建立了正在作业炉次的时间修正模型,构造了启发式方法进行求解.对于未作业炉次,建立了多目标非线性0-1 整数规划模型,构造了并行逆推启发式算法进行设备指派,采用线性规划求解各操作的开工时间.基于上述方法开发了动态调度软件应用于国内某大型钢铁企业,在缩短动态调度时间、减少钢水冗余等待时间方面取得了显著成效.     

提高核电站安全可靠性的平行系统方法

安全可靠性是核电站存在和发展的生命线,目前它还主要是通过人的经验和严格管理等来保证, 但其智能性和科学性还不够.核电站是一个涉及多方面的动态变化要素的复杂系统,现有控制、 仿真和管理技术还不能为其生产运行和管理提供安全可靠的充分保证.本文以ACP方法为基础, 基于信息技术最新发展成果,提出了采用自上而下的规划和自下而上的设计相结合的方法, 来开发"核电站可靠性规划和设计软件包",使得核电站在建造前就有了安全可靠方面的科学依据. 进而提出平行系统方法, 分析其基本原理和成功应用实例,并介绍其在核电站中应用的人工系统、计算试验和平行执行的具体内容, 给出了PTS、PES和PMS等具体应用.     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

消除增长上限制约的管理对策生成法——-以银河杜仲区域规模养种生态能源系统发展为例

社会经济复杂系统中存在大量增长上限问题,刻画此问题的增长上限基模是由正反馈环、 负反馈环和延迟构成,其中负反馈环存在抑制系统不断发展的制约作用. 针对负反馈环产生制约作用的根本原因是存在起制约作用的负因果链, 首先基于对负因果链所属负反馈环中极大开环的结构特征分析, 遵循极大开环中输入变量改变量小于零的原则生成初始对策集, 接着根据复杂系统发展的多目标筛选得到目标筛选初始对策集, 再根据对策的实际实施条件筛选获得可操作的管理对策集, 然后仿真验证双筛选得到的管理对策的有效性.以银河杜仲区域规模养种生态能源系统发展为例, 基于2008-2010年的历史数据和其他实际信息,建立含七个核心变量的增长上限基模,利用此方法生成三条可操作性的管理对策. 以核心变量为基础,建立六棵流率基本入树,建立仿真模型.然后,定量仿真分析了消除增长上限制约的管理对策生成法的实施效应, 实现了从定性至定量综合有效分析,为实际系统发展提供决策依据,验证了此消除增长上限制约管理对策生成法的有效性.     

面向突发事件的模糊多目标应急决策方法

应急环境下的信息具有不确定性、模糊性, 运用单一的方法很难做出有效决策. 集成模糊理论, 灰色系统理论和多目标决策理论, 提出了一种改进的模糊多目标应急决策方法. 该方法首先结合灰色关联度计算各决策方案到TOPSIS正负理想解的距离, 然后采用三角模糊数, 处理决策信息的模糊性和不确定性, 突出了各决策方案之间的关联影响. 最后, 结合核电站事故应急决策的例子, 验证了所提出方法的可行性和有效性.