用于C语言程序验证的性质描述语言C-PDL

为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统.C-PDL采用时序逻辑语言XYZ/AE的语法结构,结合了C语言程序性质的特点,引入规范模式系统,其语法简单且描述能力强.另外,C-PDL表达式可以方便地转换成模型检测工具识别的各种时序逻辑公式.     

超精密数控机床进给系统非线性分析及误差补偿研究进展

从超精密加工的基本需求出发,介绍了超精密数控机床的主要误差源及误差产生的原因,讨论了进给系统中非线性因素对系统动态性能、静态性能及加工精度的影响,综述了进给系统非线性控制策略和误差补偿的研究现状,总结了阶段性研究成果,并对今后的研究方向及关键问题进行了展望,最终提出通过先进控制技术和全息误差补偿技术有机结合提高加工精度的总体思路.     

论心理健康对大学生成才的价值

心理健康是生理健康、心理健康的统一体；心理健康是良好的品德素质的组成部分，是开发智力的重要内在因素，是大学生全面发展的必要条件；论述了开展心理健康教育行之有效的模式。     

沦“三个代表”思想的历史地位和指导意义

三个代表思想发展了马克思主义关于社会主义的理论，是取得建设中国特色社会主义最终胜利的根本保证。这一思想充分反映了社会主义经济发展的内在要求；为我国经济发展和社会进步提供了精神动力和群众基础。由于它对我党的先进性进行了新的概括并提出了新的要求，为我党在新时期的建设和发展指明了方向，因此，“三个代表”思想既是理论建树又是我党当前和今后的行动纲领。     

紊流随机理论在小浪底河段水流模拟中的应用

针对黄河中游小浪底工程建成前的河段河流流动特点,提出了河流的三维水流数学模型。基于紊流随机理论,采用了各向异性紊流的R eyno lds应力数值格式和自由面位置的压力Po isson方程,并将精细壁函数应用于边壁处理。采用贴体座标,并利用交错网格系统和有限体积法离散湍流控制方程,采用S IM PLEC方法,计算了此河段的水面线、一些河道横断面上的流速沿河宽和沿垂线分布。计算结果都与原型实测成果基本吻合,从而证明了此模型可靠性。     

主动数据库中规则合流性问题的一个解决方案

提出一种解决主动数据库中规则管理的合流性问题的新方法, 并与优先数方法进行比较     

一种基于后缀数组的无词典分词方法

提出一种基于后缀数组的无词典分词算法. 该算法通过后缀数组和利用散列表获得汉字的结合模式, 通过置信度筛选词. 实验表明, 在无需词典和语料库的前提下, 该算法能够快速准确地抽取文档中的中、 高频词. 适用于对词条频度敏感、 对计算速度要求高的中文信息处理.     

信息管理类专业创新性人才培养模式研究

在分析理工交叉学科信息管理类专业人才培养要求和目前存在问题的基础上,结合合肥工业大学信息管理类专业教育教学改革的实践经验,提出了"一宽一厚两注重"的创新性人才培养模式.通过在合肥工大的实验证明,该模式有效地解决了该类专业人才培养的专业基础理论缺乏、特色不鲜明、实践薄弱等问题,具有鲜明的系统性、前沿性和实用性,有较好的理论意义和推广应用价值.     

工程图形的自动跟踪细化

模拟人的视觉，研究自动跟踪细化的原理与方法，建立线自动跟踪器，实现了自动识别工程图的细化处理。实验证明，该方法处理速度快，效果好。