模型校验经济有效性问题的优化模型与方法

1

作者 商长安 聂成 宋懋 《空军工程大学学报（自然科学版）》 CSCD 2003年第3期61-63,共3页

模型校验中的经济有效性问题对于仿真系统,特别是大型复杂的军用仿真系统的模型校验十分重要。通过对模型校验策略的分析,讨论了如何建立这一问题的优化模型,并给出了基于线性规划和非线性规划的模型求解方法。

关键词 模型校验 置信度 经济有效性 优化模型

在线阅读 下载PDF 职称材料

电网调度自动化主备系统间模型正确性校验技术方案 被引量：9

2

作者 赵家庆 赵裕啸 +5 位作者 丁宏恩 张珂珩 钱科军 李春 吕洋 俞亮 《电力系统保护与控制》 EI CSCD 北大核心 2014年第19期139-144,共6页

基于电网调度自动化主调系统及集成时间序列数据库的电网调度自动化备调系统,提出了两系统之间模型正确性校验的新策略。在分析关系数据库和时间序列数据库的核心技术的基础上,对调度自动化主备系统间模型正确性校验技术进行了拓展性研... 基于电网调度自动化主调系统及集成时间序列数据库的电网调度自动化备调系统,提出了两系统之间模型正确性校验的新策略。在分析关系数据库和时间序列数据库的核心技术的基础上,对调度自动化主备系统间模型正确性校验技术进行了拓展性研究,着重讨论了模型数据的存储结构、模型校验的技术架构和校验流程。成果已在智能电网调度技术支持系统苏州工程中得到了实际应用,有效提高了主备系统间模型校验效率,为精益化电网调度提供了技术支撑。 展开更多

关键词 模型校验 时间序列数据库 调度自动化 主备系统 数据补齐

在线阅读 下载PDF 职称材料

输变电设备全景信息模型的智能管理与校验方法 被引量：6

3

作者 李万启 郭创新 +3 位作者 熊世旺 张金江 曹敏 薛武 《高电压技术》 EI CAS CSCD 北大核心 2015年第12期3987-3993,共7页

针对物联网环境下输变电全景信息模型管理与维护工作复杂、困难的问题,在Eclipse建模框架下,提出对全景信息模型对象进行基于SAX的语义解析和动态加载,并在数据库中根据实际的物理模型进行存储转换的方法,设计并实现了全景信息模型与面... 针对物联网环境下输变电全景信息模型管理与维护工作复杂、困难的问题,在Eclipse建模框架下,提出对全景信息模型对象进行基于SAX的语义解析和动态加载,并在数据库中根据实际的物理模型进行存储转换的方法,设计并实现了全景信息模型与面向对象模型的自动转换和公共信息模型文件到数据库表的具体智能转换流程。研究结果表明:在操作过程中,该方法可对输变电设备全景信息模型规范性、完整性进行校验。在系统开发、数据接入和平台维护等方面,该方法提高了自动化水平和全景信息模型的管理和维护效率。将其应用在基于物联网的输变电设备全景信息集成平台中,有效性得到了验证。 展开更多

关键词 输变电设备 物联网 全景信息模型 可扩展标记语言简单接口 模型自动化 模型校验 IEC 61970

在线阅读 下载PDF 职称材料

主动配电网信息模型的自动差异比对映射与校验 被引量：3

4

作者 张弘 刘东 +1 位作者 马春雷 丁健 《南方电网技术》 北大核心 2016年第12期24-31,共8页

主动配电网的主动管控涉及诸多用户、系统间的交互参与,与主站的交互过程需要有统一的公共信息模型以从元数据层面维护信息的语义一致性,促进信息集成。针对目前主动配电网各自动化子系统间因信息异构导致的交互困难等问题,基于本体理论... 主动配电网的主动管控涉及诸多用户、系统间的交互参与,与主站的交互过程需要有统一的公共信息模型以从元数据层面维护信息的语义一致性,促进信息集成。针对目前主动配电网各自动化子系统间因信息异构导致的交互困难等问题,基于本体理论,解析元数据,提出了一种限定深度的迭代搜索算法以实现异构信息模型的自动比对映射,改善了传统人工差异比对低效的缺陷。同时,还开发了多层次模型校验工具,可以分别依据消息模式、本体模型与拓扑规则对交互消息从消息格式、信息模型、模型质量三个维度进行检验,筛选异常信息。通过主动配电网分布式电源算例的映射与校验测试,验证了所提方法的有效性,有助于维护交互信息的一致性,促进主动配电网的信息集成。 展开更多

