CN108664736A - 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法 - Google Patents

控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法 Download PDF

Info

Publication number
CN108664736A
CN108664736A CN201810450106.XA CN201810450106A CN108664736A CN 108664736 A CN108664736 A CN 108664736A CN 201810450106 A CN201810450106 A CN 201810450106A CN 108664736 A CN108664736 A CN 108664736A
Authority
CN
China
Prior art keywords
control logic
data
verification platform
file
simulation
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
Application number
CN201810450106.XA
Other languages
English (en)
Inventor
胡春平
林智勇
王胜光
荣辉
张琳
蒋李君
李晖
张光新
郭国良
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Original Assignee
Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Shanghai Nuclear Engineering Research and Design Institute Co Ltd filed Critical Shanghai Nuclear Engineering Research and Design Institute Co Ltd
Priority to CN201810450106.XA priority Critical patent/CN108664736A/zh
Publication of CN108664736A publication Critical patent/CN108664736A/zh
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明提供了一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,本发明能够克服现有技术所存在的问题,是提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,该系统及方法能够使用户将完成的控制逻辑设计数据方便的转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件。采用本发明的系统及方法,可以将控制逻辑设计数据转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件,显著提高了控制逻辑仿真验证平台控制逻辑模型建立的效率和质量。

Description

控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统 及方法
技术领域
本发明涉及热工控制领域,具体涉及一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法。
背景技术
在热工控制系统的控制逻辑设计完成以后,需要对完成的控制逻辑进行设计验证以确保设计的控制逻辑符合预期的要求,控制逻辑设计的正确与否是控制系统能否正确、安全运行的重要保证。随着计算机技术的发展,控制逻辑的设计验证工作一般采用经过验证的控制逻辑仿真验证平台(控制逻辑仿真验证平台是指用于模拟控制系统的控制逻辑或控制特性的计算机软件)。由于图纸规范、设计习惯等原因设计人员往往无法在控制逻辑仿真验证平台直接进行控制逻辑的设计工作,只能通过设计验证人员依据已出版的控制逻辑设计数据在控制逻辑仿真验证平台中人工建立控制逻辑模型文件,该方法不但效率低下同时增加了人为出错的可能,很难确保控制逻辑仿真验证平台中的控制逻辑与已出版设计文件相一致。
发明内容
本发明的目的在于提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,能够使用户将完成的控制逻辑设计数据方便的转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件。
为解决上述问题,本发明提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统,包括客户端计算机,控制逻辑设计数据存储服务器及转换服务器,其中,
所述控制逻辑设计数据存储服务器包括:需要转换的控制逻辑设计数据及用于存储这些设计数据的数据库;
所述转换服务器包括:
数据载入模块,用于从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
数据分类模块,用于对载入的数据以控制逻辑算法为单位进行识别分类;
各类数据的转换模块,用于将各类数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;
控制逻辑仿真验证平台模版读取模块,用于读取控制逻辑仿真验证平台模版文件的内容,并将其存储到内存中;
文件生成模块,用于将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
根据本发明的另一面,提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的方法,包括:
从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
调用数据分类模块,以控制逻辑算法为单位,对载入的数据进行识别分类;
根据数据的类别,调用相应的数据转换模块将控制逻辑设计数据转换为控制逻辑仿真验证平台数据;
使用控制逻辑仿真验证平台模版读取模块读取控制逻辑仿真验证平台模版文件的内容并将其存储到内存中;
调用文件生成模块,将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
与现有技术相比,本发明能够克服现有技术所存在的问题,是提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,该系统及方法能够使用户将完成的控制逻辑设计数据方便的转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件。采用本发明的系统及方法,可以将控制逻辑设计数据转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件,显著提高了控制逻辑仿真验证平台控制逻辑模型建立的效率和质量。
附图说明
图1是本发明一实施例的控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统的结构图;
图2是本发明另一实施例的控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统的结构图;
图3是本发明一实施例的实施例的控制逻辑设计数据转换为控制逻辑仿真验证平台文件的方法的流程图。
具体实施方式
为使本发明的上述目的、特征和优点能够更加明显易懂,下面结合附图和具体实施方式对本发明作进一步详细的说明。
本发明提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,包括客户端计算机,控制逻辑设计数据存储服务器及转换服务器,其中,
所述控制逻辑设计数据存储服务器包括:需要转换的控制逻辑设计数据及用于存储这些设计数据的数据库;
所述转换服务器包括:
数据载入模块,用于从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
数据分类模块,用于对载入的数据以控制逻辑算法为单位进行识别分类;
各类数据的转换模块,用于将各类数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;
控制逻辑仿真验证平台模版读取模块,用于读取控制逻辑仿真验证平台模版文件的内容,并将其存储到内存中;
文件生成模块,用于将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
详细的,如图1所示,是本发明控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统的架构图。该系统主要包括客户端计算机10、转换服务器11、存储设备12、控制逻辑设计数据存储服务器13和存储设计数据的数据库14。所述的客户端计算机10用于向转换服务器11发送控制逻辑设计数据转换为控制逻辑仿真验证平台文件的请求,所述转换服务器11用于处理客户端计算机10的转换请求,转换服务器11连接有存储设备12,用于存储控制逻辑仿真验证平台模版文件,根据转换请求向数据存储服务器13发送获取需转换的控制逻辑设计数据的请求,并将获取的控制逻辑设计数据转化为控制逻辑仿真验证平台文件,所述存储服务器13用于处理转换服务器11的数据获取请求,将控制逻辑设计数据发送给转换服务器11,存储服务器13连接有存储设计数据的数据库14,用于存储需要转换成控制逻辑仿真验证平台文件的控制逻辑设计数据。
更详细的,如图2所示,是图1所示转换服务器11的功能模块图。所述转换服务器11包括:数据载入模块110,用于根据客户端计算机10的转换请求从控制逻辑设计数据存储服务器13以控制逻辑算法为单位逐个载入需要转换成控制逻辑仿真验证平台文件的数据;数据分类模块111,用于对载入的数据以控制逻辑算法为单位进行识别并分成以下几类:输入算法数据、人机接口算法数据、逻辑运算算法数据、输出算法数据和信号连接数据;输入算法数据转换模块112,用于将输入算法数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;人机接口算法数据转换模块113,用于将人机接口算法数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;逻辑运算算法数据转换模块114,用于将逻辑运算算法数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;输出算法数据转换模块115,用于将输出算法数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;信号连接数据转换模块116,用于将信号连接数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;控制逻辑仿真验证平台模版读取模块117,用于读取存储设备12中存储的控制逻辑仿真验证平台模版文件,并将其存储到内存中;文件生成模块118,用于将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
根据本发明的另一面还提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的方法,包括以下步骤:
从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
调用数据分类模块,以控制逻辑算法为单位,对载入的数据进行识别分类;
根据数据的类别,调用相应的数据转换模块将控制逻辑设计数据转换为控制逻辑仿真验证平台数据;
使用控制逻辑仿真验证平台模版读取模块读取控制逻辑仿真验证平台模版文件的内容并将其存储到内存中;
调用文件生成模块,将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
详细的,如图3所示,是本发明控制逻辑设计数据转换为控制逻辑仿真验证平台文件的方法的流程图。该方法包括以下步骤:
(1)数据载入模块110从控制逻辑设计数据存储服务器13以控制逻辑算法为单位逐个载入需要转换成控制逻辑仿真验证平台文件的控制逻辑设计数据(S1);所述的控制逻辑设计数据包括且不仅限于:控制逻辑算法类型名、控制逻辑算法实例名、控制逻辑算法坐标、控制逻辑算法显示尺寸、控制逻辑算法参数、控制逻辑算法输入变量、控制逻辑算法输出变量、控制逻辑算法中间变量、控制逻辑算法连接关系数据等;
(2)调用数据分类模块111,以控制逻辑算法为单位,按照输入算法数据、人机接口算法数据、逻辑运算算法数据、输出算法数据和信号连接数据,对载入的数据进行识别分类(S2);
(3)根据数据的类别,调用相应的数据转换模块将控制逻辑设计数据转换为控制逻辑仿真验证平台数据(S3);所述数据转换模块包括:输入算法数据转换模块112、人机接口算法数据转换模块113、逻辑运算算法数据转换模块114、输出算法数据转换模块115和信号连接数据转换模块116。
(4)使用控制逻辑仿真验证平台模版读取模块117读取控制逻辑仿真验证平台模版文件的内容并将其存储到内存中(S4);所述的控制逻辑仿真验证平台模版文件是一个外部的可随具体控制逻辑仿真验证平台的要求而自行定义的说明性文件,用来说明控制逻辑仿真验证平台文件需要的格式,包括除具体控制逻辑设计数据以外的控制逻辑仿真验证平台文件信息,各类型数据在文件所处的层次结构;
(5)调用文件生成模块118,将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件(S5)。
综上所述,本发明能够克服现有技术所存在的问题,是提供一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法,该系统及方法能够使用户将完成的控制逻辑设计数据方便的转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件。采用本发明的系统及方法,可以将控制逻辑设计数据转换为控制逻辑仿真验证平台可直接读取的控制逻辑模型文件,显著提高了控制逻辑仿真验证平台控制逻辑模型建立的效率和质量。
本说明书中各个实施例采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似部分互相参见即可。对于实施例公开的系统而言,由于与实施例公开的方法相对应,所以描述的比较简单,相关之处参见方法部分说明即可。
专业人员还可以进一步意识到,结合本文中所公开的实施例描述的各示例的单元及算法步骤,能够以电子硬件、计算机软件或者二者的结合来实现,为了清楚地说明硬件和软件的可互换性,在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行,取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能,但是这种实现不应认为超出本发明的范围。
显然,本领域的技术人员可以对发明进行各种改动和变型而不脱离本发明的精神和范围。这样,倘若本发明的这些修改和变型属于本发明权利要求及其等同技术的范围之内,则本发明也意图包括这些改动和变型在内。

