基于抽象解释的数据迷惑正确性分析

数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。     

基于光学变换和经典置乱变换的图像复合加密方法

图像加密已成为信息安全领域关注的焦点。本文提出了基于光学变换和经典置乱变换相结合的复合加密方法。首先介绍了光学变换中的双随机相位加密方法,其次描述了几何变换中的Arnold变换和混沌变换两种经典置乱加密方法,最后将这三大类加密方法进行组合实现图像复合加密。实验结果表明,本文方法具有更强的安全性。     

一种基于多层语义相似性度量的图像检索方法

图像通常用关键词表示其语义信息,基于关键词的图像检索方式存在因用户理解差异而导致对图像语义理解的歧义问题。文中利用语言学本体WordNet中单词的语义层次,并综合考虑单词之间的同义关系、上下位关系等不同层次的抽象语义信息,通过建立检索词和标注词间的语义关联,统一不同用户对图像语义的理解和描述,再结合单词在不同抽象层次的语义信息计算图像的相似性距离,实现了基于高层语义的图像检索。实验结果表明,上述方法能有效提高图像的检索性能。     

ω-超广义函数空间的结构与关系

讨论了广义函数理论研究中的ω-超广义函数空间的结构和关系.通过Fourier-Lapalace变换建立了ω-超可微函数和ω-超广义函数空间与某些实解析函数空间之间的拓扑同构对应关系,从而可以利用实解析函数空间来考察ω-超可微函数和ω-超广义函数空间的结构和特性.此外,还给出了两类ω-超广义函数的某种结构表示.     

一种抗几何变换的图像盲水印算法

为解决在几何变换时水印无法检测的问题,提出了一种抗几何变换的图像盲水印算法.该算法基于傅立叶变换和对数极坐标变换,实现了可以提取有意义字符的抗几何变换的盲水印算法.在嵌入水印过程中,通过对原始图像进行傅立叶变换,并选择中频部分进行对数极坐标转换变换,然后进行傅立叶变换,将水印嵌入幅度谱矩阵中.在提取水印过程中,结合模板矫正来降低各种积累误差,进行相应的反变换,并用局部最大检测法来提取水印.实验表明,该算法具有较强的鲁棒性,对几何变换、裁剪、压缩、锐化和涂改等抵抗性较强.     

基于语义PROMETHEE的产品设计方案群体多准则求解

为了使产品设计方案评价和决策过程充分考虑决策者偏好特征,并避免模糊决策信息的失真,提出基于语义PROMETHEE的设计方案求解支持方法.定义了度量决策者偏好程度的权偏好函数和语义偏好函数,分别改进了传统PROMETHEE方法偏好函数在选型和数据处理上的局限性.对单一类型和区间类型的多粒度自然语义混合决策信息采用不同的语义变换模式,均转化为等效的二元语义类型作为语义偏好函数的保真信息输入.在此基础上,运用语义PROMETHEE方法的基本原理进行产品设计方案群体多准则求解.以停车设备的方案优选为例验证了本方法的可行性.     

对等网中基于语义相似度聚类

语义相似度是研究语义交互的一个重要基础,语义交互的结果就是对实例进行语义描述的模型和方法.对网络中的活动节点在局部进行聚类.基于语义相似度聚类成为语义Web发展并被广泛使用必须解决的关键问题,同时也是语义Web智能化的重要研究手段.本文介绍了通过计算语义相似度,到达网络节点聚类的目的.     

企业信息集成中基于混合模式匹配策略的语义发现技术研究

发现数据之间的语义相关性是实现企业信息集成的前提.为克服单一匹配算法难于适应复杂应用环境,提高语义发现的自动化程度,文章提出一种基于混合模式匹配策略的企业信息语义相关性发现方法.在该方法中,定义关系模式作为企业数据源的统一描述和输入,首先通过复合名称匹配过程,计算特征元素名称之间的相似度,然后将匹配结果输入基于神经网络的特征综合信息分类器,实现特征元素的聚类.     

对称布尔函数算术Walsh变换的快速算法

为了提高对称布尔函数算术Walsh变换的实现效率,利用Krawtchouk多项式研究对称布尔函数的算术Walsh变换。根据算术Walsh变换的定义讨论对称布尔函数的算术Walsh变换和Krawtchouk多项式之间的关系,给出并证明基于Krawtchouk多项式描述的对称布尔函数的算术Walsh变换的简约表达式。利用得出的简约表达式和Krawtchouk多项式的性质即可得出一种实现对称布尔函数的算术Walsh变换的快速算法,该算法具有较低的时间复杂度和空间复杂度。     

基于主色偏差矩阵的图像检索方法

