摘要：针对模型检测过程中产生的反例过于复杂和冗长的问题,提出一种基于时态逻辑ACTL*的模型检测关键反例的提取算法。基于存在性抽象框架提出了关键反例的概念,通过采用图论中对节点权重的计算方法,结合抽象技术,重新分析和设计了反例识别算法。基于关键反例的识别和抽象,算法大大缩减了反例空间,能够更准确迅速地定位错误。实验显示,在不提高算法复杂性的前提下,通过分析和计算模型中节点权重,构造带有权重的Kripke结构,能够更高效地引导反例精化过程,反例识别效率提升15%,同时为设计开发人员提供关于系统失效的更丰富的关键因素信息。

摘要：面向微型光纤陀螺(FOG)应用需求,提出并优化设计了一种微型掺铒超荧光光源。该超荧光光源结构尺寸为Φ50mm×15 mm,通过采取优化的光路设计、光谱平坦滤波技术、抽运激光器及光源精密温度控制技术等,得到高稳定性的超荧光光源,其输出功率大于13 dBm,光谱带宽大于35 nm,功率变化小于1%,中心波长变化率小于5×10^-6。采用实验方式对超荧光光源光谱的温度和时间稳定性、输出功率的温度和时间稳定性进行了细致的测试。实验结果表明微型超荧光光源光谱和输出功率都能够承受严苛的温度冲击实验,满足指标要求。

摘要：在复杂系统的错误定位过程中,为了寻找合适的证例,提出一种结合模型检测技术的基于遗传算法的反例理解算法。利用遗传算法,针对模型检测中的模型具有初始状态,状态之间有相应的迁移关系等特点,初始化种群、设计适应度函数并进行指向性的变异操作。实验表明该算法能快速有效的获得最近证例,帮助模型检测的反例理解。

摘要：用双通结构理论对采用光纤光栅做腔镜的两级的串级拉曼激光器进行了数值模拟。在此基础上,分析了光纤长度、谐振腔损耗及输出镜反射率等因素对两级掺磷全光纤拉曼激光器的输出功率、阈值、斜率效率等输出特性的影响,并给出了串级拉曼激光器的优化设计参数。

摘要：为了提高系统无中继传输距离,研究了基于遥泵和喇曼混合放大技术的超长跨距传输系统。以实验室测试的400km/(80.3dB)超长跨距无中继光传输系统为基础,将该系统技术应用于新疆维吾尔自治区境内距离380km的吐鲁番-巴州两个750kV变电站间。为了获得高信噪比,系统运用受激布里渊散射(SBS)抑制技术及遥泵喇曼混合放大配置技术,信号等效入纤功率达31.9dBm。现场试验结果表明:系统传输指标、可靠性均满足设计要求。

摘要：针对一个超长距OTN光传送网传输案例,我们设计了不同的放大器配置方案并进行了实验研究。通过实验,发现使用双向拉曼放大器的配置方案或者使用遥泵放大器的配置方案,都可以完成传输任务,但是系统传输余量比较小。而使用拉曼加遥泵放大器的配置方案则可以得到更多的功率裕度和更高的输出信噪比,而且价格适中。

摘要：特高压输电线路是我国新基建的重要组成部分,受限于当前国际环境和我国地理环境的影响,电力通信网络长距离、国产化还面临着诸多问题。设计了一款基于国产化器件,采用波长优化、窄带滤波器级联、泵浦功率非均匀分配等技术的全国产化的超低噪声指数的EDFA,通过仿真设计和实验,分别验证了超低噪声指数放大器及其构成的电力超长跨距SDH系统,可实现250 km G.652光纤、51 dB跨度的电力通信网络光传输系统。

摘要：哈希算法大量应用于信息传输、存储、校验等领域,其中面向字符串的哈希算法结构简单、易编码实现、速度快,这类算法的设计往往使用位操作、算术运算、查表等运算的组合来实现,不同的组合在性能和效果上也不相同。理论上,运算步骤越简单、性能越好,但哈希效果难以保证;步骤越多、性能越差,但哈希效果容易有保障。本文使用移位、取反和加法三种基本运算,设计了一种快速字符串哈希算法,使用较少的步骤获得了较好的性能和效果。通过与BKDR哈希算法对比测试,本算法在性能上有8%的优势,两者哈希效果相当。

摘要：提出了利用光纤环形镜和高反射率光纤光栅做腔镜的F P腔掺镱光纤激光器的优化设计结构。光纤环形镜的宽带反射特性使抽运光能够充分被介质吸收 ,提高激光器的转化效率 ;其反射率可调特性容易得到最佳耦合输出比 ,当光纤长度改变时 ,不必更换输出腔镜就可以得到最佳功率输出。光纤长度 7m ,抽运功率 5 1mW时 ,激光器输出功率为 5 6 5mW ,斜率效率为 19%。与其他结构光纤激光器相比 。

摘要：1.4 8 μm波长输出的拉曼激光器是掺铒光纤放大器 ( EDFA)和拉曼光纤放大器 ( RFA)的泵浦源 .本文通过数值模拟的方法从理论上对这种波长的掺磷拉曼光纤激光器进行了优化设计 .