有限理论结论基于根的余式和结论集的表示

二值命题逻辑系统中理论的结论集是逻辑推理研究的基本对象,对其结构进行分析是逻辑推理研究中需要解决的问题。通过公式是有限理论结论的结构性条件,引入了有限理论结论的基于有限理论根的余式概念,在逻辑等价意义下将有限理论的结论分解成理论的根和对应的余式两部分,并进一步讨论了余式的性质。利用有限理论结论集的一般表示,得到了结论集的相关结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供方法。     

论奈达的对等理论在儿童文学翻译中的应用——评《小屁孩日记》中译本

本文以美国著名翻译理论家尤金？奈达的功能对等翻译理论为指导,通过分析儿童日记体小说《小屁孩日记》的中译本,从“语意对等”,“风格对等”和“文化因素对等”等方面来探讨功能对等理论在儿童文学翻译中的应用,并对中译本中的不要之处进行点评并提出建议。旨在验证该翻译理论能否指导翻译实践,实现目的语和源语的功能对等。     

两个初值修正灰色GOM(1,1)模型及其等价性研究

根据反向累加生成GOM(1,1)模型的初值取x0(1)(1)的情况,提出两个不同初值修正形式x0(1)(1)+β1,β2x0(1)(1),利用原始序列预测值的误差在最小二乘意义下最小准则,得到两个初值修正的优化GOM(1,1)模型,并证明了这两个初值修正GOM(1,1)模型的等价性和极高的模拟精度.     

商务英语合同翻译策略

在频繁的国际商贸活动中,商务合同是商务活动中的各方针对某一具体事务达成的各方权利和义务的协议,是一种严谨的正式法律文件。从商务合同的书面词汇、专业术语、古体词汇和情态动词4个方面分析了商务英语合同用词正式规范、专业性强和严谨的特点;从商务合同中常用的句式进行分析的基础上,提出了相应的翻译方法。同时,指出了动态等值理论对当今商务合同翻译的指导作用。     

员工绩效评价方案的设计与实施研究

员工的工作绩效评价是企业人力资源管理的重要内容 针对企业员工的工作性质和特点,选择适用的绩效评价方法,分别设计了三种对应于不同层次员工,突出合理性和实用性的工作绩效评价方案,并对方案的实施提出了建议     

余树在图式流形拓扑分类中的应用

图式流形是以一个无向图G为框架产生出的管形曲面M（G）。本文讨论图式流形同胚分类的计数问题,该问题可转化为图的一类2-边着色问题,提出一种新的观点,探讨图式流形的等价分类,以便推进已有的工作。图的计数理论分为两大部分：标定图的计数与非标定图的计数。由于涉及同构判定,非标定图的计数较难。本文运用图论中的向量空间,包括圈空间及割空间,建立基本的计数方法,这一方面简化了群论方法的证明,另一方面更深入地揭示出同胚分类与圈结构的关系。以余树的概念为基础。提出“余树法”。并得出结论：以余树的所有边导出子图为黑边子图,构成卜等价类的一个横贯;同时,以余树中所有不同构的边导出子图为黑边子图。构成似等价类的一个代表系。     

网格环境下实时数据库事务处理模型

在分析网格和网格实时数据库事务处理特点的基础上,提出了一个适用于网格环境下实时数据库事务处理模型.该模型采用网格中间件和功能等价服务,能够满足网格环境中对实时事务自治性、异构性、动态性等特点的要求.     

以功能对等理论为指导的旅游资料汉英翻译

奈达的功能对等理论以“相似反应”为前提寻求原文与译文的最切近、自然的对等,为传统翻译理论“直译”与“意译”的争论找到了满意答案。以功能对等理论为指导的旅游资料英译方法有增译法、删减法、改写法、转译法。     

一类部分变换半群的Green关系

X为任意集且|X|≥5,E是X上的双等价关系,即E=(A×A)∪(B×B)∪Δ(X)其中A,B是X的真子集且|A|>1,|B|>1,Δ(X)={(x,x):x∈X}.PX表示集合X上的部分变换半群,令PE(X)={f∈PX:(a,b)∈E且a,b∈domf,(f(a),f(b))∈E},那么PE(X)是PX上的一个子半群.刻划了PE(X)的G reen关系.     

D_（3,2）∪T（1,1,n）的匹配等价图类

利用图的匹配多项式及其最大实数根的性质完整刻画了D3,2∪T（1,1,n）的匹配等价图类.