多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

多雷达多目标航迹起始算法研究

提出了一种基于聚类分析与逻辑法相结合的集中式多雷达航迹起始算法。首先采用聚类算法对传送到融合中心的数据进行聚类,使每一类中的数据代表同一个目标,并找出聚类中心作为等价的单雷达的量测,从而使航迹起始过程相对简化;在起始算法中根据目标的运动特点,对逻辑法进行了一定的改进。仿真试验证明了该算法的有效性。     

VHDL综合系统HLS/BIT中永真式的判定算法

在ＥＤＡ设计工具的ＨＤＬ综合系统中，高级综合、ＲＴＬ级综合和逻辑级综合等都常常需要对逻辑函数进行永真式的判定。本文给出一种高效的永真式判定算法，该算法利用余因子、Ｓｈａｎｎｏｎ展开式和单边函数，对逻辑函数的多维体列阵进行快速有效的递归判定。该算法已经在自行研制的ＶＨＤＬ综合系统ＨＬＳ／ＢＩＴ中实际应用。     

基于粗糙集多输出逻辑函数优化算法的研究

文章提出了基于粗糙集的多输出逻辑函数优化方法,并给出了相应算法;实例验证表明,基于粗糙集的组合逻辑优化方法是可行和有效的。     

综合多输出组合逻辑二级电路CAD软件算法的改进

图1为常用算法的框图,所得结果为与一或表达式形式,可用二级门电路实现.这种算法特别适合PLA式逻辑阵列的综合.     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近最小覆盖的两级与－或网络的自动逻辑综合方法．提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

基于多维体理论的生命线网络可靠性的不交和算法

根据生命线网络系统的图论模型,应用计算机辅助逻辑综合技术对网络可靠性的精确算法进行了探讨.采用多维体列阵表示网络可靠性的逻辑函数,应用锐积和二进制布尔运算实现网络的路经不交和算法和计算机编程.最后,通过算例验证了该算法的有效性.     

单模型多传感器多尺度交互式数据综合估计算法

将小波分析理论中的多尺度分析思想与传统Kalman滤波、多尺度数据融合算法相结合,提出了单模型多传感器多尺度交互式数据综合估计新算法,并通过计算机的仿真结果,对此算法进行了定性分析;用标准差对此进行了定量分析,从而说明了该算法的有效性.     

隐式曲面的整数型生成算法

隐式曲面易实现几何造型，但较难绘制，章提出一个隐式曲面的象素级生成算法，并针对隐式曲面的特点实现了隐藏线消隐，由于是象素级算法，所以该算法绘制的曲面非常细致和平滑，该算法只使用整数运算，所以具有很快的速度。     

基于陆标敏感器对星敏感器在轨标定算法研究

基于陆标敏感器,针对星敏感器系统常值误差进行了在轨标定算法研究.利用陆标敏感器经图像匹配识别得到一系列特征点坐标,与基准图像相应特征点坐标经过比较,将最小二乘最优估计值作为量测,应用卡尔曼滤波算法,设计了星敏感器在轨标定模型,并进行了数学仿真,仿真结果表明该算法可以在轨准确标定出星敏感器系统常值误差.     

基于链接文本相关度的超链接算法

分析了超链接PageRank算法的不足．采用矢量空间模型计算检索关键词与超链接文本之间的相关度,提出了基于超链接文本相关度的超链接算法．实验结果表明,该算法可以提高PageRank算法的检索精确度．     

最小支撑树的一种删除大权边算法及应用

最小支撑树的一种删除大权边算法是在Kruskal算法、Prim算法和破圈法的基础上,提出的另一种算法。介绍了删除大权边算法的基本概念和性质,列举了删除大权边算法的计算实例,叙述了删除大权边算法的及其应用。     

Affine arithmetic in matrix form for polynomial evaluation and algebraic curve drawing

This paper shows how tight bounds for the range of a bivariate polynomial can be found using a matrix method based on affine arithmetic. Then, this method is applied to drawing an algebraic curve with a hierarchical algorithm, which demonstrates that more accurate answers can be obtained more rapidly than using conventional interval arithmetic.     

Fast VLSI Implementation of Modular Inversion in Galois Field GF（p）

Modular inversion is one of the key arithmetic operations in public key cryptosystems, so low-cost,high-speed hardware implementation is absolutely necessary. This paper presents an algorithm for prime fields for hardware implementation. The algorithm involves only ordinary addition/subtraction and does not need any modular operations, multiplications or divisions. All of the arithmetic operations in the algorithm can be accomplished by only one adder, so it is very suitable for fast very large scale integration (VLSI) implementation. The VLSI implementation of the algorithm is also given with good performance and low silicon penalty.     

配电网故障定位算法研究

针对配电网故障快速准确定位问题,研究了故障定位的矩阵算法,分析了不对称矩阵算法的基本原理,针对该算法存在判别盲区的缺陷,提出了在辐射网和树状网末端增加零节点编号的改进方法,消除了判别盲区;该方法具有简单、实时性强的特点,在配电自动化系统中有很强的实用性。论文最后用算例验证了该算法的有效性。     

采用反模糊运算进行模糊潮流计算

通过分析模糊运算方法及其分类、特点和不足,提出了一种新的模糊数四则运算方法,并结合最新的解模糊线性方程组的模糊转换法提出了一种新的电力系统模糊潮流算法,该方法克服了由于不考虑变量相关性而产生的模糊放大现象,由于使用了新的模糊四则运算法则,提高了算法的整体计算速度.IEEE-14节点算例证明了该方法的有效性.     

曲线拟合在核探测器信号幅度提取中的应用

研究数字化核探测器输出脉冲信号的幅度提取问题.根据闪烁探测器的电路特性,推导了其脉冲信号理想曲线方程.综合利用三和值法、最小二乘法、试探法等方法,设计了该理想曲线拟合算法.由脉冲信号采样点数据,通过曲线拟合,计算出曲线的极大值,该值即为闪烁探测器输出脉冲信号的幅度.正反演数据结果对比表明,采用曲线拟合算法提取闪烁探测器输出脉冲信号幅度,其方案可行,计算结果更准确.相较于数字滤波和数字脉冲成形方法提取核探测器输出脉冲幅度,该算法更简单,对仪器的硬件处理速度要求更低.该方法开辟了核探测器脉冲幅度提取的新途径.     

弦振动方程中D''Alembert 公式的算子算法

主要讨论了运用算子的方法推导出弦振动方程中的D'Alembert公式.弦振动方程中的D'Alembert公式是偏微分方程中一个非常重要的基本公式.该公式的推导方法中一个最基本方法是特征线法.本文从另一角度即算子的方法,将弦振动方程写成算子的形式,再根据一阶线性偏微分方程的求解方法,最终推导出D'Alembert公式.