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

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

面向语义的元数据模型一致性检验

面向语义的元数据模型检验用于判断待建元数据在语义上是否一致．首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集．然后,将元数据模型检验抽象为术语检验和实例检验2类问题．最后,对术语检验和实例检验的判定方法进行分析．研究表明,2类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换。     

一种GF(3m)上立方运算电路的优化设计方法

提出了一个能优化GF(3m)上立方运算电路的浓缩法方法.采用该方法处理了580种GF(3m)有限域上立方运算电路,统计数据表明：若不可约多项式形如xm+ptxt+x0,m<256,除极少数情况外,浓缩法优化后的立方运算电路的加法器不超过1.35m个.给出212个不可约多项式,用浓缩法优化后的立方运算电路的加法器数量不超过m个.     

余模范畴上的强等价(英)

证明了h（－，M）函数保持右正合及有限直和，-□cM（cM拟有限）保持拟有限和有限维性；推出了联系余-hom和余张量函数的一个同构．给出了强等价新的定义，并得到范畴Mct和MD强等价当且仅当cM和DM强等价．令F：c*M→D*M是一等价，则当F(Mc)MD时，F|Mc强等价．这改进了林的结果．作为应用，证明了若F同上且D是自反的，则F|Mc是一强等价，且C是上自反的．     

大林算法与Smith预估法在温度控制中的优效研究

工业中有很多具有纯滞后性的被控对象 ,为了改善纯滞后对系统带来的不良影响 ,将大林算法和Smith预估法用于此类系统中 ,且以炉温控制系统为例 ,详细地介绍了两种算法的工作原理、数学模型及仿真结果 ,并将其与PID算法进行了讨论 .结果表明 ,大林算法具有更好的控制效果     

语法的强等价和弱等价以及相关的句子计数、句法结构数和结构歧义的若干定理

讨论等价、弱等价、强等价等几个概念以及这几个概念在语言学史与各个学派上由模糊不清而提炼成较为清晰的形式,探讨一些与这几个概念有关的句子（词）结构的问题,并且得出了几个有关句子（词）结构的有意义的定理。     

论等值翻译观

翻译等值是翻译研究的一个重要成果也是翻译理论的核心议题。本文拟从等值定义本身的模糊性、对等翻译的相对性等方面说明等值翻译论的局限性及其不足。     

目标跟踪下的Kalman算法与IMM算法性能比较

介绍了Kalman滤波算法原理和IMM滤波算法原理,并进行了两种算法的仿真与性能比较。     

一种求解非线性方程组的算法

为满足理论研究与工程实践对非线性方程组求解的需求，综合遗传算法和牛顿迭代法各自的优势，提出了能够充分发挥遗传算法大范围搜索全局解、牛顿迭代算法在局部细致搜索的新算法。实例证明，该算法搜索效率高，求解速度快，并能获得全局近似最优解。     

商标翻译的对等原则

模拟奈达的“功能对等”理论，结合商标的文体与功能的特点，探讨了商标翻译中的“对等”原则。     

古代中国之算术与算数浅析

以历史发展的观点,来看待中国古代的算术、算数与术数的关系,并着重分析了中国古人的算。最后,简述了数与道的关系。     

论高校固定资产清查

高校固定资产清查是高校资产管理以及实验室仪器设备管理的重要内容,对摸清家底、发现问题、解决问题,提高资产管理和实验室管理水平具有重要的意义。文章论述了高校固定资产清查的内容、程序。通过对清查结果的分析,从资产管理认识、制度建设、管理队伍建设、信息技术建设、监督检查等方面提出了整改措施,以保证账、卡、物相符,提高高校固定资产管理水平。     

等价关系在网格技术中的应用理论研究

等价关系是一种特殊的二元关系,体现了关系的自反、对称和传递的性质,在计算机科学中有重要的应用。网格技术是近年来兴起的一种前沿信息技术,是一种信息社会的网络基础设施,它将互联网上的所有资源互通,更好地实现网络资源共享。网格服务是网格环境中资源的抽象和封装,它遵守网格服务规范,依据服务描述动态创建的Web Service。本文基于等价关系的理论,提出了等价网格服务关系的概念以及资源的划分问题,为服务匹配、服务组合和服务协同的研究提供了理论的支持。     

广告语言翻译与功能对等

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

浅谈图书数据查重工作的开展

图书数据查重贯穿图书馆采编工作的始末,具有承上启下的重要意义。阐述了数据查重的意义、查重方法分类、查重涉及的相关环节,分析了影响数据查重工作质量的人为因素。     

上下文相关算术编码的VLSI结构设计

由于上下文相关算术编码(CAE)方法的良好压缩特性，使其适用于二值形状视频对象的编码．然而CAE配编码所消耗的运算资源较大，不能满足实时视频编码的要求．为了有效减少数据载入次数，提出一种高效的上下文相关算术编码(CAE)的VISI结构．采用延迟线结构保存输入像素，使其在以后的处理中重复利用．实验结果表明，采用这种结构，有效减少了存储器的访问次数，在计算概率索引时，避免了加法操作，从而达到了利用较少的门电路实现高效编码的设计目标．     

广告语言翻译与功能对等

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

基于等价关系的关联规则的挖掘

由于在实际的数据挖掘过程中容易出现无用的频集和冗余的规则，所以降低频集和规则的冗余度可大大提高挖掘的质量，这也是数据挖掘中一直被关注的问题，提出了一个用等价类生成关联规则的方法，算法主要在频集的基础上建立项集的等价关系，进而对项集划分等价类，同时将得到的关联规则划分为精确关联规则和近似关联规则两个集合，通过等价类，不但可以很容易地生成所需要的关系规则，同时可以方便地判断数据之间依赖关系的强弱，同时，项集的等价关系在实际应用中也很有利用价值，算法最后的规则结果集剔除了由来自同一等价类中的面集的重复出现构成的冗余规则，从而得到了较小的关联规则集合。     

一类二叉树型分层模糊系统的等效性条件

为了进一步证明分层模糊系统在很好地解决了多变量模糊系统的规则数随输入变量个数指数增长的问题的同时,是否能够解决系统的参数个数随输入变量指数式的增长,推导一类二叉树型分层模糊系统和一类典型多输入单输出(MISO)模糊系统的输入输出表达式,证明了两者的等效性条件。得出结论:此类二叉树型分层模糊系统要达到典型MISO模糊系统同样的逼近精度,其参数个数至少要与典型模糊系统一样多。这一特例对分层模糊系统是否能从根本上解决MISO模糊系统的"维数灾"问题提出了质疑。     

中文图书编目工作中的查重方法研究

阐述了查重的概念及其在中文图书编目中的重要意义,结合工作经验,对于查重的技巧进行了探讨,并总结出了一套非常有效的查重方法。