高级语言中的类型等价问题

本文针对强类型语言中的类型等价问题，研究了几个影响较大的高级语言对此问题的解决办法，讨论了结构等价与名字等价的利弊，进而分析了类型等价概念在高级语言中的作用，在此基础上，提出一个推荐方案，可以兼收结构等价与名字等价的长处，而不必付出额外的代价。本文最后对如何解决XYZ／G语言的类型等价规定提出了建议。     

关于等价无穷小的应用探讨

在高等数学中等价无穷小是一个重要的概念,本文探讨了等价无穷小的几个简单应用,特别是在求函数极限的过程中等价无穷小的代换能达到事半功倍的效果。     

一致凸的若干等价命题

一致凸的Banach空间是一类结构性质很好的空间，它是泛函分析的一个重要内容，并在最佳逼近论、空间的自反性和光滑分析等方面有广泛应用．文献[1]给出了一致凸及其等价定义，本文将其改造和推广，得出了几个等价命题，给Banach空间理论的相关问题的研究提供了新的途径和方法。     

图UnUK4-的色等价刻画

h（G，x）表示图G的伴随多项式，它从图G的补图出发研究色惟一和色等价．若P（G，λ）：P（H，λ），称G和H色等价，一个图被称为是色惟一的，如P（G，λ）=P（H，λ）意味着G≈H．若h（G，x）：h（H，x），称G和H伴随等价；G和H色等价当且仅当G^-和H^-伴随等价；G色惟一当且仅当G^-伴随惟一．Un表示从路Pn-4的每个1度点分别引出两个悬挂边所得到的具有两个3度点4个1度点的树．K4^-表示从K4中删去一条边得到的图．应用伴随多项式理论研究了图（UnUK4^-）^-的伴随多项式系数和根的性质，以此为基础刻画了图（UnUK4^-）^-的色等价图类。     

度量等价与一致等价的判别

如果同一集合X上的2个度量ρ与ρ′诱导出X上的同一拓扑,那么称ρ与ρ′是等价的.对2个度量等价和一致等价的判别问题进行了讨论,并给出若干应用的例子.     

余模范畴上的强等价

证明了ｈ（－,Ｍ）函数保持右正合及有限值和,－□ｃＭｃ（ｃＭ拟有限）保持拟有限和有限维性,推出了联系余－ｈｏｍ和余张量函数的一人同构,给出了强等价新的定义,并得到范畴,Ｍｔ和Ｍ＾Ｄ强等价且仅当ｃＭ和＾ＤＭ强等价,令Ｆ：ｃＭ→Ｄ．Ｍ是一等价,则当Ｆ（ＭＣ）包含于Ｍ＾Ｄ时,Ｆ│ＭＣ强等价,这改进了林的结果,作为应用,证明了若Ｆ同上且Ｄ是自反的,则Ｆ│Ｍ＾Ｃ是一强等价,且Ｃ是上自反的。     

矩阵的等价、相似和合同关系辨析与应用

矩阵的等价、相似、合同这三个概念非常重要,有着广泛的作用。首先从它们的定义出发,讨论了它们的判别方法,分析了它们之间的区别与联系,并举例说明了各自应用。     

等价式在簇合物中的应用

介绍了分子或复杂离子的等价式概念，等价式与分子或复杂离子具有相同的价电子数．等价式与分子或复杂离子的结构及它们中的每个原子的成键情况是紧密联系的，同时等价式仅与价电子有关，而与内层电子无关．在等价式中，各种键型之间存在着明确的数学关系式，这个数学关系式完全适用于任何类型的化合物，并且无任何错误之处，同时也扩大了半拓扑图式理论的应用范围．簇合物中存在的键型种类多，成键情况比较复杂．列出了主族原子簇合物和过渡金属簇合物中各种键型之间所符合的数学关系式，这样等价式概念在簇合物中得到了应用，处理结果令人满意。     

