A quantum algorithm that deletes marked states from an arbitrary database

We present a general quantum deletion algorithm that deletes M marked states from an N-item quantum database with arbitrary initial distribution. The general behavior of this algorithm is analyzed, and analytic result is given. When the number of marked states is no more than 3N/4 , this algorithm requires just a single query, and this achieves exponential speedup over classical algorithm.     

计算结构稳态强迫振动的有限元传递矩阵法

对结构稳态强迫振动的有限元传递矩阵法进行了研究 .建立了结构在简谐激励力作用下稳态强迫振动的有限元运动方程 ,将普通有限元传递矩阵法中状态向量从左至右的传递改变为子结构界面刚度方程从左至右的传递 ,从而有效地减小了因矩阵多次相乘而产生的舍入误差积累 ,且克服了普通有限元传递矩阵法仅适用于链式结构 ,要求所有子结构边界自由度数相等的限制 数值算例表明该方法具有较高的计算精确度及较广泛的适用范围     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

Parallel (M−N)SVD algorithms on the SIMD computers

LetA bem byn matrix,M andN be positive definite matrices of orderm andn respectively. This paper presents an efficient method for computing (M?N) singular value decomposition ((M?N) SVD) ofA on a cube connected single instruction stream-multiple data stream (SIMD) parallel computer. This method is based on a one-sided orthogonalization algorithm due to Hestenes. On the cube connected SIMD parallel computer witho(n) processors, the (M?N)SVD of a matrixA requires a computation time ofo(m ³logm/n).     

无刷直流电机DSP逻辑控制程序的Petri网设计方法

提出一种无刷直流(BLDC)电机数字信号处理(DSP)逻辑控制程序的Petri网设计方法.首先,建立霍尔传感器和电机旋转方向的Petri网模型;其次,利用功率管(MOSFET)二二切换规则,设计功率管通断的变迁,获得电机的逻辑控制Petri网模型,并根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并利用换相逻辑逐个验证;最后,借助Petri网变迁的激发规则,设计无刷直流电机DSP逻辑控制程序,并对文中方法进行实验验证.结果表明:文中方法能够保证控制程序的正确性和可靠性,可以有效地简化无刷直流电机DSP逻辑控制程序的调试过程.     

低精度ADC下大规模机器类通信中的 低复杂度信号检测算法

免授权大规模机器类通信(massive machine-type communication, mMTC)系统上行链路面临低分辨率量化、相关衰落信道以及机器类设备(machine-type device，MTD)活跃概率未知等实际挑战。针对上述问题，引入广义期望一致性(generalized expectation consistent, GEC)算法，然而GEC算法涉及高维矩阵求逆，其复杂度高达O(N³)，其中N为MTD数量。结合Woodbury公式与诺曼级数近似，并利用发射数据帧的结构稀疏性，提出了一种基于多测量矢量的近似广义期望一致性(approximate generalized expectation consistent multiple measurement vector, AGEC-MMV)算法，在mMTC系统中(基站天线数量M)，该算法能够规避GEC中的高维矩阵求逆，使其复杂度由O(N³)降至O(N²M)。仿真结果表明，所提AGEC-MMV算法能以较低复杂度取得接近GEC算法的性能，且在鲁棒性方面优于现有先进算法。     

基于遗传模糊算法的智能车辆避障路径规划研究

利用模糊逻辑和遗传算法构建一种智能车辆避障路径规划方法.首先建立智能车辆的动力学模型,然后设计模糊控制器,以智能车辆与目标点及障碍物中心点的角度差、智能车辆与障碍物的距离为输入量,智能车辆的速度、转角为输出量分别建立避障行为模糊规则表和趋向目标模糊规则表,最后利用遗传算法对避障行为模糊规则表进行优化.仿真结果表明,该方法是正确和有效的.     

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

扭环型计数器自启动设计的逻辑修改方案

为了克服目前在保持右移移位寄存器内部结构不变的基础上只求解第1位触发器的激励函数设计方法的局限性,分析了扭环形计数器工作时的状态转换过程,提出在不改变右移移位、取反循环移位的状态变化规律时可对任何一位触发器的激励函数进行逻辑修改的设计方案,给出了在次态函数卡诺图上进行激励函数最小化求解与检查无效状态所赋次态值及逻辑修改...     

基于二进制序列集合的策略合成代数框架

从代数建模和实现机制相融合的角度出发,提出了一种基于二进制序列集合的策略合成代数框架.首先通过定义二进制序列集合元素及构造集合运算规则,将策略抽象成逻辑模型.然后针对多终端二进制决策树（MTBDD）的逻辑建模机制中存在的编码次序敏感以及规则冗余问题,提出了基于二进制序列的移位合并算法.最后推导基于二进制序列的合成语义算子,建立该代数框架.通过时间复杂性分析和仿真实验,验证了该框架的有效性,其合成性能优于基于MTBDD策略树的合成机制.     

应用正交试验法的RHT模型参数敏感性研究