关键词 主动配电网信息集成 公共信息模型(CIM) 模型映射 模型校验

在线阅读 下载PDF 职称材料

虚拟维修模型的校验方法研究 被引量：2

5

作者 邹超 张志利 颜宁 《计算机工程与设计》 CSCD 北大核心 2009年第23期5531-5533,5551,共4页

介绍了虚拟维修与建模仿真的关系,分析了虚拟维修模型校验的特点,研究了虚拟维修模型校验的方法,分别应用置信区间法、假设检验法、Bayes法、TIC法、频谱分析法从静态性能和动态性能两个方面对模型实施校验,从而为虚拟维修模型准确性、... 介绍了虚拟维修与建模仿真的关系,分析了虚拟维修模型校验的特点,研究了虚拟维修模型校验的方法,分别应用置信区间法、假设检验法、Bayes法、TIC法、频谱分析法从静态性能和动态性能两个方面对模型实施校验,从而为虚拟维修模型准确性、实时性提供了较为可靠的验证方法。为虚拟维修模型的校验提供一套系统的理论和方法,有利于虚拟维修模型得到更好应用。 展开更多

关键词 虚拟维修 模型校验 置信区间法 假设检验法 Bayes法 TIC法 频谱分析法

在线阅读 下载PDF 职称材料

MPEG-4校验模型的研究与实现

6

作者 贺玉文 钟玉琢 《小型微型计算机系统》 CSCD 北大核心 1999年第7期496-499,共4页

本文主要是对ＭＰＥＧ－４校验模型（ＶＭ）关键技术进行研究，并实现了校验模型的编解码算法，主要包括形状、运动、纹理的压缩编码．在程序实现中形状编码采用基于内容的算术编码；运动编码在传统方法基础上做了改进，如半象素搜索、... 本文主要是对ＭＰＥＧ－４校验模型（ＶＭ）关键技术进行研究，并实现了校验模型的编解码算法，主要包括形状、运动、纹理的压缩编码．在程序实现中形状编码采用基于内容的算术编码；运动编码在传统方法基础上做了改进，如半象素搜索、无限的运动失量、高级预测方式等；纹理编码主要还是用传统方法，如ＤＣＴ、量化、变长编码等，改进只是对帧内（ｉｎｔｒａ）方式中ＤＣ、ＡＣ系数预测方法．现已实现了多个视频对象同时编码，解码时实现了ＭＰＥＧ－４中用户交互的特点，可对编码的视频对象进行操作． 展开更多

关键词 校验模型 MPEG-4 图象编码 纹理编码

在线阅读 下载PDF 职称材料

超小型直升机动力学模型的建模、辨识与验证 被引量：7

7

作者 杨帆 熊笑 +1 位作者 陈宗基 张平 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第8期913-917,共5页

为实现超小型直升机的自动控制飞行,需建立较为精确的动力学模型.考虑机体、主旋翼/稳定杆和尾桨间的耦合对飞行动态特性的影响,建立了AF25B型超小型直升机的连续线性时不变系统模型.设计并配置了机载设备,完成在遥控飞行状态下的飞行... 为实现超小型直升机的自动控制飞行,需建立较为精确的动力学模型.考虑机体、主旋翼/稳定杆和尾桨间的耦合对飞行动态特性的影响,建立了AF25B型超小型直升机的连续线性时不变系统模型.设计并配置了机载设备,完成在遥控飞行状态下的飞行数据采集与存储.通过时域系统辨识方法,辨识了直升机在悬停状态下的模型参数,并对辨识结果进行验证和分析,表明所建模型能充分反映该型直升机悬停状态下的动态特性. 展开更多

