线性时态逻辑中的特性模式 被引量：9

1

作者 黎升洪 缪淮扣 张新林 《计算机应用》 CSCD 北大核心 2006年第8期1912-1915,共4页

在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性... 在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。 展开更多

关键词 线性时态逻辑 特性模式 模型检查 SPIN

在线阅读 下载PDF 职称材料

计算树逻辑特性模式研究 被引量：3

2

作者 周慧 《计算机工程》 CAS CSCD 北大核心 2009年第23期68-70,共3页

模型检查是系统验证的有效方法,在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画,然后在模型检查工具中进行检验。介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式,包括缺... 模型检查是系统验证的有效方法,在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画,然后在模型检查工具中进行检验。介绍计算树逻辑的语法及语义,根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式,包括缺失性模式、存在性模式、普遍性模式、优先性模式和跟随性模式等。 展开更多

关键词 计算树逻辑 特性模式 模型检查

在线阅读 下载PDF 职称材料

非共轴腔之间的模式匹配特性 被引量：3

3

作者 冀玉领 杨培林 《激光杂志》 CAS CSCD 北大核心 2002年第4期20-23,共4页

本文从腔体的模式理论出发,给出了基横模到基横模、一阶、二阶、三阶、四阶横模的模式耦合及功率耦合系数作为光束半径失配、相前曲率失配、及非共轴失配的函数的解析表达式,并进行了分析讨论,指出了在非共轴失配存在时,奇、偶模之间的... 本文从腔体的模式理论出发,给出了基横模到基横模、一阶、二阶、三阶、四阶横模的模式耦合及功率耦合系数作为光束半径失配、相前曲率失配、及非共轴失配的函数的解析表达式,并进行了分析讨论,指出了在非共轴失配存在时,奇、偶模之间的耦合系数不为零的结论。 展开更多

关键词 非共轴腔 模式匹配特性 光学设计 光学腔体 复合腔

在线阅读 下载PDF 职称材料

V-I传输矩阵法分析光纤光栅激光器模式特性

4

作者 李卓轩 裴丽 +4 位作者 祁春慧 宁提纲 赵瑞峰 高嵩 彭万敬 《红外与激光工程》 EI CSCD 北大核心 2011年第12期2370-2375,共6页

光纤光栅激光器以其增益高、频率啁啾效应小、抗电磁干扰,特别是可调谐的特点而被广泛关注。利用V-I传输矩阵法对光纤光栅激光器的模式特性进行了分析,从谱线间隔与谱线数目、光栅反射率对谱线深度的影响、单纵模输出条件及阈值腔长3个... 光纤光栅激光器以其增益高、频率啁啾效应小、抗电磁干扰,特别是可调谐的特点而被广泛关注。利用V-I传输矩阵法对光纤光栅激光器的模式特性进行了分析,从谱线间隔与谱线数目、光栅反射率对谱线深度的影响、单纵模输出条件及阈值腔长3个方面分析了光纤光栅谐振腔在不同特性参数下的模式特性,并与多层膜法的分析结果进行了比较,发现V-I传输矩阵法可以在保证分析精度的前提下提高运算效率。实验结果与理论分析结果基本一致。 展开更多

关键词 模式特性 V-I传输矩阵法 谐振腔 多层膜法

在线阅读 下载PDF 职称材料

基于新型层状微结构光纤的模式截止特性分析(英文)

5

作者 于永芹 阮双琛 +2 位作者 曾剑春 黄逸 郭媛 《深圳大学学报（理工版）》 EI CAS 北大核心 2007年第3期272-275,共4页

采用矢量有限元法分析和设计了一种新型的层状微结构光子晶体光纤.通过数值模拟纤芯基模的有效折射率neff和包层空间填充基模有效折射率ncld,获得这种微结构光纤的模式截止特性.与传统光子晶体光纤相比,这种微结构光纤单模和多模的边界... 采用矢量有限元法分析和设计了一种新型的层状微结构光子晶体光纤.通过数值模拟纤芯基模的有效折射率neff和包层空间填充基模有效折射率ncld,获得这种微结构光纤的模式截止特性.与传统光子晶体光纤相比,这种微结构光纤单模和多模的边界条件在获得无截止单模传输前提下,具有更大的空气孔尺寸和非线性效应,有更高的灵活性,可以保持更短的单模截止波长,获得较高的非线性系数. 展开更多

