CTCS-3级列控系统临时限速服务器建模与形式化验证

临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全.在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性.分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证.验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考.     

小卫星姿控系统设计、分析与仿真测试一体化平台开发

基于并行工程的开发理念,依据星上姿控系统的技术特点和开发流程,搭建了一个集任务分析、控制算法设计与优化、软硬件开发、分系统及整星仿真、测试和验收于一体的"小卫星姿控系统设计、分析与仿真测试一体化平台",实现"边设计边测试"的高级开发理念,可为小卫星姿控系统研制开发全过程提供一整套技术解决方案,对于减少整星集成测试出错及零部件返工、提高系统开发过程中的柔性、缩短系统开发周期具有重要意义。仿真试验结果表明,集成平台可大幅提高卫星姿控系统开发效率,对后续系列型号卫星姿控系统的研制开发也具有重要应用价值。     

电梯群控研究及仿真试验台开发

电梯群控系统是将数台电梯统一管理，根据建筑物中的交通状况和相应的服务要求，提高运行性能的控制系统。分析了群控系统功能和特点，设计了系统的软硬件结构，建立了电梯群控系统仿真试验平台。硬件系统采用分布式控制，单梯运行仿真由各自相应的微控制器单元完成，群控及实时运行监控功能采用面向对象技术在工控机上实现，各功能模块之间采用CAN总线通信。该仿真试验台为群控策略研究提供了软硬件平台。     

Web Enabling HLA:XMSF下 Web-RTI的研究与开发

美国国防部(DoD)2002年提出了可扩展建模与仿真框架XMSF报告[1];对Web技术如何支持M&S进行了深入研究.这一框架使新一代M&S应用的可重用性和互操作性有了进一步的发展,代表了基于Web的仿真技术的发展方向.综合比较了XMSF与HLA两种仿真框架的特点,提出通过使用Web-RTI支撑平台,在继承HLA体系优点的基础上使能XMSF下HLA大规模应用,并利用XMSF思想对Web-RTI支撑平台进行了研究和开发并给出其部分Profiles.     

基于XMSF的潜艇战术训练仿真系统分析与设计

针对HLA在潜艇战术训练仿真系统中的局限,提出了基于XMSF潜艇战术训练仿真系统的设计方案.首先概述了XMSF,然后根据潜艇战术训练仿真系统的功能需求,分析并设计了仿真训练系统实现中的关键技术,包括系统模型库设计、仿真系统与C4ISR系统的集成、搜索引擎、网络服务质量、中间件设计等.     

基于HLA的异构仿真系统的快速集成方法综述

仿真应用需求从过去的单系统仿真,发展到今天的多系统仿真和复杂系统联合仿真,且仿真系统对各自仿真平台的需求也有所差异,实现这些仿真系统尤其异构仿真系统的快速集成具有实际意义.主要论述基于HLA的异构仿真系统的快速集成方法,首先描述异构仿真系统实现快速集成的三种相关支持技术:代理技术、中间件技术和Web技术;接着详细讨论基于这些技术的不同实现方法,包括利用桥接成员实现多联邦互联,通过仿真系统框架中间件使仿真系统在异构仿真平台上实现快速集成,使用基于Web技术的XMSF使仿真系统成为松散耦合、面向组件和跨平台实现;最后总结这些方法的研究现状和各自特点.     

基于HLA/pRTI的卫星姿轨控系统仿真研究

基于高层系统结构HLA/pRTI对卫星姿轨控系统的仿真进行了初步研究,提出了姿轨控系统仿真软件平台的基本框架,介绍了姿轨控系统模型,给出了联邦FOM模型及时间管理策略。在自主研制的SSVS仿真平台上对卫星在轨运行场景进行了一体化分布仿真,对仿真结果进行了分析,并得出结论。     

可扩展建模与仿真框架-XMSF技术研究

近年来，基于web的建模与仿真技术研究的开展提出了可扩展的建模与仿真框架XMSF，它对建模与仿真技术的发展特别是在系统框架和构成方面具有重要的意义。文中简要介绍了XMSF的研究现状，讨论了其主要支持技术，进而重点介绍了XMSF研究的几项关键技术，最后给出从国外XMSF研究中可以借鉴和学习到的两点建议。     

基于网格的分布仿真平台的核心技术研究

提出了一种基于网格的分布仿真平台,结合最新网格技术和高层体系结构技术实现以服务为基本元素的分布仿真运行支撑环境,具有灵巧、高效、通用和实用的特点.并进一步从技术实现上提出了构建平台所需的核心技术,包括:运行支撑环境中基于代理的请求回调机制、实现仿真资源管理和调度的管理中心、高效的协同监控组件.最后,对平台的核心组件进行性能测试.该平台可以高效完成广域网仿真,实现仿真资源的共享、重用及优化调度,提高系统负载均衡能力,实现对仿真的协同监控.     

基于XMSF的建模与仿真研究

