形式Peano算术的Goedel不完备性定理的一个简单证明

给出了形式Peano算术的Goedel不完备性定理的一个简单证明．     

描述VHDL语句的Petri Nets模型

提出了一个可以描述VHDL中对象和控制流的Petri Nets模型,对比了只支持控制流CFPN模型的描述能力,给出了VHDL中对象信号、变量和数据类型对模型的影响,并以具体实例分析了两种模型的不同抽象结果.     

北大本《古文观止译注》匡谬

阴法鲁先生主编的《古观止译注》经过修订，质量进一步提高，但注释和译仍有疏误。对这些疏误，作认为主要是未审词义及不谙语法所致。并不揣浅陋，予以辨析匡正。     

算法的时间复杂性的讨论

本文按程序的结构分类确定时间的数量级，当找到算法对应的程序时，便得出算法的时间复杂性，这是解决在最坏情况复杂性的一般性问题的新方法。     

基于Java的日志组件的探讨和实现

在系统开发过程中，最常见的写日志的做法就是在代码中嵌入许多的打印语句，这些打印语句可以输出到控制台或文件中。但这种方法不容易控制，一旦不再需要这些信息，必须把它们从程序中删除，且大量的打印语句降低了程序的可读性。本文就采用java开发语言实现了一个日志组件，并很好地解决了以上问题。     

充实 真实 平实——崔武散文集《天窗亮话》漫评

<正> 《天窗亮话》是崔武的第一部散文集。集子的名字起得好,书的装祯更是朴雅大方。总之,这样的整体外观就惹人喜爱,于是便捧读,且读出了如下的滋味和感受。 《天窗亮话》分为八辑,共152篇。第一辑《月是故乡明》12篇,叙写了“我”从1958年至1975年17年间所经历的一些终生不能忘怀的人和事。虽不是编年的记事,但仍可见出社会风云,人情世态,家庭变故,个人成长的印迹。第二辑《军旅足痕》(10篇),集中展示了“我”近7年的军旅生活,其间有寂寞艰苦的生活写照,有惊心动魄的生死考验,更有令人割舍不下的战友情谊。正是故乡明月的光耀和军旅     

基于落影表现理论下的模糊条件语句的真域

句型为“若ｘ是ａ，则ｙ是ｂ，否则ｙ是ｃ”的陈述句叫做条件语句．设Ａ～∈Ｆ（Ｘ），Ｂ～，Ｃ～∈Ｆ（Ｙ）分别是判断句（ａ），（ｂ），（ｃ）的真域．通过使用落影表现理论来构造条件语句的真域Ｒ～，得到了五种新的模型．     

C语言结构化程序设计与GOTO语句之间的关系

讨论了C语言结构化程序的主要特征,提出了“goto”语句在某些特殊场合下的程序设计中的一些使用.     

ASP执行SQL语句安全性分析

随着计算机网络的发展与普及，信息的安全性变得越来越重要。本文主要分析在ASP中执行SQL语句的安全性，发现其中的漏洞并找出解决问题的办法。     

小句宾语句的语义特点及其认知解释

从语义的角度着手,提出、分析并解释了小句宾语句宏观上的句式语义——感知者NP以VP的方式从意念上控制一个外部事件S(N+V)的过程、微观上的语义结构特点——"层级性",这些观点在句法成因和语用上都得到了支持,使小句宾语句的句法和语义在认知上得到统一的解释。