以任意高维纠缠态为量子信道的受控隐形传态

目的是利用高维量子纠缠态为量子信道，讨论未知单粒子态的受控隐形传输问题。以三维量子纠缠态为信道，提出一个二维任意单粒子态的受控隐形传输协议。提出了以任意[d]-维量子纠缠态为量子信道，[t]-维任意单粒子态的隐形传输协议[(t相似文献   

水平井分段酸化后表皮因子研究新方法

水平井封隔器分段酸化技术作为各向异性油气藏中实现均匀酸化的一种重要增产措施,因而均匀酸化后表皮因子的研究变得至关重要。以水平气井井筒周围椭圆形污染带为基础,考虑酸液均匀改造污染带以及残酸返排对气体渗流的影响,将椭圆形伤害带内复合区域渗流问题划分为3个均质区域内流体的渗流,利用阻力叠加原理获得计算水平气井分段酸化后表皮因子新方法。实例分析表明:水平气井分段酸化后局部表皮因子沿井筒方向由跟端到趾端不断减小,且随着酸化半径以及酸化带渗透率的增大不断减小,而随着泥浆垂向最大浸入半径的增大而增大。研究为水平气井分段酸化表皮因子计算提供了一个新思路。     

基于UML的ADSL装机管理系统的设计与实现

概述了ADSL装机管理业务的处理流程,以ADSL装机管理系统为研究对象,引入了一种通用的可视化建模语言——UML,抽象出Web＂类＂来进行高效率、低成本的快速开发。利用UML对系统的实现进行了需求分析、静态和动态建模。通过Microsoft Office Visio分别绘制出用例图、类图、顺序图和活动图等。最后开发出A...     

软BCH-代数

引入了软BCH-代数和软子代数的概念,给出了一些实例,建立了软BCH-代数和软子代数的交、并及“AND”运算,给出了软BCH-代数、软子代数与它们间的关系．     

求解TSP的改进遗传算法

遗传算法是求解旅行商问题的一种全局优化概率搜索算法方法.文中针对遗传算法较快的找到最优解并防止＂早熟＂收敛问题,提出了一种新的分级方法,该方法在各级中以群体当前最优个体替代各级中的最差个体,并在各级中采用自适应变异概率,改进后的遗传算法不但有效的维持了群体的多样性,而且提高了收敛速度.最后实验表明,改进的算法是可行和有效的.     

一类三维基于通量分裂的高精度MmB差分格式

采用谱体积(SV)方法划分计算域,研究了双曲型守恒律的高精度差分格式;引入牛顿数值差商,重构小区间交界面上的正、负数值通量,并给出了校正公式;对时间离散采取高阶Runge-Kutta TVD方法,构造了三维非线性双曲型守恒律方程的一个高精度、高分辨率的守恒型差分格式,证明了格式的MmB特性。数值模拟计算结果表明了MmB差分格式的有效性。     

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。     

基于格值逻辑系统LP(X)的α-归结域的代数结构

首先得到了与g不可α-归结的广义文字的集合D*_α (g)做成了∨-半群且也是一个序滤子;其次研究了由D*_α (g)所确定的一个新的代数结构D^f,D^f做成一个格滤子,并研究了D^f的一些相关性质;最后研究了由D^f所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。     

BCK-代数的广义(∈,∈∨q)-模糊蕴涵理想

为推广BCK-代数的(∈,∈∨q)-模糊蕴涵理想,引入了(∈,∈∨q_k)-模糊蕴涵理想的概念,研究了相关性质;指出了模糊蕴涵理想和(∈,∈∨q)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊蕴涵理想,反之不然;给出了BCK-代数的模糊子集成为(∈,∈∨q_k)-模糊蕴涵理想的条件;证明了(∈,∈∨q_k)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊理想,用实例说明其逆命题不真;给出了(∈,∈∨q_k)-模糊蕴涵理想的若干等价刻画,讨论了BCK-代数的基于蕴涵的模糊蕴涵理想。     

基于量子逻辑的确定型正则文法

基于量子逻辑的文法理论是量子计算模型的一个重要研究方向.给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性.利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性.