关键词 无人直升机 时域系统辨识 稳定杆 动力学模型 模型校验

在线阅读 下载PDF 职称材料

城市轨道交通客流分布短时预测模型研究及应用 被引量：16

8

作者 周玮腾 韩宝明 +1 位作者 李得伟 郑宣传 《城市轨道交通研究》 北大核心 2015年第2期24-28,33,共6页

客流分布短时预测对于城市轨道交通运营管理和乘客出行服务具有重要的实际意义。采用自底向上的网络建模技术,利用动态仿真方法模拟乘客出行行为,构建城市轨道交通客流动态分布仿真模型,进行城市轨道交通线网客流分布短时预测,并通过实... 客流分布短时预测对于城市轨道交通运营管理和乘客出行服务具有重要的实际意义。采用自底向上的网络建模技术,利用动态仿真方法模拟乘客出行行为,构建城市轨道交通客流动态分布仿真模型,进行城市轨道交通线网客流分布短时预测,并通过实际AFC(自动售检票)刷卡数据进行二元校验。依托北京市轨道交通安全防范物联网应用示范工程,将其应用于北京地铁运营实践中,结合实例验证了模型的可行性和有效性。 展开更多

关键词 城市轨道交通 短时客流预测 多主体仿真 模型校验 自动售检票数据

在线阅读 下载PDF 职称材料

基于SysML的复杂机电系统设计模型形式化扩展与验证 被引量：6

9

作者 曹悦 刘玉生 +2 位作者 赵建军 叶晓平 周书华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2019年第12期2166-2176,共11页

形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形... 形式化系统验证是保证系统设计正确性的一种重要手段.如何针对复杂机电系统物理与软件相融合的特征,对系统设计的动态特征进行验证,是系统验证研究领域亟待解决的问题.针对这一问题,对系统工程标准建模语言SysML进行扩展,提出了一套形式化系统模型验证方法.首先,以计算树逻辑和基于流的功能表示为形式化基础,形成基于SysML的系统功能建模方法;然后,以混合自动机为基础,建立基于SysML的系统行为建模方法;最后,针对物理与软件子系统的不同动态特征,借助NuSMV模型校验器,以层次化方式实现系统模型的自动验证.以移动机器人系统为例,展示了复杂机电系统设计模型的自动验证过程. 展开更多

关键词 机电一体化系统 基于模型的系统工程 系统设计 系统验证 模型校验

在线阅读 下载PDF 职称材料

基于功率灵敏度的动态等值模型可信度量化评估方法 被引量：4

10

作者 周海强 周晓成 +2 位作者 鞠平 潘学萍 卫志农 《电力系统自动化》 EI CSCD 北大核心 2012年第8期6-10,共5页

为准确判断电力系统动态等值模型的有效性,提出了基于功率灵敏度的等值模型可信度量化评估方法。介绍了功率灵敏度的基本概念,推导了计及感应电动机负荷的系统功率灵敏度矩阵,指出电力系统动态响应本质上取决于动态元件相互之间传输功... 为准确判断电力系统动态等值模型的有效性,提出了基于功率灵敏度的等值模型可信度量化评估方法。介绍了功率灵敏度的基本概念,推导了计及感应电动机负荷的系统功率灵敏度矩阵,指出电力系统动态响应本质上取决于动态元件相互之间传输功率的灵敏度。根据等值系统的特点,分析了等值前后功率灵敏度矩阵之间的关系,给出了研究系统内部及研究系统与外部系统之间的功率灵敏度误差,定义了等值模型可信度。以IEEE 10机39节点系统为例,分别计算了不同等值模型的可信度。仿真结果表明,该指标准确并量化地反映了动态等值模型的有效性,对于不同等值模型具有良好的辨别能力,且计算量小,可有效应用于等值模型校验。 展开更多

关键词 动态等值模型 模型校验 等值模型可信度 功率灵敏度 感应电动机