基于RHT模型的理论分析,选出A、N、B、M、B_Q、f_s/f_c、T_ten、D₁和E_f,min 9个参数作为正交试验分析参数,研究RHT模型中参数的敏感性.运用Autodyn程序对弹丸侵彻混凝土过程进行数值分析,确定了不同参数、不同水平值下弹丸的侵彻深度.采用极差分析法对参数的敏感程度进行量化分析,得出9个参数的敏感性排序为B > E_f,min > T_ten > f_s/f_c > N > M > D₁ > B_Q > A.结合3组典型数值试验损伤云图和侵彻深度的对比分析,认为参数B、E_f,min和T_ten对数值模拟试验结果的影响极大,应采取可靠的技术手段准确确定其取值.      

电性距离矢量预测有机污染物的生物富集因子

以电性距离矢量Mt表征165种非离子性有机物(NOC)的分子结构.利用多元回归方法建立了122种NOC的生物富集因子(lg BCF)与32个Mt的数学模型,其相关系数R为0.976.经逐步回归建立最佳四变量(M15,M17,M36,M91)模型,其R为0.960;并以Jackknife法检验,其LOO交互检验系数(q2)为0.915.这4个Mt参数揭示了影响NOC生物富集因子的主要因素,结果表明该模型具有良好的估算能力与鲁棒性.以111个NOC为训练集的生物富集模型作用于11个NOC的检验集,显示出良好的预测能力.     

基于滚动球模型的单值曲面缓冲体边界生成算法

为解决现有的缓冲体边界生成算法在单值曲面应用中存在的效率低下问题,在深入分析当前算法的基础上,针对单值曲面这类特殊形态的地理要素,提出了一种基于滚动球模型的单值曲面缓冲体边界生成算法?基于缓冲体边界构建原理,对其几何特性进行了详细地分析,将单值曲面缓冲体边界的几何特性考虑在内,建立了单值曲面逻辑和运算法则;同时,提出了滚动球模型的概念,将逻辑并运算法则和滚动球模型的概念引入到该算法中,从而降低了其计算复杂性?在VC++环境下对该算法在格网数字水深模型中的应用进行了验证?实验结果表明,该算法具有执行效率高,精度可靠,可适应较复杂的单值曲面形态?该方法用于单值曲面缓冲体边界生成是可行的?有效的?     

基于响应面法炉腹异型管铜冷却壁的长寿技术优化

基于传热学理论,对近年来出现的高炉炉腹区异型管(椭圆型、矩型、双圆型、三圆型及正六边型)铜冷却壁传热模型进行参数化建模,基于冷却壁传热特性对冷却水管进行管型最优选择;模拟正常工况对开炉初期冷却壁镶砖热面未覆盖渣皮的传热模型进行热-结构耦合分析,利用响应面法得到各参数对铜冷却壁力学特性的相互影响规律.将响应面法与NSGA-Ⅱ遗传算法相结合对炉腹结构参数及长寿技术进行优化,优化后的炉腹结构在传热特性和力学性能方面均得到明显改善,结果证明所建模型和参数化计算程序可用作炉腹结构长寿技术的优化设计和评估.     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

模糊神经网络的自动变速汽车换挡规律分析

在分析目前汽车自动变速器换挡规律制定方法优缺点的基础上,提出了基于模糊神经网络的最佳挡位判断方法,研究了基于Takagi-Sugeno模型的神经网络结构及其算法。根据熟练驾驶员的经验和专家知识制定了汽车自动变速器换挡规律的两参数模糊逻辑推理规则和隶属度函数,利用人工神经网络的学习训练机制并按照试验样本修正了模糊系统的隶属度函数和模糊控制规则,进行了模糊神经网络的训练和仿真,仿真结果表明该基于Takagi-Sugeno模型的模糊神经网络的汽车自动变速器换挡规律制定方法的正确性和可行性。     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

Explicit breather-type and pure <Emphasis Type="Italic">N</Emphasis>-soliton solution of DNLS<Superscript>+</Superscript> equation with nonvanishing boundary condition

Based on a newly revised inverse scattering transform for the derivative nonlinear Schrödinger (DNLS⁺) equation with nonvanishing boundary condition (NVBC), the explicit breather-type and pure N-soliton solution has been derived by some algebra techniques. The two-breather solution and the pure double-soliton solution have been given as two typical examples in illustration of the general formula of the multi-soliton solution. The asymptotic behaviors of the N-soliton solution are discussed in detail.     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

An improved algorithm for blind carrier frequency estimation with burst MPSK transmissions

This paper presents an improved non-data-aided algo-rithm for carrier frequency estimation for burst M-ary PSK signals when modulation order M and training symbols are unknown. Unlike data-aided estimation, a phase clustering algorithm is used first to estimate M and modulated information is removed by a vari-able interval linear phase unwrapping. Then, a high-order correlation algorithm with proper correction is present, which reduces the probability of phase ambiguity and promotes anti-noise capability of the estimation. Simulations are given to analyze the unbiased esti-mation range, and the asymptotic performance and symbol number are needed to compare with the former algorithms. The new algo-rithm has a large estimation range close to the theoretical maximum value for non-data-aided estimation and has a better performance than earlier non-data-aided techniques for large frequency offset, low signal-to-noise ratio, and limited symbol numbers.