1995, 6(9):534-541.
摘要:本文讨论了PARLOG交互式跟踪调试器的设计与实现技术.作者改进了L.Byrd的盒式模型,使之可以描述PARLOG的顺序执行模型.PARLOG顺序化执行模型使计算具有确定性,易于用户调试程序.本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果.
1995, 6(9):542-550.
摘要:本文介绍了一种以构架和基本笔划为汉字的知识表示,从黑体到隶书的汉字字形自动变体方法.该方法首先实现基于特征的黑体构架到隶书构架的变换,然后实现基于笔划柔性映射的隶书构架到隶书轮廓字形的生成.此方法探讨了一条汉字字体间自动转换的途径,并具体实现了从黑体到隶书的自动变体.
1995, 6(9):551-559.
摘要:本文以青岛市委管理信息与辅助决策系统为背景,提出面向一般计划管理人员的预测应用系统的开发设计原则:以通用、经典的预测方法为基础,以先进的计算机技术为手段,建立应用系统的集成环境,支持用户进行预测工作,重实效,重理解.并依此原则,描述了集成环境下的预测应用网络系统的设计和实现。
1995, 6(9):560-566.
摘要:闭世界假设(CWAs)是逻辑数据库中一类主要的隐含完备.本文给出了一种参数化CWA的一般定义,使用这种参数化定义,已知的以及新的CWAs可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述.
1995, 6(9):567-575.
摘要:本文讨论了上下文无关图文法的性质,并证明了图文法推导具有独立性.本文还给出了一种有效的上下文无关图文法分析算法,它具有多项式时间复杂性,并给出了算法的正确性证明.该算法已经用C语言实现.