线性时态逻辑中的特性模式

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

计算树逻辑特性模式研究

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

合作与创新:中小企业商业模式典型特性与其绩效间关系研究

中小企业是商业生态系统中参与合作及创新的重要主体,其商业模式在企业绩效和持续发展中起到了关键作用。为探索中小企业的商业模式特性与企业绩效间的关系,对江浙290家中小企业进行数据调研与分析。研究发现:中小企业商业模式的价值共创性和创新性对其绩效具有显著的正向作用,商业模式的难以模仿性在价值共创性、创新性与企业绩效间起到显著的中介作用。研究结论一方面深化了商业模式特性与绩效之间的作用机理,另一方面为中小企业通过改善商业模式特性提升绩效提供实践参考。

非共轴腔之间的模式匹配特性

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

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

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

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

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

调制增益导引GaAs／GaAIAs锁相激光器阵列的模式特性分析

首次利用液相外延（ＬＰＥ）、标准先刻工艺，两次质子轰击方法，研究和制作了调制增益导引ＣａＡＳ／ＧａＡｌＡｓ锁相激光器阵列．它是由六个激光器陈列元组成，调制增益是通过线性地改变激光器条宽从３μｍ变化到８μｍ，其间距保持常数为５μｍ实现的。观察到了远场单瓣，ＦωＨＰ是１．９°，接近于衍射极限；输出光功率为３００ｍωｆａｃｅｔ（ｃω）；其模式特性为：在１．２Ｉｔｈ＜Ｉ＿（ｉｃ）－＜１．８Ｉｔｈ时为单纵模，否则为多纵模。

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

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

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

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

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

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

基于连续金属膜对称光栅结构的完美吸收特性

提出一种在连续金属膜两侧放置对称介质光栅来实现完美吸收的方案.在银膜厚度为20 nm,晶格常数为400 nm,介质折射率为1.46的情况下,得到最大吸收系数为99.47%.此时,吸收谱的线宽为2.53 nm,品质因子Q为296.06.研究发现,在完美吸收时,入射光的反射和透射受到有效抑制,吸收系数的相位梯度达到最大.完美吸收由长程表面等离子激元(LRSPP)决定,它的电场主要分布在银膜的外侧并形成驻波状,传输损失很小.当银膜厚度减小时,吸收谱线的线宽逐渐减少,而Q值增大.当厚度降到12右时,得到最小线宽0.98 nm和最大Q值760.0左右.完美吸收时的锐利吸收曲线和较高的品质因子可用于高灵敏度的微纳米传感器的设计与应用.

浅谈新形势下小学思品课活动教学的特性与模式

学生思想品德的形成是学生在活动和交往的基础上,不断积累起新的品质的过程。受传统教育思想的影响,当前小学思想品德教育的内容及方法仍存在说教化、简单化、灌输化和成人化的倾向,依然存在脱离学生实际、脱离社会实际的现象。在教学中,学生缺乏主动精神,主体作用得不到充分发挥,因而制约了教学的针对性和实效性。在新形势下,如何提高课堂教学的效率,增强思品教育的实效,促进学生主动健康地发展?笔者认为,关键在于让思品课“活”起来,让学生“动”起来。

光子晶体光纤光栅模式截止与高阶模的谐振条件

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

垂直腔面发射激光器的特性分析

垂直腔面发射激光器作为近几年来光电子学领域研究的热点课题之一,要想很好的研究其应用价值,就必须了解它的各种特性。本文分析总结了垂直腔面发射激光器的阈值特性、光输出特性、模式特性、调制特性、偏振特性、远场特性以及热阻效应。

一种大模场光子晶体光纤的传输特性分析

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

懒人听书出版经营管理模式探析

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

静止同步串联补偿器的原理及其补偿模式研究

详细分析了SSSC的工作原理及其对电力系统的作用。只考虑基波分量,推导出含有SSSC装置输电系统的有功功率和无功功率的表达式,定量的分析了SSSC装置对输电系统潮流的调节作用。介绍了SSSC装置的两种补偿模式:恒阻抗补偿模式和恒电压补偿模式,并分别给出了在两种补偿模式下系统的控制框图。

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

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