基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

点火瞬态过程对复合固体推进剂力学响应特性的影响

根据一个有效的非线性粘弹模型,导出复合固体推进剂微分形式本构方程和应变速率关系式。分析表明点火瞬态过程中压强与推进剂应变、升压速率与推进剂应变速率之间呈线性关系,线性系数均为推进剂初始模量。     

基于任务和角色的分布式工作流安全模型

针对现有基于角色访问控制的缺陷和分布式工作流管理系统的特性,在传统的基于角色的访问控制模型中引入任务集(Tasks)、任务实例集(TaskInstances)和任务上下文(TaskContext)的概念,将传统的user role permission权限赋予结构修改为user role task permission权限赋予结构,建立了基于任务和角色的访问控制模型,给出了其形式化定义。该模型解决了传统的基于角色访问控制中的动态适应性差和最小权限约束假象的问题,用于分布式工作流管理系统,提高了安全性、实用性。     

谱分析在惯性平台试验数据处理中的应用

为了获取更多有效信息,将谱分析方法应用于惯性平台试验数据的定性分析。首先对试验数据进行差分处理得到平稳数据,再利用快速傅里叶变换就能得到数据的频谱。对某次试验数据进行处理后得到的频谱图进行了分析,结果表明此方法简单、有效。     

Preservation of stochastic orders for random minima and maxima,with applications

It is shown, in this note, that the right spread order and the increasing convex order are both preserved under the taking of random maxima, and the total time on test transform order and the increasing concave order are preserved under the taking of random minima. Some inequalities and preservation properties in reliability and economics are given as applications. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

电动阀故障检测诊断研究

利用基于小波变换的奇异点奇异性指数(Lip指数)作为信号包络的特征识别指标,提出了一种对调制类型信号的诊断方法,并指出信号的包络分析是解决这类问题较有效的方法.同时,以某型舰用电动阀为例,对故障前后的信号作了分析计算.计算结果表明,与单纯用时域或频域的方法相比,该方法明显地提高了分析结果的精度.     

火炮装药温度分布的数值模拟

针对火炮弹药的特点,建立了弹药的二维轴对称模型,并在圆柱坐标系下,用控制容积积分法导出一组差分离散格式。采用收敛速度快的块迭代法解代数方程组。实验数据表明数值计算的结果和实测值基本一致,经进一步研究可以用于火炮装药的温度测量。     

Disruption management in production planning

We study the problem of recovering a production plan after a disruption, where the disruption may be caused by incidents such as power failure, market change, machine breakdown, supply shortage, worker no‐show, and others. The new recovery plan we seek after has to not only suit the changed environment brought about by the disruption, but also be close to the initial plan so as not to cause too much customer unsatisfaction or inconvenience for current‐stage and downstream operations. For the general‐cost case, we propose a dynamic programming method for the problem. For the convex‐cost case, a general problem which involves both cost and demand disruptions can be solved by considering the cost disruption first and then the demand disruption. We find that a pure demand disruption is easy to handle; and for a pure cost disruption, we propose a greedy method which is provably efficient. Our computational studies also reveal insights that will be helpful to managing disruptions in production planning. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

一个输入依赖于系统状态的排队模型的瞬时队长分布

探讨了一个有如下特征的排队系统:该系统的第m个到达间隔αm-αm-1(m≥1)的分布依赖系统在时刻αm-1拥有的顾客数目。应用补充变量方法,这个系统的瞬时队长分布的积分表示被得到。在各到达间隔分布和诸服务时间分布均具有密度函数的条件下,这个积分表示的被积项能够递归地求取。     

A chessboard model of the U‐boat war in the Atlantic with applications to signals intelligence

This paper uses a simple Monte Carlo model to analyze the influence of signals intelligence on the Second World War's Battle of the Atlantic. The principle measure of effectiveness is the number of U‐boat days of attack to which convoys were subjected. A secondary measure is the number of convoyed ships sunk. The model is validated against historical data and then used to explore the effectiveness of the two sides' signals intelligence. Allied use of signals intelligence is shown to have been capable of completely offsetting German use of signals intelligence, and then some. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2005