联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。     

我国体育应用数学发展概况

本文对我国体育界应用数学的发展状况分两个学科──体育统计学与体育数学，作了综述与展望。并指出，新兴的体育计算数学的主要发展趋势是：微观上形成多学科分支，宏观上与其它学科一同归并成一个更为坚实的高层次学科──体育数学。     

校园网布线系统性能分析

布线系统地优劣直接影响校园网的性能及网络转型。探讨校园网布线系统的选型及性能测试。     

求高次方程整数解的递推方法

以往求n次方程∑i=0^naix^i=0(ai∈Z)的整数解，是从常数次a0的因数(负因数)搜索而得。这种方法，在计算机上不容易实现。本文给出一种适于计算机求解的递推方法。     

求不定积分的计算过程中不能忽视“区间I”

通过讨论不定积分计算过程中的三种情况,说明不定积分计算过程中不能忽视“区间Ⅰ”。     

关于积分概念认识的统一性

针对积分认识的特点,将重积分、曲线积分和曲面积分的认识统一到一元函数的定积分,归纳为定义在上的“点函数”(P)的统一积分形式:lim∑(Pi)△Vi=(P)dV。对积分定义、性质、计算和应用等方面的统一性作了系统的论述,给出了应用上较方便的积分微元法定义,并运用实例对积分认识的统一性进行佐证。     

新型给水管材水力工况对比分析

通过对各种新型给水管材之间水力工况的比较和分析，推得各种管径的新型给水管材与相应公称直径的镀锌钢管单位长度水头损失的比值K，由于管材间水力工况的不同，在工程设计、旅工中更换管材时，不能简单地用相同或相近管径的管材互相替代，而应重新对系统进行水力计算。     

基于云计算的数据安全的相关问题的探究

HU Nan(School of Big Data, Liaoning Institute of Science and Technology, Benxi Liaoning 117004 China)     

工科院校计算方法课程混合式教学模式探索

文章针对工科院校计算方法课程的特点和所面临的教学现状,探究计算方法课程线下线上混合式教学模式的应用方法,从而创新高校教学模式,优化课程内容,加强师生间的信息化互动,形成独特的评价体系,提高课程教学效果。线上线下混合式教学模式的实施包括三部分:课前内容安排,课中知识点讲解,课后测评及反馈。     

连铸板坯凝固前沿气泡的受力分析

铸坯中与气泡有关的缺陷对于钢的质量有很大的危害,有效去除钢中气泡成为高质量钢的主要任务。文章以吹氩的板坯结晶器为研究内容,运用理论计算对凝固前沿的气泡的受力进行量化。主要结论如下:气泡在钢液中主要受到重力、浮力、虚假质量力、升力、曳力、温度马兰戈尼力、浓度马兰戈尼力的影响。气泡被捕获的时候分为三个阶段,首先是气泡从结晶器主体钢液靠近温度边界层,在这个过程中气泡的运动主要受到曳力、浮力的作用;其次气泡进入温度边界层,在这个阶段气泡主要受到曳力、浮力、以及由温度梯度引起的马兰戈尼力;第三个阶段,气泡穿过温度边界层,到达浓度边界层,受到浓度的马兰戈尼力,其中浓度马兰戈尼力的方向总是朝着凝固前沿的方向。