一些组合地图新算法的实现

本文主要讨论组合地图列举问题.刘的一部专著中提出了一个判定两个地图是否同构的算法.该算法的时间复杂度为O(m2),其中m为下图的规模.在此基础上,本文给出一个用于地图列举以及进而计算任意连通下图的地图亏格分布的通用算法.本文所得结果比之前文献中所给结果更优.     

离散的SI和SIS传染病模型的研究

为了描述个体的死亡、染病者的恢复以及疾病的传染,引入了相应的概率.基于总种群中个体数量为常数的假设,根据染病者能否恢复分别建立了具有生命动力学的离散SI和SIS传染病模型.所得到的结果显示:它们具有与相应连续模型相同的动力学性态,并确定了各自的阈值.在它们的阈值之下,传染病最终将灭绝;在它们的阈值之上,传染病将会发展成为地方病,染病者的数量将趋向于一确定的正常数.     

运用新课程的理念提高数学复习课的课堂效率

如何提高数学复习课的教学效率?这是当前数学教学中值得研究的问题."复习",如果只是基础知识的简单罗列,难免使学生厌倦;如果只是习题解法的演示,又会令学生深陷题海无所适从……,对复习课的目标和功能的认识,决定了复习课内容的选择、教学的模式和教学的效果.     

最小填充问题的可分解性

起源于稀疏矩阵计算和其它应用领域的图G的最小填充问题是在图G中寻求一个内含边数最小的边集F使得G F是弦图.这里最小值|F|称为图G的填充数,表示为f(G).作为NP-困难问题,该问题的降维性质已被研究,其中包括它的可分解性.基本的可分解定理是:如果图G的一个点割集S是一个团,则G经由S是可分解的.作为推广,如果S是一个"近似"团(即只有极少数边丢失的团),则G经由S是可分解的.本文首先给出基本分解定理的另外一个推广:如果S是G的一个极小点割集且G-S含有至少|S|个分支,则G经由S是可分解的;其次,给出了这个新推广定理的一些应用.     

自由群的直积的检验元素的注记

本文研究了自由群的直积的检验元素,通过对直积的自同态的分解,得到了直积中的元素为检验元素的充分必要条件,改进了O'neill和Turner的结果.此外,构造了两类具体的检验元素.     

一个基于复制变异准则的蛋白质作用网络的构建模型

本文主要根据生物学的复制和变异的基本原理,提出了具有反偏爱复制特性的一个蛋白质作用网络的新的演化模型.通过计算,发现所得的网络与实测的蛋白质作用网络的某些拓扑性质能够很好的吻合.生成的网络不仅是稀疏的,而且具有小世界性和无标度(scale-free)性质.     

例谈题目“提示”信息的有效利用

解题的一个重要环节是"审题",审题的目的就是希望从题目中提取有用的解题信息.一些创新性的试题,常在题干中设置了明显的"提示"信息,而对于解题者而言,如何利用好题目的这些"提示"信息,将是成功解题的关键.     

高中数学专题研究的一个案例──关于沪闵路─春申路口红绿灯时间设置合理性的研究

一、专题的背景与分析 　　1. 背景 　　闵行区的沪闵路─春申路口是交通特别拥挤的交叉路口之一.家住莘庄地区的同学有一个共同的感受,在他们到校或回家路上必经的沪闵路─春申路口时常遇到塞车现象.……     

报童模型及ARMA预测在航空配餐问题中的应用

航班承载人数的不确定性,造成航空公司在配餐中利润的流失,现存的配餐模式存在较多的浪费.本文利用基于损失厌恶的报童模型和ARMA时间序列分析模型对深圳航空公司某航班的配餐份数进行了建模分析和预测,并通过对两种模型输出的比较,得出了长期预测与短期预测的模型应用理论.将实际的历史数据代人到模型中验证,其结果优于经验模式下的配餐盈利情况.本文所采用的研究方法和研究结果对航空公司的精益发展有建设性的意义.     

在向量解题中强化学生的解题意识

向量在近几年高考中越来越重要,其工具性作用已渗透以数学的各个分支.解答题中主要是以向量为载体的综合问题,体现向量"搭台",其他知识"唱戏"的特点.近年来高考中小题综合化的特点,已被大家所共识.选填题中对向量知识的考查更加灵活多变,对学生能力要求较高,可是只要是题型新颖一点或能力要求高点的题就成为学生得分的"事故多发地带".……     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

几个随机算子定理

得到Banach空间中随机隐函数存在定理、随机反函数定理和随机Hahn-Banach定理，它们是著名隐函数定理、反函数定理和Hahn-Banach控制延拓定理的随机化推广，这些定理在随机算子理论中将起重要作用。     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

向量在几何中的应用

近期将欧氏平面E2上的正弦定理和余弦定理推广到三维欧氏空间E3中,建立了E3中四面体空间角正弦定理、二面角正弦定理和四面体余弦定理,利用向量给出了三维余弦定理和三维正弦定理的简单证明.     

The Kakutani's precompactness lemma

In this paper we establish a theorem that extends and sharpens an old precompactness lemma due to Kakutani. We use this theorem to derive the classical Arzelà-Ascoli theorem and a theorem of Defant and Floret for families of linear operators. We also use this theorem to derive a theorem for composition operators which yields as immediate corollaries a theorem of Geue and a locally convex version of a theorem of Aron and Schottenloher.     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.     

连续型概率度量的特征及其应用

讨论了连续型概率度量空间,给出了连续型概率度量的特征定理.利用这个特征定理,我们获得了连续型概率度量空间的闭球套定理和M enger空间完备性特征定理.作为本文的应用获得了一个局部概率压缩映象不动点定理.     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

有关中值定理的探究性教学

通过对中值定理教学思路的设计,给出探究性教学方法的一个实例,即通过导数概念的物理意义导出Lagrange中值定理,经特殊化后推出Rolle定理,再经化归思想给出Lagrange定理的证明,最后推广得到Cauchy中值定理,并借助类比或化归思想分别给出Cauchy定理的证明．