基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

SQL编译器的语义分析研究

SQL是一种结构化查询语言,它是当今的标准数据库语言,所有主要的数据库系统都使用它。文中主要讲解了基于Linux系统的SQL语言编译器语义分析方法。     

利用VB开发影剧院技术管理系统

开发影剧院技术管理数据库 ,能对影剧院的各个技术环节实行全面、高效、信息化的科学管理 ,具有重要的实用价值。本文介绍了采用Access和VB6 .0开发影剧院技术管理系统的设计思想、系统结构及其实现方法。该系统能够实现管理信息录入、查询、修改、打印数据和表格的功能 ,以及管理图片、声音、影像等多媒体功能 ,进而实现信息动态发布的网络化功能。     

论实践型计算机基础教育的规划和实践

从实践、培养应用型人才的角度出发介绍高职计算机基础教育教学改革的目标、模式、方法等问题,在教师的作用,教学的目的和教师与学生的沟通等方面进行探讨,并从实践动手的角度出发拟定一套评估体系。     

基于信息增益特征选取和覆盖的中文文本分类

本文利用信息增益特征选取和前向神经网络的覆盖算法,对文本进行分词的预处理后,实现文本的自动分类。该方法将信息增益特征选取和覆盖算法充分结合,不但提高了分类速度,还保证了分类的准确度。应用该方法对标准数据集中的文本进行实验,并在不同的维数上与SVM算法,贝叶斯方法的实验结果进行了比较。     

基于内容的音频检索

音频数据检索是数字化信息检索的迫切需要,传统的基于文本的音频检索技术存在主观性和不完整性等缺点,而且不支持实时音频检索.本文根据音频检索的研究现状,论述了基于内容的音频检索方法,讨论了一些音频检索的关键技术.     

基于电子陀螺的舞姿无线采集系统

本文设计实现了一种基于电子陀螺仪对舞蹈动作进行无线采集和评价的系统，利用多节点网络技术同时采集各肢体的加速度、角度信息，得到实时的位移坐标和姿态角度。该系统对舞蹈动作采集精度较准确，可以如实的反映舞蹈动作中肢体运动情况，为主观评价提供客观参数依据。     

基于VB的剧场技术信息管理系统

介绍了基于VB的剧场技术信息管理系统的设计思想及实现方法。该系统采用面向对象的开发语言VB6．0和桌面数据库管理系统Access开发而成，可以对剧场技术多媒体信息进行高效科学管理。系统具有较好的继承性、可移植性和通用性。     

数据挖掘在影剧院信息管理中的应用分析

数据挖掘（Data Mining）是指从巨量数据中获取有效的、新颖的、潜在有用的、最终可理解的模式的过程。本文阐述了数据挖掘的主要任务、方法、步骤和挖掘工具，针对影剧院的特点，对在影剧院管理中的数据挖掘应用进行了初步的研究和探讨。     

决策树在厅堂音质分析中的应用

介绍了数据挖掘中决策树算法的基本思想,针对厅堂音质问题,对声学设计中的数据挖掘应用进行初步的研究和探讨,给出了音质特性数据挖掘模型。