基于Cyber-net与无监督学习的电网调度网络安全态势感知方法 被引量：6

1

作者 张伟 纪巍 《微型电脑应用》 2023年第10期197-200,共4页

在电网运行过程中,如果调度网络受到攻击,容易出现安全漏洞,导致电网调度安全性降低,为此,提出基于Cyber-net与无监督学习的电网调度网络安全态势感知方法。构建电网调度网络隔离性安全检测模型,引入综合风险指标作为电网的三层评估指标... 在电网运行过程中,如果调度网络受到攻击,容易出现安全漏洞,导致电网调度安全性降低,为此,提出基于Cyber-net与无监督学习的电网调度网络安全态势感知方法。构建电网调度网络隔离性安全检测模型,引入综合风险指标作为电网的三层评估指标,建立电网调度的可靠性指标计算体系;通过引入期望负荷削减参数,实现电网调度安全性频率特征监测;基于负荷削减平均持续风险指标评估,设置电网调度的安全允许条件;结合风险评估和负荷参数检测,采用Cyber-net构建电网控制模型;采用无监督学习的方法,通过接入和分散式调度,实现电网的安全态势感知。测试表明,该方法进行电网调度网络安全态势感知的准确性较高,能够提高并网控制的安全性。 展开更多

关键词 cyber-net 无监督学习 电网调度 网络安全

在线阅读 下载PDF 职称材料

基于解释Petri网的新型CPS分解方法

2

作者 陈宇浩 屠翰乾 相东明 《计算机科学》 北大核心 2025年第4期49-53,共5页

Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;... Petri网被广泛应用于信息物理系统(Cyber-Physical Systems,CPS)的建模与分析,这些系统通常包含多个并发任务。为了简化CPS的实现过程,可将其分解成为若干独立组件。现有的CPS分解方法,如基于整数线性代数的算法,面临高时间复杂度问题;而依赖监控器的分解方法则存在较大的通信开销。为解决这些问题,综合现有分解方法的优势,提出了一种基于解释Petri网的CPS分解方法。该方法通过约束条件逐步分解网络,生成独立的状态机组件,有效缩小了模型规模。同时,提出了一种新的信号同步机制替代传统的监控器方案,显著降低了同步开销。实验结果表明,所提方法在大多数测试案例中的分解时间为O(n^(2)),远优于传统方法的指数级复杂度O(2^(n)),且生成的组件集合也更加简洁。 展开更多

关键词 信息物理系统 PETRI网 状态机组件 可编程门阵列 系统分解

在线阅读 下载PDF 职称材料

基于Petri网的交通信号控制系统 被引量：6

3

作者 蒋忠远 宋文 杨博 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期221-226,共6页

用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发... 用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。 展开更多

关键词 PETRI网 自控网 禁止弧 容许弧 形式化 相位

在线阅读 下载PDF 职称材料

自控网系统建模工具的研究与开发 被引量：3

4

作者 万军 赵不贿 陆继远 《计算机科学》 CSCD 北大核心 2014年第7期97-101,共5页

自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实... 自控网系统是一类具有非线性关系和强大建模能力的Petri网。应用可视化编程平台Visual Studio.NET开发了自控网系统建模工具CyberNetTool。用户可在交互方式下建立自控网系统模型,并采用PNML格式文件来存储模型。构造了软件核心类,以实现界面控件管理和模型分析,详细描述了自控网系统各性质分析模块和动态仿真模块的实现算法。最后通过具体应用实例表明了该工具的正确性和实用性。 展开更多

关键词 PETRI网 自控网系统 建模 PNML

在线阅读 下载PDF 职称材料

线性定常系统的Petri网解耦控制 被引量：3

5

作者 万军 赵不贿 《控制理论与应用》 EI CAS CSCD 北大核心 2014年第9期1213-1220,共8页

将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了... 将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了广义连续自控网系统模型与状态空间描述的等效性.基于状态反馈动态解耦的基本原理,探讨了利用Petri网模型结构实现线性定常系统解耦控制的新方法.该方法采用图的遍历算法,可有效的判断系统的可解耦性以及实现解耦控制律,避免了传统解耦控制方法中计算所需的大量矩阵运算.最后给出了两个具体的应用实例. 展开更多

关键词 线性定常系统 PETRI网 广义连续自控网系统 解耦 模型结构 状态反馈

在线阅读 下载PDF 职称材料

基于Petri网的非线性多变量系统解耦控制 被引量：2

6

作者 万军 赵不贿 《控制与决策》 EI CSCD 北大核心 2018年第9期1713-1718,共6页

广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制... 广义自控网系统是一类弧权值受库所控制的高级Petri网,能够简单有效地建模PID控制规律.借鉴单神经元PID控制原理,在广义自控网系统的基础上加入神经元网络的学习规则,设计基于广义自控网系统的PID控制器,并用于非线性多变量系统解耦控制.所提方法充分利用了自控网系统的特点,所设计的控制器模型能实现系统控制与参数学习的统一.结合双容水箱控制系统实例进行仿真分析,分析结果验证了所提方法的有效性. 展开更多

关键词 PETRI网 解耦 多变量系统 PID控制 单神经元 自控网系统

原文传递

基于增广自控网的路灯故障检测系统 被引量：1

7

作者 严兵 宋文 蒋忠远 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期171-174,共4页

用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、... 用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。系统模型采用应答方式的工作原理。最后,用可达标识和关联矩阵对模型进行分析、验证。 展开更多

关键词 PETRI网 自控网 禁止弧 容许弧 可达标识 形式化

在线阅读 下载PDF 职称材料

基于自控网系统的批处理建模及分析 被引量：1

8

作者 赵明峰 宋文 杨松 《西华大学学报（自然科学版）》 CAS 2006年第4期24-26,共3页

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型... 自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的。 展开更多

关键词 自控网系统 建模 结构活性 并发 可达图

在线阅读 下载PDF 职称材料

描述CPS物理实体的时空Petri网模型 被引量：3

9

作者 张茗泰 张广泉 +2 位作者 张侃 陈名才 封飞 《计算机科学与探索》 CSCD 2013年第4期377-384,共8页

时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物... 时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。 展开更多

关键词 时间PETRI网 信息物理融合系统(CPS) 物理实体 空间信息 时空Petri网

在线阅读 下载PDF 职称材料

基于自控网的电池生产线建模与优化 被引量：1

10

作者 殷苏民 张建刚 +1 位作者 赵不贿 吴国平 《机械设计与制造》 北大核心 2012年第11期16-18,共3页

针对传统无汞碱性锌锰电池生产线存在的不足,在不改变生产工序的前提下,运用Petri网系统理论,建立了一种改进的无汞碱性锌锰电池生产线的带有时延特性的自控网系统模型。提出了衡量串行生产线可优化能力的标准:可优化度,并根据生产线的... 针对传统无汞碱性锌锰电池生产线存在的不足,在不改变生产工序的前提下,运用Petri网系统理论,建立了一种改进的无汞碱性锌锰电池生产线的带有时延特性的自控网系统模型。提出了衡量串行生产线可优化能力的标准:可优化度,并根据生产线的工作情况对生产线的状态进行了划分。然后以产量最大化为目标,求解出了的生产系统由非稳状态过渡到稳定状态各生产模块的速度,优化了生产过程。最后运用Simulink/Stateflow模块对建立的的生产线自控网模型进行了仿真验证。 展开更多

关键词 生产线 PETRI网 自控网 可优化度 STATEFLOW

在线阅读 下载PDF 职称材料

网络道德失范与网络伦理的构建 被引量：19

11

作者 关友杏 《学术交流》 北大核心 2006年第4期15-19,共5页

科学技术是一把双刃剑,高度发展的科学技术使其正负效应表现呈愈来愈大之势。网络失范是当代社会学无法回避的一个新领域,也是新兴的网络社会学中不可忽视的重要问题。它不仅阻碍了网络自身的健康发展而且对我国经济、政治、文化、社会... 科学技术是一把双刃剑,高度发展的科学技术使其正负效应表现呈愈来愈大之势。网络失范是当代社会学无法回避的一个新领域,也是新兴的网络社会学中不可忽视的重要问题。它不仅阻碍了网络自身的健康发展而且对我国经济、政治、文化、社会等方面产生了深刻的影响,研究我国当前网络失范行为及如何构建我国的网络伦理道德体系,具有重要的理论和现实意义。 展开更多

关键词 网络社会 网络道德 网络伦理

在线阅读 下载PDF 职称材料

网吧作为网络文化载体的形态、特征和功能 被引量：4

12

作者 傅才武 《华中师范大学学报（人文社会科学版）》 CSSCI 北大核心 2007年第1期117-123,共7页

网吧行业是中国一个独特的文化领域。网吧作为网络文化的载体,具有大众消费文化、青年时尚文化和城市社区文化等独特的文化形态,具有传统文化价值解构与新型文化价值建构、青年文化空间与准公共空间等多重文化功能和文化属性。

关键词 因特网 网吧 网吧文化

在线阅读 下载PDF 职称材料

网络财务的发展及其面临的问题 被引量：9

13

作者 刘忠玉 《辽宁师范大学学报（自然科学版）》 CAS 北大核心 2006年第4期446-448,共3页

随着信息技术快速发展,全球信息处理网络化成为历史发展的必然趋势,互联网推动着企业的财务管理进入一个新的发展阶段———网络财务.在定义网络财务内涵的基础上,讨论了网络财务的功能特点,分析了网络财务发展中面临的问题,提出了网络... 随着信息技术快速发展,全球信息处理网络化成为历史发展的必然趋势,互联网推动着企业的财务管理进入一个新的发展阶段———网络财务.在定义网络财务内涵的基础上,讨论了网络财务的功能特点,分析了网络财务发展中面临的问题,提出了网络财务的实施策略. 展开更多

关键词 网络财务 网络安全 财务信息系统

在线阅读 下载PDF 职称材料

基于层次Petri网的信息物理融合系统安全博弈建模 被引量：4

14

作者 崔文岩 孟相如 《计算机应用研究》 CSCD 北大核心 2017年第8期2439-2442,共4页

随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给... 随着信息物理融合系统在工业中的广泛应用,系统安全已成为关注的焦点,信息物理融合系统的物理依赖和信息驱动特点使其面临信息物理双重威胁。为更加有效地进行应对,采取最佳防御策略,建立了基于层次Petri网的信息物理安全分析模型,并给出了描述攻防博弈策略的博弈网模型,进行了安全博弈分析,构建了纳什均衡策略,并采用萤火虫群算法进行了求解。最后以防空网络为实例进行了模拟分析,验证了模型的有效性。 展开更多

关键词 信息物理融合系统 安全 PETRI网 博弈论

在线阅读 下载PDF 职称材料

信息物理融合系统的面向对象Petri网建模 被引量：10

15

作者 李晔 王映辉 于振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第2期165-171,共7页

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体... 从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性.利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发. 展开更多

关键词 信息物理融合系统 多AGENT系统 PETRI网 分析

在线阅读 下载PDF 职称材料

网络政治参与研究的进程、议题和趋势 被引量：11

16

作者 郭彦森 《郑州大学学报（哲学社会科学版）》 CSSCI 北大核心 2014年第1期14-22,共9页

