地形地质剖面图的屏幕输出方法

本文论述了煤矿床地形地质剖面图的屏幕输出方法。特别是编写的多功能画线程序。圆满解决了地层的尖灭处理问题     

k正则的2.■_(1.3)图的周长

设G为k正则的2连通的不含K_(1.3)的图,则(ⅰ) c(G)≥min{|V(G)|,4k-2},且是最好可能的;(ⅱ)当|V(G)|≤5k-3时,G是哈密顿的。     

新型制造企业轮图及其功能研究

介绍新制造企业轮图的内容和特点，根据机械制造的现状与发展，对顾客中心作用，技能信息化和极端工艺技术等问题进行了研究。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

图的圆色数等于其色数的充分条件

图G的圆色数xc（G）（也称为星色数）是图的色数的一种推广,给出了图的圆色数等于其色数的一些充分条件。     

秩序向量表偶S=[A,B]完全k强的充要条件

给出秩序向量表偶 S=[A ,B]是二部竞赛图的完全 k强得分表偶的充要条件 ,部分解决了李炯生在“关于图的度序列”中提出的问题。     

中日传统医学中舌诊图的特征及其医学观的探讨

舌诊是以观察疾病时舌色的变化为主要目的而诞生的诊断技术。但是在舌诊书籍的流传过程中,中国医家逐渐用文字说明替代了舌诊图的色彩,而日本的医家却给舌诊图涂上了艳丽的颜色。中日医家对舌诊图的不同态度,体现了在图像的背后,两国医家所持有的不同医学观念。中国医家强调“理”在医学中的重要性,认为把握“理”,进一步达到“医者意也”的境界是医家的最高追求,拘泥于具体的图像会束缚人们把握医学的道理。日本医家主张通过“眼可见,手可及”的实验方法掌握识别疾病的技术,反对中国医家所强调的“理”与“意”。由此可知,如何以史为鉴,继承中日传统医学之优势、克服其弊端,使中医学为现代医疗卫生事业做出贡献,是医学研究者与史学研究者的重要使命。     

《中国长白山观赏植物彩色图志》

《中国长白山观赏植物彩色图志》是第一部系统介绍长白山野生观赏植物的志书．全书对长自山区绝大多数的野生观赏植物进行了系统调查和研究．详细地介绍了每一种植物的中文名、学名、别名、植物形态特征、花期、果期、分布范围、海拔高度、生活环境、园林用途、栽培技术及其他方面的经济价值．全书共介绍了104科、332属、609种、42变种、6变型观赏植物，并配有具有观赏价值的     

步数可变循环图中生成树的计数

生成树的个数是评估图(网络)可靠性的一个重要且被广泛研究的量.一般的图还无简单有效的算法计算生成树的个数,利用切比雪夫多项式的性质推出了步数可变循环图中生成树计数的在线性时间内即可实现的算法,并应用于具体的图中.     

3-连通图支撑树上的可去边数

设e是3-连通图G的一条边,若G-e是某个3-连通图的部分图,则称e是G的可去边.我们对3-连通图G的支撑树上可去边数进行了研究,给出了"阶至少为6且最小度为4(或围长至少为4)的3-连通图G的支撑树上的可去边数至少为2"的简化证明,证明了3-连通3正则图的支撑树上至少有2条可去边.