TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

扰动对天敌有多食性模型稳定性的影响

本文主要讨论了扰动对天敌具有多食性模型 x_1=x_1(r_1-a_1y), x_2=x_2(r_2-a_2y), y=y(-r_3+b_1x_1+b_2x_2)稳定性的影响。利用Liapunov函数得到了昆虫种类内部的密度制约,将促使昆虫与天敌系统进一步稳定化,进而得出同一食饵水平上的竞争是不稳定化的结论。其中后一种情况与J.M,Smith的结论完全一致。     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

大学生口算能力的实验研究

为考察大学生的口算能力,我们随机选取30名大学生为被试进行口算的实验研究,主要结论如下:(1)大学生的口算速率在加、减、乘、除法之间存在差异,从快到慢依次为:除法,借位减法,不借位减法,不进位加法,进位加法,乘法;(2)口算的广度从大到小依次为:不进位的加法广度,进位加法广度,不借位减法广度,借位减法广度,除法广度,乘法广度;(3)大学生口算的速度和广度既无显著的专业差异,也无显著的性别差异.     

计算机基础课程的探究型教学模式

在计算机基础课程的教学中采用探究型教学模式，对培养学生应用信息技术的能力和创新能力是非常有利的．结合教学实践，对探究型教学模式的3个环节进行了详细的论述，并指出在具体实施过程中应注意的若干问题。     

Server-Agents-Users通信系统的Stackelberg模型

在多媒体通信系统中引入代理服务器，使其成为Server—Agents—Users系统，并用对策论的Stackelberg理论研究该系统．针对Server、Agents和Users地位不平等的情况，建立了该系统的Stackelberg策略模型，得到一个三层规划模型．     

OSCILLATION FOR SOLUTIONS OF SYSTEMS OF N-TH ORDER PARTIAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper, some sufficient conditions for the oscillation for solutions to systems of n-th order partial functional differential equations are obtained.     

从数学解题看数学美

本论述了“教学好玩”(陈省身语)的五个方面；教学语言精确；教学发现(类比发现；归纳发现和直党发现)；教学解题思路；教学思想方法和数学应用都体现了教学关。     

代数构造及在Ramsey理论中的应用

这篇文章在伽罗瓦域上的代数构造和关于一些特定类型图的Ramsey数之间建立了一个关系. 研究了关于伽罗瓦域上的代数构造的方程及方程组的解. 我们得到了一些关于二部图的Ramsey数的新的下界和上界.     

青岛港货运吞吐量的时间序列模型

运用时间序列分析方法对时间序列建立ARMA,ARIMA模型.搜集了青岛港1999年1月～2003年5月的货运吞吐量数据,对进行分析,建立了青岛港货运吞吐量的模型.通过预留的部分数据对模型进行检验,并对模型的残差进行检验,得出模型比较合理.