关于等价度量的若干等价判定及应用

在同一度量空间中可诱导出相容的两个不同度量会给人们处理问题带来方便,因此,度量的等价性是一个值得讨论的课题。首先,介绍了度量空间中的等价度量、度量拓扑、等价拓扑基及同胚映射等基本概念。然后,在此基础上讨论了等价度量的基本性质及各种概念间的内在联系,并由此给出了关于等价度量的判定性定理及其重要推论,给出了等价度量应用的简单实例。最后,通过构造的方式,给出了一种重要的等价度量形式。     

Daniell积分的一个等价定义

给出了Ｄａｎｉｅｌｌ积分的１个定义，并证明了它与Ｇ·克莱鲍尔所著《实分析》中定义的等价性。）（Ｄ＊）（Ｄ）。证为Ｌ中任一函数列，且在每个点递增到ｆ，故定义，为Ｌ中非负函数列。又，则对一切，有由（Ｄ），则又，在每个点递增到ｆ，为Ｌ中任一函数列，且在每个点递减到零，则亦为Ｌ中一函数列，且在每个点递增到零。又零也是Ｌ中的１个函数，由（Ｄ＊），则故证毕。参考文献     

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

本文简要回顾了言语语言学,概述了言语语言学的范畴;并简要回顾和阐释了翻译对等;并详细地从言语语言学的范畴分析了翻译的多相面对等。     

Verilog HDL与SystemC的语法等效性

针对电子系统设计中使用不同语言制约设计效率的问题,研究了SystemC2.0与VerilogHDL的语法在基本语法结构、时间模型、等待和事件模型、调度模型等方面的等效性,得出如下结论:对于门级以上级别的描述,所有的VerilogHDL的描述总可以在SystemC中找到对应描述;开发EDA设计工具,实现从VerilogHDL描述的知识产权自动转换到SystemC描述是可行的.     

代数的等价

对用多项式集刻划的代数的等价作了讨论，对同构，子代数，商代数和积代数的等价问题分别给出了结果，还对代数的等价的定义作了推广，并作为应用而对群的等价作了讨论。     

等价无穷小代换定理的拓展

利用等价无穷小代换求极限可以简化计算,基于此,本文主要探讨了极限式中含加减因子及幂指结构时用等价无穷小代换求极限的问题,对教材中未提及的极限式中含加减关系、复合结构及幂指结构的情况加以补充,并给出了相应代换的条件和应用实例。     

从功能对等角度看汉语兼语句的英译

英汉句子结构存在着差别,尤其体现在谓语动词上。相对英语而言,汉语兼语句为汉语一大特色。本文从分析汉语兼语句的结构特征入手,通过英汉句子谓语动词对比,以奈达的功能对等理论为指导探讨汉语兼语句的英译方法。     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

线性自治滞后型微分方程与常微分方程解的等价性

考虑齐次线性自治滞后型泛函微分方程（RFDE）的解何时等价于某一齐线性常微分方程组解的问题,利用高等代数中一些基本理论和知识,得到了等价性成立的充要条件,并用例子加以说明方法的正确性．     

广告语言翻译与功能对等

作为一种文体,广告有着自身语言的特点和经济功能。翻译广告时,应以功能对等原则为指导,采用直译、语义对等和文化对等等方法,再现源语广告的特点和功能,促成消费者的消费行为。     

关于等价边优美边裂图

引进等价边优美边裂图的概念,阐述了等价边优美边裂图的存在性及其等价分类研究的方法.     

基于等价类的Rough集模糊化子系统

从系统的角度,讨论了给定信息系统上的所有Rough集模糊化所形成的模糊集类的相关性质,并证明了它是相应论域上的模糊集系统的子系统·但它却是一类特殊的模糊集子系统,在这个子系统中一般的不满足运算传递性质·为进一步研究Rough集与模糊集这两种不确定性的理论之间的关系,并将它们有机结合起来提供了理论依据·