基于属性文法和语义网络的综合知识表示模型

本文提出了一个属性文法计算模型与语义网络表示模型相结合的综合知识表示模型.根据形式化的语义网络表示模型和属性文法的特点,该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式,并且可通过扩充的属性文法的解释器来实现推理.

综合知识表示模型M_（AS）的属性文法推理机制

根据文献［２］中提出的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文是出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明．最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论．

反编译到VAXC的设计与实现技术——兼论反编译面临的难点

八十年代中期以来,国内一些学者和研究单位开展了反编译的研究。我们从八六年以来,对VAX汇编语言程序反编译到C语言程序进行研究。工作虽然是在VAX机器上做的,但结论具有一般性。与编译程序的逐句扫描逐句翻译方法不同,反编译必须采用分块扫描分块翻译的方法。反编译面临的最大难题是:高级语言只有数学逻辑运算功能,而不具备汇编语言具有的表达机器内部物理过程的功能;表达物理过程的汇编语言指令难以反编译为高级语言。

《费马大定理》读后感

费马大定理，一个困惑了世间智者358年的数学难题，终于解决了。对于费马大定理，在我中学时就知道，按照数学家对数学难题的难度排名，这个问题无疑是排在最前面的问题之一。费马大定理虽难，但其问题却非常明白易懂，就是：x^n＋y^n=z^n（n〉2）不存在整数解。这个小学生都明白的题，出现在Knuth的《程序设计的艺术》一书的习题中，不过难度系数是最高的，50。