Claims (2)

1.一种控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统,其特征在于,包括客户端计算机,控制逻辑设计数据存储服务器及转换服务器,其中,
所述控制逻辑设计数据存储服务器包括:需要转换的控制逻辑设计数据及用于存储这些设计数据的数据库;
所述转换服务器包括:
数据载入模块,用于从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
数据分类模块,用于对载入的数据以控制逻辑算法为单位进行识别分类;
各类数据的转换模块,用于将各类数据,按照转换规则,转换为对应的控制逻辑仿真验证平台数据;
控制逻辑仿真验证平台模版读取模块,用于读取控制逻辑仿真验证平台模版文件的内容,并将其存储到内存中;
文件生成模块,用于将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
2.如权利要求1所述的控制逻辑设计数据转换为控制逻辑仿真验证平台文件的方法,其特征在于,包括:
从控制逻辑设计数据存储服务器中载入需要转换成控制逻辑仿真验证平台文件的数据;
调用数据分类模块,以控制逻辑算法为单位,对载入的数据进行识别分类;
根据数据的类别,调用相应的数据转换模块将控制逻辑设计数据转换为控制逻辑仿真验证平台数据;
使用控制逻辑仿真验证平台模版读取模块读取控制逻辑仿真验证平台模版文件的内容并将其存储到内存中;
调用文件生成模块,将转换后的控制逻辑仿真验证平台数据输出到内存中的控制逻辑仿真验证平台模版文件生成控制逻辑仿真验证平台文件。
CN201810450106.XA 2018-05-11 2018-05-11 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法 Pending CN108664736A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201810450106.XA CN108664736A (zh) 2018-05-11 2018-05-11 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201810450106.XA CN108664736A (zh) 2018-05-11 2018-05-11 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法

