相干逻辑的产生及评价

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。     

海森堡自旋链中的宏观量子相干

迄今为止,磁性宏观量子效应的研究主要集中于单畴磁体[1],即零维空间.扩展到一维空间(如自旋链)和二维空间(如磁性薄膜)不仅有实际的应用价值,而且具有重要的理论意义,因为一直缺乏满足物理要求的瞬子解.     

面向高通量事务处理的事务编译技术

针对内存数据库中CPU利用率不高的问题,目前的研究工作集中在利用事务编译技术提升事务的执行效率和改进事务的并发控制以提升数据库的性能.本文主要从以下几个方面对内存数据库的事务编译技术进行了综述.第一,介绍了事务处理的一般流程,分析限制系统性能的因素.第二,分析了当前使用的事务编译技术,包括即时编译技术、操作依赖分析技术和事务切片技术.第三,结合实例分析事务编译是如何提升数据库性能的,介绍典型的内存数据库在事务编译方面的研究工作,如Hekaton、VoltDB等.最后给出了研究展望.     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

某型粉末盘材料的分层切片实验研究

某型粉末合金材料强度硬度较高,一般的机械抛光通常不能去除试样表面的残余应变层,因而,采用电解抛光是制备电子背散射衍射试样的理想方法。本实验通过正交试验进行优选,并对优选的电解抛光工艺参数进行了调整,制定出了某型粉末合金电子背散射衍射试样的快速制备工艺。     

浅海水声信道自适应均衡算法

浅海水声信道是一个典型的带宽受限、时变衰落信道,存在着时变的多径扩展、频率偏移以及随机相位起伏.在水声相干通信中,自适应均衡是克服多径效应、消除码间干扰的主要手段.针对在实际应用中自适应均衡算法对步长参数选择的敏感性,进行了浅海信道水声相干通信均衡算法研究,结合录制的水声信道数据,通过Matlab软件,从星座图、算法收敛特性以及系统的误码特性这3个方面对几种均衡算法的性能进行了分析比较.结果表明,最小均方(LMS)平行滤波器组算法具有自适应调整步长的性能,且能获得较快的收敛速度和较小的误码率,验证了该算法在水声信道中的实用性.     

部分相干电磁光束在湍流大气中传输的交叉偏振度

推导部分相干电磁高斯-谢尔模型光束在湍流大气中的交叉谱密度矩阵.根据交叉偏振度的理论,研究部分相干电磁光束在湍流大气中的交叉偏振度的变化情况.研究表明,部分相干电磁光束的交叉偏振度由大气折射率结构常数、光源相关长度、光束初始偏振度和观察点位置决定.交叉偏振度不同于一般偏振度,它的值不再仅仅局限在0～1,而是可以取任何非...     

面向WAAM无支撑制造大悬臂的自适应切片

为满足多轴送丝电弧熔积增材制造(WAAM)无支撑制造大悬臂结构的需求,提出一种厚度和方向均可变的自适应切片算法.首先通过层间相对悬臂长度的计算,进行大悬臂结构识别;然后对位置和方向分别进行二分迭代优化和主成分分析(PCA)迭代优化,确定分段平面,分解大悬臂结构为微悬臂子结构;最后对子结构进行平行切片,产生均匀切片以满足工艺制造需求.相比于现有的最小包围球冠和质心轴法,该算法的相对悬臂长度和悬臂角更小,分段子结构的数量也更少,具备更佳的可制造性和更高的制造效率.实例证实了算法的有效性.     

对同步广播的分析和思考

本文简要阐述了同步广播的基本原理和实施方案,介绍了同步广播的的基本组成部分并分析了同步广播的优缺点。     

自旋相干态法解Dicke模型的基态解析解

文章采用了自旋相干态的三种表达方式,利用了变分原理,求解了Dicke模型的相变点和基态能量解析表达式,这三种方法所得的结论与Holstein-Primakoff(HP)变换方法所得结论完全一致,而这三种方法有一定的普适性和优越性.