有圈二部图覆盖的一个结果

H.Wang猜想,对于任意整数k≥2,存在N(k)使得二部图G=(V1,V2,E)中,V1=V2=n≥N(k),且对于G中任意一对不相邻的顶点x∈V1,y∈V2,有d(x)+d(y)≥n+k,那么,对于G中任意k个独立边e1,e2,e3,…,ek,存在顶点不重的k个圈C1,C2,…,Ck,使得ei∈E(Ci),i∈{1,2,…,k}和V(C1∪C2∪…∪Ck)=V(G).H.Wang及J.A.Bondy对k=2,3时证明了猜想成立,本文对k=4证明了猜想的正确性.     

基于复曲面的准分子激光屈光矫正计算模型

为了建立准分子激光屈光矫正计算模型来引导准分子激光屈光手术,根据角膜非球面的生理特征,将手术前角膜表面假设成在2个主径线上具有不同曲率半径的复曲面,在理论上建立屈光不正和角膜切削量的关系,按照规则散光的5种不同分类(研究复性近视散光、复性远视散光、单纯近视散光、单纯远视散光、混合散光的准分子激光切削数学模型)来计算准分子激光矫正屈光不正时角膜的切削量,达到矫正人眼规则散光的目的,经临床应用取得了良好效果.     

无平方因子奇数DCS的一个必要条件

设A=｛as(ms):s=1, ,k｝为无平方因子奇数不同模覆盖系,设模的最小公倍数N=［m1,m2, ,mk］=p1p2 pn,其中p1相似文献   

松辽盆地东部构造带白垩系沉积特征研究

松辽盆地东部构造带由于受构造抬升运动和构造反转作用影响明显,白垩系盖层沉积厚度较薄局部剥蚀严重,综合石油地质条件较差。随着区内南部榆树断陷、梨树断陷、德惠断陷等一系列断陷油气勘探取得成功以及北部绥化断陷发育良好的生储盖组合,表明松辽盆地东部赋存丰富的油气资源,但目前缺乏对东部构造带白垩系盖层沉积特征和沉积相演化系统而全面的研究,使得东部构造带整体的油气勘探和资源评估存在较大制约。本文主要通过精细的野外剖面测量并结合钻井资料和前人的研究成果,对松辽盆地东部构造带白垩纪时期与五个构造演化阶段相对应的沉积物特征研究,从而全面掌握了东部构造带白垩系沉积特征和沉积相演化规律。     

ε-Dependent Controllability for Two Time-Scale Systems

This paper investigates the controllability of two time-scale systems using both the time-scale separation model and the slow-fast order reduction model.This work considers the effect of a singular perturbation parameter on the model transformations to improve the criterion precision.The Maclaurin expansion method and homotopy arithmetic are introduced to obtainε-dependent controllability criteria.Examples indicate that theε-dependent controllability criteria are more accurate and that the controllabilit...     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

模糊控制在智能气调保鲜中的应用

针对果蔬气调自动保鲜控制系统中环境参量变化情况,通过模糊控制原理的分析和模糊控制器的设计,实现对制冷机组、加湿器、真空电机和空气阀门启停的控制,并取得比较满意的效果．     

珠江口水域AIS基站的设计

分析珠江口AIS系统的吞吐性能及其影响因素的评价方式,计算出AIS基站在备选位置两种概率情形下的覆盖范围,同时,对AIS基站使用的两种频道的场强进行了测试,结果符合AIS基站正常工作所具备的电磁环境.基于此,依据基站的选址原则,确定基站的具体位置,并在海图上加以描绘,实现了珠江口AIS基站科学、合理的布局,构造完整的AIS网络,使珠江口水域达到无缝覆盖.最后,设计出珠江口水域AIS布局的总体方案.     

基于矩阵直积的膨胀图构造

将矩阵直积的概念引入图论,证明了直积图的结点数、度及特征值分别等于原图结点数之积、度之积和特征值之积,并将这些性质应用于由两个膨胀图构造一个新的膨胀图,分别从矩阵的角度和图的角度给出了构造算法。     

从粒子角度研究164号元胞自动机的极限语言复杂性

通过定义164号元胞自动机的基本粒子,找到了粒子的逆演化规律,从而完全确定了其极限语言,并证明了164号元胞自动机的极限语言是正规的。结果表明:用有限自动机就可以接收该极限语言。