在线阅读 下载PDF 职称材料

基于大地坐标系的球面大气辐射传输模型 被引量：2

11

作者 杨春平 马小莉 +4 位作者 郭晶 敖明武 叶玉堂 曲兆俊 徐振亚 《电子科技大学学报》 EI CAS CSCD 北大核心 2016年第2期301-305,311,共6页

为了解决大地坐标系中的大气辐射传输计算问题,提出了TOG模型。首先,建立了球面大气模型,依据目标和观察者的大地坐标、观察日期和时间给出了观察天顶角和方位角、太阳天顶角和方位角的计算方法。然后,提出了分层迭代算法计算球面大气... 为了解决大地坐标系中的大气辐射传输计算问题,提出了TOG模型。首先,建立了球面大气模型,依据目标和观察者的大地坐标、观察日期和时间给出了观察天顶角和方位角、太阳天顶角和方位角的计算方法。然后,提出了分层迭代算法计算球面大气中的物质吸收量。采用孤立层和累加法解算了球面大气的上行辐射亮度。利用TOG模型计算分析了两个红外波段内大气的辐射传输特性,并使用MODIS的测量结果对TOG模型进行了校验,结果表明相对差异小于5%。 展开更多

关键词 大地坐标 分层迭代算法 模型校验 辐射传输 球面大气

在线阅读 下载PDF 职称材料

五效蒸发装置模型与仿真 被引量：4

12

作者 田荣海 陈国礼 +1 位作者 吴俊生 张素贞 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第5期568-572,共5页

从机理分析出发 ,建立了五效蒸发的数学模型 ,用现场数据对模型进行了校验及仿真研究 ,结果表明模型是合理和有效的。

关键词 五效蒸发 数学模型 模型校验 仿真

在线阅读 下载PDF 职称材料

数字仿真模型的校核、验证和确认 被引量：7

13

作者 李云峰 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第2期273-276,共4页

论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确性的主要因素,探讨了仿真建模与可信度之间的关系。研究结果表明:影响仿真结果的主要因素是仿真建模;为... 论述了数字仿真模型校核、验证、确认的重要性,以实例说明了模型校核、模型验证、结果确认的实施方法,分析了影响数字仿真结果正确性的主要因素,探讨了仿真建模与可信度之间的关系。研究结果表明:影响仿真结果的主要因素是仿真建模;为了确保仿真模型的准确性,必须对其进行校核、验证和确认。 展开更多

关键词 数字仿真模型 模型校验 模型验证 模型确认 仿真可信度

在线阅读 下载PDF 职称材料

高速导弹末制导虚拟样机系统设计、建模及校验 被引量：2

14

作者 刘海军 《现代防御技术》 2004年第6期33-37,共5页

总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,并提出了解决方案。

关键词 虚拟样机 系统建模 模型校验

在线阅读 下载PDF 职称材料

安徽五沟煤矿1016面底板突水GMS模拟模型研究 被引量：7

15

作者 胡艳卉 张文泉 +1 位作者 任仰辉 颜文珠 《山东科技大学学报（自然科学版）》 CAS 2009年第4期35-39,共5页

由于水文地质条件的复杂性和开采技术的多样性,目前底板水的运移及突水量预测仍然较为困难。根据五沟煤矿现场工程地质、水文地质条件,通过概化水文地质条件,建立数学模型。采用GMS软件,建立1016面开采涌水模拟模型,通过对模型的检验分... 由于水文地质条件的复杂性和开采技术的多样性,目前底板水的运移及突水量预测仍然较为困难。根据五沟煤矿现场工程地质、水文地质条件,通过概化水文地质条件,建立数学模型。采用GMS软件,建立1016面开采涌水模拟模型,通过对模型的检验分析,验证模型的准确性,为深入系统地研究五沟煤矿1016工作面底板岩层破坏机理和突水条件以及为煤矿防治水设计提供依据。 展开更多

关键词 GMS 底板突水 水文地质模型 模型校验

在线阅读 下载PDF 职称材料

