FPGA逻辑资源测试图形自动生成方法

提出一种通用FPGA逻辑资源测试图形自动生成方法.建立了可编程逻辑单元CLB的测试模型,提出了FPGA的测试配置集的自动生成算法,在测试配置集的基础上得到了具有通用性的,高故障覆盖率且测试时间短的测试图形.     

逻辑程序中的控制策略及其表示

本文从“算法=逻辑+控制”的思想出发,讨论了逻辑程序设计语言在软件自动生成中的地位和作用;对基于HORN子句逻辑程序中的控制问题进行了广泛的讨论;最后提出了一种将逻辑与控制分离的元级控制的表示形式。     

逻辑图自动划分的研究

提出基于划分的逻辑图布图策略,在效解决超大规模集成电路（VLSI）逻辑原理图自动生成中规模与速度的矛盾,给出的划分模型。结合逻辑原理图的．特点设计实现种子生成的构造式划分算法和迭代改进划分算法。实验表明,这两种算法的时间复杂度较低,算法精度及优化程度都能达到目标要求,在实际应用中取得了良好的效果。     

改进的基于唯一输入输出序列的测试序列自动生成算法

协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列(Unique input/output sequences)的测试序列自动生成算法,并且用C语言程序实现了该算法,从而实现了测试序列的全自动生成.将该算法自动生成的测试序列与测试数据相结合,生成了SM-RL(short message relay layer)协议优化的一致性测试套.与优化前相比,新测试套有了明显的改进,提高了测试工作的效率.     

自动驾驶算法的异常事件生成系统设计与评估

评价自动驾驶算法对异常交通事件的响应具有重要的应用价值,针对在真实世界中制造异常交通事件存在代价高、风险大等问题,本文提出了一种面向自动驾驶算法评估的异常交通事件生成方法,该方法可以自动生成5类异常交通事件;基于该方法,搭建了一个驾驶策略评估系统,以实现对自动驾驶算法的评估.为验证生成的异常交通事件的有效性,对一种基于深度网络的模仿学习自动驾驶算法进行了评估.实验结果表明,生成的异常交通事件可以更全面地评估自动驾驶算法的性能.     

电力系统潮流及阻抗图自动生成系统的设计与实现

提出了利用ＨＯＰＦＩＥＬＤ神经网络解决图论中交叉数问题的一种算法，并运用该算法实现了电力系统中潮流及阻抗图的自动生成。还提出了利用逻辑坐标系生成、输出超大幅面图形的技术。     

一种铺设算法在MSC.Patran平台上的实现

本文介绍了一种铺设算法的原理及其在MSC.Patran平台上的实现。本算法的原理基于前人的理论研究,并引入一些新的规则。相比较原有的算法,新的算法更适用于在细带状的二维区域上自动生成有限元网格,并允许设置约束条件。笔者在MSC.Patran平台上初步实现了本算法,并将其用以船体构件有限元网格的自动生成,得到较好的效果。     

抽取式自动文本生成算法

文本自动生成旨在实现机器像人一样写作,减少语言工作人员的工作量,为读者传送实时、简洁的新闻报道.它可被运用在智能问答和对话、新闻的自动撰写、突发事件报道等应用中,且一直是学术界和工业界想突破的研究问题.本文将文本自动生成建模成关键词集合覆盖问题,提出了一种无监督的抽取式文本自动生成算法.该算法优化了自动文本的结构,不再是一段式文本.实验表明,该算法在大规模语料库上可取得不错效果,生成的文本覆盖信息更全面,与人工生成的文本意思更接近.     

手绘逻辑符号图的计算机识别与标准化重现

0 引言在计算机电路图和逻辑图的理解系统中,首先碰到的问题是计算机如何识别手绘电路元件和手绘逻辑符号。这方面的问题一旦解决,则对于整体电路图和逻辑图可通过分割手段,“各个击破”。因而其应用是很广泛的。本文重点讨论了单个手绘逻辑符号的识别和标准化重现问题。其主要步骤是:(1)预处理部分。对图形进行细化和去端线等处理,得到一个平滑的孤立的逻辑符号图。     

一个可行方向算法的收敛性质

本文进一步讨论[1]中的算法,在较弱的条件下证明了更强的收敛性质。     

压缩型正态——伽玛分布的Bayes统计分析研究

文章给出了两参数u，α^2均未知时的一种压缩型正态-伽玛分布的Bayes分析统计性质．并给出相应的算法与实例．     

一种网络内容快速动态检测方法

高速网络内容检测与过滤依赖于快速多模式匹配算法按预先定义的模式集对分组的任意位置内容进行匹配。模式集往往有成千上万条,长短不一且十分复杂。多模式匹配算法对存贮器的访问速度很敏感,算法的好坏往往成为系统的性能瓶颈。另外,新的攻击层出不穷导致模式内容不断变化,如何在检测的同时有效地更新模式集合对网络安全设备在不停机检测条件下实现规则的升级与更新尤其重要。针对上述问题,提出了一种松散耦合的双通道线速动态内容检测方法,快速通道利用可动态查询的并行Counting Bloom filter引擎过滤网络分组。过滤出的嫌疑分组送慢速通道利用高效动态模式匹配算法一步准确鉴别和分析,从而避免对正常分组的阻碍达到线速检测。基于程序局部性原理,采用了额定长度前缀的方法实现了对长模式的可扩展性。分析与模拟试验表明,检测方法具有较高的吞吐性能,可以实现线速动态深度分组检测,同时减少了硬件资源开销,提高了可扩展性。     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

一种三边Switch-box的布线问题及其图论算法

本文将一种VLSI中的三边Swithc-box的布线转化为图论中的求偶图的最大非交叉匹配问题,并在文献[1]思想的基础上提出了一个求偶图的最大非交叉匹配的有效算法。该算法已在IBM PC/XT上用FORTRAN77实现。最后给了算法用于三边Switch-box布线的实例。     

带拟凸约束的极小规划

本文给出带拟凸约束规划的一个新算法,其结果改进和推广了文［1～3］的结论．     

一种新的启发式搜索算法的收敛性证明

表文作者在文献[1]中提出了一种在图象库中检索图象的新的启发式探索算法,本文给出了此种算法的收敛性证明。     

格值连续函数和L—Fuzzy紧性

第一部分研究值域为连续格的一类广泛的格值映射，得到Ｓｃｏｔｔ连续函数分析式、层次式刻划，改进了有关结果。第二部分主要研究不分明紧性，用笛卡积和闭投射给出了Ｆｕｚｚｙ紧性外部刻划定理，将一般拓扑学著名的Ｋｕｒａｔｏｗｓｋｉ定理推广到ＬＦ拓扑学中，同时给出一种不分明完备映射的一个等价刻划，完善了有关结果。     

一种自校正广义预测控制算法

本文运用自适应原理,在广义预测控制(GPC)算法的基础上,设计了一种自校正GPC算法。该算法具有计算量小,鲁棒性较强的特点。文未给出了仿真实例。     

一个新的对称秩1变尺度算法及其全局收敛性

本文在参考文献[6]的基础上,进一步修正了原对称秩1拟牛顿法,从而提出了一个新的对称秩1变尺度算法,此法具有形式简单、易于计算的特点。并且我们证明了此新算法具有较好地全局收敛性质。