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

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

简介：学生解答通用五年制九册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语句

简介：

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

简介：摘要本文针对珠海的供水和防洪之间存在矛盾的问题，结合重要供水水源珠海供水北系统水库群实际规模及情况，开展基于四库各自的调洪演算基本水量平衡方程的四库联合调洪演算。并在过程中对四库联合调洪演算过程进行了简化，大大简化了联调算法。演算结果论证了模型和方法的有效性，对珠海供水北系统水库群的防洪安全进行了充分分析，为优化水库群运用调度提供了基础保障。同时，结果表明，该方法操作性强，成果可靠，可应用于多库连通水库的防洪调度和调洪演算。

简介：泃河是蓟运河水系的一条较大支流,它发源于兴隆县青灰岭,流经兴隆、平谷、密云、顺义、大厂、三河、蓟县等县,在宝坻张古庄与州河汇合后入蓟运河。在平谷附近有错河汇入,在三河高老寨村有鲍邱河汇入。干流上设有罗庄子、海子水库、三河等水文站,三河站以上河长160km,集水面积1790km~2。三河境内泃河河道最大安全泄量为1080m~3/s,三河站上游46km处有一海子水库(中型),在支流错河上还有西峪水库(中型)。

简介：

简介：高考答题是能力与时间的角逐,能力"到位"还要讲究思路和方法,一般在"巧解"上作文章,这就要积累平时的解题经验与捕捉他人之"玉".本文提供7个途径,供取长补短.

简介：应用逻辑是逻辑理论应用于特定领域所形成的逻辑理论,是国内外公认的一门逻辑分支学科.应用逻辑不是逻辑的应用,也不是逻辑哲学,更不能把任何科学都作为应用逻辑.应用逻辑是逻辑应用中逻辑的逻辑、理论的理论、元逻辑.

简介：

简介：正则化因子的选择方法决定了正则化方法的稳定性和准确度。在分析改进的奇异值分解法与正则化方法的关系的基础上，给出一个正则因子计算公式。数值模拟试验表明改进的奇异值分解法和正则化方法适应低信噪比。当信噪比低于30时正则化方法比奇异值分解法结果更好，当信噪比高于30时奇异值分解法更优。采用本文提出的正则因子的正则化方法可以适用于实际核磁测井的低信噪比（5〈SNR）情况。数值模拟及实际资料的计算实验表明，改进的SVD反演算法与正则化方法都具有适应低信噪比、求解速度快等优点，可以满足核磁共振测井工作的需求。

简介：渤海湾水体交换能力差，自净能力低，每年都要接纳大量的陆源污染物，叶绿素浓度的遥感估算对研究渤海湾海洋赤潮，监测海洋水体水质有重要作用，选择最佳算法反演叶绿素浓度有利于提高反演的精度。本文使用渤海湾的现场测量数据及GOCI遥感反射率数据，利用荧光线高度法、OC3算法、蓝绿波段比值法和近红-红波段比值法建立叶绿素浓度反演模型，并利用实测数据进行算法验证，通过比较各算法的拟合效果和验证结果，对各算法模型进行了评价。结果显示，不同的反演方法准确性有明显差别，荧光线高度法的拟合和反演效果为最佳，而近红-红波段比值法的反演效果最差，OC3算法与蓝绿波段比值法的拟合和反演效果基本相似。

简介：[摘 要] 设计流量是河流治理最基础的数据，拟定河流各河段设计流量是规划专业的重要工作之一。水利工程中通常采用恒定流方法计算分析洪水运动情况，但对于径流大、洪峰大、水流复杂等河道，水利恒定流计算方法则误差较大。本文以青戈江为例，利用河道洪水演进数学模型，通过建立河流运动的一维非恒定流模型，对青戈江不同水情、不同工况条件进行了洪水演进分析，并通过与实际水文站资料进行对比，验证了计算的合理性。

简介：英语句子中常有动词不定式充当非谓语成分的情况,对该动词不定式实施动作的人往往由介词for引出。从语法上看这个“动作执行者”是介词for的宾语,但从逻辑上看它与不定式之间存在着“主谓关系”,因此我们称这个“动作执行者”为动词不定式的逻辑主语。如:

简介：

简介：首次将进程代数PI演算理论引入电子政务流程建模中,即网上并联审批流程进行了形式化建模,　　本文首次引入进程代数PI演算理论到电子政务建模中

简介：摘要涵洞排水入库调洪演算是水利计算的一大难题，最大的难点在于涵洞上下游水位变化与涵洞下泄能力的相互影响，这一影响存在浮动变化过程，一般的Excel表格计算无法解决浮动变化过程，通过VBA构建函数、判断逻辑、循环过程可以很好解决这一难题。