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

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

基于时延Petri网的肯定型工程关键工序的求解

针对工程施工安排问题中关键工序的求解,传统的通过时延Petri网确定肯定型工程关键工序的算法既要正向计算每个工序的最早开工时间,也要逆向计算每个工序的最晚开工时间,然后进行比较,计算量比较大。本文对传统的通过时延Petri网确定肯定型工程关键工序的算法进行改进。只需正向计算各工序的最早开工时间和进行简单的比较,对于比较大型、工序比较繁多的工程项目。计算变得更加简单容易。     

一种有效的基于中值滤波的BTC图像编码算法

块截短编码(BTC)是一种基块的快速有损图象压缩技术。标准BTC算法的主要缺点是其比特率(2．0比特／像素)相对其他基块图象编码的算法较高，如变换编码和矢量量化。为了降低比特率，本文提出四种有效的BTC算法以降低对每个图象块的两个量化数据和位平面编码所需的比特数。其中有两种算法用简单的查表算法对块的高平均值和低平均值编码。在此基础上，另外两种算法利用一维中值滤波根信号序列进一步降低位平面的比特率。为了得到更好的性能，在每种算法中，本文用最优闽值而不用平均值作为量化闽值。实验结果证明所提出算法的有效性。     

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

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

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

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

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

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

基于PC的厅堂声学测试与管理系统

主要介绍了采用面向对象开发工具VB6和数据库技术实现厅堂扩声系统的测试、分析和管理，阐明了该系统的硬件结构和软件的设计思想、流程设计和具体实现方法。     

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

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

典型的音频分类算法

音频分类是提取音频结构和内容语义的重要手段,是基于内容的音频检索和分析的基础.本文对几种常用的音频分类算法作了综述,介绍了最小距离法、神经网络、支持向量机、决策树方法、隐马尔可夫模型等典型算法的特征,并对它们的优缺点进行了比较.