期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
三方密码协议运行模式分析法 被引量:5
1
作者 刘秀英 张玉清 +1 位作者 杨波 邢戈 《中国科学院研究生院学报》 CAS CSCD 2004年第3期380-385,共6页
在两方密码协议运行模式分析法的基础上 ,利用模型检测的理论结果 ,提出了三方密码协议运行模式分析法 .用这种方法对DavisSwick协议进行了分析 ,成功地验证了此协议的安全性 。
关键词 密码协议 形式化分析 模型检测 运行模式分析法
在线阅读 下载PDF
扎根本体 建构模式——论袁静芳先生之“模式分析法”及其在佛乐研究中的应用 被引量:2
2
作者 胡晓东 《南京艺术学院学报(音乐与表演版)》 北大核心 2016年第3期134-139,共6页
袁静芳先生是我国著名的传统音乐理论家和教育家,治中国传统音乐理论半世纪有余,在中国民族器乐与乐种研究以及佛教音乐研究领域做出了重要贡献。先生将中国传统音乐置于传统文化的原生语境之中进行考察,提炼出有别于西方音乐分析模式,... 袁静芳先生是我国著名的传统音乐理论家和教育家,治中国传统音乐理论半世纪有余,在中国民族器乐与乐种研究以及佛教音乐研究领域做出了重要贡献。先生将中国传统音乐置于传统文化的原生语境之中进行考察,提炼出有别于西方音乐分析模式,且适合中国传统音乐本体分析的方法体系。在扎实深广的音乐本体研究的基础上,聚沙成塔、炼石成金,建构起乐种学研究之"模式分析法",有力地推动了中国传统音乐形态学学科建设的发展。先生之"模式分析法"至少有两层意涵:其一为对中国传统音乐中"模式化"了的音乐事像进行分析和研究,其二是对传统音乐文化进行系统完善的"模式化"研究,后者意义尤重。该模式分析法,是较早具备历史民族音乐学视野的研究模式,取跨学科研究视角,结合史学、民族学、文化人类学与社会学等研究方法,以宏观动态视野审视中国传统音乐文化。深凿音乐本体表象背后丰富的历史文化内涵,探究二者之间的内在关联,为学界提供了认知中国传统音乐文化的新角度。袁先生将模式分析法运用于佛教音乐研究,取得了突破性进展,尤以庞大的佛教乐目家族《料峭》的模式分析法最为典型,为佛乐乃至中国传统音乐的形态学研究提供了良好范式。 展开更多
关键词 袁静芳 中国传统音乐形态学 乐种学 模式分析法 佛教音乐
在线阅读 下载PDF
用模式分析法计算矩形波导位移形成的反射
3
作者 周冠杰 《现代雷达》 CSCD 1996年第5期57-63,共7页
波导位移引起的反射,已有公式可查,但当位移值较大时,现有方法的计算值误差较大。本文验证了采用加权盖根堡(Gegenbeuer)多项式来描述波导位移平面内的场时所给出的近似公式,它可解决波导位移值一直到25%波导尺寸时... 波导位移引起的反射,已有公式可查,但当位移值较大时,现有方法的计算值误差较大。本文验证了采用加权盖根堡(Gegenbeuer)多项式来描述波导位移平面内的场时所给出的近似公式,它可解决波导位移值一直到25%波导尺寸时反射系数的计算。 展开更多
关键词 位移 模式分析法 反射 波导接头 矩形波导
在线阅读 下载PDF
基于故障模式分析法对含DG的配电网供电可靠性评估 被引量:7
4
作者 陈真清 黄民德 《电网与清洁能源》 2013年第12期84-87,共4页
分析DG的接入对小型配电网供电可靠性的影响,利用故障模式后果分析法对含有DG的配电网进行供电可靠性计算和分析,得出接入DG后供电可靠性较接入DG之前有提高,故采用正确的方式将DG接入配电网,有利于提高用户的供电可靠性。
关键词 分布式电源 配电网 供电可靠性评估 故障模式分析法
在线阅读 下载PDF
电力系统非线性模式分析方法的比较 被引量:20
5
作者 吴复霞 吴浩 +1 位作者 韩祯祥 甘德强 《中国电机工程学报》 EI CSCD 北大核心 2007年第34期19-25,共7页
该文对2种电力系统非线性模式分析方法——模态级数法和正规形法进行比较。定性比较模态级数法和正规形法的2阶参与因子。在正规形法原有指标的基础上定义一个非线性指标,并以4机2区系统的算例验证该非线性指标的有效性。为比较模态级... 该文对2种电力系统非线性模式分析方法——模态级数法和正规形法进行比较。定性比较模态级数法和正规形法的2阶参与因子。在正规形法原有指标的基础上定义一个非线性指标,并以4机2区系统的算例验证该非线性指标的有效性。为比较模态级数法、正规形法和线性模式分析法所得解对时域仿真解的逼近程度,定义一误差指标,并在4机2区系统中做相关分析。发现模态级数法和线性模式分析法的有效性均不受系统共振的影响,而正规形法的有效性受系统共振情况的影响较大,在系统的2阶共振点附近,其有效域面积较小。通过延长故障的持续时间来改变系统的非线性程度,发现随着系统非线性的增强,模态级数法的误差及其增加速度都是最小的,正规形法次之。 展开更多
关键词 电力系统 非线性模式分析 模态级数 正规形方 线性模式分析法 参与因子
在线阅读 下载PDF
SSL3.0基本握手协议的运行模式分析 被引量:2
6
作者 莫燕 张玉清 李学干 《中国科学院研究生院学报》 CAS CSCD 2005年第4期511-517,共7页
主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形... 主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析.通过分析,找到了3种不同的攻击形式,并且对这3种攻击形式进行了深入研究,发现这3种攻击虽然从表面上看都是由于允许不同版本共存的漏洞引起的,但是经过仔细分析攻击的形式,发现这3种攻击是存在差异的.主要是角色欺骗不相同,而这又可能会造成潜在攻击.最后对这个协议进行了改进,从而有效避免了以上3种攻击。 展开更多
关键词 SSL协议 形式化分析 运行模式分析法
在线阅读 下载PDF
SET支付协议简化版本的运行模式分析 被引量:1
7
作者 吴建耀 张玉清 杨波 《计算机应用研究》 CSCD 北大核心 2005年第10期124-127,共4页
主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析,通过分析找到了六种不同的攻击形式,其中四种是新发现的攻击,并且对这六种攻击形式进行了深入的分析,发现了其中的差异和可能造成的潜在攻击,最后根据攻击的特... 主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析,通过分析找到了六种不同的攻击形式,其中四种是新发现的攻击,并且对这六种攻击形式进行了深入的分析,发现了其中的差异和可能造成的潜在攻击,最后根据攻击的特征对这六种攻击进行了分类。 展开更多
关键词 SET支付协议 运行模式分析法 形式化分析
在线阅读 下载PDF
基于FMEA的化工装置调配单元可靠性分析 被引量:1
8
作者 谭凯 《化工设备与管道》 北大核心 2025年第1期15-19,共5页
化工装置中存在较多的高温高压工况以及易燃易爆有毒等高危介质,近年来,化工企业安全事故频发,国家对化工企业安全的重视性也不断提高,化工设备的可靠性对于保障人民生命及国家财产安全愈发重要。文章以化工装置中的调配单元为例,采用... 化工装置中存在较多的高温高压工况以及易燃易爆有毒等高危介质,近年来,化工企业安全事故频发,国家对化工企业安全的重视性也不断提高,化工设备的可靠性对于保障人民生命及国家财产安全愈发重要。文章以化工装置中的调配单元为例,采用故障模式分析法对其进行分析,并综合考虑设备故障的严重度、发生度和探测度,采用危险优先系数法进行量化计算。调配单元虽然多为常压,一旦发生故障,或者原辅料调配的比例发生变化,将直接影响下游的生产。通过分析,得出日常运行中危险优先系数高的故障类型,通过针对性的预防性维修,可以减少设备故障次数,有效保障员工人身安全和企业财产安全,从而预防重大化工风险。 展开更多
关键词 可靠性分析 故障模式分析法 危险优先系数 化工设备
在线阅读 下载PDF
低频振荡模式选择法的再改进 被引量:13
9
作者 徐贤 万秋兰 《电力系统自动化》 EI CSCD 北大核心 2003年第17期23-25,72,共4页
在分析了改进低频振荡模式选择法原理的基础上 ,指出了其存在的不足 ,并提出了针对性的再改进算法。再改进算法除了具备原算法的优点外 ,还解决了原算法迭代收敛到非机电模式的问题和丢根问题 ;避免了用QR法对大型矩阵求特征值 ;无须对... 在分析了改进低频振荡模式选择法原理的基础上 ,指出了其存在的不足 ,并提出了针对性的再改进算法。再改进算法除了具备原算法的优点外 ,还解决了原算法迭代收敛到非机电模式的问题和丢根问题 ;避免了用QR法对大型矩阵求特征值 ;无须对振荡收敛的机电模式进行迭代求解 ;具有计算量少。 展开更多
关键词 低频振荡 选择模式分析法 励磁 电力系统
在线阅读 下载PDF
多重复句的分析模型——兼淡语法分析的作用与目的 被引量:9
10
作者 姚亚平 《汉语学习》 CSSCI 北大核心 1990年第3期8-14,共7页
现代汉语多重复句的分析一直是现代汉语语法教学的一个难点,也是人们语言理解时的一个颇感头痛的问题。如果能找到一个简便易行、行之有效的分析方法,那将是一件十分有意义的、倍受欢迎的事。 迄今为止,分析多重复句的方法一般是:首先... 现代汉语多重复句的分析一直是现代汉语语法教学的一个难点,也是人们语言理解时的一个颇感头痛的问题。如果能找到一个简便易行、行之有效的分析方法,那将是一件十分有意义的、倍受欢迎的事。 迄今为止,分析多重复句的方法一般是:首先要理解各分句的意义之间的联系,这是前提条件与工作起点;在此基础上,才能分析出整个复句的结构层次以及各层次上各成分之间的语法关系,这是多重复句的工作终结和最后目的。我们的语法研究—直是这样搞的,语法教学也一直是这样教的。但问题颇多:一是这种方法难以掌握,如何理解各分句意义之间的联系因人而异;在教学上也难以陈说与传授;更难办的是,它与人们理解语言的程序。 展开更多
关键词 关联词语 多重复句 分句 分析 分析模型 结构层次 关系 模式分析法 现代汉语 “所以”
在线阅读 下载PDF
音乐民族志的“组合、聚合、隐喻”三维结构分析系统--《音乐民族志方法导论:以中国传统音乐为实例》教学与辅导之十一 被引量:4
11
作者 杨民康 《南京艺术学院学报(音乐与表演版)》 北大核心 2022年第4期204-210,共7页
民族音乐学/音乐民族志方法论可分为观念—思维—策略层、学统—制度—规范层与方法—体验—应用层三个层面,可大体归属并对应于“学术、学科、话语”三大体系。其中,观念层带有跨学科特点和超文化视野,为深隐范式层面;学统层和方法层... 民族音乐学/音乐民族志方法论可分为观念—思维—策略层、学统—制度—规范层与方法—体验—应用层三个层面,可大体归属并对应于“学术、学科、话语”三大体系。其中,观念层带有跨学科特点和超文化视野,为深隐范式层面;学统层和方法层更带有本学科视角和个体文化视野,为显表范式层面。在音乐民族志方法层,通过“学科实践”或“中国实践”产生、形成的“学科经验”“中国经验”乃至“中国范式”,无不获益于“观念—思维—策略层”学科方法论的引领和指导。21世纪以来,音乐民族志的研究思路产生了如下两方面明显的拓展:其一,在研究策略上,出现了由侧重定点个案课题研究转向关注多点比较研究以及同时兼顾共时与历时、空间与时间等时空交互关系和专注空间内部关系等不同的发展趋向;其二,在研究方法上更加重视去观察音乐文化施加于社会个体的内化、外化与客体化的社会化过程以及对象性(或实践性、演绎性)视角层面与归属性(或归纳性、理论性)视角层面的互动与交合。在此模式分析系统中,包含了“历时、共时、隐喻”(音乐学)、“时间、空间、隐喻”(民族音乐学)、“文化、社会、隐喻”(音乐民族志)和“模式、变体、隐喻”(音乐文化本位模式分析法)四个梯状次级分析方法层面。 展开更多
关键词 音乐民族志 “组合、聚合、隐喻”三维结构分析系统 文化空间与社会空间 音乐文化本位模式分析法
在线阅读 下载PDF
光伏电站接入对多机电力系统低频振荡的影响分析 被引量:24
12
作者 葛景 都洪基 +3 位作者 赵大伟 马进 钱敏慧 朱凌志 《电力系统自动化》 EI CSCD 北大核心 2016年第22期63-70,共8页
为了研究光伏电站接入对多机电力系统低频振荡的影响,综合考虑并网光伏电站的动态模型,详细推导并建立了含光伏电站的多机系统状态方程及其线性化模型。在此基础上,选取两区四机系统作为分析案例,采用模式分析法,针对光伏电站接入后系... 为了研究光伏电站接入对多机电力系统低频振荡的影响,综合考虑并网光伏电站的动态模型,详细推导并建立了含光伏电站的多机系统状态方程及其线性化模型。在此基础上,选取两区四机系统作为分析案例,采用模式分析法,针对光伏电站接入后系统转动惯量改变和转动惯量保持不变两种典型分析场景,研究不同接入点及不同渗透率情况下光伏并网对于电力系统低频振荡的影响,并通过时域仿真法验证了模式分析的正确性。仿真结果表明:光伏电站不会产生新的低频振荡模式。在转动惯量改变和保持不变的两种场景下,光伏电站的接入对于系统低频振荡的影响存在显著差异,取决于其接入位置与接入容量。最后,通过特征值灵敏度分析,验证了光伏电站不同接入位置、接入容量对于区间低频振荡模式的影响。 展开更多
关键词 光伏电站 低频振荡 模式分析法 转动惯量 特征值灵敏度
在线阅读 下载PDF
计及负荷分级的并网型微网供电可靠性分析 被引量:12
13
作者 郭思琪 袁越 +2 位作者 傅质馨 解翔 曹阳 《电力系统自动化》 EI CSCD 北大核心 2013年第22期47-53,共7页
随着微网相关技术的不断成熟,制定完整的微网供电可靠性评估体系已经成为了最为重要的理论研究环节之一。在故障模式分析法和蒙特卡洛模拟法的基础上,提出了一种计及微电源出力随机特性的可靠性指标计算方法,并利用该方法对某算例系统... 随着微网相关技术的不断成熟,制定完整的微网供电可靠性评估体系已经成为了最为重要的理论研究环节之一。在故障模式分析法和蒙特卡洛模拟法的基础上,提出了一种计及微电源出力随机特性的可靠性指标计算方法,并利用该方法对某算例系统的系统可靠性指标和用户可靠性指标进行了计算。在此基础上,引入负荷分级机制,分析了不同分级方法下用户和微网系统的可靠性指标的变化,并对微网负荷分级模式提出相关建议。 展开更多
关键词 微网(微电网) 可靠性指标 故障模式分析法 离网失效率 负荷分级
在线阅读 下载PDF
TMN密码协议的SMV分析 被引量:1
14
作者 邢戈 张玉清 冯登国 《计算机工程》 EI CAS CSCD 北大核心 2005年第8期49-51,98,共4页
SMV是分析有限状态系统的一种工具,三方密码协议运行模式分析法是分析密码协议的有效方法之一。为了说明这种方法的可行性,使用三方密码协议运行模式分析法,并借助状态探测工具SMV分析了TMN密码协议,并成功地找到了对TMN协议的19种攻击。
关键词 运行模式分析法 TMN协议 SMV
在线阅读 下载PDF
SET支付协议的形式化分析与改进 被引量:7
15
作者 吴建耀 张玉清 杨波 《计算机工程》 CAS CSCD 北大核心 2006年第3期164-166,168,共4页
使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上... 使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上6种攻击,提高了协议的安全性。 展开更多
关键词 SET支付协议 运行模式分析法 形式化分析
在线阅读 下载PDF
虚拟同步发电机控制下多端交直流混联电力系统间的强动态交互过程及其传播 被引量:6
16
作者 付强 杜文娟 王海风 《中国电机工程学报》 EI CSCD 北大核心 2018年第24期7226-7234,共9页
该文针对虚拟同步发电机(virtual synchronous generator,vsG)控制下的多端交直流混联电力系统,首先建立了VSG控制子系统作为反馈环节的交直流混联系统闭环线性化互联模型,分析强动态交互过程的产生条件,论证其对稳定性的负面影响,提出... 该文针对虚拟同步发电机(virtual synchronous generator,vsG)控制下的多端交直流混联电力系统,首先建立了VSG控制子系统作为反馈环节的交直流混联系统闭环线性化互联模型,分析强动态交互过程的产生条件,论证其对稳定性的负面影响,提出混联电力系统在强动态交互过程下的稳定性判据。然后,研究上述强动态交互过程的传播路径,得出VSG控制子系统与剩余子系统间强动态交互过程的传播路径包含直流线路和交流线路两部分,其中直流系统的下垂控制参数会对强动态交互过程的传播产生显著影响。因此,提出通过断开交流线路、采用较小的下垂系数来阻断、抑制强动态交互过程的传播,并通过设定合理的VSG控制参数进一步破坏其产生的条件,避免由于VSG接入引起的强动态交互过程及其对稳定性的潜在威胁,提升VSG控制下多端交直流混联电力系统的稳定性。最后,在VSG控制的三端交直流混联电力系统算例中,采用模式分析法和时域仿真法验证上述分析结果。 展开更多
关键词 虚拟同步发电机控制 多端交直流混联电力系统 强动态交互过程 模式分析法
在线阅读 下载PDF
《中国神话哲学》略评 被引量:1
17
作者 陈江风 《陕西师大学报(哲学社会科学版)》 CSSCI 1993年第1期128-128,共1页
在东西方文化汇流和改革开放的新时代,传统的国学研究如何革故鼎新以走向世界?叶舒宪新著《中国神话哲学》(中国社会科学出版社,1992)从一个独特的研究领域的开辟中对上述问题做出了实际的启示。该书总体特征是突出的跨学科与跨文化意... 在东西方文化汇流和改革开放的新时代,传统的国学研究如何革故鼎新以走向世界?叶舒宪新著《中国神话哲学》(中国社会科学出版社,1992)从一个独特的研究领域的开辟中对上述问题做出了实际的启示。该书总体特征是突出的跨学科与跨文化意识。叶舒宪从比较文化视野出发去沟通文、史、哲三领域,明确提出“中国哲学思维模式的神话基础”这一新课题。本书的重要成就在于神话思维与哲学思维渊源关系的阐释,在于神话中的哲学胚胎和神话向哲学演进过程的独到描述。它以世界神话为参照背景,吸收当代国外人文科学的理论与方法,尤其是人类学的模式分析法,使古老的文献得到新的理解,为素以残缺、零散、含混著称的中国神话材料构拟出原型模式系统,进而对若干已失传或残损不全的上古神话做出原型重构。这种自觉寻求国际学术的共同语言,使中国神话、哲学和文化研究走向世界的努力,确是一种可喜的尝试。 展开更多
关键词 模式分析法 渊源关系 原型 神话哲学 中国神话 科学出版社 理论与方 跨文化意识 走向世界 中国哲学
在线阅读 下载PDF
光纤参数、测试及设备
18
《中国光学》 EI CAS 1997年第3期64-66,共3页
TN25 97031840保偏光纤的连接损耗和消光比分析=Analysis ofconnection loss and extinction ratio of polarization-maintaining fibers[刊,中]/李志高。石文江,黄尚廉(重庆大学光电精密仪器系.四川,重庆(630044))//光学学报.—1996,16... TN25 97031840保偏光纤的连接损耗和消光比分析=Analysis ofconnection loss and extinction ratio of polarization-maintaining fibers[刊,中]/李志高。石文江,黄尚廉(重庆大学光电精密仪器系.四川,重庆(630044))//光学学报.—1996,16(2). 展开更多
关键词 保偏光纤 碳涂覆光纤 光子学 消光比 参数 测试 重庆大学 光电精密仪器 测量结果 模式分析法
在线阅读 下载PDF
光电集成与器件
19
《中国光学》 EI CAS 2002年第1期56-56,共1页
TN256 2002010400 MMI 器件模式传输分析法与精确模式分析法比较=Comparison of two numerical methods for MMI de-vices【刊,中]/尹锐,杨建义,江晓清,王明华(浙江大学信息与电子工程学系和硅材料国家重点实验室.浙江,杭州(310027))∥... TN256 2002010400 MMI 器件模式传输分析法与精确模式分析法比较=Comparison of two numerical methods for MMI de-vices【刊,中]/尹锐,杨建义,江晓清,王明华(浙江大学信息与电子工程学系和硅材料国家重点实验室.浙江,杭州(310027))∥光电子·激光.—2001,12(2). 展开更多
关键词 波导器件 模式分析法 浙江大学 光电子 单片集成 模式传输 国家重点实验室 电子工程学 硅材料 光开关
在线阅读 下载PDF
Nonlinear finite-element-based structural system failure probability analysis methodology for gravity dams considering correlated failure modes 被引量:5
20
作者 胡江 马福恒 吴素华 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第1期178-189,共12页
The structural system failure probability(SFP) is a valuable tool for evaluating the global safety level of concrete gravity dams.Traditional methods for estimating the failure probabilities are based on defined mathe... The structural system failure probability(SFP) is a valuable tool for evaluating the global safety level of concrete gravity dams.Traditional methods for estimating the failure probabilities are based on defined mathematical descriptions,namely,limit state functions of failure modes.Several problems are to be solved in the use of traditional methods for gravity dams.One is how to define the limit state function really reflecting the mechanical mechanism of the failure mode;another is how to understand the relationship among failure modes and enable the probability of the whole structure to be determined.Performing SFP analysis for a gravity dam system is a challenging task.This work proposes a novel nonlinear finite-element-based SFP analysis method for gravity dams.Firstly,reasonable nonlinear constitutive modes for dam concrete,concrete/rock interface and rock foundation are respectively introduced according to corresponding mechanical mechanisms.Meanwhile the response surface(RS) method is used to model limit state functions of main failure modes through the Monte Carlo(MC) simulation results of the dam-interface-foundation interaction finite element(FE) analysis.Secondly,a numerical SFP method is studied to compute the probabilities of several failure modes efficiently by simple matrix integration operations.Then,the nonlinear FE-based SFP analysis methodology for gravity dams considering correlated failure modes with the additional sensitivity analysis is proposed.Finally,a comprehensive computational platform for interfacing the proposed method with the open source FE code Code Aster is developed via a freely available MATLAB software tool(FERUM).This methodology is demonstrated by a case study of an existing gravity dam analysis,in which the dominant failure modes are identified,and the corresponding performance functions are established.Then,the dam failure probability of the structural system is obtained by the proposed method considering the correlation relationship of main failure modes on the basis of the mechanical mechanism analysis with the MC-FE simulations. 展开更多
关键词 gravity dam structural system failure probability nonlinear finite element response surface method computational platform
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部