关键词 光子晶体光纤 矢量有限元法 模式截止特性 麦克斯韦方程 色散

在线阅读 下载PDF 职称材料

纳米金属肋混合表面等离子体波导模式特性分析 被引量：6

6

作者 王聪 吴根柱 +2 位作者 周沛 张蒙 陈达如 《光子学报》 EI CAS CSCD 北大核心 2014年第9期1-5,共5页

基于传统混合表面等离子体波导,提出了一种半导体纳米线和纳米金属肋混合的表面等离子体波导.采用有限元法对其模式特性进行了数值模拟,研究了该波导的有效折射率、传播损耗、归一化模场面积等特性随波导几何尺寸的变化规律,分析了该混... 基于传统混合表面等离子体波导,提出了一种半导体纳米线和纳米金属肋混合的表面等离子体波导.采用有限元法对其模式特性进行了数值模拟,研究了该波导的有效折射率、传播损耗、归一化模场面积等特性随波导几何尺寸的变化规律,分析了该混合波导的增益阈值.结果表明:该波导具有较低的传播损耗和较强的光场限制能力,并且混合模式的最小模面积仅为0.001 52μm2. 展开更多

关键词 混合表面等离子体波导 模式特性 增益阈值 表面等离子体纳米激光器

在线阅读 下载PDF 职称材料

外加直流电场调制下晶体光纤的模式特性

7

作者 崔伟龙 王楠 +1 位作者 黄圣涛 周忠祥 《量子电子学报》 CAS CSCD 北大核心 2004年第5期703-703,共1页

关键词 晶体光纤 微扰 直流电场调制 折射率 模式特性

在线阅读 下载PDF 职称材料

两段式DFB半导体激光器模式特性研究

8

作者 李宜峰 罗斌 +1 位作者 潘炜 熊杰 《激光技术》 CAS CSCD 北大核心 2005年第3期281-283,共3页

利用耦合波方程,在引入平均场的方法后,得到了一种新的关于两段式DFB激光器的模式区分方法。并利用此法,分析了激光器的模式特性和波长调谐特性。计算结果与实验较好地吻合,说明了该方法可以有效地分析两段式DFB激光器的不同模式。

关键词 两段式DFB激光器 模式特性 载流子浓度 激射波长

在线阅读 下载PDF 职称材料

具有可控模式特性的类楔形表面等离子体波导

9

作者 岳文成 姚培军 +2 位作者 陶润夏 陈小林 明海 《量子电子学报》 CAS CSCD 北大核心 2019年第2期238-242,共5页

表面等离子体波导能够突破光的衍射极限,提供亚波长的模式局域性。由于其独特的性质,表面等离子体波导引起了广泛的关注。但是,之前报道的各种表面等离子体波导基本没有涉及到波导结构的可调谐性.这里,我们提出了一种类楔形表面等离子... 表面等离子体波导能够突破光的衍射极限,提供亚波长的模式局域性。由于其独特的性质,表面等离子体波导引起了广泛的关注。但是,之前报道的各种表面等离子体波导基本没有涉及到波导结构的可调谐性.这里,我们提出了一种类楔形表面等离子体波导,用有限元方法(FEM)研究了该表面等离子体波导的模式特性。该类楔形表面等离子体波导可以实现超深的亚波长的模式局域性,通过改变波导的结构参数,我们可以对波导的模式局域性和传输损耗进行调控。 展开更多

关键词 纤维与波导光学 可控模式特性 有限元方法 表面等离子体

在线阅读 下载PDF 职称材料

光子晶体光纤光栅模式截止与高阶模的谐振条件 被引量：7

10

作者 李燕 刘建国 +4 位作者 开桂云 薛力芳 刘艳格 王志 董孝义 《激光与红外》 CAS CSCD 北大核心 2007年第2期147-150,共4页

