摘要:本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得一个规整高效的计算结构。文章形式地用FP/B定义了脉动式,并根据FP/B代数,建立了具有终止性和保持正确性的脉动阵列重写系统,它能将用户FP/B程序自动转换为等价的脉动式,再根据FP/B并发计算型及一些函数的几何语义可较为直接地获得一个脉动阵列的硬件描述。文末给出一个例子加以说明。

摘要:本文通过引入流及流上的递归方程,增强了FP表达并行算法的能力,有效地克服了用FP描述循环数据依赖及状态记忆的困难,文中给出了并行算法的FP描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用FP描述脉动化的研究中去。

摘要:本文提出一种交互式的程序(半)自动综合方法:使用显式策略引导系统进行程序构造。这些策略包括程序员提供的问题求解策略和系统内部的标准策略,如数学归纳法、归结方法和程序变换规则/策略。策略都用高阶函数式元语言TSL/ML统一地描述,它们的施用则通过高阶一致化完成。因此,我们的程序综合方法可以在统一的框架下使用多种软件自动构造技术,且易于自动实现。

摘要:本文介绍了如何用句法图来表示扩展的BNF文法(EBNF),给出一个将EBNF文法翻译成句法图算法,然后我们给出一个适用于各种过程性高级语言的通用语法分析算法,同时考虑了语法错误的恢复和语义子程序的嵌入。

摘要:本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型的效果。

摘要:本文引入了模式化简序的概念,并给出了基于模式化简序的重写系统终止性判别方法。本文还着重研究了模式递归路径序,同时定义了重写规则相对模式集的上下扩张概念,以此给出了用模式递归路径序判别终止性的有效方法,原有的递归路径序是模式递归路径序的一个特例。

摘要:在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般Petri网。

摘要:模型描述语言NUMDL是智能决策系统JSEIDSS的一个重要组成部分,它为系统模型的建立和管理提供了很好的工具。NUMDL语言功能强,描述概念和数学公式简明,易写易读,且有一定的特色,本文介绍它的设计与实现。

摘要:文[1]给出了REP表达式类及其典范形式,本文推广了这类表达式并证明其存在的典范形式。