期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
基于时间自动机的无信号交叉口车路协同系统建模与验证
1
作者 刘伟 肖七瑞 +3 位作者 陈新海 饶畅 张宇 王博思 《系统仿真学报》 CAS CSCD 北大核心 2024年第7期1682-1698,共17页
车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用... 车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用形式化语言对无信号交叉口车路协同系统功能逻辑进行描述,验证系统对象的状态交互和控制逻辑安全,提高无信号交叉口的车辆通行安全性。以单车无冲突、双车冲突和多车冲突场景分别进行仿真,明确状态交互和使能迁移路径;结合工具和需求规范语句进行系统安全属性验证,证明了控制逻辑的可靠性和安全性,为研发高安全架构的车路协同系统提供了可信依据。 展开更多
关键词 城市交通 形式化语言 车路协同系统 时间自动机 控制逻辑 可信验证
下载PDF
基于PEFSM行为模型的黑盒测试用例生成方法 被引量:1
2
作者 梁浩然 周宽久 +2 位作者 崔凯 潘杰 侯刚 《计算机科学》 CSCD 北大核心 2017年第4期234-240,共7页
随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有... 随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试。该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性。对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率。 展开更多
关键词 可信验证 PEFSM 正则表达式 自动化测试
下载PDF
试论科技创新项目的过程管理 被引量:2
3
作者 杨小玲 张瑜 陈刚 《上海有色金属》 CAS 2009年第2期82-88,共7页
围绕科技创新项目的过程管理,分析了科技创新项目的特点和管理的难点,对如何强化项目过程管理,提出了细化项目后程管理、健全项目诚信管理体系以及新建过程跟踪验证机制等新思路。
关键词 科技创新 项目管理 过程管理 项目诚信管理体系 跟踪验证机制
下载PDF
复杂仿真系统建模与仿真可信性模糊综合评估 被引量:12
4
作者 吴静 吴晓燕 高忠长 《计算机集成制造系统》 EI CSCD 北大核心 2010年第2期287-292,共6页
为保证复杂仿真系统建模与仿真可信性评估工作高效地完成,以贯穿复杂仿真系统开发全生命周期的校核与验证过程为基本框架,综合分析建模与仿真可信性评估在校核与验证过程中不同阶段的评价标准,提出可信性评估尺度,构建可信性评估指标体... 为保证复杂仿真系统建模与仿真可信性评估工作高效地完成,以贯穿复杂仿真系统开发全生命周期的校核与验证过程为基本框架,综合分析建模与仿真可信性评估在校核与验证过程中不同阶段的评价标准,提出可信性评估尺度,构建可信性评估指标体系;针对可信性评估所涉及的不确定性和模糊性因素,结合基于三角模糊数的模糊层次分析法和模糊综合评判建立了模糊综合评估模型,并以某飞行视景仿真系统的设计与开发为例,进行可信性模糊综合评估。应用实例表明,所建立的指标体系及采用的评估方法合理可行。 展开更多
关键词 建模 仿真 可信性 评估尺度 校核与验证 模糊综合评估
下载PDF
系统仿真模型的统计验证方法 被引量:8
5
作者 路为 徐伟 陈红勋 《上海大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第4期386-388,共3页
可信性是系统仿真的关键.该文研究的是系统仿真模型验证的统计比较分析方法,讨论了动态一致性检验的时间序列方法,以及检验试验与仿真结果的一致性问题.
关键词 系统仿真 可信性 模型确认 验证和认定
下载PDF
数字仿真模型的可信度研究 被引量:5
6
作者 李云峰 《武汉大学学报(工学版)》 CAS CSCD 北大核心 2002年第3期104-107,共4页
可信度研究是近年来数字仿真中的热门话题之一 .讨论了可信度研究的重要意义以及可信度研究与仿真建模之间的关系 .以实例说明了模型验证、模型校核、结果确认的实施方法 ,分析了影响数字仿真结果正确性和可信度的主要因素 。
关键词 仿真可信度 模型校验 模型验证 模型确认
下载PDF
关于建模与仿真VV&A原则的研究 被引量:4
7
作者 许素红 吴晓燕 刘兴堂 《计算机仿真》 CSCD 2003年第8期39-42,132,133,共6页
通过借鉴国内外在该领域的研究成果 ,提出了建模与仿真VV&A原则。该文在国内首次对建模与仿真VV&A原则进行了详细的论述。
关键词 建模 仿真 VV&A原则 数据验证 校核 系统仿真
下载PDF
CFD V&V and Open Benchmark Database 被引量:5
8
作者 白文 李立 +1 位作者 李周明 梁益华 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2006年第2期160-167,共8页
CFD verification and validation (V&V) are fundamental activities of credibility analysis for aerodynamic simulations. Through these activities, a large number of data resources will be generated. How to efficiently... CFD verification and validation (V&V) are fundamental activities of credibility analysis for aerodynamic simulations. Through these activities, a large number of data resources will be generated. How to efficiently manage and utilize these treasures is the key problem for benchmark database. In this paper an operable design of open benchmark database is studied and proposed with emphasis on administration, availability, data reliably, unified data standards and open system architecture. The purpose is to provide a paradigm of aerodynamic open benchmark database for CFD V&V, and to overcome some universal obstacles in current aerodynamic database such as lacks of coordination, continuity and necessary communication. Besides, some recent efforts of credibility analysis for aerodynamic simulations in China are briefly introduced. 展开更多
关键词 aerodynamic database CREDIBILITY UNCERTAINTY verification validation
下载PDF
基于HyperFLOW平台的客机标模CHN-T1气动性能预测及可信度研究 被引量:6
9
作者 王年华 常兴华 +2 位作者 赵钟 马戎 张来平 《空气动力学学报》 CSCD 北大核心 2019年第2期301-309,共9页
近年来,针对实际飞行器外形的CFD气动性能预测及可信度研究逐步得到重视,国内也召开了第一届航空CFD可信度研讨会(AeCW-1)。本文首先基于自主研发的CFD软件平台HyperFLOW对NACA0012翼型低速绕流进行了网格收敛性研究,验证了软件对简单... 近年来,针对实际飞行器外形的CFD气动性能预测及可信度研究逐步得到重视,国内也召开了第一届航空CFD可信度研讨会(AeCW-1)。本文首先基于自主研发的CFD软件平台HyperFLOW对NACA0012翼型低速绕流进行了网格收敛性研究,验证了软件对简单湍流问题的模拟能力且具备良好的网格收敛性。其次,针对AeCW-1提供的客机标模CHN-T1,选用其中的两个算例:(1)定升力系数的网格收敛性研究;(2)考虑模型支撑和模型静气动弹性变形的抖振特性研究,研究了计算结果的网格收敛性及模型支撑、静气动弹性变形和湍流模型等对气动特性预测精度的影响。结果表明:观测精度阶和网格收敛性指数显示数值结果具有良好的网格收敛性和可信度;是否考虑模型支撑对力矩的预测精度影响较大,引入尾撑和弹性变形后,数值结果与实验结果吻合较好;对于CHN-T1标模,采用QCR关系式对原始SA模型进行修正对标模力矩特性有一定影响。 展开更多
关键词 气动性能预测 CHN-T1客机标模 网格收敛性研究 网格收敛性指数 可信度研究 验证与确认
下载PDF
WiseCFD V2023:一种基于开放架构的CFD软件验证与确认应用支持平台
10
作者 李立 梁益华 +1 位作者 杨永 武君胜 《航空学报》 EI CAS CSCD 北大核心 2024年第20期115-132,共18页
验证与确认(V&V)是确保CFD软件及其模拟结果可信度最重要和最基础的活动。通过建立流程化、自动化的软件平台支持CFD软件验证、确认和可信度评价工作开展,有助于减少人为操作错误、大幅提高验证与确认的工作效率。从2004年第1个版本... 验证与确认(V&V)是确保CFD软件及其模拟结果可信度最重要和最基础的活动。通过建立流程化、自动化的软件平台支持CFD软件验证、确认和可信度评价工作开展,有助于减少人为操作错误、大幅提高验证与确认的工作效率。从2004年第1个版本的WiseCFD平台发布以来,针对如何建立开放的CFD软件可信度评估框架,开展过很多尝试。从系统工作流程、软件架构、核心功能模块组成等方面着重介绍一种基于Web和开放架构思路实现的新一代CFD软件验证与确认应用支持平台:WiseCFD V2023,并对平台关键技术及实现进行论述。以CFD软件可信度评价指标体系为理论指导,辅以标准化的验证和确认数据库建设,并采用CFD数据及软件接口标准化技术,打通底层工具链和数据链,平台突破了针对不同类型CFD软件的开放集成、针对不同类型计算作业的开放工作流定义、基于评价指标的不同类型验证、确认和可信度评价任务的开放定义、开放的底层支持验证和确认数据库以及自动化验证和确认等关键技术,构建了一套自动化的、面向专业CFD软件验证、确认和可信度综合评价的基础软件框架。具体实现采用三层B/S软件架构,并基于微服务、容器化以及容器编排等云原生技术进行构建,便于平台的创建和部署。针对典型工程CFD软件开展的验证、确认和可信度评价场景应用示范,证实所构建验证与确认应用支持平台的可行性和有效性。 展开更多
关键词 可信度 验证与确认 可信度评价指标 开放架构 计算流体力学(CFD)
原文传递
基于可信度评估的作战模型确认方法 被引量:4
11
作者 吴维元 李明 邹雨 《指挥信息系统与技术》 2014年第3期49-53,共5页
分析了影响作战模型可信性的相关因素,建立了作战模型可信度评估指标体系,提出了一种基于可信度评估的作战模型确认方法。该方法可提高作战模型的可信性和可用性,适用于作战模型优选和认证。
关键词 作战模型 可信度评估 检验与验证
下载PDF
基于区块链技术的电子信息溯源与可信度验证方法
12
作者 胡提文 曹猛 韩建鹏 《中国高新科技》 2024年第12期34-36,共3页
高速发展的信息社会中,电子信息的安全性和可靠性已成为关注的焦点。与此同时,电子信息的真实性验证和溯源在众多领域变得格外重要。本文提出了一种基于区块链技术的电子信息溯源与可信度验证方法,旨在通过区块链的不可篡改性和分布式... 高速发展的信息社会中,电子信息的安全性和可靠性已成为关注的焦点。与此同时,电子信息的真实性验证和溯源在众多领域变得格外重要。本文提出了一种基于区块链技术的电子信息溯源与可信度验证方法,旨在通过区块链的不可篡改性和分布式存储技术,提供一种高效、透明且可靠的信息验证机制。本文设计了一种包含多层验证机制的区块链架构实现信息来源的追溯和可信度的验证,可以为电子信息的安全管理提供新的视角,并为区块链在信息安全领域的应用奠定理论基础。 展开更多
关键词 区块链技术 信息溯源 可信度验证 电子信息安全
下载PDF
期间核查的实施及判定方法 被引量:2
13
作者 黄成芬 《大众科技》 2013年第2期26-27,25,共3页
期间核查是对校准实验室和检测实验室的通用要求之一,计量标准的核查关系到该地区计量活动和检测结果的有效性和准确性。期间核查的本质是保持被核查仪器的校准状态,即核查其稳定性。文章讨论期间核查如何实施以及几种实用的期间核查方法。
关键词 可信度 核查对象 核查方法 核查程序
下载PDF
越可信越验证:移动端用户验证信息的动因探究 被引量:3
14
作者 胡兵 钟布 《新闻大学》 CSSCI 北大核心 2020年第8期71-84,129,共15页
近年来,移动端假信息及其成因引起了传播学者的关注和思考。本研究引入"认知需求",构建一个手机用户信息验证需求的动因模型。路径分析结果显示:(1)对低教育程度者,认知需求是影响用户验证信息的因素之一;而对高教育程度者,... 近年来,移动端假信息及其成因引起了传播学者的关注和思考。本研究引入"认知需求",构建一个手机用户信息验证需求的动因模型。路径分析结果显示:(1)对低教育程度者,认知需求是影响用户验证信息的因素之一;而对高教育程度者,信息可信度是影响用户验证信息的单一因素。(2)影响信息可信度的因素在不同教育程度用户中不同。(3)评价假信息负面影响存在第三人效应。本研究有助于理解手机用户验证信息的趋势;并为培养网民的认知需求和媒介素养,提高社会信任解决路径提供了最新的实证依据。 展开更多
关键词 媒介可信度 假新闻 信息验证 认知需求 移动媒介
原文传递
仿真可信性评估中的若干问题及对策研究 被引量:2
15
作者 焦鹏 张琪 +1 位作者 魏翔宇 查亚兵 《系统仿真学报》 CAS CSCD 北大核心 2019年第7期1257-1262,共6页
随着仿真技术在各个领域的愈发广泛应用,用户对仿真系统的可信性也提出了更高的要求。针对在以往仿真系统可信性评估工作中遇到的预期应用不明确、评估工作不全面、评估标准不清晰、评估结论不闭环等若干问题,分析了仿真系统可信性评估... 随着仿真技术在各个领域的愈发广泛应用,用户对仿真系统的可信性也提出了更高的要求。针对在以往仿真系统可信性评估工作中遇到的预期应用不明确、评估工作不全面、评估标准不清晰、评估结论不闭环等若干问题,分析了仿真系统可信性评估的特点,从全面开展可信性评估、加强可接受性标准设计、注重评估闭环实施3个方面,对如何解决现实问题进行了研究和论述。研究成果具有通用性,能够有效指导各类仿真系统可信性评估工作的计划、组织和实施,对提升仿真可信性评估工作的可操作性和实际评估效果有重要意义。 展开更多
关键词 仿真 可信性 校核、验证与确认 校核与验证 可接受性标准
下载PDF
一类矩阵方程中心对称解的可信性验证 被引量:2
16
作者 桑海风 李敏 +1 位作者 刘畔畔 李庆春 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2017年第5期1135-1140,共6页
考虑矩阵方程AXB+BXA=C(A,B,C,X∈C^(n×n))中心对称解的可信性验证问题.在A,B可同时对角化的假设下,提出一种区间算法,该算法输出一个近似中心对称解及其相应的误差界,使得在近似解的误差范围内必存在该方程的一个精确中心对称解,... 考虑矩阵方程AXB+BXA=C(A,B,C,X∈C^(n×n))中心对称解的可信性验证问题.在A,B可同时对角化的假设下,提出一种区间算法,该算法输出一个近似中心对称解及其相应的误差界,使得在近似解的误差范围内必存在该方程的一个精确中心对称解,且该算法的复杂度仅为O(n^3). 展开更多
关键词 矩阵方程 中心对称矩阵 可信性验证 区间
下载PDF
系统建模与仿真应用的校验、确认与验收 被引量:1
17
作者 王仁春 李昊 戴金海 《计算机仿真》 CSCD 2007年第5期58-61,共4页
以美国国防部(DoD)近年来对建模与仿真(M&S)应用所做的校验、确认与验收(VV&A)研究工作为基础,介绍了关于M&S应用的校验、确认、验收、鉴定等概念;结合软件工程的3P指标提出一种通用的形式化表示的M&S应用VV&A框架... 以美国国防部(DoD)近年来对建模与仿真(M&S)应用所做的校验、确认与验收(VV&A)研究工作为基础,介绍了关于M&S应用的校验、确认、验收、鉴定等概念;结合软件工程的3P指标提出一种通用的形式化表示的M&S应用VV&A框架;讨论了M&S应用可信度指标的层次化体系的建立与评价方法,引入了Kiviat图;最后介绍了一个用于M&S可信度评价的计算机软件平台——EE(Evaluation Environm ent,评价环境)。 展开更多
关键词 建模与仿真应用 可信度 校验 确认与验收
下载PDF
基于时序逻辑的仿真系统行为验证方法
18
作者 彭丹华 吴正雄 +1 位作者 李廷鹏 耿宏峰 《现代电子技术》 2023年第5期175-179,共5页
仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系... 仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系统行为验证方法。该方法首先根据真实系统和实测数据,结合专家经验,对所关注的仿真系统行为属性进行提取;其次,利用时序逻辑语言对提取的待验证属性进行形式化描述;然后,运行仿真系统并获得相应的输出数据,利用验证算法自动检验仿真数据是否满足给定的属性,从而实现行为验证;基于对武器装备体系对抗仿真领域的验证属性分析,选取度量区间时序逻辑作为属性的形式化描述语言;最后,通过一个防空对抗仿真系统的验证示例,表明了该方法的有效性。 展开更多
关键词 仿真系统 行为验证 可信性评估 时序逻辑 行为属性提取 形式化描述 数据检验
下载PDF
复杂产品的VV&A体系架构关键技术 被引量:1
19
作者 丁来军 丁朝臣 +1 位作者 赵新芳 丁宁 《计算机辅助工程》 2019年第1期53-61,共9页
为开展复杂产品(系统)建模与仿真过程中的验证、确认与发布(verification,validation andaccreditation,VV&A)工作,提高复杂产品(系统)的设计水平,保证和提高建模与仿真系统的置信度,降低试验与评估的不确定性,在分析复杂产品全生... 为开展复杂产品(系统)建模与仿真过程中的验证、确认与发布(verification,validation andaccreditation,VV&A)工作,提高复杂产品(系统)的设计水平,保证和提高建模与仿真系统的置信度,降低试验与评估的不确定性,在分析复杂产品全生命周期中的VV&A活动的基础上,论述复杂产品(系统)的VV&A体系架构的复杂性及其关键技术,系统分析VV&A的主要思想和国内外研究与应用现状、VV&A工具和方法等问题,提出一种VV&A体系架构方案,并详细阐述其总体方案和系统组成,为逐步建设企业的VV&A知识库提供参考。 展开更多
关键词 可信度 验证 确认 层级规划 体系架构 过程方法
下载PDF
基于免逆牛顿法的对称张量Z-特征对可信验证 被引量:1
20
作者 桑海风 李敏 +2 位作者 刘畔畔 王春艳 栾天 《吉林大学学报(理学版)》 CAS 北大核心 2020年第1期90-94,共5页
利用免逆牛顿法及区间算法理论,研究对称张量Z-特征对的可信验证问题,提出了一种计算Z-特征对的区间算法.该算法通过输出一个近似Z-特征对及其相应的误差界,使得在近似解的误差范围内必存在一个精确的Z-特征对.
关键词 对称张量 特征对 可信性验证 牛顿法
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部