对哥德尔不完全性定理的质疑

[目的]考察Gdel不完全性定理证明的有效性及存在性问题。[方法]以"逻辑先后律"思维原则作为剖析工具,揭示相关观点和论证的错误。[结果]①与Gdel原证法本质上相同的形式化证明,均存在歧义谬误。②关于对哥德尔证明的解释,其错误是,真意指判断句,不可证意指被判断句,即二者并非意指同一命题。[结论]①与Gdel原证法本质上相同的形式化证明,都是无效的;在这类证明的基础上,该定理的相关推论的证明也都是无效的。②既是真的又是不可证的命题是不存在的。③Gdel不完全性定理不可能成立,该定理的相关推论也不可能成立。     

利用重用查询计划实现数据库性能的优化

为实现数据库性能优化，在分析数据库管理系统(DBMS：Data Base Management System)执行查询的工作原理的基础上，研究了两种重用查询计划的方法：缓存计划的存储过程、缓存和重用SQL(Structured Query Language)语句，并结合实例介绍了两种方法的创建和使用。根据作者的实际开发经验和对两者的对比分析，提出了优化数据库性能的可行建设方案：在考虑提高系统的可维护性、可扩展性和减轻网络负担时，宜多采用缓存的存储过程；而更多考虑降低系统管理的复杂程度和减少缓存占用时，则多采用缓存和重用SQL语句。在实际运用中取得良好效果。     

基于SQL Server的中文拼音首字母转化的程序实现

利用微软数据库SQLServer,创建了拼音首字母转化函数。该方法可以实现大批量汉字的拼音首字母转化,通过汇总首字母相同的数据,采用SQLServer导入导出技术,将Excel表数据输入到SQLServer数据库中。处理后的数据可再次导出到Excel表。该研究为相关的数据处理应用提供了必要的理论依据。     

基于VCT-EIS开发模式的教务管理系统的设计

提出了基于VCT-EIS开发模式的教务管理系统的设计思路,该模式由视图层View、管理层CT及数据库层EIS组成。根据VCT-EIS模式将系统分为表现层、业务逻辑管理层和数据库层:表现层通过请求获取并展示相关数据,实现模块的具体功能;业务逻辑管理层中采用功能编码对应SQL语句(或存储过程)构建配置文件,通过执行不同的SQL语句(或存储过程)获得数据库层的相关数据,然后将这些数据封装成JSON数据返回给表现层;数据库层通过构建中间表,设置触发器,使用存储过程等技术保证数据逻辑的正确性。这3层结构彼此独立,使得系统更容易被维护。通过使用该系统,用户能降低日常教务管理工作的复杂性,最终实现简便、高效的信息化教务管理。     

一种基于SAGE的高性能PIM的解决策略

针对主处理器和存储处理器之间运行速度存在差距,为了减少运行时间和充分利用PIM结构的优越性,按照这两种不同处理器的特点,提出了使用语句分析分组估算（SAGE）系统来实现PIM高速性的一种新策略．在该策略里,源程序被分割成块,同时为主处理器和存储处理器生成一个可用的运行调度机制,这个调度机制具有低的时间复杂度,并给出了新策略的同步机制．实验和结果充分论证了所提出策略的有效性．     

PASCAL程序中FOR语句正确性验证

本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

BASIC语言中的循环语句运用时应注意的几个问题

本文首先简述循环语句的格式、功能和执行过程,然后着重归纳说明在运用循环语句编程时应注意的几个问题.     

英语句段特征分析

英语句段是英语语言交际中的一个特殊现象,也是语言运用中的一种修辞手段。因此,从学习和运用的角度出发,都有必要了解和认识这种现象。本文拟从语法、语义和修辞三个层次探讨英语句段的特征。     

多重赋值语句的翻译方法

本文介绍一种翻译多重赋值语句的方法,用所提出的方法对Pascal S编译程序中翻译赋值语句的assignment过程作了修改。给出了新的assignment过程代码。最后列举一两个编译实例,说明修改后的Pascal S编译程序能成功地编译多重赋值语句。