范畴的中心

本文讨论了范畴中心的一些性质，主要结果是：等价范畴的中心是一一对应的     

两弱伴随矩阵的关系

根据两个矩阵可交换、相抵、相似、酉等价、相合,讨论了与其对应的两个弱伴随矩阵是否具有相同的性质。     

THE COMPOSABILITY PROBLEM OF THESEMANTICS OFXYZ/BE-COMMUNICATING PROCESSES

1.Introduction"Awell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallel"lll."Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents"[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…     

一种对特殊多维0-1背包问题的约束简化方法

针对一类组合优化问题—多维 0 - 1背包问题 ( MKP) ,这是一个 NP-难问题 ,提出一种能减少求解难度的方法—约束化简方法。定义了 MKP的紧约束的概念。提出了一种代替多约束组的计算方法。对于经过替换后所得到的新问题 ,证明了与其原问题解精度上的等价性。     

浅谈英汉翻译等值

翻译等值或对等原则是翻译理论的一个核心问题,几乎是所有现代翻译理论家在其著述中都会提到的一个中心术语和重要议题。很多翻译理论家们对翻译等值的相对性也有充分的认识。本文着重分析了奈达所提出的翻译等值的三个层面,以求更加客观地认识翻译等值问题。     

Morita Context理论的对偶

对任意有限维Ｈｏｐｆ代数讨论它所诱导的ＭｏｒｉｔａＣｏｎｔｅｘｔ理论的对偶，即ｐｒｅｅｑｕｉｖａｌｅｎｃｅｄａｔｅ的理论，并进而建立Ｈ余模余代数的ＣｏＧａｌｏｉｓ余扩张理论．     

新闻英语翻译中的功能对等观

作为国际间信息交流的重要手段之一,新闻英语的翻译越发显得重要。它对于我国了解国际社会新形势的发展,推进国家间的经济、技术、文化等交流,促进我国新闻事业的发展进步起着至关重要的作用。奈达的功能对等理论是一个涉及到翻译各个方面的内容丰富的概念,正是这种丰富性使它在翻译中具有了广泛的可应用性。将奈达的功能对等理论作为新闻英语翻译的原则,使得新闻英语的词汇翻译、句子翻译、修辞及语篇翻译实现功能对等是切实可行的。     

关于MicroSQL查询等价的若干定理及查询变换优化策略

Micro SQL是微机关系数据库管理系统NITDB采用的数据语言。为了进行查询优化,本文对Kim W.的思想加以推广,从理论上提出了若干关于Micro SQL查询的等价定理,并把一些结果运用到NITDB中,从而为NITDB提供了一种查询变换优化措施,提高了查询效率。     

用惠更斯面等效原理证明零场定理

场等效原理是电磁学的基本定理之一，但场等效原理特别是零场定理很难被人理解，人们很难想象在一个区域中的场等效为原问题的场，而在另一个区域中却为零场。用惠更斯面等效原理证明了零场定理，该方法简单明了，易于理解，是一个很好的证明方法。     

对合Quantale的表示定理

引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．