可组合仿真模型的语义形式描述及组合判定方法

如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.     

基于OWL本体扩展的视频语义内容分析

随着可获得视频数据的快速增长,迫切需要有效的方法在语义层理解和管理视频数据。对OWL语言进行扩展,提出了V-OWL本体描述框架,支持视频内容蕴含的时空关系和不确定性关系的建模,使用基于贝叶斯网络的B-图描述模型,将V-OWL本体概念、关系映射为B-图中的节点、边,利用贝叶斯网络训练推理算法实现视频高层语义的自动推理发现。实验结果显示,V-OWL本体描述框架对复杂视频内容具有很好的描述能力,基于V-OWL的视频内容分析框架对视频高层语义探测具有较高的查准率和查全率。     

基于概念知识树的军事想定描述方法

为了增强军事想定描述规范的知识性,在研究概念知识树的基础上提出了一种基于概念知识树的军事想定描述方法.首先,以军事想定描述需求为依据,使用概念知识树对军事想定的元素进行描述和组织,建立军事想定的知识表达模型;然后利用军事想定定义语言(military scenario definition language,MSDL)框架和5Ws对军事想定进行系统性组织,形成符合军情的想定描述规范.在多兵种联合仿真实验中应用了该描述方法,实现了想定在不同兵种之间的共享,证明了该描述方法的可用性和有效性.     

基于FPGA的硬件协议栈精简实现

数据传输过程中准确性与高速性是基本的指标。针对高速网络内数据传输量大的应用需求,文章利用硬件描述语言,将TCP/IP中与UDP相关的协议栈按需精简后移植入FPGA中,通过UDP协议在硬件平台中开发网络数据传输的应用以切合大数据量的需求。在保证准确性的前提下,网络数据传输速率达到千兆网的性能。该设计使协议栈模块硬件化,易于集成在具有网络数据传输需求的系统或设备中。     

从言语的语言学看翻译的多相面对等

本文从言语的语言学出发寻求和翻译的对等面。翻译是一种跨文化的信息交流与交往传播的活动,研究的是使用中的语言即言语,言语的语言学以言语为研究对象,因此言语的语言学应作为翻译的语言学基础。基于上述理论,本文从言语的语言学的语义、语用和文化三方面寻求和翻译的静态、动态和文化对等,使翻译活动更具实践意义。     

一个知识辅助的视频语义概念探测框架

视频语义概念探测是视频语义内容分析研究领域的热点和难点问题.语义概念探测方法的性能取决于其是否能够有效地建模和匹配视频语义内容特征.将视频内容抽象为感知概念和语义概念以及概念间的关系,提出了知识辅助的视频语义概念探测框架,利用本体建模概念间关系和上下文知识,从低层特征匹配和上下文匹配两个方面综合考虑语义概念的探测.通过线性融和策略,对匹配结果进行融合得到最终的探测结果.实验结果表明提出的方法探测性能良好.     

FPGA在程控数字交换机中的应用研究

针对现有程控数字交换机大多采用传统搭积木式(即用器件搭成电路板)的设计方法,提出用现场可编程门阵列(FPGA)技术设计的新思路,并通过VHDL语言设计给出了仿真结果,结果表明,用FPGA设计的数字程控交换模块具有硬件结构简单、性能良好、功能易于升级等优点.     

汉语原型句蜕向英语多元逻辑组合的变换

汉语原型句蜕的英译形式多种多样,其中变换成英语的多元逻辑组合是涉及比较复杂变换细节的一种,因而成为颇具特色的语义块构成变换子类.文章从概念阐释入手,详尽分析了这种变换的语言现象、变换的必要性以及实施变换的技术准备.     

TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

真谓宾动词及其主语分布

真谓宾动词是只能带真谓词性宾语的及物动词.真谓宾动词内在的复杂性,映射为对主语强烈的选择性.本文试图通过对真谓宾动词句主语的考察,进一步探讨真谓宾动词的下位功能及其语义特征.