基于Pspice的电路仿真故障注入的方法研究

为克服在测试性验证与评估过程中手动进行故障注入时费时的问题,对Pspice电路仿真中的故障注入的方法进行研究,提出了一种仿真电路故障注入自动化的方法,使用LL(k)语法分析技术开发了Pspice解析器,用Hook技术对Pspice进行监控,实现了电路的自动故障注入和仿真。经验证提出的解决方法,有助于提高在测试性验证与评估过程中故障注入的效率。     

Parallel construction of SLR (1) and LALR (1) parsers

The generation of an LR parser consists of constructing a parse table, with one row per state (in a push-down automaton), and one column per terminal symbol. Traditionally, this is carried out row by row, with the computation of one row depending (potentially) on all the others. We present a technique for carrying out the lookahead computation of SLR (1) and LALR (1) parsers in a completely parallel fashion. Our technique performs the computation by column, rather than by row. We show that the computation is totally independent for each column, making it ideal for parallelization. The speedup factor of the technique is min (N, T), whereN is the number of processors andT is the number of terminal symbols in the user's grammar.     

汉语多重关系复句的关系层次分析

汉语多重关系复句的句法分析问题主要由复句中的关系分析和层次分析两部分组成.将多重关系复句中的层次分析作为研究对象.它是针对多种逻辑或并列关系,按照一定层次组成复杂主从关系复句而进行的关系层次分析过程.为了有效地形式化地表示多重关系复句的层次结构,提出了关系层次树的概念,并以此为基础构造文法,采用部分数据驱动的确定性移进-归约算法实现多重关系复句的关系层次分析.通过开放测试对计算机实现的多重关系复句句法分析器进行考察,93.56%的正确率使所提出的分析方法的有效性和正确性得到了充分的验证.     

嵌入式构件中的自适应机制与策略*

为了对嵌入式构件进行智能管理,提出了一种基于实例的学习算法。该适应算法能对经XML形式化表达过的构件进行自适应调整,从而在软件复用过程中减少人工干预。它比由自然语言描述的构件有更强的通用性、灵活性、自治性。     

支持多线程的空间数据GSQL解析器设计与实现*

为了使基于ingres扩展的空间数据库支持多线程空间数据上传和下载,设计实现了一个支持多线程的GSQL解析器。在分析PostGIS解析器的基础上,通过全局变量封装,实现解析器对多线程的支持。为了提高GSQL解析器的效率,提出并实现了可变长内存池管理机制。通过验证,GSQL解析器在多线程上传和下载空间数据时性能优良,而且使用可变长的内存池管理机制大幅度提高了GSQL解析器的时空效率。     

一种解析与执行联动的SDN可编程数据平面

当前互联网技术发展迅速,新型网络协议的不断出现,要求网络转发设备能够及时提供对新协议的支持.目前,软件定义网络要兼顾可编程协议解析和数据转发性能仍然面临诸多困难.对此,本文提出了基于解析和执行联动结构的可编程数据平面（CLIPE）,通过在硬件的解析器上部署用户可定义模块,可实时更新硬件中解析逻辑中的协议多叉树,从而实现协议解析的用户定制性;并且,通过解析器和动作执行器联动的创新结构,减少了整个处理架构的冗余性,从而减小动作执行时延,提高了硬件资源利用率,与现有方案相比,节约了11%的逻辑资源和24%的BRAM资源.最后,本文基于NetFPGA-10G板卡完成了本方案的原型机实现.     

NL句法分析中超语法符合现象的处理

本文回顾并总结了句法层次上六种不同类型的超语法符合(extra grammaticality,简称EG)现象及它们的恢复原则, 描述了如何用扩充的GLR分析器(Extended GLR Parser简称EGLR)完整解决其中四种、部分解决其余两种现象的技术。在处理后两种现象时, 要涉及语义问题。     

基于文本理解的自动文摘系统研究与实现

本系统模拟人的理解、知识获取认知过程，利用全信息词典有效地组织语言学知识。背景知识和领域知识，利用部分分析器算法，实现语法语义语用分析一体化，从文本中提取重要信息，将任一篇文章转换为计算机内的一个信息提取框架实体．根据填充情况，由文摘生成器产生合适的文摘．目前已实现计算机病毒领域文章的自动文摘，验证了文摘模型的可行性和有效性．文摘系统模型与领域无关．     

Upper bounds on the size of LR(k) parsers

It is shown that in many cases the trivial upper bound 2^{|G|k + 1} on the number of states of an LR(k) parser for a grammar G is too conservative. In particular, if G is not right-recursive, the canonical LR(k) parser for G has at most |G^k|G|·2^|G| states. Examples of grammars with large LR(k) parsers are given.     

Sequential classification of strings generated by SCFG's

A sequential classification algorithm (SCA) for stochastic context-free languages is given. The algorithm is an extension of Earley's parsing algorithm for context-free languages. The SCA uses an optimum decision rule and a suboptimal stopping rule. The time bound is proportional ton ³ (n is the length of the string). A parametere* in the SCA allows an easy control over the probability of error. It is shown theoretically and experimentally that a considerable amount of processing time can be saved when using the SCA compared to the time required when using Earley's algorithm.This work was supported by the AFOSR Grant 74–2661.