简介：利用命题演算可以解决一类逻辑推理问题，但就在命题演算过程中，常会遇到一些困难，本文通过典型例子说明利用逻辑方程求解技巧可避免这些困难，而使问题更容易解决。

简介：　　等值翻译理论强调译文和原文在表达上应达到等值效果,　　　一、翻译等值理论,翻译理论中引进的等值

简介：<正>你或许、一定、绝对听说过这样一个故事:一男青年和未来丈母娘、未婚妻三人一同荡舟湖上。忽然一阵微风吹来,湖面上泛起了阵阵涟漪。丈母娘触

简介：在地理学习中，常用等值线有等高线、等温线、等压线、等盐度线和等深度线。这些知识对于学生比较抽象，判读时容易出错。为了使大家能准确地判读等值线，在解决各种等值线中都可遵循“凸高(数值)为低(结果)，凸低(数值)为高(结果)”这一规律，也可以用“—线法”来解读各种等值线。

简介：导言笔者连续写作了三篇论文探讨测验等值和连接的概念、程序、应用以及存在的问题等，本文是这一系列论文的第二篇。本系列

简介：摘要珠海市供水北系统中凤凰山水库、坑尾水库、正坑水库和大镜山水库通过平底隧洞连通，形成四库连通的水库群，进行防洪安全分析时就存在四库联合调洪演算问题。本文结合各水库特点，提出了进行联合调洪演算是的基本水量平衡方程，并提出了调洪演算的基本计算流程，为建立珠海供水北系统实时水情监控系统扫清了主要技术障碍。

简介：学生解答通用五年制九册56面第6题——“车站有货物45吨,用甲汽车运10小时可以运完,用乙汽车运15小时可以运完。用两辆汽车同时运,多少小时可以运完?”——时,出现了两种不同的解法:(1)45÷(45÷10+45÷15)=…=6(小时)(2)1÷(1/10+1/15)=…=6(小时)。教师让学生观察、比较、分析,多数学生知道了式(1)是按一般应用题解答的,式(2)是按工程问题的解法解答的。这时,一位学生立即提问:“如果把45吨改换为30吨、80吨、1000吨……它们的得数是不是仍然一样呢?这一提问,立即引发了一场争论。有的说“一样”,有的说“不一样”。说“一样”的讲不出道理,说“不一样”的却神气十足地说:“货物的吨数变了,

简介：摘要渭河为黄河的最大支流，本文通过对渭河宝鸡林家村至魏家堡段历史典型洪水过程实测资料的计算，分析了该河段洪水演算参数和演进规律，计算了该河段的特征河长，采用特征河长和试算法分别对该河段马斯京根法参数K和x值进行了分析确定，并对该河段几场历史典型洪水过程干支流各水文站洪峰流量进行了分析。结果表明渭河该河段干流洪水波演进在演进的过程中几乎没有变形，河段调节作用很小，为该河段洪水预报提供了经验和参考。

简介：对由元组关系演算表达式得到SQL语句的过程加以解释,在元组关系演算表达式中,将元组关系演算表达式转化为SQL语句

简介：等值分数是表示具有相等值的分数,它建立在两个量具有确定比例关系的基础上。研究表明,儿童在接受正式教学之前,就具有了等值分数的非正式知识,但仍然在概念理解上存在很大的困难,主要有两方面的原因：一是受自身运算思维发展水平的制约,未获得乘法思维和守恒观念;二是缺乏对等值分数不同语义的理解。在今后研究中,需进一步探讨从非正式知识到正式概念之间的发展路径,尝试开展等值分数的早期教学实验,并需要结合多种语义背景来考查儿童的概念发展水平。

简介：翻译理论中的等值概念具有不同层面上的等值,其中信息等值是翻译等值的基础,对翻译理论与实践都有一定的指导作用.本文探讨信息等值理论的历史源流和理论框架以及翻译信息不等值现象作为语言固有特点的语言学依据,并指出语言的这些特点对于翻译的信息化、科学化进程具有深远的影响.

简介：等值(equivalence)，也称等效、对应，是翻译中不可缺少的因素。如果两种语言之间没有等值，就不能进行翻译，就不能互相传递信息，互相理解。

简介：

简介：作为信息论里边的一个概念，冗余法则要求在传输和转换信息时要对信息进行累加或扩展，使接收信息的一方能够容易理解以便得到明确的信息。作为一种涉及到原语文本和译语读者的语言转换活动，从本质上来讲．翻译也是一种信息的传输和变换。为了在翻译过程中确保信息准确度的保值，翻译中可以借鉴和利用冗余法则。

简介：摘要论文基于双馈风力发电机组自身运行特性，建立了风电场等值模型，以单台等值机组等效整个风电场，简化了仿真模型中风电场的规模，并与全模型进行了仿真对比。

简介：本文通过对测验等值方法和锋值设计进行研究，得到不等信度下的线性等值公式，同时给出等值转换新公式预报值的置信区间估计。

简介：

简介：为降低“一考定终身”的危害，实现“一年多考”的改革目标，同时为了科学评价学生成绩的变化，测验等值是必然的选择。鉴于众多考试偏爱主观性试题的情况，线性等值和等百分位等值的方法值得尝试。文章对这两种方法的概念、使用条件和步骤、注意事项等方面进行了详细讨论，以便考试实践工作者能快速用好测验等值方法。

简介：

简介：在命题演算系统中,由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂。而且,有一类定理的演蜂程序比较容易获得,而证明步骤却常常让人“意想不到”。在数理逻辑的教学过程中,如何寻找“证明的技巧”,是一个颇为实际的问题。事实上,对于有一类定理,通过对演绎程序的“仔细观察”,可以获得相应的“证明技巧”。