继HLA之后,建模与仿真(M&S)技术如何发展,是当前仿真界正在考虑的问题。美国国防部(DoD)2002年提出了可扩展建模与仿真框架(XMSF)报告[1],对Web技术如何支持M&S进行了深入研究。这一框架使新一代M&S应用的可重用性和互操作性有了进一步的发展。本文阐述了XMSF的概念,在分析HLA缺点的基础上利用XMSF思想对HLA进行了完善,并且就如何利用XMSF进行大规模仿真开发做出了启发性的指导。     

分工模型的改进

本文对新兴古典经济学的分工模型进行了改进,把传统的“     

某反坦克导弹视场交叉判据建模与仿真

在建立了某反坦克导弹目标瞄准线数学模型，红外视场锥面数学模型和红外视场重合长度数学模型的基础上，实现了对瞄准线高低角，方向夹角，瞄准线公垂线长度和交叉火力射击条件下视场重合长度的数学解析计算，从而确定了视场在空间的相互位置关系，为进行合理的阵地配置提供了科学的理论依据，最后进行了仿真验证。     

仿生机器鱼尾鳍的动力学研究

高的稳定性是仿生机器鱼高效推进的前提，而对尾鳍的稳定性控制是实现仿生机器鱼稳定性的主要方法。通过“二维波动板”理论，建立了三节仿生机器鱼的动力学模型，并对模型进行了实验验证，由该模型出发，分别计算出水动力和惯性力引起的尾鳍驱动力矩的值，分析了该值与仿生机器鱼各个运动参数的联系。为仿生机器鱼的稳定性控制建立了理论基础。     

四类拍卖的收益等价性研究

在收益等价性及应用的完整框架下对四类拍卖的收益等价性问题进行了总结、研究和探讨.在对收益等价定理进行推论和应用的基础上,确认了SIPV(对称、独立、私人价值)假设下四种拍卖期望收益与期望支付的等价性,推导了二价全支付拍卖的均衡竞价策略.在此基础上比较并解释了SIPV假设下四种拍卖均衡报价的排序关系.总结,比较并解释了关联价值假设下四种拍卖的期望收益的排序关系.指出不同的信息结构设定是影响不同假设下拍卖收益等价性和不同假设拍卖模型对经济现象解释能力的关键因素.最后,展望了拍卖收益等价问题的新的发展方向.     

移动视频直播的互动性对持续使用意愿的影响

移动视频直播指用户通过移动设备实时制作或观看视频的服务。近年来,移动直播APP快速发展,吸引了大量的用户,然而平台的最终成功取决于用户持续使用。本文聚焦于移动视频直播的互动性,以流体验理论、社会临场感理论和认同理论为基础,从心理认知视角探讨了互动性对用户持续使用意愿的作用机理。通过问卷调查,共收集346份有效问卷,采用SPSS和PLS软件对假设模型进行验证。结果显示,移动视频直播的互动性通过提高用户观看体验（流体验、社会临场感）和主播认同进而影响满意度和持续使用意愿。同时互动性的各个维度对用户体验和认同感的影响程度存在显著差异。据此,为移动视频直播运营商的长期发展提供了理论指导。     

风险概念分析

分析了风险的概念,介绍了不确定性经济学、保险和金融三个领域中与风险有关的概念（效用函数,风险厌恶,保险,金融风险）和各自关心的主要问题（如风险的衡量,保费的确定,资产价格波动）,以及一些重要结论（Pratt定理等）。     

油田压裂井增油量的预测及其生产规划的优化设计

利用现有压裂井产油观测数据，采用动态数据处理方法，建立了月增油量的预测模型；依据预测结果，利用整数规划的方法，规划设计未来年度油田的压裂井数及压裂方式。     

线性调频-二相编码雷达信号分析

报道了一类由二相编码信号与线性调频信号组合而成的新的脉冲压缩信号。导出了这类信号的表达式。通过理论分析和计算机模拟,给出了该类信号的模糊函数(图),幅度谱特性,匹配滤波器输出波形,多普勒频移特性,有加权时的压缩脉冲时间旁瓣波形和低截获概率等方面的性能。分析证明,该类信号与线性调频信号或二相编码信号相比具有更好的低截获概率特性,其多普勒性能优于二相编码信号。     

线性多目标规划有效解的有效率

给出了线性多目标规划 (LinearMultiobjectiveProgramming,LVP)有效解的有效率的定义。指出LVP决策可只考虑非劣极点的理论依据 ,并讨论了这些非劣极点的排序。     

卫星导航的相对精度衰减因子单调性分析

相对精度衰减因子(RDOP)是衡量全球卫星导航系统相对定位性能的几何强度指标.简要给出了两种类型RDOP的描述,并分别给出了单调性证明.相对于同一参考卫星或是不同参考卫星进行双差观测,均有其RDOP随着可见导航卫星数目增加而单调递减的性质.结合编队卫星的星间相对定位背景,仿真计算了全球卫星导航系统的RDOP,给出了某时刻每颗可见卫星对RDOP的贡献,证实了RDOP的单调性;而卫星数目增加到一定程度时,RDOP的降低已不明显,因此应综合考虑可见卫星的数目和相对定位的精度需求等方面因素进行选星.