民用无人机飞行风险评估与控制系统

为了有效评估无人机系统飞行安全风险并提出针对性风险控制措施,设计了无人机系统飞行安全风险评估与控制系统.首先基于运营决策支持和立法基础数据收集这一目标建立了系统的框架结构;然后针对风险控制需求,设计了无人机事故案例本体表示,实现了基于语义和属性值的综合相似性检索算法;针对风险评估需求,软件实现了无人机系统飞行危险源识别方法和定量的风险评估模型,最后通过危险源识别与重用无人机事故案例的方式提出风险控制措施.实验结果表明,无人机风险评估与控制原型系统为无人机系统的飞行安全提供了系统的解决方案.     

足球比赛场景中交互行为分析方法研究

目前的视频处理研究主要关注足球视频的基础方面的问题, 而在视频语义方面的工作尚不完善。 为此, 对足球比赛视频中存在的交互行为进行分析, 研究了足球比赛视频语义理解的关键问题, 为实现从一般比赛场景去理解和分析比赛进行了有益的探索。 首先进行场景分析, 利用主颜色提取视频中场地区域并标定场地线; 其次, 检测场景中的球员并判定其队属, 同时利用 Kalman 滤波实现对足球目标的跟踪; 最后, 判定球队的进攻方向的目的语义, 同时获取足球真实轨迹, 进行轨迹分割, 识别球员与足球的交互行为, 并在此基础上结合足球领域的知识进行进攻策略的分析。 实验结果表明, 该算法能很好地解决视频分析各阶段的问题, 能有效分析视频中存在的交互行为, 并从足球领域的角度实现进攻策略分析,进攻模式识别结果查准率达到 71% 以上, 查全率达到 85% 以上, 有益于计算机视觉的应用研究和足球视频科学分析。     

日语移动动词「あがる」与「のぼる」的语义辨析——以空间移动语义为中心

在有生物与无生物分别作主语的情况下,考察了移动动词「あがる」与「のぼる」在表示空间移动语义时的异同点。本研究力图在语义分析上得出有参考性的结论,为日语近义词的研究提供新的方法。     

现代汉语手部动词“放”的句法语义研究

以《四世同堂》和《王朔文集》为基础语料，描写手部动词“放[1]”摆放类的语义角色以及句法类型，以受事在“放[1]”的先后位置为参照，统计并分析其优势句法结构；根据填充类动词的特点，对手部动词“放[2]”填充类的语义角色进行分析与说明，进一步验证了填充类动词的语义特征。     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

WEB应用程序安全设计及应用技术的研究

随着迅猛发展的计算机网络技术,电子商务也正在快速发展中,而其在开发应用程序领域的过程当中,已占到软件开发系统一定的比重。网络安全方面的相关研究在目前的发展中,比较广泛应用了各种安全技术。然而针对在设计应用程序过程中的软件设计者,怎样使web应用程序安全性有所提高,在当前而言有关研究工作者相对比较少,在普及全球化的网络环境下,如何让网络的安全环境保持稳定运行,应用程序安全设计的相关研究必不可少,其意义相当重大。     

基于语料库研究——rea1和really类连接、搭配和语义韵

本文运用语料库的方法，以real和really为例词，从粪连接、搭配和语义韵三方面来研究荚语词由一个形容词变为另一个副词的用法有何变化，研究指出：中国的英语教学可以运用语料库的方法，得出实例来学习这类词的用法。     

灵石方言量词重叠式的研究

从构成形式、语音特点、语法功能、表义特征四个方面入手,用大量的言语实例,分析山西灵石方言的量词重叠式,可以发现其具有以下几个独特之处:构成形式丰富多样;语音特点整齐划一;语法功能相对稳定;表义丰富。     

基于不确定语言信息的尾矿库安全综合评价方法

为了准确的评价尾矿库的安全等级,运用相关性分析,建立了相互独立指标的尾矿库安全评价指标体系,采用IT-WAA和IT-CWAA算子对不确定性的尾矿库安全区间语义信息进行集结,建立了基于区间二元语义集结算子的尾矿库安全综合评价模型。研究结果表明:该尾矿库安全评价方法能有效避免语言评价信息的失真,更切合客观实际。该成果对尾矿库安全评价及其安全管理具有一定的参考价值和指导意义。