一种面向语义正确性的关系数据库访问方法

从异构关系数据源中获取语义正确的信息是当前利用数据资产辅助决策所面临的一大难题.为解决这一问题,提出了一种研究面向语义正确性的关系数据库访问方法(SCORDA).SCORDA方法采用DL -LiteNOWL本体作为支持数据访问任务的概念视图,在本体的表达能力和推理复杂度之间做了一定折中;SCORDA方法通过LAV+ GAV的映射方式建立本体与关系数据源之间的语义关联,兼顾了模式异构和阻抗失配问题;此外,SCORDA方法采用了一种动态ABox结构,即时从异构关系数据源中恢复虚拟对象,并且利用动态ABox进行实例检测推理任务,通过本体的模型语义来保证数据访问的正确性.通过原型系统验证了该方法的可行性.     

基于循环移位和异或运算的对合线性变换研究

在对称密码算法的设计中,为达到良好的扩散作用,设计者一般均选择分支数较大的线性变换.基于循环移位和异或运算的线性变换由于其实现效率较高,已经在很多密码算法中被采用,比如分组密码SMS4、HIGHT,Hash函数SHA -2、MD6等.此外,如果线性变换是对合的,还为解密带来了方便.研究了基于循环移位和异或运算设计的对合线性变换,给出了这类线性变换的计数公式,指出它们的分支数上界为4,并讨论了循环移位的参数与分支数之间的关系,从而为基于这类运算设计的线性变换提供了理论依据.     

机器翻译中语义块汉英变换处理

首先解释了要素句蜕的内涵,同时介绍了HNC理论的句蜕观,并依据HNC句类理论提出了汉英机器翻译中,要素句蜕处理的具体规则,还结合真实语料进行了验证。     

谈英语词汇学习的语义因素

词汇学习和记忆是学习语言的最基本的手段,也是运用语言的先决条件。学习英语词汇除了从词汇的语音、拼写和一般定义入手外,还应特别注意词汇的语义。本文尝试从词汇的语义关系这个角度论述语义在英语词汇学习中的重要性。     

计算机人机交互界面的变化与计算机的发展

讨论人机交互界面性质设定变化对计算机发展的影响问题.认为人与计算机是通过一定界面进行信息交流的,而界面是否友好直接关系到计算机的应用及发展.及时改变人机交互界面的性质是计算机发展的关键.     

三坐标雷达目标真实高度估计算法研究

在目标跟踪领域,通过三坐标雷达的测量值(斜距、仰角及方位角)来估算目标的真实高度一直是个难点。目前主要有两类处理方法:坐标转换法和等效地球半径法。前者把与雷达天线相关的三坐标测量值转换到大地坐标系统来计算目标高度;后者充分考虑地球曲率以及大气折射的特性,通过增加地球半径来估算目标的高度。最后对上述的两类方法进行总结、比较与分析。     

整环上不定方程组的通解公式及其应用

借助Z上矩阵A∈Mm×n(Z)的标准形式D=VAU=diag(d1,d2,…,dq,0,…,0),得到了整环上不定方程组AX=B的通解公式以及矩阵初等变换法.     

一类非线性时滞双曲型偏微分方程的振动性

研究一类非线性时滞双曲型偏泛函微分方程解的振动性,利用微分不等式方法和广义Riccati变换,获得了该类方程在第一类边值条件下振动的新的充分条件,所得结果通过实例加以阐明.     

基于TRIZ的陆军装备保障转型活动生成研究

TRIZ是一种通过解决冲突来解决发明问题的理论,具有系统性、科学性和创新性相统一的特点．通过建立陆军装备保障目标能力参数体系,分析目标能力提升中存在的冲突情况并加以解决,建立了基于TRIZ的陆军装备保障转型活动生成方法,以期有效解决装备保障转型活动生成的关键难题．     

基于ANP的装备保障转型影响因素分析

针对装备保障转型影响因素众多、转型重要程度难以确定等问题,分析了保障转型外部和内部影响因素,建立了保障转型影响因素ANP模型,利用ANP方法对装备保障转型影响因素进行了权重确定,为确定装备保障转型影响因素重要性程度提供了一种定量化分析方法,明确了装备保障转型应优先重点解决的关键问题．