采用光束传播法研究了实心掺锗光子晶体光纤布拉格光栅(PCFBG)的模式截止特性。结果表明掺锗光子晶体光纤的归一化频率V与归一化间距Λ/λ和归一化孔径d/Λ有关。而且相对于纯硅的光子晶体光纤,其单模多模边界面向归一化孔径值较小的方... 采用光束传播法研究了实心掺锗光子晶体光纤布拉格光栅(PCFBG)的模式截止特性。结果表明掺锗光子晶体光纤的归一化频率V与归一化间距Λ/λ和归一化孔径d/Λ有关。而且相对于纯硅的光子晶体光纤,其单模多模边界面向归一化孔径值较小的方向位移。并给出了在光子晶体光纤光栅中激发高阶谐振的条件:相位匹配条件、光栅区的电场交迭和关系不等式VPCF>π。 展开更多

关键词 掺锗光子晶体光纤 光纤布拉格光栅 模式特性 光束传播法

在线阅读 下载PDF 职称材料

一种大模场光子晶体光纤的传输特性分析 被引量：2

11

作者 张晓娟 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第5期649-653,共5页

编程实现用于分析光子晶体光纤的频域有限差分法,数值模拟分析了典型的商用大模场光子晶体光纤(LMA-20型)的传输特性,包括模场分布、模场半径、截止特性、模场有效面积和数值孔径等,模拟计算结果与实际测试结果吻合很好。为商用PCF的理... 编程实现用于分析光子晶体光纤的频域有限差分法,数值模拟分析了典型的商用大模场光子晶体光纤(LMA-20型)的传输特性,包括模场分布、模场半径、截止特性、模场有效面积和数值孔径等,模拟计算结果与实际测试结果吻合很好。为商用PCF的理论分析提供了参考。 展开更多

关键词 光子晶体光纤 大模场 频域有限差分法 模式特性

在线阅读 下载PDF 职称材料

懒人听书出版经营管理模式探析 被引量：8

12

作者 施勇勤 甘露 《出版科学》 CSSCI 北大核心 2018年第2期96-100,共5页

采用案例分析方法,以有声书出版公司懒人听书为主要研究对象,结合前人的相关研究,对我国有声书的发展现状进行分析,并有侧重地分析和总结懒人听书的管理模式、运营模式。从企业管理和版权管理两大方面对懒人听书的管理模式进行梳理分析... 采用案例分析方法,以有声书出版公司懒人听书为主要研究对象,结合前人的相关研究,对我国有声书的发展现状进行分析,并有侧重地分析和总结懒人听书的管理模式、运营模式。从企业管理和版权管理两大方面对懒人听书的管理模式进行梳理分析,从产品、价格、渠道和促销的角度对懒人听书的运营模式及特性进行分析,并在此基础上得出对有声书盈利模式、运作管理模式以及运营模式等方面的思考。 展开更多

关键词 有声书 懒人听书 出版经营管理 管理模式 运营模式及特性

在线阅读 下载PDF 职称材料

点焊热过程双特性融合控制算法

13

作者 郭海滨 李桂中 《焊接学报》 EI CAS CSCD 北大核心 2010年第4期105-108,共4页

在协同控制策略基础上,综合运用模糊控制和单片机技术在点焊形核阶段对热量调节算法进行了优化,建立了双特性(优质熔核的动态电流滞后角特性与动态电流特性)监控模式并运用多信息融合技术实现了基于多种监控信息,即电流滞后角增量偏差e... 在协同控制策略基础上,综合运用模糊控制和单片机技术在点焊形核阶段对热量调节算法进行了优化,建立了双特性(优质熔核的动态电流滞后角特性与动态电流特性)监控模式并运用多信息融合技术实现了基于多种监控信息,即电流滞后角增量偏差en与本周波热量调节幅度△mn和下周波热量调节幅度△mn+1与本周波焊接电流偏离程度△In的二次模糊决策法.结果表明,这种监控机制能更好地掌控点焊过程的热量调节方向和尺度,保证焊接熔核质量和焊接时间的一致性. 展开更多

关键词 电阻点焊 双特性监控模式 信息融合 二次模糊决策法

在线阅读 下载PDF 职称材料

西北农业企业“走出去”模式选择的影响因素——基于西北地区20家农业企业调研数据

14

作者 冉高成 魏凤 《江苏农业科学》 2019年第5期315-320,共6页