稻田土壤-作物系统模型参数敏感性分析与模型验证 被引量：14

16

作者 史鑫蕊 梁浩 +1 位作者 周丰 胡克林 《农业机械学报》 EI CAS CSCD 北大核心 2020年第5期252-262,271,共12页

为提高稻田土壤-作物模型校准过程的效率和精度,以长江中游地区两年的稻田试验数据为基础,采用Morris和Sobol’两种方法对WHCNS_Rice模型参数进行了全局敏感性分析,并在此基础上进行模型校准和验证。结果表明,两种方法得到的模型主要敏... 为提高稻田土壤-作物模型校准过程的效率和精度,以长江中游地区两年的稻田试验数据为基础,采用Morris和Sobol’两种方法对WHCNS_Rice模型参数进行了全局敏感性分析,并在此基础上进行模型校准和验证。结果表明,两种方法得到的模型主要敏感性参数基本一致,与Sobol’方法相比,Morris方法具有计算量小和筛选快速的优势。土壤水力学参数和作物参数对模型输出项均有较大的影响,尤其是土壤水力学参数中的饱和含水率、田间持水率以及犁底层饱和导水率;作物参数中生育期总有效积温、最大比叶面积和作物系数对作物生长过程影响较大;氮素转化参数中仅氨挥发一阶动力学系数和反硝化经验系数分别对氨挥发和氮反硝化有一定的影响,其余参数均不敏感。在此基础上,固定非敏感参数,重点校准上述敏感参数。模型校验结果表明,模型模拟的地上部干物质质量、作物吸氮量、蒸散量和田面水高度均与实测值吻合较好,模拟值与实测值线性回归方程的斜率和相关系数均接近于1,P小于0.01,说明校验后的模型可用于模拟该地区的水稻生长过程及稻田水分动态和氮素去向。采用Morris方法对筛选出的模型敏感性参数进行模型校准和验证,可以大大提高模型校验的效率和精度。本研究可为稻田土壤作物系统WHCNS_Rice模型参数的校准和模型的推广应用提供技术支持。 展开更多

关键词 稻田 敏感度分析 Morris方法 Sobol’方法 模型校验 WHCNS_Rice模型

在线阅读 下载PDF 职称材料

基于IEC-CIM的营配网末端设备公共信息模型设计 被引量：15

17

作者 刘玉玺 欧阳红 +3 位作者 李刚 郑倩 胡然 王法恩 《智慧电力》 北大核心 2019年第2期75-81,共7页

为解决营配贯通过程中营配网末端设备建模不统一和建模工作复杂等问题,遵循IEC 61970-301/61968-11标准,按照IEC-CIM建模方法论、设计思路以及模型扩展原则设计营配网末端设备公共信息模型。首先,按照电网资源和资产分开基本原则进行建... 为解决营配贯通过程中营配网末端设备建模不统一和建模工作复杂等问题,遵循IEC 61970-301/61968-11标准,按照IEC-CIM建模方法论、设计思路以及模型扩展原则设计营配网末端设备公共信息模型。首先,按照电网资源和资产分开基本原则进行建模;其次,制定营配网末端设备公共信息模型的设计思路、设计原则以及设计规范;再次,按照变电站-线路-变压器-接入点-计量点-用户主线,设计营配网末端设备公共信息模型;最后,开发模型校验工具验证所设计营配网末端设备公共信息模型的准确性,统计模型规模,并将模型自动转化为Word文档用于发布。本文所提出的模型设计方法,可用于指导营配信息集成及后续模型设计。 展开更多

关键词 IEC-CIM 营配贯通 营配网末端设备 模型设计 模型扩展 模型校验

在线阅读 下载PDF 职称材料

地空导弹武器控制弹道建模仿真调试及校验方法 被引量：1

18

作者 王润平 张五洲 +1 位作者 王虎林 李建坤 《火力与指挥控制》 CSCD 北大核心 2010年第6期81-85,共5页

