| 基于Petri网的电力系统监控数据多点校核方法 |
| |
| 引用本文： | 张丹,佘维.基于Petri网的电力系统监控数据多点校核方法[J].应用声学,2016,24(4):101-104. |
| |
| 作者姓名： | 张丹 佘维 |
| |
| 作者单位： | 中国地震局地球物理勘探中心,郑州 450002,郑州大学 软件技术学院,郑州 450003 |
| |
| 基金项目： | 国家自然科学基金(U1204610)；河南省基础与前沿技术研究计划项目(152300410047)；中国地震局地球物理勘探中心青年基金项目(YFGEC2014004)。 |
| |
| 摘 要： | 由于人为误操作和数据库系统异步因素,电力系统监控数据存在错误风险,需要对监控数据进行多点校核来保障其一致性和正确性,可靠的监控数据保证电力系统的安全运转；然而多点校核业务流复杂且对数据精度要求高,目前的人工校核方法不仅成本高,且精度和效率低,不能保证整个监控数据的实时校核工作；为自动化监控数据多点校核过程,需要对整个业务流建模,针对该问题,提出一种基于Petri网的监控数据多点校核动态建模方法；首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点；然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型；最后,针对该模型提出一种化简技术对其进行化简,并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程。
|
| 关 键 词： | 电力系统 监控数据 工作流 Petri网 形式化验证 |
| 收稿时间： | 2015/10/9 0:00:00 |
| 修稿时间： | 2015/11/9 0:00:00 |
Multipoint Verification about Monitoring Data of Power System Based on Petri Net |
| |
| Zhang Dan and She Wei.Multipoint Verification about Monitoring Data of Power System Based on Petri Net[J].Applied Acoustics,2016,24(4):101-104. |
| |
| Authors: | Zhang Dan and She Wei |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《应用声学》浏览原始摘要信息 |
| 点击此处可从《应用声学》下载免费的PDF全文 |
|
