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)的转换规则.     

中英成语的相似与区别

英语成语和汉语谚语在各自的语言中都起着重要作用,他们既是文化的反映,又受文化的影响。如果不理解文化,就很难理解这些带有浓重文化色彩的成语。英语成语和汉语谚语的相同之处和不同之处学员必须明了。     

一种基于本体的军事需求一致性分析方法

军事需求不一致问题事关军事信息系统建设的成败.首先,分析了军事需求不一致的表现形式和产生原因,并从本体论的特征、功能入手对本体论与解决军事需求不一致问题的关系进行了讨论,提出了基于本体解决军事需求不一致问题的思路.其次,以军事需求活动为主线,将军事需求本体分为概念本体、动作本体和活动本体,并通过应用领域分析、描述对象分析和对象关系分析三个基本步骤进行确定.第三,根据各类军事需求本体的不同,对各处本体的建模方法分别进行了阐述.最后,利用语义推理,实现了基于本体的军事需求一致性分析,并对推理步骤进行了详细的叙述.     

基于贝叶斯网络的态势估计时间推理方法

基于贝叶斯网络的态势估计方法是目前态势估计领域中的主要方法之一,然而,传统的贝叶斯网络不具备时间语义,因此无法解决态势估计中的时间推理问题.基于此,对贝叶斯网络进行改造,研究了时间贝叶斯网络的构建方法.通过一个战场想定,说明了时间贝叶斯网络构建、推理的过程与方法,证明了提出方法的有效性.     

成组技术指导科研生产

本文针对科研试制生产的特殊性,提出用成组技术指导科研试制生产的设想,以达到缩短产品研制周期、提高产品整体质量的目的。     

真谓宾动词及其主语分布

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

两个有关矩阵问题的回答

讨论了两个与矩阵有关的问题。对问题 1 ,给出了其阶数从 1到 5时的回答 ;对问题 2 ,给出了其彻底的否定回答。所获的结果许多情形下还可推到更广泛的情形。     

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

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

基于非凸范数最小化图像去噪算法

为改善高斯噪声条件下图像去噪性能,基于低秩理论,提出基于伽马范数最小化的图像去噪算法.所提算法对噪声图像重叠分块,基于结构相似性指数自适应搜索与当前图像块若干最相似非局部图像块以组成相似图像块矩阵,进而利用非凸伽马范数无偏近似秩函数以构建低秩去噪模型,并基于凸优化理论求解所得低秩去噪优化问题,重组所得去噪图像块以获得最终去噪图像.与PID,NLM,BM3D和NNM等主流去噪算法相比,实验结果表明,所提算法可有效消除高斯噪声,且可较好地恢复原始图像细节.     

基于相近和相似机理的装备作战效能评估模型

本文基于对评估指标体系数据曲线与作战任务需求数据曲线之间的相近性(位置关系)和相似性(态势变化)机理,提出了基于理想解和灰色关联度的装备作战效能评估方法.首先,构建了基于层次性指标体系的多阶段作战效能评估立体数据;其次,介绍了基于相近性和相似性机理的装备作战效能评估基本思路;再次,分别建立了基于指标值差异程度的相对贴近...