-
题名基于定性趋势与符号有向图的模型校核方法
被引量：4
- 1
-
-
作者
张贝克
许欣
高东
马昕
吴重光
-
机构
北京化工大学信息科学与技术学院
-
出处
《化工学报》
EI
CAS
CSCD
北大核心
2013年第12期4536-4543,共8页
-
文摘
模型校核的首要目标是建立一个完备的测试剧情集。针对现有模型校核方法存在的问题,提出了基于定性趋势与符号有向图的模型校核方法。首先,在总结前人多种SDG建模方法的基础上,提出了SDG校核模型的建模方法。其次,提出了基于定性趋势与符号有向图的模型校核方法,包括建立SDG校核模型、产生测试剧情、推理标准趋势序列、仿真模型数据趋势提取与识别和趋势对比分析5部分。最后,以TE模型为例进行分析,证明该方法的有效性。
-
关键词
模型校核
定性趋势
符号有向图
系统仿真
-
Keywords
model verification qualitative trend signed directed graph system simulation
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名符号有向图与定性趋势的半定量验证方法
被引量：1
- 2
-
-
作者
高东
许欣
-
机构
北京化工大学信息科学与技术学院
北京德普罗尔科技有限公司
-
出处
《控制工程》
CSCD
北大核心
2019年第3期515-520,共6页
-
基金
国家自然科学基金委资助项目(61703026)
-
文摘
针对传统仿真模型验证方法存在的完备性不足、过于依赖人经验等问题,提出一种基于符号有向图(Signed Directed Graph, SDG)与定性趋势的仿真模型半定量验证方法。该方法首先建立过程对象的SDG验证模型,并将定性趋势加入到模型中,然后通过正向推理产生完备的验证测试案例,同时在多个尺度分析比较测试案例与仿真模型输出的相似程度,实现了对仿真模型的半定量验证。最后采用一个反应器仿真模型进行案例研究,证明了方法的有效性。
-
关键词
仿真建模
模型验证
符号有向图
定性趋势
-
Keywords
simulation & modeling
model validation
signed directed graph
qualitative trend
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