控制弹道是控制专业必须的分析工具,也是其他许多专业的开展工作的基础。控制弹道仿真结果的精度与可信性直接影响着地空导弹武器系统的设计、定型结果。控制弹道的程序调试工作是一个较为复杂的过程,需要较强的综合判断能力。对地空导... 控制弹道是控制专业必须的分析工具,也是其他许多专业的开展工作的基础。控制弹道仿真结果的精度与可信性直接影响着地空导弹武器系统的设计、定型结果。控制弹道的程序调试工作是一个较为复杂的过程,需要较强的综合判断能力。对地空导弹武器系统的控制弹道调试过程及仿真结果分析进行了详细论述与说明,并利用飞行试验结果对仿真模型进行了校验。校验结果说明了程序设计的正确性与真实性,同时说明了这种模型校验方法的可行性。 展开更多

关键词 导弹 控制弹道 精度 模型校验

在线阅读 下载PDF 职称材料

环境激励下高层建筑结构模态测试与有限元建模分析 被引量：24

19

作者 谭德先 周云 +3 位作者 米斯特 易伟建 谢利民 蒋运忠 《土木工程学报》 EI CSCD 北大核心 2015年第9期41-50,共10页

对高层建筑在环境激励下现场实测以及随机振动分析,所获得的频率和振型等模态信息对于高层建筑结构的动力性能评估和抗震设计有着重要的意义。介绍广西来宾的高层建筑动力测试项目,对8栋高层建筑结构进行系统地随机振动信号测试,通过互... 对高层建筑在环境激励下现场实测以及随机振动分析,所获得的频率和振型等模态信息对于高层建筑结构的动力性能评估和抗震设计有着重要的意义。介绍广西来宾的高层建筑动力测试项目,对8栋高层建筑结构进行系统地随机振动信号测试,通过互相关函数分析和傅里叶变换从而得到结构的互功率谱,利用设置参考点进行分步试验获得结构的工作模态,从而获得结构振动的自振频率等重要参数。在PKPM软件和Sap2000软件中建立高层建筑有限元模型从而来获得结构振动的计算频率和振型。为了研究填充墙的刚度和质量对高层结构动力特性的影响,在Sap2000软件中特别建立三种有限元模型。通过研究发现测试所得到的结构的基频为常用设计软件PKPM计算基频值的2倍以上,另外合理地选用壳单元模拟剪力墙刚度并考虑填充墙质量作用于梁上能较准确地估计结构实测模态值。最后将本次对8栋高层结构测试所得到的基频与5个国家基本周期的经验公式估计值进行对比分析。 展开更多

关键词 高层建筑 随机振动 工作模态分析 填充墙刚度 模型校验 周期估计

在线阅读 下载PDF 职称材料

电网调控信息智能分级采集系统的研究与开发 被引量：17

20

作者 畅广辉 镐俊杰 +5 位作者 刘宝江 戴飞 杨东海 史金伟 段运鑫 孟勇亮 《电力系统保护与控制》 EI CSCD 北大核心 2015年第6期115-120,共6页

"调控一体化"模式下,各级电力调度控制中心需要采集、监控的信息量呈现爆炸性的增长,传统的完全依赖人工的调控信息采集模式已经不能适应实际工作需要。提出了一种调控信息智能自动采集交互处理机制,通过对调控信息分级规则... "调控一体化"模式下,各级电力调度控制中心需要采集、监控的信息量呈现爆炸性的增长,传统的完全依赖人工的调控信息采集模式已经不能适应实际工作需要。提出了一种调控信息智能自动采集交互处理机制,通过对调控信息分级规则和智能分级采集技术的研究,开发了电网调控信息智能分级采集系统。基于电网通用模型描述规范(CIM-E)实现了调控主站和变电站子站模型的映射、关联处理和校验,基于信息编码规范和IEC104扩展协议实现了调控信息的智能自动分级采集和处理。相关成果已在河南电力调度控制中心得到了工程应用,取得了良好的效果。 展开更多

关键词 调控一体化 智能自动采集交互处理机制 CIM-E 模型校验 IEC104 分级采集

在线阅读 下载PDF 职称材料