通用多边形覆盖算法及图形分解软件

通用多边形覆盖算法及图形分解软件袁为民（南洋信息与控制工程公司）关键词算法，多边形覆盖，掩膜图形分解中留法分类号ＴＰ３１７１文献回顾和算法简述针对集成工艺中所涉及的掩膜图形的多样性和复杂性，本文提出一种通用性较强的多边形覆盖算法，并已实现为图形分解软...     

定程序复杂度和路径覆盖的方法

通过分析选择结构和循环结构之间的关系,在传统方法的基础上,提出了不使用公式求程序复杂度的新方法。对测试具有循环结构的程序,给出一种新的思路,用来选取符合路径覆盖要求的测试方案。     

关于解析函数单叶性的判则

对于在区域G内具有某些性质的解析函数f:G→C,本文定理1指出(G,f)是f(G)的有穷叶光滑非限覆盖曲面.作为应用,在定理3中讨论了B(0;1)内满足条件f(0)=f′(0)-1=0的解析函数的单叶性与其Taylor展式的系数及其边界值的关系.     

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。     

覆沙层下大采高工作面覆岩运移规律

大采高开采的方法是提高煤炭资源回收、实现矿井高产高效的重要发展方向,但也造成工作面覆岩破坏严重。为此,文中以宁东煤田赋存的覆沙层下特厚煤层为背景开展大采全高工作面覆岩运移研究,运用相似模拟的方法并综合多种监测仪器从模拟现象、力源两个角度对大采高工作面覆岩运移、下沉乃至垮落的特征进行了全程监测与分析。研究表明:大采高工作面覆岩垮落初次来压步距较大,支架带压移架后极易发生直接顶乃至老顶的突然垮落,工作面来压强烈、伴随有明显的支架动载现象;延伸至地表的裂隙有诱发地表覆沙层弯曲、有溃入工作面的可能;模型开采结束后形成了6条贯穿至地表且与工作面推进方向成60°的垮落裂缝;模型内部各岩层下沉范围随着工作面的推进而不断扩大,呈U字型下沉趋势。     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

模糊广义决策信息系统的证据特征与信任约简

探究模糊广义决策信息系统的证据特征和信任约简.首先,给出模糊广义决策信息系统中的模糊上、下近似算子及其相关性质.然后,基于证据理论探讨模糊广义决策信息系统的数值特征,并在模糊广义决策信息系统中,利用证据理论中的模糊信任和模糊似然函数对模糊近似集进行刻画.最后,根据模糊信任函数定义的属性重要度,提出模糊广义决策信息系统信任约简的算法,并给出实例验证其有效性.     

大体积覆土开挖卸载对盾构隧道的变形影响

采用有限元软件,对曹妃甸工业区跨纳潮河综合盾构隧道管廊在运营阶段上方规划河的开挖工况进行了分析,对大范围覆土卸载条件下的盾构隧道变形进行了研究．结果表明：盾构隧道在上方覆土开挖卸载时变形存在4处反弯点．通过加密设置变形缝,可满足盾构变形需要．     

线性空间的覆盖

本文讨论了线性空间的覆盖,并通过几个例子说明了它的应用。     

覆盖同伦定理的有关讨论

覆盖空间的理论不仅在拓朴学中,而且在一些相关学科如微分几何,李群,黎曼曲面的理论中都有着重要的作用.覆盖同伦定理是覆盖空间的理论中的一个重要定理.但此定理的条件在一些著作中有着不同的规定.本文主要指出了[1]中的覆盖同伦定理的条件不充分,并补充了定理的条件.