线形腔光纤激光器的光反馈效应研究

提出了一种基于线形腔光纤激光器结构的光学反馈系统,时系统输出功率变化表达式进行了推导,建立模型分析了光反馈对系统的影响,得出其与激光自混合干涉具有相同的相位灵敏度.实验中首先时系统进行了信号观测,同时改变实验条件,对不同参数的影响进行了讨论,实验结果与模拟分析相一致.结果表明:线形腔光纤激光器光反馈系统的输出条纹变化对应着待测物半个波长的位移;条纹不同的倾斜方向可实现对移动方向的辨别;通过适当调节反馈腔腔长与目标靶反射率可优化系统反馈信号的灵敏度.根据以上特性,该系统可应用于光学测量领城,例如位移、距离、速度测量等.     

求解#SMT问题的局部搜索算法

#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上原因,设计了一种求解较大规模#SMT实例的近似求解器——VolComputeWithLocalSearch.它在现有的#SMT精确求解算法的基础上加入差分进化算法,通过调用体积计算工具qhull,进而给出#SMT问题的近似解.算法采用群体规则减少体积计算的次数,差分进化方法快速地枚举各个有解的区域.另外,从理论上证明了VolComputeWithLocalSearch求解器可以得到精确解的下界,使其可以应用在软件测试等只需要知道问题下界的领域.实验结果表明：VolComputeWithLocalSearch求解器是稳定的、具有快速的求解能力,并在高维问题上具有很好的表现.     

基于双D型光纤表面等离子共振折射率传感研究

以双D型光纤作为传输载体,研究了一种基于表面等离子共振技术的双D型光纤折射率传感器。利用时域有限差分法,分析了双D型光纤剩余包层厚度、金膜厚度、金膜表面粗糙度以及双通道传输对光纤SPR传感器性能的影响。仿真结果表明,当剩余包层厚度为300~500nm、覆盖的金膜厚度为50nm时,双D型光纤SPR传感器的性能得到优化;金膜表面粗糙度也是影响传感器性能的重要因素,当金膜表面粗糙度的均方根值低于2nm或其相关长度大于160nm时,金膜表面粗糙度对传感器性能的影响显著减小,且在折射率为1.33~1.36的传感环境下具有较好的线性度;在双D型光纤两侧覆不同的金属膜,可以实现信号的双通道测量。     

基于数据挖掘的计算机辅助课堂教学系统设计

针对现有计算机辅助教学模式中普遍存在的信息利用率差,智能性、个性化较低等问题,设计一种基于数据挖掘的计算机辅助课堂教学系统。该系统模块设计采用三层B/S结构。利用信息收集模块实现学生信息数据的收集与存储;用户信息预处理模块将信息数据进行预处理后,作为个性化数据分析模块中个性化数据源的数据。通过个性化数据分析模型,采用数据挖掘并行化技术,通过K-means聚类算法和Map Reduce并行计算框架更新数据聚类中心,将聚类性能指标最小化,对个性化数据源内的数据进行有效挖掘分析,对分析后的结论进行规则化生成教学规则,通过人机交互呈现给学生,以提升教学系统的智能化与个性化。实验结果表明,该系统能够有效提升学生学习效率,资源占用率降低32.4%以上。     

最坏情况下#3-SAT问题最小上界

最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上界,不仅可以从另一个角度衡量算法的好坏,而且在某种程度上更能准确地反映出算法的性能.首先从子句数量的角度证明了之前提出的基于扩展规则的模型计数算法(CER算法)的上界O(2\\+m),其中m是公式中子句的数量.为了提高#3-SAT问题的求解效率,采用了多种分裂规则,进一步给出了一种基于Davis-Putnam-Logemann-Loveland (DPLL)的#3-SAT算法MCDP.通过分析该算法得到了以子句数量为参数的#3-SAT问题在最坏情况下的上界O(1.8393\\+m).     

部分可观察强规划中约减观察变量的研究

给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根据是否存在单个观察变量能够区分域中任意两个状态的问题,分别给出了两种约减观察变量方法:当存在一个观察变量可以区分规划域中任意两个状态时,算法可以得到一个最小的观察变量集合;当不存在这样一个观察变量时,算法可以得到一个尽可能小的观察变量集合,但不能保证该集合最小.     

基于光反馈的双波长光纤环形激光器有源传感

提出了一种基于光反馈的双波长光纤环形激光器有源传感的模型。通过光纤光栅对激光器的波长进行选择, 输出不同波长的两路光反馈信号, 实现光纤环形激光器的波分复用。根据光纤环形激光器的超越方程, 理论上得出系统的输出变化。系统的输出信号与自混合干涉有着相同的灵敏度, 同时可根据条纹的倾斜情况辨别物体的运动方向。系统中的激光器不仅作为传感光源, 同时也作为传感敏感元件, 实现光纤环形激光器的有源传感。模拟分析了两路不同波长信号之间的变化关系, 考虑外部靶面位移大小对系统输出的影响。实验观测的结果与模拟结果相一致。     

最坏情况下X2SAT问题的上界

最坏情况下XSAT问题上界的研究已成为一个热门的研究领域.针对XSAT的泛化问题X2SAT提出了算法X2SAT-N,该算法首先利用简化算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.证明了该算法可以将X2SAT问题的时间复杂度由目前最好的O(1.4511n)提高到O(1.4203n),其中n为X2SAT公式中变量的数目.X2SAT问题实例的大小不仅依赖于变量的数目还依赖于公式的长度,时间复杂性是根据问题实例的大小所组成的函数计算所得.因此又提出了算法X2SAT-L,并从公式长度的角度证明了X2SAT问题在O(1.3643l)时间上界内可解.     

辣椒香味成分研究

以GC／MS分析辣椒香味成分，共有2-庚烯醛、1-辛烯-3-醇、叶酸、柳酸甲酯、2，4-癸二烯醛、香兰素、壬酰胺、十五内酯、十五酸、辣椒素等四十一种成分被鉴定。     

基于VLAN的生成树协议仿真

应用Boson Netsim仿真软件,提出交换机上基于VLAN划分生成树的虚拟通信方案。介绍了生成树协议STP的工作原理和技术要点,设计了模拟拓扑结构图,分析了VLAN和STP的配置命令。使用虚拟主机对通信网络进行了仿真测试,结果表明STP的配置是有效的。