模型验证相关论文
由于我国处于环太平洋地震带和欧亚地震带之间,地震发生频繁,且破坏力巨大,往往造成巨大的人员伤亡和财产损失,给社会带来沉重的负......
钢轨波磨会降低乘坐舒适性，增大轨道结构伤损，甚至影响列车的安全运行.为判断钢轨波磨预测模型的准确性，首先，基于钢轨波磨现场调研数......
质子交换膜燃料电池是一种高效,环保的电化学反应动力装置,可将存储在反应物中的化学能转化为电能,而其副产物仅为水。近年来,由于......
掌握高分子纺织材料的内部热力学规律，是开展功能性高分子纺织材料开发及面料加工的重要举措。本文着重强调数学算法与高分子纺织材......
针对模型验证和可信度评估阶段独立、可信度评估体系构建复杂的问题，提出了基于模型验证数据的可信度计算方法。先对模型验证问题进......
传统的外螺纹滚压过程参数优化大多采用试错法，依赖个人经验进行模具设计和工艺摸索，不仅费时费力，而且试验效率和经济价值极低。针对......
为分析苯甲醛（Benzaldehyde，BENZ）和邻苯二甲酸二辛酯（Dioctyl Phthalate，DOP）对煤直接液化残渣（direct coal liquefaction residue， DCLR）......
为研究竖直U型管进水温度对土壤温度场分布的影响，基于有限元数值模拟软件COMSOL建立了地埋管换热器的三维数值模型，并运用砂箱试验......
液化天然气以热值高、易于储存输送的优势,通常被作为偏远城镇主气源的最佳选择。液化天然气需要在LNG场站中经过气化并达到一定温......
现今,二极管作为重要元器件被广泛应用于各种电子系统中。随着元器件国产化的飞速发展,在进行电子系统电磁兼容仿真分析时,仍存在......
轮胎由多种胶料与复合材料组成,在高速滚动时,由于橡胶材料具有粘弹性,而且轮胎与路面之间会相互摩擦,所以势必会造成轮胎各部分产......
为提高电驱动总成差速器壳体疲劳寿命分析的准确性,基于实测载荷谱和台架试验开展疲劳寿命分析.首先建立差速器壳体有限元模型,基......
期刊
在页岩气的集输过程中,管道内的固体颗粒,在高速流动的气体的携带下不断地撞击管壁和管件,造成冲蚀磨损,特别是在流速、流向急剧改......
目的:探讨类风湿性关节炎骨质疏松与7关节超声评分法的相关性,构建类风湿性关节炎骨质疏松的预测模型并采用内部和外部验证对模型......
随着电网规模的扩大、分布式能源的高比例渗透,电网分析决策对电网模型的全面性和准确性提出了更高的要求.针对交换模型所依赖的公......
模型验证是一种重要的自动化验证技术。给定一个软件或者硬件模型和相应的安全性质,模型验证技术可以自动化地验证模型是否安全,从......
背景:颅脑损伤（Traumatic Brain Injury,TBI）在世界范围内发生率持续增长,是外伤性致死的主要原因。此外因创伤导致的神经功能的损害......
高压氢气泄漏射流是氢安全研究的重要内容,而在一定实验测量的基础上进行数值模拟是该领域的重要研究手段。目前高压氢气射流完整......
地空导弹武器系统仿真试验输出分为静态数据和动态数据,模型静态性能验证可用点估计,区间估计和假设检验来检验仿真试验结果与真实......
目的 建立慢性乙型肝炎(慢乙肝)患者用药依从性个体化预测模型并进行验证,为慢乙肝患者用药提供依据.方法 选取2019年11月—2021年......
[目的]评估InVEST模型应用在市县级水源涵养功能重要性评价的适用性,探析以海绵城市建设试点且高度城市化的广东省广州市水源涵养......
为了有效预测煤层底板破坏深度与控制底板突水灾害,提出了一种基于灰色系统理论的煤层底板破坏深度预测模型。选取采深、煤层倾角......
滑水及抗滑力的衰减是潮湿条件下影响道路及机场跑道交通安全的两个重要因素。模拟潮湿路面抗滑力是一个相对复杂的问题。笔者采用......
旅游需求预测研究一直是旅游学研究的一个重要课题。本文尝试用人工神经网络模型的 3层BP模型来仿真模拟国际入境旅游需求 ,并以日......
橡胶通常被看作一种不可压缩各向同性的超弹性材料,其本构模型通常用应变能密度方程表示。针对Yeoh模型偏软的特性,该文提出了一种......
文章在扎根理论思想指导下,运用案例研究方法,以英、美等发达国家的情报、安全、执法、商业诸领域的政府和私营机构为分析单位,以......
本文对电力通信网安全风险的三个关键要素:资产、威胁和脆弱性分别建立评估模型,并在此基础上建立了风险的计算模型。资产评估模型......
随着计算机产业的不断发展和变革,嵌入式系统的研发已经成为热门的研究领域,并且成功的应用到了社会的各个行业,如制造业,服务业,......
该文利用模型验证(Model-Checking)方法的强大运算能力,这篇文章给出一个新的制造系统的结构化控制器,该控制器利用符合模型验证(S......
计算机仿真技术已经广泛应用于过程工业控制领域并显示出巨大的经济效益，同时也面临着开发水平不高的问题。为了提高仿真系统的开发......
本文针对X-Cell小型无人直升机的数学模型进行了物理参数的仿真辨识研究,并验证了该模型的正确性,而且对实际辨识与建模工作具有指......
论文着重探讨了工作流管理系统中的建模问题的设计和实现，提出了一个基于XPDL的可视化建模工具的解决方案，并在此基础上增加了模型验......
工作流过程模型是业务模型的形式化表示。工作流过程模型建立起来以后，如何保证它的正确性及运行性能?在本文中，这个问题得到了较好......
实时系统不仅要求逻辑上是正确的，而且要求时间上也是正确的，这类系统在设计阶段需要进行严格的分析和验证。时间自动机是使用最为广......
实时系统是一种带有时间约束的计算系统，这些系统的许多动作的完成是与时间相关的，即要满足一定的时间限制。为了确保实时系统的正确......
实时分布式软件在当今的软件应用领域有着越来越大的需求。但是因为这种软件固有的复杂性和高性能要求导致实时分布式软件研发难度......
随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对......
计算机网络已经渗入到人们生活的各个领域,微小的错误可能导致无法挽回的损失甚至危及人的生命。通信协议是网络正常发挥作用的基......
Web服务为互联网应用提供了一种共享数据和功能的有效手段，较好地解决了异构应用之间及松散耦合环境下的互操作、集成和协作问题。......
变更控制作为软件项目管理中不可缺少的一部分,对软件过程的执行起着决定性的作用,不合理或失控的变更会严重阻碍组织完成既定的软......
1993工作流管理联盟的成立和它在次年发布的工作流参考模型标志着工作流技术开始进入相对成熟阶段，涌现出了大量相关产品。随着企业......
轨道交通这样的实时系统对时间的要求及其严格，要保障轨道交通运营场景的安全性，就需要对运营场景进行安全检测，而保证系统安全性的关......
模型驱动架构(MDA)是对象管理组织(OMG)于2002年提出的新一代的业务生成方法。在过去的五年中,MDA技术取得了很大发展,被应用到诸......
近年来,随着Web服务技术的迅猛发展,Web上可获得的Web服务急剧增多,如何从庞大的服务群中有效地获得所需的Web服务、在功能相似的W......
