基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.     

系统的互操作性

阐明了确保互操作性的重要性,介绍了有关互操作性的标准及互操作性的鉴别与测试,并提出了确保互操作性的几点建议。     

单片集成传输线——共面耦合线、共面耦合带线及矩形微屏蔽的共面耦合线的新研究

本文首次提出将一些新型的微加工共面传输线用于ＭＭＩＣ设计。这些共面传输线分别是共面耦合线（ＣＣＬ）、共面耦合带线（ＣＣＳ）、矩形微屏蔽共面耦合线（ＲＭＣＣＬ）、共面耦合矩形微屏蔽线（ＣＣＲＭＬ）。推导出用于计算这些传输线的ＴＥＭ参数的解析公式,其推导方法为基于ＴＥＭ模假设,用精确的保用变换。数字结果显示了各种共面耦合传输线的性质。     

双基地系统收站自主的自适应跟踪算法

本文介绍了双基地系统收站自主的定位原理及跟踪算法WMEKF (WeightedModified Extended Kalman Filter),提出了一种对机动目标的自适应跟踪算法AWMEKF(Adaptive WMEKF),并对典型的机动目标航迹进行了计算机仿真。     

一个新的组合恒等式及其证明

本文以定理的形式提出一个新的组合恒等式。它是在恒虚警算法研究和性能分析中经常遇到的恒等式。对此,文中给出详细的证明。在证明过程中,我们还提出了有关该定理在实际中可以直接应用的3个引理和2个推论。     

三维静磁场Lipschitz区域上Robin问题广义解的存在与唯一性

近年来,电磁场边值问题的数值解法取得了飞速的发展．由于电磁场边值问题是一类非线性偏微分方程,研究解的存在性、唯一性具有较大的困难．前人已讨论了B-H间的几个基本不等式,并由之证明了三雏静磁场带零边值问题广义解的存在与唯一性,作者也曾利用给出的B-H间的不等式证明了三维静磁场Neumann问题和二维时变场第一边值初值问题广义解的存在与唯一性．由于在一般区域讨论存在困难,作者利用Sobolev空间理论及单调算子理论证明了三雏静磁场Lipschitz区域上Robin问题广义解的存在与唯一性．     

当前深入学习实践科学发展观需要关注的几个问题

站在新的高度深入学习实践科学发展观,必须充分认识深入学习实践科学发展观的长期性战略性,厚实理论底蕴,在深化理论体系武装中强化自觉性坚定性;坚持实践牵引,在提高能力素质中更新观念提升能力;抓住关键环节,在创新制度中推进部队建设全面协调可持续发展;充分发扬民主,在尊重群众首创精神中凝聚发展力量。     

基于卡尔曼滤波和模糊数据融合的跟踪算法

在目标跟踪系统中,特别是在复杂背景情况下对地面目标的跟踪中,传统相关算法采用全局搜索的方法,使得计算量相当大,不易实时实现,而且当发生目标局部遮挡时,目标容易丢失.为此,提出一种基于模糊推理和卡尔曼预测器的目标相关跟踪的方法,它充分利用卡尔曼预测器的预测功能来预测下一帧目标可能出现的区域,然后在较小的预测区域中进行相关匹配运算,找到最佳相关匹配点,跟踪更具主动性,同时用模糊推理方法对卡尔曼预测器的参数进行自适应调整,从而可以跟踪各种机动目标.实验中用传统算法和本算法对高速行驶的坦克进行跟踪时,传统算法容易跑飞,而本算法不受遮挡干扰,始终稳定跟踪且耗时大幅减少,且能够跟踪机动速度大幅变化的目标.     

采用不同化学反应源项处理方法的胞格爆轰数值研究

采用一种改进的化学非平衡流解耦方法对Euler反应流方程进行解耦处理,对流项采用五阶WENO格式进行离散,化学反应源项分别采用梯形公式和α-QSS拟稳态逼近两种方法处理,时间步进采用二阶精度的Runge-Kutta方法,对H2/O2/Ar预混气的胞格爆轰进行了二维数值模拟。两种处理方法都得到了合理的三波点结构,计算结果接近,但α-QSS拟稳态逼近处理方法的化学反应较完全,爆轰波传播速度较高;揭示了爆轰波结构的发展变化过程,横波与横波、横波与壁面碰撞引起的二次起爆对爆轰波的稳定发展至关重要;分析了数值胞格结构,胞格长宽比与参考文献基本一致,验证了本计算方法的有效性。     

Discrete‐time analysis of MAP/PH/1 multiclass general preemptive priority queue

We use the matrix‐geometric method to study the MAP/PH/1 general preemptive priority queue with a multiple class of jobs. A procedure for obtaining the block matrices representing the transition matrix P is presented. We show that the special upper triangular structure of the matrix R obtained by Miller [Computation of steady‐state probabilities for M/M/1 priority queues, Oper Res 29(5) (1981), 945–958] can be extended to an upper triangular block structure. Moreover, the subblock matrices of matrix R also have such a structure. With this special structure, we develop a procedure to compute the matrix R. After obtaining the stationary distribution of the system, we study two primary performance indices, namely, the distributions of the number of jobs of each type in the system and their waiting times. Although most of our analysis is carried out for the case of K = 3, the developed approach is general enough to study the other cases (K ≥ 4). © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 662–682, 2003.