基于Lab Windows／CVI平台人造水晶系统监控软件的开发

本文采用面向仪器与测控过程的基于C语言的开发平台Lab Windows／CVI6．0，针对人造水晶生长系统，把数据库应用技术与Lab Windows／CVI开发工具相结合，采用了多线程的设计方法，进行了监控软件的研究与开发。     

基于UPPAAL的数据关联时序有限自动机模型验证

对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。     

基于实例的汉蒙机器翻译

本文通过对汉蒙机器翻译方法的研究,给出了一种基于实例的汉蒙机器翻译方法,并加以了实现。本文给出了用于汉蒙EBMT机器翻译的实例搜索以及短语片段划分、匹配、组合的方法。本文给出的方法是基于词语对齐的,利用词语对齐进行词语的匹配,并根据匹配词数和长度计算相似度,选取最好的实例。通过对齐信息,确定片段组合的策略,生成翻译结果。通过对方法的实现和实验,完成了一个基于实例的汉蒙机器翻译系统。     

河南省宿鸭湖水库水污染现状及防治对策

该文依据宿鸭湖水库水质的实际监测资料,采用指数法对水库的水环境进行地表水环境质量评价和水库富营养化评价,采用秩相关系数法对近5年水库水质变化趋势进行分析和评价,提出污染防治对策.结果表明,宿鸭湖水库水质基本满足地表水水域环境功能,水库富营养化程度为轻度富营养化,近5年来水质变化趋势稳定;通过提出针对性的对策和建议,可以进一步降低污染物水平,保障水库综合效益的发挥.     

基于支持向量机和竞争学习的图像配准方法

为了使探测到的各种地雷图像更清晰,要求将金属地雷探测器和雷达渗透地面探测器的图像用图像精确配准的方法将二者的图像融合.提出了基于竞争学习和支持向量机的图像配准方法.该方法是用竞争学习的权值标明地雷边缘点,以获得图像中地雷的特征值;然后用支持向量机反复匹配两个待配准图像的支持向量.融合图像信息熵的测定结果表明,基于竞争学习和支持向量机的图像配准方法融合图像携带的信息量大,融合图像质量高,图像配准精确.     

凝汽器托水的原因分析

针对侯马晋田热电厂1号机组在调试启动中出现的凝汽器热井突发性无水现象进行了详细分析，指出了解决该问题的措施，为该类型的凝汽器运行提供必要的参考。     

统计机器翻译综述

本文综述了基于信源信道思想和基于最大熵思想的统计机器翻译方法并介绍了统计机器翻译的评测方法。基于信源信道的方法将翻译概率表示为一个语言模型和一个翻译模型。而基于最大熵的方法则是利用一系列实数值特征函数的线性组合来求解最优的译文。基于最大熵的统计机器翻译方法比基于信源信道的方法更具有一般性,后者可以看做前者的一个特例。     

双馈调速系统中检测电流零点的一种可靠方法

介绍了一种双馈调速系统中检测交-交变频器输出电流零点的方法，这种方法能有效地解决常规检测方法存在的问题，可靠地确定输出电流零点。     

基于概率统计及查询质量的数据源选择策略

数据源选择策略对提高异构数据集成效率具有重要意义。综合考虑概率统计信息和数据源相对执行质量，提出一种新的数据源选择策略。概率统计信息通过分析查询日志得到，包括针对频繁主题类的数据源覆盖度和数据源集合重叠度。数据源相对执行质量包括查询价格、执行时延、数据源可靠性和用户满意度。给出基于以上标准的数据源选择贪心算法，并通过实验原型验证算法有效性。