排序方式: 共有35条查询结果,搜索用时 15 毫秒
1.
2.
在新型掺钪(Sc)氮化铝(Al1-xScxN)集成光学平台上设计了插入损耗低、传输通道谱线平坦的O波段四通道波分(解)复用器,并提出了优化方法。所设计的器件结构基于级联马赫-曾德尔干涉仪(MZI)滤波器,结合弯曲波导结构的定向耦合器改善波长敏感度。针对粗波分复用(CWDM)应用的特性,文章使用粒子群算法(PSO)提升器件性能优化的效率,通过调整器件结构的设计参数对四路通道的传输谱线质量进行优化。针对0%,9%,23%的掺Sc浓度,设计的解复用器表现出宽达约15.6nm的1-dB带宽和小于0.1dB的插入损耗,传输谱线呈“盒状”响应,各通道间串扰均优于-30.6dB。 相似文献
3.
针对多输出端口输出光功率的不均匀性问题,文章设计了一种基于绝缘体上硅(SOI)的1×4多模干涉(MMI)耦合器,提出了一种优化其均匀性的新方法。耦合器输入/输出端采用锥形波导,为提升MMI耦合器的均匀性,对输出端锥形波导采用不等宽设计,通过优化,四路输出端口均匀性高达0.007 4 dB,而总的插损仅有0.058 dB。依据该方法最终使得输出端波导的传输常数失配,避免了波导之间的串扰,实现了对MMI耦合器输出端口均匀性的提升。 相似文献
4.
对蓝光二极管(LD)泵浦Pr:YLF晶体输出橙红光进行了实验研究,分析了不同偏振方向的晶体和不同透过率的输出镜对橙红光输出功率的影响。在a切Pr~(3+):YLF晶体吸收功率为4.5W时最高输出639.7nm激光功率为491m W。c切Pr~(3+):YLF晶体在吸收功率为3.3W时最高输出607.3nm激光功率为177m W。 相似文献
5.
同步数据流语言(如Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好”误编译”问题,近期人们借助reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证取得了很大的成功,如CompCert C编译器.L2C是基于这种方法开发的可信编译器,它以扩展的Lustre语言为源语言,以Clight (CompCert中的C语言子集)为目标语言.就我们所知,L2C是同类工作中唯一面向实际工业应用的同步数据流语言编译器.本文重点介绍L2C编译器的核心翻译步骤及其设计与实现过程中考虑的主要问题和相关经验. 相似文献
6.
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明. 相似文献
7.
8.
9.
以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器.然后以我国安全领域C语言安全子集标准《航天型号软件C语言安全子集》为依据构造测试用例、创新测试方法,并以此对CompCert编译器进行测试评估.之后依据测试结果,为CompCert编译器增加未支持的C语言标准特性,裁剪不符合C语言安全子集要求的特性,构建符合C语言安全子集标准的可信编译器.最后的实测结果表明,所实现的编译器符合C语言安全子集标准的要求,且没有降低C代码的执行效率. 相似文献
10.
基于Linux的通用加密文件系统Waycryptic的设计与实现 总被引:2,自引:0,他引:2
近年来,保护个人敏感数据成为人们关注的热点问题.使用加密技术是一种比较成功的保护方法.本文提出一种通用的加密文件系统—Waycryptic,将加密技术集成到文件系统层,应用程序完全不用任何修改就可以获得透明、动态、高效和安全的加密功能,加密文件可以不受限制地存放于任何物理文件系统,同时允许加密文件方便地在多个用户间共享以及指定账号恢复加密文件.Iozone和Bonnie测试程序的结果显示Waycryptic的性能令人满意,适合于具有安全要求的个人或多用户系统. 相似文献