一致性测试的静态需求测试研究

针对一致性测试中的静态需求测试通常采用手工方法而产生的效率低问题,提出一种基于统计学习的方法,包括静态需求的关联规则表示,并对采样的协议数据进行关联规则挖掘,如果得到的规则与需求规则一致,静态需求就可以得到统计上的测试检验。该方法在OSPFv3协议测试中取得了较好的效果。     

基于词干的蒙古语语音关键词检测方法的研究

To improve in-vocabulary performance in Mongolian speech keyword spotting task, we propose a Mongolian speech keyword spotting method by searching the stem according to the characteristic of Mongolian word-formation rule. First, Mongolian speech is decoded to lattice file by Segmentation-based LVCSR system, and this lattice file is converted to a confusion network. Then, we detect the keywords according to their stems among the confusion network. Experimental results show that the proposed method outperforms baselines based on word confusion network.     

基于规则和统计相结合的西里尔蒙古文到传统蒙古文转换方法

西里尔蒙古文与传统蒙古文分别是蒙古国与中国使用的蒙古文,西里尔蒙古文到传统蒙古文的转换工作不仅给两国同胞的交流带来更多的便利,而且对蒙古族的科学、文化和教育发展具有重要意义。本文结合规则与统计模型的优点,研究了西里尔蒙古文到传统蒙古文的转换方法。本文首先采用基于规则的方法对西里尔蒙古文集内词进行转换,其次对集外词的转换采用了基于联合序列模型的方法,并采用N-gram语言模型解决了一个西里尔蒙古文单词对应多个传统蒙古文单词的问题。实验结果表明,该系统单词转换错误率低至4.12%,基本达到了实用要求。     

基于字素分割的蒙古文手写识别研究

隐马尔科夫模型(HMM)对序列数据有很强的建模能力,在语音和手写识别中都得到了广泛的应用。利用HMM研究蒙古文手写识别,首先需要解决的问题是手写文字的序列化。从蒙古文的构词和书写特点看,蒙古文由多个字素从上到下串联构成。选择字素集合和词的字素分割是手写识别的基础,也是影响识别效果的关键因素。该文根据蒙古文音节和编码知识确定了蒙古文字母集合,共包括1 171个字母。通过相关性处理、HMM排序筛选等手段得到长字素集合,共包括378个字素。对长字素经过人工分解,获得了50个短字素。最后利用两层映射给出了词转字素序列的算法。为了验证长短字素在手写识别中的效果,我们在HTK(hidden Markov model toolkit)环境下利用小规模字库实现了手写识别系统,实验结果表明短字素比长字素有更好的性能。文中给出的字素集合和词转字素序列的算法为后续基于HMM的蒙古文手写识别研究奠定了基础。     

基于S3C6410处理器的嵌入式Linux系统移植

文章详细阐述了如何在基于S3C6410微处理器的目标板上搭建嵌入式Linux系统的方法。首先介绍嵌入式Linux的移植方法,接着介绍交叉编译环境的搭建,最后详细讨论了将BootLoader、Linux内核及根文件系统移植到$3C6410的过程。结果证明方法可行,重新搭建后的操作系统在目标板上运行稳定。     

IT项目进度计划风险量化预测方法

针对IT项目进度基线定义质量普遍偏低的问题,提出了一种资源约束条件下基于蒙特卡洛模拟的进度风险量化评估方法．首先,考虑资源对进度的限制问题,提出资源约束条件下的活动历时抽样方法;其次,提出在活动历时随机变化情况下,项目关键路径动态识别方法,研究项目工期概率分布问题．最后,通过实例表明,资源约束条件下的蒙特卡洛模拟方法,能够有效地评估IT项目中的进度风险,辅助项目决策．     

基于变论域模糊控制的温室环境控制系统的设计

详细介绍了基于变论域模糊控制的温室环境控制系统,以温度控制系统为例进行设计。该系统以变论域模糊控制为核心算法,用BP神经网络改变模糊控制的论域。根据误差和误差变化率选择合适的论域,不仅克服了误差过大或过小时对温室控制的影响,还解决了温室多变量难以建立数学模型和隶属度函数选择较难的问题。     

河流弯道取水口河冰动力学模型的建立方法

为保障河流弯道取水口在冰期的安全、稳定运行,以黄河内蒙古段某电厂弯道取水口为研究对象,研究建立了河流弯道取水口河冰动力学模型。研究主要分为实体模型试验、数学模型开发及调试、优化排冰方案3个步骤。实体模型试验的目的是研究弯道取水口处水流的运动特性及其对河冰运动的影响,分析河冰在弯道处的运动规律及积累过程;数学模型主要包括水流非恒定流模型和冰动力模型,通过模拟不同工况下河冰的运动情况来不断优化和完善数学模型;优化排冰方案是通过运行不同的导冰筏设计方案确定出合理的设计结构,最终提出针对不同弯道取水口的合理、有效的排冰模式。     

南水北调丹江口加高工程施工栈桥结构模态分析

振动模态分析是桥梁结构设计的重要步骤。利用大型有限元软件ANSYS,对南水北调丹江口大坝加高工程38号-25号坝后架设的临时施工运输栈桥结构进行模态分析,计算了栈桥结构的前八阶固有频率与主振型。研究认为,当受到外部激励的频率与固有频率接近时,有可能产生共振,从而严重损害栈桥结构;栈桥第4、5、6、8跨是其薄弱环节,使用过程中应避免同频率的车辆在上面停留。研究结果为栈桥结构的动力学设计提供了重要依据,也可为其他同类型的结构设计提供参考。     

槐米提取物的抗氧化性能研究

采用Rancimat酸败仪研究了槐米提取物及其与增效剂协同作用的抗脂质氧化性能,结果表明:槐米提取物对猪油具有较强的抗氧化性能,与柠檬酸的协同抗氧化效应显著;采用DPPH法、水杨酸法研究了提取物对DPPH自由基、羟基自由基的清除效果,结果表明:槐米提取物具有较强的清除自由基的能力.