模型校验相关论文
针对当前作战仿真领域可信性评估这一难点问题,以电子对抗作战仿真为切入口,利用电子对抗信号级模型来对作战级模型开展校验,进而......
作为自动装填系统中的关键部件,弹丸协调臂的回转速度和到位精度影响着装填系统的可靠性、火炮的射击速度和射击精度,但是在运行过......
随着机动车交通需求的迅速增长,城市快速路和城际高速公路出现严重交通拥堵和交通安全问题。科学合理地构建宏观交通流模型有利于......
工作流技术作为面向流程的管理技术，可以为企业带来智能化、高效性、可控性和灵活性。越来越多的企业正在扩展对工作流技术的应用，以......
编译器作为计算机软件中最为基础的软件之一,与操作系统、数据库系统一起被列为构成计算机系统软件的关键性的基础设施。而编译器......
城市供水管网优化调度是城市供水企业科技进步和发展的重要内容,是提高供水企业现代化经营管理水平、降低经营成本、提高运行和调......
建立了导弹的弹道数学模型.根据模型的条件、规定的导弹发射初始条件以及海情装订情况的目标初始值,对数学模型进行解算,得出理想......
随着城市给水规模的不断增大,给水系统所带来的巨大能耗,尤其是由于不合理运行方式所带来的巨大能量浪费显得日益突出,传统的经验......
随着风力发电并网容量的快速增加,风电接入对电网运行性能的影响越加明显。联网运行双馈感应风电机组的运行特性对电网的安全稳定......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
由于有限元建模中存在不确定性因素的影响，大跨度拱桥初始设计模型的理论分析结果与现场测试数据之间存在一定差异．为了消除模型校验......
稳固是为工作流的正确性的一个很重要的标准。与计算树逻辑(CTL ) 指定稳固允许我们与符号的模型检查器验证稳固。因此，在验证稳固......
论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确......
模型校验中的经济有效性问题对于仿真系统,特别是大型复杂的军用仿真系统的模型校验十分重要.通过对模型校验策略的分析,讨论了如......
由于水文地质条件的复杂性和开采技术的多样性，目前底板水的运移及突水量预测仍然较为困难。根据五沟煤矿现场工程地质、水文地质条......
以采用AAO工艺的德清县狮山污水处理厂作为生物场-水力场-温度场耦合模型校验的现场试验基地.针对AAO工艺的特点,按照物料平衡原理......
客流分布短时预测对于城市轨道交通运营管理和乘客出行服务具有重要的实际意义。采用自底向上的网络建模技术,利用动态仿真方法模......
将给水管网优化调度技术应用于城市供水系统当班调度,具有经济效益和社会效益.通过对南京市给水管网优化调度数学模型与计算方法的......
本文首先对基于实时数据库的电网模型进行了介绍,接着对贮备系统模型的数据进行校验研究,最后对主备系统模型校验的关键技术进行研......
针对当前继电保护信息管理主站模型维护繁杂、故障排除困难的现况,提出一种基于Trie树的实时保护模型校核方法,实现继电保护信息主......
为内容和文件的记事结构上的限制的说明和确认的概念结构被建议。作为一个说明形式体系， CTL_(DL ) 被定义，它是由描述逻辑概念的时......
为了解决大地坐标系中的大气辐射传输计算问题,提出了TOG模型。首先,建立了球面大气模型,依据目标和观察者的大地坐标、观察日期和......
可信度研究是近年来数字仿真中的热门话题之一.讨论了可信度研究的重要意义以及可信度研究与仿真建模之间的关系.以实例说明了模型......
燃气可以减少污染,节约能源,保护环境,提高人类的生存质量。我国天然气与管道建设完成了跳跃式的发展,也标志着我国长输管道工程技......
虚拟装配仿真作为虚拟制造实施的核心技术之一，其主要任务是用可视化手段研究和解决产品的可装配性问题。文中在Pro/E参数化建模的......
总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,......
测试性模型的准确性直接影响测试性建模仿真结果,从而影响产品的测试性评估与设计改进。分析了当前建模过程中存在的一些不足,结合......
为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之......
建立了导弹的弹道数学模型。根据模型的条件、规定的导弹发射初始条件以及海情装订情况的目标初始值，对数学模型进行解算，得出理想弹......
电力资源发现与应用推动了人类文明的进步,随着我国电力体制改的持续深化,传统电力企业营销环境发生了巨大变化,面对日益缩小的市......
主动配电网的主动管控涉及诸多用户、系统间的交互参与,与主站的交互过程需要有统一的公共信息模型以从元数据层面维护信息的语义......
排水管网是城市重要的基础设施,担负着城市旱天转输污水,雨天防洪排涝的重要功能。随着城市化进程的推进,传统排水管网的规划设计,......
发展了基于代理模型的不确定度量化方法,以少量确定性模拟结果为样本,通过代理模型来构建目标变量和不确定性输入参数的响应关系,......
分析了舰船作战系统仿真的现状和一体化建模仿真环境的特点，讨论了一体化建模仿真环境应具备的功能：模型管理、模型验证、仿真管理、......
随着计算机及其相关技术在武器系统设计中应用的深入，引信设计正在逐步摆脱以物理试验为主的传统设计模式，迈入到以数字仿真为主要手......
为本体-控制一体化设计提供有效模型,有助于解决高超声速飞行器控制与外形优化问题。针对直接基于非线性模型进行一体化设计难度大......
目前国内微观交通仿真缺乏系统的规范和指引,在仿真软件的应用过程中普遍采用系统默认的推荐值进行建模分析,往往忽略系统参数标定......
土地利用/覆被变化(Land use/Cover change, LUCC)是生态系统过程的重要组成部分,通过模型拟合这一变化过程具有重要意义。从当前L......
期刊
高层结构中的填充墙在地震作用下与周围结构构件之间的相互作用十分复杂,对建筑结构的整体抗震性能具有较大影响。然而我国规范在......
电网调度自动化体系以主调为依托,以备调为辅助,是精益化调度的技术基础。为维系主、备调的健康率,需要建立主、备系统间模型数据......
为解决营配贯通过程中营配网末端设备建模不统一和建模工作复杂等问题,遵循IEC 61970-301/61968-11标准,按照IEC-CIM建模方法论、......
对高层建筑在环境激励下现场实测以及随机振动分析,所获得的频率和振型等模态信息对于高层建筑结构的动力性能评估和抗震设计有着......
基于电网调度自动化主调系统及集成时间序列数据库的电网调度自动化备调系统,提出了两系统之间模型正确性校验的新策略。在分析关......
利用模型模拟研究作物生长及植株-土壤氮循环已在农业实践中得到越来越广泛地应用。同时土壤氮循环监测系统(BaPS)的应用为研究土......
本文研究对象为河北工业大学太阳能-地源热泵空调系统,该系统有两个大小不同的地源热泵机组(HP1和HP2)和对应的两个地埋管群(地埋......
在信息化时代,软件产品已经成为我们工作学习中不可缺少的重要组成部分。软件作为信息交流传播和自动化生产控制的载体,逐渐成为人......