颜色特征是图像检索领域中最为重要的视觉特征之一.对于基于颜色的图像检索系统,其性能在很大程度上取决于颜色特征的描述和匹配方法的有效性.本文使用主色偏差矩阵来描述颜色特征,并使用相关系数进行相似性度量.经实验证明,该方法对于图像的几何变换和空间变换,具有较高的检索查全率.     

从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。     

论范畴转换理论及其语言投射

认知语言学认为,对任一有待认知的对象,语言都规定了认知范畴,从而形成语言认知范畴选择。语言认知范畴选择具有非唯一性和有序性,即优选范畴-备选范畴-偶选范畴。认知范畴是可以转换的,范畴转换的四个基本假设表明,任何有待认知的对象都有独立于四大元范畴的基本属性,但这些属性因我们对元范畴的选择而呈现出不同的侧面。范畴转换的三种...     

计算机语言与计算机语言学

通过语言与计算机语言的比较，给出了计算机语言的定义和组成成分，并对计算机语言进行比较与分类，探讨了计算机语言的发展规律与发展方向，最后提出了建立计算机语言学这一新学科的必要性、这一学科的研究任务及其与其它学科的关系．     

对语料库、语料库语言学的种种误解

语料库以及语料库语言学引起了各国学者的极大的兴趣。可是,与此相关的误解一直存在着。例如,语料库是老大,一个小型的语料库比一个大型的好。本文讨论了10个关于语料库和语料库语言学的流传得最广的误解。最后,本文对语料库语言学的发展进行了展望。     

英汉语序对比浅析

语序是语言成分按语法关系进行的线性的、横向的组合序列,它是表达语法关系的重要手段,是言内意义在句法层的突出表现。在英汉两种语言中,语序对于句子结构内部的语法关系起着决定性的作用。英语和汉语属于不同的语系,英汉民族对周围世界的认识有着各具特色的思维过程和评价体系,对同一事物的表达次序有不同的安排。文章从词、短语和句子三个层面对这种不同的次序加以对比分析,以便人们可以更好地了解两种语言的特点,从而带来更大的交际价值。     

从连接意向图式理论看主系表结构句子的翻译

认知语言学解释语言结构的认知理据;功能语言学分析语言结构的意义和功能。从人类的连接意向图式认知方式出发,探索主系表结构句子结构的认知理据,并从功能视角分析主系表句子结构的意义和功能,进而提出了＂主系表结构句子翻译三步法＂,并通过实例验证了＂主系表结构句子翻译三步法＂是一种切实可行的、可指导主系表结构句子翻译的方法。     

基于EICG的英汉机器翻译句型转换器设计

句型转换是指将感叹句和各种疑问句变为陈述句语序的转换。我们在研制MatLink英汉机器翻译系统的过程中，提出了扩展的基于信息的格语法(EICG)及其应用原则，并且利用EICG设计实现了英语句型转换器。该分析器采用多出口结构，针对感叹句和不同类型疑问句提出相应的分析实现算法，并通过实例分析阐述了实现不同句型间转换的设计思想和工作过程。     

英汉比喻对比及其翻译方法初探

比喻是增强语言艺术表达效果的重要修辞手段之一。每种语言都各自有其丰富多彩的比喻,不同语言之间的比喻既有相似性,又各有其特色。本文从对比语言学、认知语言学和文化背景的角度对比分析英汉比喻的共同之处及差异,并在此基础上探讨了英汉比喻的翻译方法。     

英汉语言中的设问与倒装

从修辞和语用的角度,对英语中的rhetorical question,anastrophe和汉语的设问,倒装两种修辞方法,进行了比较.通过比较指出:英语中的rhetorical question和汉语的设问,在形式和作用上是一致的,能够增强语言感染力和表达效果,并广泛应用于书面语及口语中.英语中的anastrophe和汉语的倒装都具有强调和承接上下文的作用.二者不同之处在于:汉语的倒装多用于口语交际,而英语的anastrophe多出现于书面语;此外,anastrophe还有平衡句式的作用.通过对比,可以加深对英汉两种语言的理解,提高语言学习效率,尤其是提高英语写作及翻译能力.     

英汉相对无主句的特征和功能比较

语言学界普遍认为,中西方民族思维方式的不同导致了中西语言表达方式上的不同。汉语注重意合,突出陈述的主题内容而非主语本身,以至于汉语中频频出现主语空位的现象。无主句被认为是汉语言的特色之一。多数学者认为英语注重形合,比较突出主语,因此英语不存在无主句。事实上英语在特定情况下亦存在相对无主语现象,且具有典型性结构特征和特定的语用功能。