一类上可嵌入图

本文主要证明了如下结果 :设G为 3-连通图 ,若G的顶点集存在一个C一划分 {V1,V2 ,… ,Vn} ,使得对每个 1≤i≤n ,|Vi|≡ 0 (mod 2 ) ,且对任意的v∈V(G) ,dG=(v)≡ 1(mod 2 ) ,则G是上可嵌入的 .     

关于Ramsey数下界的一个注记

Ramsey理论是组合论中的一个重要内容，但确定Ramsey数R(k，f)是非常困难的．给出了Ramsey数R(k1，k2，…，km)的一个下界公式；同时也指出了2002年《数学的实践与认识》上某论文中的一些错误。     

遥感专家分类系统在滇西北植被信息提取中的应用试验研究

 选取滇西北香格里拉县的大中甸乡作为试验区,基于GPS定位调查对试验区典型覆盖地物的遥感多光谱信息进行测定与分析理解,集成GIS功能进行地形模型的变量处理,利用ERDASIMAGINE遥感专家分类系统模块,探索对试验区主要植被类型进行智能提取的知识库设计与分类组织实施.初步探索结果表明.相对于仅仅基于遥感光谱信息的传统分类方法,由于专家系统技术可以组织多变量参与分类信息提取,并通过专家综合分析进行灵活多变的规则知识库设计,还可根据区域特征与环境资源管理需要对专家分类过程实行反复调试的功能,因此,专家系统技术在自然环境复杂多样的云南山区植被信息提取中具有较为突出的先进性和实用性.对于试验结果,可通过适当的规则修改调整,将有关技术方法应用推广到其它广大山区.     

土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》(软件 )的开发背景 ,软件的需求 .功能、特点及实施过程 ,并提出土地管理信息系统建设的一点思考 .     

二连通二部图的偶泛圈性

范更华证明了如下结论:设G是具有n个点的二连通图(n≥3),若对任一对使d(u,v)=2的点有max{d(u),v(v)}≥π/2,则G是哈密顿圈的。将范氏条件限制在二部图上,已经得到二连通的二部图是哈密顿圈的一个类似充分条件。本文证明该充分条件亦保证了二部图的偶泛圈性:设二连通的平衡二部图G=(X,Y;E)每部有n个点,若对任一对使d(U,v)=2的点有max{d(u),d(v)}>π/2,则G为偶泛圈的。该结果是最好的可能。     

环形窄通道内流动沸腾换热及两相流型研究

实验研究了垂直向上窄缝环形管内流动沸腾换热特性和流型变化，窄缝宽度为1—2．5mm．实验结果表明，窄缝内沸腾传热有明显强化，并出现了区别于常规尺寸管内的两相流型和局部换热特性。     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

水电站能量指标计算软件的更新与扩展

2000年实施的《水电工程水利计算规范》明确指出：依据水库调度图按平均水头计算的电量可能与实际差别较大。因此，运用快速发展的计算机硬件、软件技术对相关软件进行全面更新，以适应新的国家标准，并在功能上予以扩展，涵盖能量指标计算、复核、考核、调峰优化排序、发电量预测、MIS等功能。     

广义Ramsey数p(n,k)的若干性质

设n ,k≥ 3为自然数 ,p(n ,k)是最小的正整数p ,使得对任何阶图G ,或者G有n点导出子图至少有n - 1条边 ,或者G有k点独立集 ,则本文证明 :( 1 )p(n ,k) ≥max{p(n ,k-1 ) ,p(n- 1 ,k) },( 2 )当n<3k - 4时有p(n ,k) ≥ 2k- 2 + [n/3],这里 [·]是最大取整函数 .     

相交柱锥表面展开图的计算机绘制

根据曲面到平面的等距变换原理，运用可展曲面及其曲面上的截交线或相贯线变换到平面上的方法，使曲面展开变得更为简捷、精确，且更有利于计算机辅助几何设计中建立曲面展开的数学模型和合理的算法，尤其对开展精度要求高的曲面展开更为有利。通过对轴线相交的圆柱体和圆锥体数学模型的研究，建立了展开曲线方程，用VBA语言结合Atutomation技术编制了通用的计算机程序，将展开图在AutoCAD2000上加以绘制，实现了任意大小的圆柱与圆锥展开图的参数化CAD，从而在理论上开发了面向对象的参数化设计系统，并介绍了具体实现的方法、过程。在实际工程中，对计算机在相贯件下料中的应用，具有快速、准确、修改方便的特点。