农业企业"走出去"是促进农业科技交流、优化配置农业资源、提高农业国际竞争力及推进农业现代化发展的关键。通过实地调研收集西北地区20家已成功"走出去"农业企业的一手数据,总结现阶段主要"走出去"模式... 农业企业"走出去"是促进农业科技交流、优化配置农业资源、提高农业国际竞争力及推进农业现代化发展的关键。通过实地调研收集西北地区20家已成功"走出去"农业企业的一手数据,总结现阶段主要"走出去"模式,并重点分析农业企业选择"走出去"模式的影响因素。结果表明,东道国政治、经济、市场环境、法律、社会文化和母国因素等企业外部因素,企业规模、产品差异、资源状况、国际化经营经验和管理层对风险的态度等企业内部因素会影响企业"走出去"模式的选择。另外,资源投入、控制程度、风险程度、投资收益和灵活性等模式内部特征也会对企业选择"走出去"模式产生影响。 展开更多

关键词 农业企业 “走出去”模式 影响因素 企业外部因素 企业内部因素 模式内在特性

在线阅读 下载PDF 职称材料

关于有效激发员工组织公民行为的思考 被引量：12

15

作者 章小波 《华东经济管理》 2005年第2期85-86,共2页

组织公民行为是指组织中的个人表现出超越角色标准以外的行为;它是不求组织给予奖赏,仍然能自动自发、利他助人,关心组织绩效的行为(Organ,1988)。许多研究者都认为组织公民行为能持久提升组织的整体绩效。本文试图在揭示组织公民行为... 组织公民行为是指组织中的个人表现出超越角色标准以外的行为;它是不求组织给予奖赏,仍然能自动自发、利他助人,关心组织绩效的行为(Organ,1988)。许多研究者都认为组织公民行为能持久提升组织的整体绩效。本文试图在揭示组织公民行为实质的基础上,探讨激发员工展现出组织所期待的公民行为的有效途径。 展开更多

关键词 组织公民行为 工作特性模式 组织公平 领导行为

在线阅读 下载PDF 职称材料

Lamb波双面激励方法及其在近邻损伤监测中的应用 被引量：19

16

作者 蔡建 袁慎芳 +1 位作者 张逍越 王强 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第1期62-67,共6页

针对Lamb波的多模式和频散特性,从理论和实验两方面研究了Lamb波双面激励方法,并针对近邻损伤进行了监测研究。研究结果表明:与传统的单面激励方法相比,该激励方法能够抑制Lamb波的多模式特性,在频率较低的情况下可实现基本对称或反对... 针对Lamb波的多模式和频散特性,从理论和实验两方面研究了Lamb波双面激励方法,并针对近邻损伤进行了监测研究。研究结果表明:与传统的单面激励方法相比,该激励方法能够抑制Lamb波的多模式特性,在频率较低的情况下可实现基本对称或反对称模式的产生,提高了Lamb波的激励效果,便于监测信号的分析。另外,相对于通过调节激励频率产生特定Lamb波模式的方法,该激励方法具有一定的频率可调性,能有效改善Lamb波波包的空间分辨率,增强Lamb波对多个近邻损伤的监测能力。 展开更多

关键词 结构健康监测 LAMB波 损伤定位 双面激励 多模式特性

在线阅读 下载PDF 职称材料

一种新的阶跃折射率光纤本征函数表达形式 被引量：5

17

作者 郭福源 陈钰清 +2 位作者 林斌 曹向群 上官成木生 《光子学报》 EI CAS CSCD 北大核心 2003年第9期1074-1078,共5页

为了阐明阶跃折射率光纤的模式特性 ,根据电磁波辐射的能量守恒定律和经过狄拉克函数奇异性修正的亥姆霍兹方程 ,通过数学推导和证明得出 :柱面径向行波场的本征函数是经过狄拉克函数修正的整数阶汉克尔函数 ,阶跃折射率光纤模式场的本... 为了阐明阶跃折射率光纤的模式特性 ,根据电磁波辐射的能量守恒定律和经过狄拉克函数奇异性修正的亥姆霍兹方程 ,通过数学推导和证明得出 :柱面径向行波场的本征函数是经过狄拉克函数修正的整数阶汉克尔函数 ,阶跃折射率光纤模式场的本征函数是零、一阶贝塞尔函数经过狄拉克函数修正的零、一阶诺埃曼函数和虚参量汉克尔函数 该结论揭示了光纤芯层和包层模式场分别是径向驻波场和倏逝波场的本质 ,并基此推导出新的光纤模式特征方程 ,模式存在条件 。 展开更多

