基于凸包像素比特征的粘连汉字切分

汉字切分正确与否直接影响了汉字识别系统的识别率,粘连汉字则是切分中的难点。本文将基于背景细化的切分方法应用于《四库全书》的两字符粘连汉字数据集,并针对其中切分路径选择问题,提出了一种新特征- 凸包像素比,反映了在不同切分路径下汉字结构变化的特性。实验结果表明该特征对多种分类器均能有效地提高切分路径选择的正确率。其中在使用基于高斯混合模型分类器时取得了8816 %正确率。     

热镀锌机组平整机轧制力预设定模型研究

针对现阶段平整机生产中存在的横型计算成功率低、预设定精度差等问题,在分析平整机原有轧制力模型的基础上,采用理论分析与现场实际数据统计相结合的办法,设计出适合平整机预设定机理模型。采用预设定表格和机理模型结合的方法优化设定平整工艺参数,并通过分析大量生产实际数据不断优化单位张力,以及摩擦系数、变形抗力、张力影响因子等模型参数,提高模型的预设定精度,实现减少手动设定,进而提高产品质量的目标。从模型上线跟踪情况可知,预设定模型的精度较高,对实际生产具有很好的指导效果。     

模型层析法变速成图技术在江汉盆地拖谢地区构造解释中的应用

拖谢地区断裂发育、地质结构复杂,岩性变化大,钻井揭示的地层横向速度变化大,用常规方法进行时深转换做出来的构造图与钻井深度误差较大,已无法满足该区高精度构造分析的需要。本文成功地将双狐软件中的模型层析法变速成图方法应用于拖谢地区三维构造解释,消除了该区复杂地表结构、地下地层倾角大、地层速度纵横变化大等因素对构造形态及构造高点的影响,取得了较好的效果。解释出的地层埋深与实钻深度吻合较好,深度误差范围为8~17m,相对误差范围为0.21%~0.33%。     

带时间约束的LTL性质的模型检测的实现

针对当前的模型检测工具不能对时间自动机直接检测带时间约束的线性时序逻辑性质的问题,对带时间约束的线性时序逻辑性质的模型检测进行了研究。带时间约束的线性时序逻辑公式转Büchi自动机后,性质自动机的迁移边上含有了时间约束,在对性质自动机和模型自动机的复合进行空性检测时,通过使用不同方法对如何获取性质自动机迁移边上的时间约束进行了研究,实现了对带时间约束的线性时序逻辑性质的检测,扩展了工具CATV的检测范围,方便了用户的使用。     

网络空间安全——理解与思考

网络空间已成为各种势力斗争的主战场之一,网络空间安全问题已成为关乎国家安全的战略问题.但是人们要真正理解和认识网络空间安全是一个漫长的过程.本文诠释了网络空间和网络空间安全的基本概念,分析了当前网络空间面临的主要安全威胁,提出了"+安全"新理念并阐述了其基本内涵,浅析了网络空间安全体系框架,介绍了网络空间安全技术体系及...     

A Knowledge Modeling Approach to Evaluating Student Essays in Engineering Courses

Automatically grading essay questions can have advantages for instructors in higher education. Understanding and specifying how grading is done manually, so that there is potential to do it automatically, is a labor‐intensive effort in knowledge elicitation, acquisition, and representation. This paper describes how an interdisciplinary team used conceptual graphs to formally specify the model for a good essay response, and then how that expert model was used as the standard by which the student responses were judged. The methodology is then described for creating the expert model for student responses. These were compared using two different approaches. It was found that most students included the most important concepts, but those student answers that were more complete (i.e., also including concepts of lesser importance) received higher grades. The approaches are then evaluated in terms of reliability and validity, and finally, suggestions are made for future work.     

传感器网络中一种过滤虚假数据的鲁棒认证机制

虚假数据攻击不仅误导用户做出错误的决定,同时也耗尽了宝贵的网络资源。以往的过滤机制通常依赖于对偶密钥来进行数据认证,然而当一定数量的中转节点的密钥被妥协后,这类认证机制即失去效用。提出一种新的用于过滤虚假数据的鲁棒认证机制(robust authentication scheme,RAS),每个合法事件均被分成几个较小的事件块,节点利用基于单向哈希链的动态认证令牌技术及所预置的取自新密钥池的密钥对每个小事件块进行签名。在过滤阶段,中转节点将验证接收到的数据报告的真实性,并丢弃虚假的数据报告。从而,即使妥协节点拥有所有的签名密钥也无法伪造或篡改数据。理论分析与实验结果表明,RAS具有相对更高的过滤能力和安全性。     

面向多核处理器的内存竞争记录研究综述

共享内存多线程编程是挖掘多核处理器并行性的重要方法,然而,共享内存的多线程程序在运行时存在不确定性,线程间的内存竞争是导致不确定性的主要来源。内存竞争信息量大,记录时带来的开销大,实现内存竞争记录是确定性重演共享内存多线程程序的关键。分别概括了现有软件实现的内存竞争记录机制和硬件实现的内存竞争记录机制,并对内存竞争记录的研究现状进行了总结,指出了当前内存竞争记录技术面临的挑战。     

联机手写数学公式中字符识别的研究与实现

数学公式是科学和工程文档中不可或缺的一部分,而通过手写输入的方式来书写数学公式更为方便,用户使用起来也更自然。联机手写数学公式的识别由字符识别和公式结构分析两个主要部分组成。介绍了进行字符识别的主要过程,包括笔划搜集、预处理、字符识别等。通过对各阶段的研究和分析,设计和实现了字符的识别。     

C语言程序设计课程教学设计探讨

本文针对C语言程序设计课程教学中难点多、语法知识点多、学生学习兴趣不高等问题,提出将加涅的教学设计原理应用于该课程的教学中,克服传统"填鸭"式教学模式的弊端,充分发挥学生的主观能动性。实践表明将加涅提出的教学设计原理应用于C语言程序设计课程的教学中,教学效果良好。