CN112527256A - 一种集成化水电站模型开发系统及方法 - Google Patents
一种集成化水电站模型开发系统及方法 Download PDFInfo
- Publication number
- CN112527256A CN112527256A CN202011482433.7A CN202011482433A CN112527256A CN 112527256 A CN112527256 A CN 112527256A CN 202011482433 A CN202011482433 A CN 202011482433A CN 112527256 A CN112527256 A CN 112527256A
- Authority
- CN
- China
- Prior art keywords
- subsystem
- model
- hydropower station
- module
- definition
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 29
- 238000011161 development Methods 0.000 title claims abstract description 28
- 238000004422 calculation algorithm Methods 0.000 claims abstract description 52
- 230000006870 function Effects 0.000 claims abstract description 36
- 238000004088 simulation Methods 0.000 claims abstract description 22
- 238000012549 training Methods 0.000 claims abstract description 14
- 238000012795 verification Methods 0.000 claims abstract description 10
- 230000000007 visual effect Effects 0.000 claims abstract description 7
- 238000003384 imaging method Methods 0.000 claims abstract description 4
- 238000012544 monitoring process Methods 0.000 claims description 10
- 238000004364 calculation method Methods 0.000 claims description 4
- 230000003993 interaction Effects 0.000 claims description 4
- 238000012546 transfer Methods 0.000 claims 1
- 239000006185 dispersion Substances 0.000 abstract description 3
- 230000008569 process Effects 0.000 description 9
- 238000010586 diagram Methods 0.000 description 8
- 230000005540 biological transmission Effects 0.000 description 2
- 230000007547 defect Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012821 model calculation Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000004883 computer application Methods 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 238000000354 decomposition reaction Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 238000013178 mathematical model Methods 0.000 description 1
- 230000001502 supplementing effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/24—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/38—Creation or generation of source code for implementing user interfaces
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Human Computer Interaction (AREA)
- Testing And Monitoring For Control Systems (AREA)
Abstract
本发明公开了一种集成化水电站模型开发系统及方法,系统包括:算法定义编辑子系统、算法编译子系统、图元定义子系统、模块定义子系统、图形化模型搭建子系统、模型运行与在线调式子系统、仿真培训子系统和控制逻辑验证子系统;本发明可以可视化的一站式完成水电站模型开发及调试,整个系统采用一套工作区,功能和流程直观明了,改变了原有的建模不直观、模块分散、功能分裂的状况。
Description
技术领域
本发明涉及计算机应用技术领域,具体涉及一种集成化水电站模型开发系统及方法。
背景技术
现有的水电站模型开发方法有两种:
一种是程序建模方式,该方法的缺点是它不仅要求建模人员具有丰富的专业知识、数学知识,还要求其有建模、仿真及计算机等方面的技术;由于生成的模型是以程序形式存在,非常不便于分析和维护:模型需要经过编译、链接后才能运行,修改调试起来也不方便。
另一种是模块化建模方法,它将大系统按级别、层次、功能分解成由若干个基本单元构成的子系统(这些单元就是模块);该建模方法与程序建模相比有了很大进步;但它的建模过程复杂,模型整体比较分散,模块之间的连接关系不直观,这对于分析与维护模型不太方便。
发明内容
针对现有技术中的上述不足,本发明提供的一种集成化水电站模型开发系统及方法解决了现有的水电站模型开发方法存在建模不直观、模块分散和功能分裂的问题。
为了达到上述发明目的,本发明采用的技术方案为:一种集成化水电站模型开发系统,包括:算法定义编辑子系统、算法编译子系统、图元定义子系统、模块定义子系统、图形化模型搭建子系统、模型运行与在线调式子系统、仿真培训子系统和控制逻辑验证子系统;
所述算法定义编辑子系统用于提供用户定义模型模块内在算法的编辑功能;
所述算法编译子系统采用VC6.0集成编译器,用于检查用户采用算法定义编辑子系统编辑和定义的模型模块内在算法的语法及逻辑是否错误,并在无误的情况下将模型模块内在算法编译为可执行文件型模型模块;
所述图元定义子系统用于将可执行文件型模型模块可视化,输出图元型模型模块;
所述模块定义子系统用于提供用户编辑图元型模型模块参数变量的功能支持;
所述图形化模型搭建子系统用于提供用户可视化的使用其建构的图元型模型模块进行引脚连线形式的水电站模型搭建的功能支持;
所述模型运行与在线调式子系统用于通过计算引擎,对用户通过图形化模型搭建子系统搭建的水电站模型进行工程有限元法迭代运算,动态监视水电站模型的参数状态;
所述仿真培训子系统包括工况列表、抽点、回退、故障设置和曲线监视的人机交互接口,用于支持仿真断面数据的保存、加载和故障复现的仿真培训功能;
所述控制逻辑验证子系统用于运算水电站模型在PLC控制下的参数状态,实现水电站控制逻辑的仿真,验证水电站控制逻辑的正确性和完整性。
进一步地,所述算法定义编辑子系统提供的编辑功能包括:符合C语言函数标准的代码脚本式顺序执行语句编辑功能、代码行号显示功能、代码关键字高亮显示功能、当前选中行显示功能和码块折叠功能。
进一步地,所述图元型模型模块包括以下属性:图元名称、图元描述、关联的图符文件、输入参数、输出参数、系数参数定义和链接引脚定义;所述图元型模型模块属性均由图元定义子系统根据用户所绘的关联的图符文件以及可执行文件型模型模块的输入输出及传递特征而生成。
一种集成化水电站模型开发方法,包括以下步骤:
S1、通过算法定义编辑子系统定义待建立的水电站模型的各模块的内在算法;
S2、通过算法编译子系统编译各模块的内在算法,得到各个可执行文件型模型模块;
S3、绘制各个可执行文件型模型模块应关联的图符文件,通过图元定义子系统关联各个可执行文件型模型模块及其图符文件,得到各个图元型模型模块;
S4、通过模块定义子系统设定各个图元型模型模块的参数变量;
S5、通过图形化模型搭建子系统,以引脚连线的形式,根据各个图元型模型模块搭建水电站模型;
S6、通过模型运行与在线调式子系统运行和调试水电站模型;
S7、通过控制逻辑验证子系统验证水电站模型在PLC控制下的运转情况,并通过仿真培训子系统对运转情况进行实时监测,以此实现集成化水电站模型开发。
综上,本发明的有益效果为:
1、本发明提供的集成化水电站模型开发系统及方法,可以可视化的一站式完成水电站模型开发及调试,整个系统采用一套工作区,功能和流程直观明了,改变了原有的建模不直观、模块分散、功能分裂的状况。
2、水电站设备系统结构复杂,系统耦合性强、变量多,对系统整体建模求解困难,所以本发明通过模块化的分解方式,将其层层分解直到基本的设备、部件以及过程单元,将复杂系统数学模型的开发转变为对系统中各独立过程设备或环节的算法建模,降低建模难度,极大的简化了对建模人员的编程要求。
3、模型标准化程度高,可读性性高,且易组合、易拆分、易修改。通过补充和修改模型库,也可用于其他技术领域的模型开发。
4、本发明支持模型在线调试,可以在线增删改设备模块,对设备模块的参数修改可以立即生效并观察到效果变化。
5、本发明支持C语言、Fortran语言算法的在线编写、编译、生成动态库,并装入模型驱动。
6、本发明支持外部实时数据、历史数据的接入,并参与到仿真模型的运算中来。
附图说明
图1为一种集成化水电站模型开发系统的系统框图;
图2为一种集成化水电站模型开发方法的流程图;
图3为算法定义编辑子系统的编译过程图;
图4为图元定义过程示意图;
图5为图元分类管理示意图;
图6为以引脚连线的形式搭建水电站模型图;
图7为水电站模型在线调试图。
具体实施方式
下面对本发明的具体实施方式进行描述,以便于本技术领域的技术人员理解本发明,但应该清楚,本发明不限于具体实施方式的范围,对本技术领域的普通技术人员来讲,只要各种变化在所附的权利要求限定和确定的本发明的精神和范围内,这些变化是显而易见的,一切利用本发明构思的发明创造均在保护之列。
如图1所示,一种集成化水电站模型开发系统,包括:算法定义编辑子系统、算法编译子系统、图元定义子系统、模块定义子系统、图形化模型搭建子系统、模型运行与在线调式子系统、仿真培训子系统和控制逻辑验证子系统;
所述算法定义编辑子系统用于提供用户定义模型模块内在算法的编辑功能;
所述算法编译子系统采用VC6.0集成编译器,用于检查用户采用算法定义编辑子系统编辑和定义的模型模块内在算法的语法及逻辑是否错误,并在无误的情况下将模型模块内在算法编译为可执行文件型模型模块;
所述图元定义子系统用于将可执行文件型模型模块可视化,输出图元型模型模块;
所述模块定义子系统用于提供用户编辑图元型模型模块参数变量的功能支持;
所述图形化模型搭建子系统用于提供用户可视化的使用其建构的图元型模型模块进行引脚连线形式的水电站模型搭建的功能支持;
所述模型运行与在线调式子系统用于通过计算引擎,对用户通过图形化模型搭建子系统搭建的水电站模型进行工程有限元法迭代运算,动态监视水电站模型的参数状态;
所述仿真培训子系统包括工况列表、抽点、回退、故障设置和曲线监视的人机交互接口,用于支持仿真断面数据的保存、加载和故障复现的仿真培训功能;
所述控制逻辑验证子系统用于运算水电站模型在PLC控制下的参数状态,实现水电站控制逻辑的仿真,验证水电站控制逻辑的正确性和完整性。
所述算法定义编辑子系统提供的编辑功能包括:符合C语言函数标准的代码脚本式顺序执行语句编辑功能、代码行号显示功能、代码关键字高亮显示功能、当前选中行显示功能和码块折叠功能。
算法定义编辑子系统集成了标准C的编译器,在模型开发工作区的算法编辑窗口,编写完算法并保存后,直接点击”编译”按钮,即可进行当前算法的编译。编译过程的输出信息,会在工作区的输出窗口进行显示,以便于检查编译错误及输出结果,如图3所示。
所述图元型模型模块包括以下属性:图元名称、图元描述、关联的图符文件、输入参数、输出参数、系数参数定义和链接引脚定义;
所述图元型模型模块属性均由图元定义子系统根据用户所绘的关联的图符文件以及可执行文件型模型模块的输入输出及传递特征而生成。
图元是模型中模块实例的抽象表示,代表了某一类设备定义,比如水轮机、风机、阀门、开关、刀闸等。
如图2所示,一种集成化水电站模型开发方法,包括以下步骤:
S1、通过算法定义编辑子系统定义待建立的水电站模型的各模块的内在算法;
S2、通过算法编译子系统编译各模块的内在算法,得到各个可执行文件型模型模块;
S3、绘制各个可执行文件型模型模块应关联的图符文件,通过图元定义子系统关联各个可执行文件型模型模块及其图符文件,得到各个图元型模型模块。图4为设计各个图元型模块的过程中通过图元定义子系统设计加法器模块的人机交互过程,图5为设计完成的各个图元型模块;
S4、通过模块定义子系统设定各个图元型模型模块的参数变量;
S5、通过图形化模型搭建子系统,以引脚连线的形式,根据各个图元型模型模块搭建水电站模型,如图6所示;
S6、通过模型运行与在线调式子系统运行和调试水电站模型;
水电站模型搭建完成后,点击工作区的‘模型运行’按钮,即可启动模型计算引擎。模型计算引擎根据各个模块所属的算法图元的关联算法名,定位到加载到系统算法库的具体算法函数地址,并将模块定义的各类参数作为函数实参,进而调用该函数执行,根据模块输入、系数参数,计算出模块输出参数。整体水电站模型的所有模块迭代计算完成,则完成了一次模型运算。周而复始进行模型运算,则可以进行动态监视模型数据变化,以及进行模型在线调试,如图7所示。
S7、通过控制逻辑验证子系统验证水电站模型在PLC控制下的运转情况,并通过仿真培训子系统对运转情况进行实时监测,以此实现集成化水电站模型开发。
Claims (6)
1.一种集成化水电站模型开发系统,其特征在于,包括:算法定义编辑子系统、算法编译子系统、图元定义子系统、模块定义子系统、图形化模型搭建子系统、模型运行与在线调式子系统、仿真培训子系统和控制逻辑验证子系统;
所述算法定义编辑子系统用于提供用户定义模型模块内在算法的编辑功能;所述算法编译子系统采用VC6.0集成编译器,用于检查用户采用算法定义编辑子系统编辑和定义的模型模块内在算法的语法及逻辑是否错误,并在无误的情况下将模型模块内在算法编译为可执行文件型模型模块;所述图元定义子系统用于将可执行文件型模型模块可视化,输出图元型模型模块;所述模块定义子系统用于提供用户编辑图元型模型模块参数变量的功能支持;所述图形化模型搭建子系统用于提供用户可视化的使用其建构的图元型模型模块进行引脚连线形式的水电站模型搭建的功能支持;所述模型运行与在线调式子系统用于通过计算引擎,对用户通过图形化模型搭建子系统搭建的水电站模型进行工程有限元法迭代运算,动态监视水电站模型的参数状态;所述仿真培训子系统用于支持仿真断面数据的保存、加载和故障复现的仿真培训功能;所述控制逻辑验证子系统用于运算水电站模型在PLC控制下的参数状态,实现水电站控制逻辑的仿真,验证水电站控制逻辑的正确性和完整性。
2.根据权利要求1所述的集成化水电站模型开发系统,其特征在于,所述仿真培训子系统包括:工况列表、抽点、回退、故障设置和曲线监视的人机交互接口。
3.根据权利要求1所述的集成化水电站模型开发系统,其特征在于,所述算法定义编辑子系统提供的编辑功能包括:符合C语言函数标准的代码脚本式顺序执行语句编辑功能、代码行号显示功能、代码关键字高亮显示功能、当前选中行显示功能和码块折叠功能。
4.根据权利要求1所述的集成化水电站模型开发系统,其特征在于,所述图元型模型模块包括以下属性:图元名称、图元描述、关联的图符文件、输入参数、输出参数、系数参数定义和链接引脚定义。
5.根据权利要求1所述的集成化水电站模型开发系统,其特征在于,所述图元型模型模块属性均由图元定义子系统根据用户所绘的关联的图符文件以及可执行文件型模型模块的输入输出及传递特征而生成。
6.一种集成化水电站模型开发方法,其特征在于,包括以下步骤:
S1、通过算法定义编辑子系统定义待建立的水电站模型的各模块的内在算法;
S2、通过算法编译子系统编译各模块的内在算法,得到各个可执行文件型模型模块;
S3、绘制各个可执行文件型模型模块应关联的图符文件,通过图元定义子系统关联各个可执行文件型模型模块及其图符文件,得到各个图元型模型模块;
S4、通过模块定义子系统设定各个图元型模型模块的参数变量;
S5、通过图形化模型搭建子系统,以引脚连线的形式,根据各个图元型模型模块搭建水电站模型;
S6、通过模型运行与在线调式子系统运行和调试水电站模型;
S7、通过控制逻辑验证子系统验证水电站模型在PLC控制下的运转情况,并通过仿真培训子系统对运转情况进行实时监测,以此实现集成化水电站模型开发。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011482433.7A CN112527256A (zh) | 2020-12-16 | 2020-12-16 | 一种集成化水电站模型开发系统及方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011482433.7A CN112527256A (zh) | 2020-12-16 | 2020-12-16 | 一种集成化水电站模型开发系统及方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN112527256A true CN112527256A (zh) | 2021-03-19 |
Family
ID=75000297
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011482433.7A Pending CN112527256A (zh) | 2020-12-16 | 2020-12-16 | 一种集成化水电站模型开发系统及方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112527256A (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114527726A (zh) * | 2022-01-25 | 2022-05-24 | 中国长江三峡集团有限公司 | 一种水利水电仿真测试系统及其测试方法 |
CN115185507A (zh) * | 2022-05-20 | 2022-10-14 | 中核武汉核电运行技术股份有限公司 | 一种算法组态工具 |
CN115265707A (zh) * | 2022-05-20 | 2022-11-01 | 中核武汉核电运行技术股份有限公司 | 一种核电大修水位图构建方法 |
CN116992102A (zh) * | 2023-09-27 | 2023-11-03 | 中国长江电力股份有限公司 | 一种面向设备维度的水电专有业务图元生成方法 |
Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103218293A (zh) * | 2013-04-12 | 2013-07-24 | 深圳市汇川控制技术有限公司 | 一种plc在线调试系统和方法 |
CN104007978A (zh) * | 2014-06-11 | 2014-08-27 | 国家电网公司 | 一种智能变电站二次设备逻辑仿真系统 |
CN105354023A (zh) * | 2015-10-20 | 2016-02-24 | 四川华控图形科技有限公司 | 可视化逻辑编辑运行引擎 |
CN106055351A (zh) * | 2016-05-20 | 2016-10-26 | 北京经纬恒润科技有限公司 | 一种控制系统的开发方法和装置 |
CN106057008A (zh) * | 2016-06-28 | 2016-10-26 | 南京南瑞继保电气有限公司 | 一种基于实时仿真器的调度员培训仿真系统及搭建方法 |
CN106886411A (zh) * | 2017-02-17 | 2017-06-23 | 南京国电南自电网自动化有限公司 | 一种基于qt的继电保护装置逻辑图形化配置方法 |
CN107369347A (zh) * | 2017-08-03 | 2017-11-21 | 华能澜沧江水电股份有限公司 | 一种通用型水电站三维仿真系统 |
CN108594746A (zh) * | 2018-03-21 | 2018-09-28 | 珠海优特电力科技股份有限公司 | 可视化编程控制系统及方法、装置 |
CN111580806A (zh) * | 2020-04-10 | 2020-08-25 | 天津大学 | 一种协作机器人图形化编程系统 |
CN111652760A (zh) * | 2020-06-02 | 2020-09-11 | 国家电网有限公司技术学院分公司 | 一种电网运维虚拟现实仿真系统及仿真方法 |
CN111880784A (zh) * | 2020-08-06 | 2020-11-03 | 中国人民解放军国防大学联合作战学院 | 一种面向simscript语言的离散事件仿真图形化建模方法 |
-
2020
- 2020-12-16 CN CN202011482433.7A patent/CN112527256A/zh active Pending
Patent Citations (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103218293A (zh) * | 2013-04-12 | 2013-07-24 | 深圳市汇川控制技术有限公司 | 一种plc在线调试系统和方法 |
CN104007978A (zh) * | 2014-06-11 | 2014-08-27 | 国家电网公司 | 一种智能变电站二次设备逻辑仿真系统 |
CN105354023A (zh) * | 2015-10-20 | 2016-02-24 | 四川华控图形科技有限公司 | 可视化逻辑编辑运行引擎 |
CN106055351A (zh) * | 2016-05-20 | 2016-10-26 | 北京经纬恒润科技有限公司 | 一种控制系统的开发方法和装置 |
CN106057008A (zh) * | 2016-06-28 | 2016-10-26 | 南京南瑞继保电气有限公司 | 一种基于实时仿真器的调度员培训仿真系统及搭建方法 |
CN106886411A (zh) * | 2017-02-17 | 2017-06-23 | 南京国电南自电网自动化有限公司 | 一种基于qt的继电保护装置逻辑图形化配置方法 |
CN107369347A (zh) * | 2017-08-03 | 2017-11-21 | 华能澜沧江水电股份有限公司 | 一种通用型水电站三维仿真系统 |
CN108594746A (zh) * | 2018-03-21 | 2018-09-28 | 珠海优特电力科技股份有限公司 | 可视化编程控制系统及方法、装置 |
CN111580806A (zh) * | 2020-04-10 | 2020-08-25 | 天津大学 | 一种协作机器人图形化编程系统 |
CN111652760A (zh) * | 2020-06-02 | 2020-09-11 | 国家电网有限公司技术学院分公司 | 一种电网运维虚拟现实仿真系统及仿真方法 |
CN111880784A (zh) * | 2020-08-06 | 2020-11-03 | 中国人民解放军国防大学联合作战学院 | 一种面向simscript语言的离散事件仿真图形化建模方法 |
Non-Patent Citations (1)
Title |
---|
方亦凯, "过程控制实时仿真平台的研究与设计", no. 4, 15 December 2004 (2004-12-15), pages 15 - 22 * |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114527726A (zh) * | 2022-01-25 | 2022-05-24 | 中国长江三峡集团有限公司 | 一种水利水电仿真测试系统及其测试方法 |
CN115185507A (zh) * | 2022-05-20 | 2022-10-14 | 中核武汉核电运行技术股份有限公司 | 一种算法组态工具 |
CN115265707A (zh) * | 2022-05-20 | 2022-11-01 | 中核武汉核电运行技术股份有限公司 | 一种核电大修水位图构建方法 |
CN116992102A (zh) * | 2023-09-27 | 2023-11-03 | 中国长江电力股份有限公司 | 一种面向设备维度的水电专有业务图元生成方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN112527256A (zh) | 一种集成化水电站模型开发系统及方法 | |
CN107341294B (zh) | 基于Modelica语言的航天器信息系统建模仿真方法 | |
Forster et al. | Verification of business process quality constraints based on visual process patterns | |
Larsen et al. | The overture initiative integrating tools for VDM | |
US20120254830A1 (en) | Verification of computer-executable code generated from a model | |
US20040123272A1 (en) | Method and system for analysis of software requirements | |
US9952837B1 (en) | Reusable component in a modeling environment | |
Simko et al. | Foundation for model integration: Semantic backplane | |
US9047165B1 (en) | Multiversion model versioning system and method | |
Dhaussy et al. | Reducing state explosion with context modeling for model-checking | |
CN109933521A (zh) | 基于bdd的自动化测试方法、装置、计算机设备及存储介质 | |
US7958073B2 (en) | Software and methods for task method knowledge hierarchies | |
Jetley et al. | Applying software engineering practices for development of industrial automation applications | |
Dandan et al. | Modeling and simulation of top-level design based on mbse | |
Denham | Design issues for CACSD systems | |
CN113642147A (zh) | 一种支持复杂系统设计和仿真的统一建模方法 | |
He | A research on automated software test case generation based on control flow | |
Stürmer et al. | Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. | |
Bunus | Debugging and structural analysis of declarative equation-based languages | |
Kim et al. | Automated structural analysis of SCR‐style software requirements specifications using PVS | |
Schöpp et al. | Requirements-based code model checking | |
Collofello et al. | Ripple effect analysis based on semantic information | |
Leonard et al. | Automatic program generation from formal specifications using APTS | |
Aldrich | Coverage analysis for model-based design tools | |
Norhidayah et al. | Development of virtual assembly layout with modeling languages approach and Simulation using Delmia Quest |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination |