检索结果-维普期刊中文期刊服务平台

基于状态转移系统的安全协议形式模型被引量：1: 1; 作者毛中全刘楠 +1 位作者顾纯祥祝跃飞《计算机工程》 CAS CSCD 北大核心 2008年第13期149-151,共3页; 提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够... 展开更多; 关键词安全协议形式模型状态转移系统重写关系 Dolev-Yao攻击者模型; 在线阅读下载PDF 职称材料

基于系统状态转移抽样的含分布式电源配电网可靠性评估被引量：34: 2; 作者葛少云王浩鸣《电力系统自动化》 EI CSCD 北大核心 2013年第2期28-35,共8页; 基于系统状态转移抽样法,提出了含高渗透率分布式电源(DG)的配电网序贯蒙特卡洛模拟法可靠性评估方法,可以同时计算系统的发电类和配电类可靠性指标。分别建立了非电源元件和DG的状态模型,考虑了时序变化的风电出力、光伏出力、负荷以... 展开更多; 关键词配电网可靠性评估分布式电源蒙特卡洛法系统状态转移抽样; 在线阅读下载PDF 职称材料

基于系统短期时序状态转移抽样法的孤岛运行微电网可靠性评估被引量：8: 3; 作者彭寒梅郭颖聪 +2 位作者昌玲李帅虎李辉《电工电能新技术》 CSCD 北大核心 2018年第1期66-74,共9页; 孤岛运行微电网完全利用自身的分布式电源(DG)和储能装置满足微电网内负荷的供电需求,因此有必要对其进行充裕度可靠性评估。本文针对孤岛运行微电网未来短期可靠性具有时变性,及可靠性评估解析法难以获得故障持续时间信息的问题,提出... 展开更多; 关键词孤岛运行微电网短期可靠性评估系统短期时序状态转移抽样法故障解列静态安全约束; 在线阅读下载PDF 职称材料

N个不同部件并联可修系统的可用度分析: 4; 作者邓重一《兵工自动化》 2004年第4期9-9,共1页; 由N个不同部件并联组成系统,各部件失效率分别为(λ1,λ2,…,λn),修复率分别为(μ1,μ2,…,μn)。假定在Δt时间内系统不会同时出现两个以上部件失效,若只有一组维修人员且不能同时修复两个以上失效部件,根据基于马尔可夫过程的系统状... 展开更多; 关键词并联马尔可夫过程系统状态转移图可用度分析; 在线阅读下载PDF 职称材料

不确定规划中可达关系的快速求解算法被引量：1: 5; 作者龙凤文中华 +1 位作者唐杰王进宗《计算机工程》 CAS CSCD 北大核心 2015年第1期196-199,217,共5页; 在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定... 展开更多; 关键词不确定规划可达关系智能规划模型检测不确定性不确定状态转移系统; 在线阅读下载PDF 职称材料

题名基于状态转移系统的安全协议形式模型被引量：1: 1; 作者毛中全刘楠顾纯祥祝跃飞; 机构信息工程大学信息工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2008年第13期149-151,共3页; 基金国家自然科学基金资助项目(60473021); 文摘提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够对安全协议进行精确的形式化描述,且便于实现自动化分析。; 关键词安全协议形式模型状态转移系统重写关系 Dolev-Yao攻击者模型; Keywords security protocols formal model state transition system rewrite relation Dolev-Yao intruder model; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于系统状态转移抽样的含分布式电源配电网可靠性评估被引量：34: 2; 作者葛少云王浩鸣; 机构智能电网教育部重点实验室天津市电力公司电力科学研究院; 出处《电力系统自动化》 EI CSCD 北大核心 2013年第2期28-35,共8页; 基金国家重点基础研究发展计划(973计划)资助项目(2009CB219700)~~; 文摘基于系统状态转移抽样法,提出了含高渗透率分布式电源(DG)的配电网序贯蒙特卡洛模拟法可靠性评估方法,可以同时计算系统的发电类和配电类可靠性指标。分别建立了非电源元件和DG的状态模型,考虑了时序变化的风电出力、光伏出力、负荷以及上级电源容量约束。在不同充电策略下,蓄电池荷电状态变化情况采用KiBaM模型模拟。将系统的状态空间集合分为发电系统状态和配电系统状态2个部分,当存在非电源元件处于故障状态时,调用配电系统模拟过程,当所有非电源元件均正常时,则调用发电系统模拟过程。通过算例对比,表明了所提出方法的有效性。该方法能够为含DG的配电网优化规划提供参考。; 关键词配电网可靠性评估分布式电源蒙特卡洛法系统状态转移抽样; Keywords distribution network reliability evaluation distributed generator Monte Carlo method system state transition sampling; 分类号 TM732 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名基于系统短期时序状态转移抽样法的孤岛运行微电网可靠性评估被引量：8: 3; 作者彭寒梅郭颖聪昌玲李帅虎李辉; 机构湘潭大学信息工程学院湖南省风电装备与电能变换协同创新中心; 出处《电工电能新技术》 CSCD 北大核心 2018年第1期66-74,共9页; 基金国家自然科学基金项目(51507149); 文摘孤岛运行微电网完全利用自身的分布式电源(DG)和储能装置满足微电网内负荷的供电需求,因此有必要对其进行充裕度可靠性评估。本文针对孤岛运行微电网未来短期可靠性具有时变性,及可靠性评估解析法难以获得故障持续时间信息的问题,提出一种孤岛运行微电网短期可靠性评估的模拟法。首先,提出系统短期时序状态转移抽样法,以获得微电网时序系统状态;再建立考虑控制策略的DG装置出力模型,并计及故障解列、孤岛系统切负荷及静态安全约束的影响进行孤岛运行微电网短期可靠性评估,得到包括负荷点平均停电时间在内的短期可靠性指标值。算例系统的短期可靠性评估结果及分析验证了所提方法的正确性和有效性,具有一定的工程应用价值。; 关键词孤岛运行微电网短期可靠性评估系统短期时序状态转移抽样法故障解列静态安全约束; Keywords islanded microgrid short-term reliability evaluation system short-term sequential transition sampling fault splitting static security constraints; 分类号 TM73 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名N个不同部件并联可修系统的可用度分析: 4; 作者邓重一; 机构湖南建材高等专科学校电子信息工程系; 出处《兵工自动化》 2004年第4期9-9,共1页; 文摘由N个不同部件并联组成系统,各部件失效率分别为(λ1,λ2,…,λn),修复率分别为(μ1,μ2,…,μn)。假定在Δt时间内系统不会同时出现两个以上部件失效,若只有一组维修人员且不能同时修复两个以上失效部件,根据基于马尔可夫过程的系统状态转移图,则共有(n+1)个状态。; 关键词并联马尔可夫过程系统状态转移图可用度分析; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名不确定规划中可达关系的快速求解算法被引量：1: 5; 作者龙凤文中华唐杰王进宗; 机构湘潭大学信息工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2015年第1期196-199,217,共5页; 基金国家自然科学基金资助项目(61070232 61272295); 文摘在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定规划中状态之间可达关系的算法,将确定动作和不确定动作区分处理,先求解所有确定动作的可达关系,再采用链表和队列求解不确定动作的可达关系。实验结果表明,与矩阵乘法相比,该算法能得到更全面的可达关系,且求解效率更高。; 关键词不确定规划可达关系智能规划模型检测不确定性不确定状态转移系统; Keywords uncertain planning reachability relation intelligent planning model checking uncertainty uncertain state-transition system; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于状态转移系统的安全协议形式模型	毛中全刘楠顾纯祥祝跃飞	《计算机工程》 CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
2	基于系统状态转移抽样的含分布式电源配电网可靠性评估	葛少云王浩鸣	《电力系统自动化》 EI CSCD 北大核心	2013	34	在线阅读下载PDF 职称材料
3	基于系统短期时序状态转移抽样法的孤岛运行微电网可靠性评估	彭寒梅郭颖聪昌玲李帅虎李辉	《电工电能新技术》 CSCD 北大核心	2018	8	在线阅读下载PDF 职称材料
4	N个不同部件并联可修系统的可用度分析	邓重一	《兵工自动化》	2004	0	在线阅读下载PDF 职称材料
5	不确定规划中可达关系的快速求解算法	龙凤文中华唐杰王进宗	《计算机工程》 CAS CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料