时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

对空向量瞄具设计

给出了对空向量瞄具的设计计算方法,并对一个实例进行了详细的分析。     

向量值奇异积分方程的直接解法

本文给出了向量全纯函数的联接边值问题,在能表成分片全纯的向量值柯西型积分的函数类中的直接解法.     

多状态系统故障树质蕴含集的求取算法

本章首先给出多状态系统状态空间的立方体表示方法,然后建立相应的运算规则。在这些规则的基础上,提出多状态系统故障树质蕴含集的求取算法。通过实例分析,说明了这种方法的可行性。     

平面B—样条曲线的拐点定理

利用插入节点的算法,本文研究了Ｂ—样条曲线的形状,得到了Ｂ—样条曲线拐点的一个定理。该定理描述了当控制多边形只有一个拐向点时Ｂ—样条曲线的拐点、尖点和二重点的关系。此项研究对于工程应用中的ＣＡＤ有较实际的指导作用。     

柔性制造单元状态监控与故障诊断的综合决策模型与策略

为解决快速实时的在线状态监控与决策这一与系统功能相适应的问题,针对ＦＭＳ加工设备与过程的特点和对之进行监控与诊断的需要,提出一通用的全局监测与决策模型,包括传感策略、特征提取、状态表述与分类、故障全局综合决策等模块和具体的监测流程。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

Cρ 准则下选择最优子集的并行算法

C_p准则是目前颇受重视的一种变量选择准则。本文针对大型线性回归模型,推导了从所有可能子集中用C_p准则选择最优子集的(乘除法) 运算次数,提出了C_p准则下变量选择的并行算法。给出了在YH-1和YH-2向量巨型计算机上运行该算法的模拟结果且获得了15倍左右的向量加速比s/v,体现了该算法的优越性。     

基于支持向量机的彩色图像恢复新方法

引起图像退化的因素众多,因而难以用一个统一的方法来进行恢复处理。鉴于图像的像素和各颜色分量通道间本质上存在某种相关性,以及以支持向量机为核心的统计学习理论具有较好地解决小样本、非线性、高维数问题的能力,提出了一种新的空域图像恢复方法,并通过对来自于待处理图像本身的训练样本的学习,构造自适应的回归插值函数;然后基于该函数对图像作有选择的修改,从而达到图像恢复的目的。实验表明,该方法是有效的,并且具有较好的泛化性能。