Publications (1)

Publication Number Publication Date
CN108664736A true CN108664736A (zh) 2018-10-16

Family

ID=63779341

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810450106.XA Pending CN108664736A (zh) 2018-05-11 2018-05-11 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法

Country Status (1)

Country Link
CN (1) CN108664736A (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112487669A (zh) * 2020-12-24 2021-03-12 上海核工程研究设计院有限公司 一种核电厂控制逻辑设计验证的系统及方法

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104950696A (zh) * 2015-07-15 2015-09-30 上海核工程研究设计院 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104950696A (zh) * 2015-07-15 2015-09-30 上海核工程研究设计院 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112487669A (zh) * 2020-12-24 2021-03-12 上海核工程研究设计院有限公司 一种核电厂控制逻辑设计验证的系统及方法
WO2022135524A1 (zh) * 2020-12-24 2022-06-30 上海核工程研究设计院有限公司 一种核电厂控制逻辑设计验证的系统及方法

Similar Documents

Publication Publication Date Title
CN107678935B (zh) 数据生成方法、终端及计算机可读存储介质
US10599793B2 (en) System and method for passive verification
JP2022039973A (ja) 品質を管理するための方法及び装置、電子機器、記憶媒体、並びに、コンピュータプログラム
CN105320553A (zh) 一种基于国产处理器平台更新网卡固件的方法及系统
CN111523284A (zh) 转换芯片eda仿真配置的方法、装置及应用
CN110109978A (zh) 基于指标的数据分析方法、装置、服务器及可读存储介质
CN110472246A (zh) 工单分类方法、装置及存储介质
CN112465141A (zh) 模型压缩方法、装置、电子设备及介质
CN110134596A (zh) 测试文档的生成方法及终端设备
US8306802B2 (en) Method for modeling an HDL design using symbolic simulation
CN108664736A (zh) 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法
CN104950696A (zh) 控制逻辑设计数据转换为控制逻辑仿真验证平台文件的系统及方法
CN104636143A (zh) 一种用于c语言教学的电子展示装置及其控制方法
JP2021108097A (ja) 情報処理システム、情報処理装置、情報処理装置の使用方法、ユーザ端末およびそのプログラム
CN107071553A (zh) 一种修改视频语音的方法、装置和计算机可读存储介质
CN110515604A (zh) 验证环境的可执行程序文件的获取方法及装置
US20050144586A1 (en) Automated generation method of hardware/software interface for SIP development
CN108228314A (zh) 一种基于设备规约的虚拟原型错误检测方法
CN113272813B (zh) 定制数据流硬件模拟仿真方法、装置、设备及存储介质
CN111124897B (zh) 一种可重用仿真接口模型的生成方法
CN103425558A (zh) 一种基于测试配置表实现板卡io口测试的方法
CN109669872A (zh) 一种验证方法和装置
CN111859985A (zh) Ai客服模型测试方法、装置、电子设备及存储介质
CN109547410A (zh) 基于gcn的请求识别方法、装置、服务器及存储介质
CN111881634B (zh) 一种电子系统行为级仿真验证方法

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
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20181016

WD01 Invention patent application deemed withdrawn after publication