关键词 阶跃折射率光纤 本征函数 模式特性 汉克尔函数 特征方程

在线阅读 下载PDF 职称材料

基于表面等离子体激元的纳米激光器设计 被引量：7

18

作者 魏来 李芳 周剑心 《光子学报》 EI CAS CSCD 北大核心 2016年第10期19-23,共5页

设计了一种基于纳米线/间隔层/金属层的纳米激光器结构.该结构中,金属界面的表面等离子体模式与高增益介质纳米线波导模式耦合,提高了场增强效应.采用有限元法,分析了该结构的模式特性和增益阈值随几何尺寸的变化规律.结果表明:该结构... 设计了一种基于纳米线/间隔层/金属层的纳米激光器结构.该结构中,金属界面的表面等离子体模式与高增益介质纳米线波导模式耦合,提高了场增强效应.采用有限元法,分析了该结构的模式特性和增益阈值随几何尺寸的变化规律.结果表明:该结构具有较低的传播损耗和较强的光场限制能力,有效传播损耗最小值仅为0.013 3,归一化模式面积最小值仅为0.007.该纳米激光器结构可为发展新一代高效纳米激光器件提供理论和技术支持. 展开更多

关键词 纳米激光器 表面等离子体 有限元 模式特性 增益阈值

在线阅读 下载PDF 职称材料

低阈值混合表面等离子体纳米激光器的仿真设计 被引量：1

19

作者 李志全 冯丹丹 +4 位作者 白兰迪 刘同磊 岳中 顾而丹 李文超 《光子学报》 EI CAS CSCD 北大核心 2017年第8期72-80,共9页

设计了一种包含圆柱形纳米线、空气间隙和半圆顶金属脊结构的低阈值纳米激光器.通过有限元法对激光器的模式特性、品质因数以及增益阈值进行数值计算,并研究了这些特性因子随结构几何参数(空气间隙、金属脊宽度和纳米线半径)的变化情况... 设计了一种包含圆柱形纳米线、空气间隙和半圆顶金属脊结构的低阈值纳米激光器.通过有限元法对激光器的模式特性、品质因数以及增益阈值进行数值计算,并研究了这些特性因子随结构几何参数(空气间隙、金属脊宽度和纳米线半径)的变化情况.结果表明,通过对参数进行调整,激光器的性能得到了显著优化.在最优参数下,增益阈值可达0.47μm-1,传输损耗仅为0.018.本文设计的纳米激光器能够实现低阈值的亚波长激射和低损耗传输,在生物医学、光通信等领域有广泛的应用前景,可为小型化和集成化的纳米设备提供技术支持. 展开更多

关键词 表面等离子体 有限元法 增益介质 模式特性 纳米激光器

在线阅读 下载PDF 职称材料

紫外波长下混合表面等离子体纳米激光器

20

作者 李志全 王亚娟 +3 位作者 何家欢 冯丹丹 顾而丹 李文超 《强激光与粒子束》 EI CAS CSCD 北大核心 2016年第11期48-55,共8页

设计了一种带有金属脊和氟化镁夹层的紫外混合表面等离子体纳米激光器。在COMSOL Multiphysics软件的基础上,使用有限元法分析了所设计激光器结构的电场分布、模式特性、品质因数和增益阈值。结果表明:在工作波长为390nm的紫外波段,通... 设计了一种带有金属脊和氟化镁夹层的紫外混合表面等离子体纳米激光器。在COMSOL Multiphysics软件的基础上,使用有限元法分析了所设计激光器结构的电场分布、模式特性、品质因数和增益阈值。结果表明:在工作波长为390nm的紫外波段,通过最优参数设计,其光场约束可达到较好的深亚波长水平,同时保持高的品质因数、低的损耗和阈值。与平坦金属层结构相比,在相同的参数下,所设计的结构具有更强的光场限制能力和更强的微腔束缚能力,有潜力使纳米设备趋于小型化和集成化。 展开更多

关键词 表面等离子体 紫外波 纳米激光器 模式特性 增益阈值 品质因数

在线阅读 下载PDF 职称材料