国内网络政治参与研究从起步到现在进入初步发展阶段,网络政治参与的涵义和特点、形式和类型、影响因素和行为机理、积极作用和困境、治理对策和出路等议题逐渐展开,但多局限于现象描述。下一步应重点加强分类识别、行为机理、不同社会... 国内网络政治参与研究从起步到现在进入初步发展阶段,网络政治参与的涵义和特点、形式和类型、影响因素和行为机理、积极作用和困境、治理对策和出路等议题逐渐展开,但多局限于现象描述。下一步应重点加强分类识别、行为机理、不同社会群体的网络政治参与、修复和提振政府公信力等方面的研究。 展开更多

关键词 网络政治参与 民主 网络群体性事件 网络媒体

原文传递

校园增值服务网 被引量：1

17

作者 刘军 任治斌 《渭南师范学院学报》 2002年第2期49-51,共3页

校园增值服务网是指既能实现信息检索、Web代理等基础服务 ,又能实现电子校务、视频会议等高端应用的校园网 .本文从拓展校园网应用的角度 。

关键词 校园网 FastURL 电子校务 用户端支持 校园增值服务网 信息检索 WEB代理

在线阅读 下载PDF 职称材料

一种基于LHPN的信息物理融合系统模型验证方法 被引量：2

18

作者 丘威 《计算机科学》 CSCD 北大核心 2014年第S1期64-66,86,共4页

由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究... 由于信息物理融合系统(CPS)的硬件集成度和软件参与度不断提高,大量软件与硬件间异构连通并相互控制,使得CPS的分析设计、建模与验证也愈加困难,由此引起模型的状态空间膨胀问题。提出利用带标记混合Petri网方法对CPS进行建模和验证研究,在CPS中采用模型检测和定理证明相结合的形式化方法,对试图解决系统验证时状态空间膨胀问题供理论依据。提出一种自动抽取及其简化模型的方法,在容错温度传感器系统中的初步实验结果表明该方法是可行的,通过一个实例原型的应用说明了该方法的有效性。 展开更多

关键词 带标记混合Petri网 信息物理融合系统 建模 验证

在线阅读 下载PDF 职称材料

混成时空Petri网的CPS实时事件模型 被引量：3

19

作者 谭朋柳 汪亚亚 朱明 《传感器与微系统》 CSCD 2016年第10期32-35,共4页

在分析网络物理系统(CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网(HSPN)模型,使其不仅能够描... 在分析网络物理系统(CPS)特点的基础上,提出了一种新的CPS体系结构,并对事件进行形式化定义。提出了一种新的CPS物理实体的形式化建模方法。在Petri网的基础上引入时空因素和连续变量,构造了混成时空Petri网(HSPN)模型,使其不仅能够描述物理实体逻辑和时间层次的行为,而且能够描述物理实体位置变迁所引起的状态变化。将其应用于实时事件CPS模型设计,以医疗控制系统为例,分析建模方法的可行性。 展开更多

关键词 混成时空Petri网(HSPN) 网络物理系统(CPS) 实时事件模型 体系结构

在线阅读 下载PDF 职称材料

作为社会问题的网络色情及其综合治理 被引量：2

20

作者 徐瑞萍 《佛山科学技术学院学报（社会科学版）》 2004年第5期12-15,共4页

网络色情已成为网络空间一个日益严重的社会问题。色情软件、色情网站、色情聊天室以及色情对手机的入侵,使网络空间色情泛滥。网络自身的特点、商业利益的驱动、网络主体的心理需要以及社会的因素是网络色情泛滥的主要原因。有效遏制... 网络色情已成为网络空间一个日益严重的社会问题。色情软件、色情网站、色情聊天室以及色情对手机的入侵,使网络空间色情泛滥。网络自身的特点、商业利益的驱动、网络主体的心理需要以及社会的因素是网络色情泛滥的主要原因。有效遏制网络色情,应进行综合治理:加强网络法制建设,完善网络监管机制;建构网络道德规范体系,提高网络行为者的道德素养;发挥家庭、学校、社会各自优势,共建联合防线;发展网络审查技术,从源头上切断网络色情。 展开更多

关键词 社会问题 网络空间 网络色情 综合治理

在线阅读 下载PDF 职称材料