微小型光谱仪在激光波长测量中的应用

随着激光在工业加工、通信、测量、以及医疗科研等众多领域越来越广泛的应用，方便快捷的测量激光器波长也正成为一种迫切的需求。本文以荷兰Avantes公司的微型光纤光谱仪AvaSpec-2048为例，介绍微型光谱仪在测量激光波长方面的应用。     

格值交替树自动机

交替（树）自动机因其本身关于取补运算的简洁性及其与非确定型（树）自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值树自动机的等价性,并给出了二者相互转化的算法及其复杂度分析;同时,提供了用格值非确定型自动机来模拟格值交替树自动机的方法.     

犹豫直觉模糊集的知识测度及其应用

犹豫直觉模糊集集成了直觉模糊集与犹豫模糊集的优点,能够更好地处理决策者偏好不一致时的不确定性问题。通过考虑决策者提供信息的犹豫性与模糊性,给出了犹豫直觉模糊集上知识测度的公理化定义,并且构建出犹豫直觉模糊集上一类含参知识测度,这类知识测度可以有效地刻画犹豫直觉模糊集所包含的信息量和决策者的态度特征。接下来,基于对该类知识测度中的参数进行讨论,得到一系列代表决策者不同态度特征的知识测度,进一步验证了知识测度与决策者态度系数的变化成正比。最后,基于犹豫直觉模糊集的知识测度提出多属性群决策方法,并将此方法应用于某互联网公司的空调安装公司选择的案例中,证明了所提出的知识测度具有有效性与实用性。     

三类不动点与一类随机动力系统的稳定性

不动点理论已被成功地应用于随机动力系统零解稳定性的研究,但Krasnoselskii不动点方法使用的较少.本文在采用Banach和Schauder不动点方法研究的基础上进一步采用Krasnoselskii不动点方法研究了一类随机动力系统零解的指数均方稳定性,得出了使得该系统零解指数均方稳定的充分条件.通过实例与现有文献结论的比较表明,相比于Banach和Schauder等不动点方法,Krasnoselskii不动点方法的应用更加灵活和简便.本文的结论在一定程度上改进和拓展了相关文献的结果,完善了不动点理论在研究随机动力系统零解稳定性上的应用.     

信道噪声对量子信息分离的影响

文献[7]给出了一个三者之间利用四粒子团簇态作为量子信道实现单粒子量子态的量子信息分离的方案。在此方案的基础上,分析了经典噪声信道对这个量子信息分离方案的影响。通过利用二元对称信道以及二元删除信道,得到了信息分离成功概率与经典信道噪声系数之间的关系。除此之外,还研究了量子噪声信道对此方案的影响。在振幅阻尼信道或者去极化信道上进行量子信息分离的过程中,量子纠缠信道将会发生退相干,从而导致量子信息分离质量的下降。文中给出了量子信息分离保真度与噪声系数以及所传送量子态系数之间的关系刻画。     

广义模糊集GFScom在模糊综合评判中的应用

针对FScom在刻画模糊性知识及其3种不同否定关系上的一些不足,提出了广义模糊集GFScom,它从哲学层面上更好地刻画了模糊性知识及其3种不同否定之间的关系。在此基础上,给出了基于GFScom的模糊综合评判方法。应用示例表明,GFScom对3种否定的处理不仅使模糊评判的计算更加简便,而且合理有效。     

取值于赋值幺半群的加权正则文法语言

正则文法是研究自动机的重要工具。引入取值于赋值幺半群的加权正则文法、加权类正则文法的定义,讨论了赋值幺半群上加权正则文法、加权类正则文法和加权有限自动机(WFA)的关系。证明了在赋值幺半群上,已知一个加权正则文法或加权类正则文法,分别存在一个WFA与之等价。定义了可分配的赋值幺半群,证明了在可分配的赋值幺半群上已知一个WFA,存在一个加权正则文法和加权类正则文法与之等价,即证明了可分配的赋值幺半群上加权正则文法、加权类正则文法和WFA在生成语言上等价,并举例说明了赋值幺半群的可分配性不是已知WFA存在与之等价的加权正则文法或加权类正则文法的必要条件。     

广义可能性计算树逻辑的模型检测问题

本文首先分别给出了"约束可达","总是可达"这两个公式在广义可能性计算树逻辑（GPoCTL）中的另外两种等价形式;其次讨论了基于广义可能性测度的计算树逻辑的模型检测问题,将GPoCTL的模型检测问题规约为经典的CTL模型检测问题,利用截集的方法,给出了计算GPoCTL的模型检测问题的算法及其复杂度,并通过实例分析说明了这种算法的可行性;最后,研究了具有公平性假设的GPoCTL模型检测问题的计算复杂度,得到了与上面相似的结论.     

量子Müller自动机与单体二阶量子逻辑

给出量子Müller自动机（简称LVMA）的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.     

基于可能性测度的工程管理决策的研究

考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。