一种全局优化的多面体凸分解匹配方法

提出了一种全局优化的多面体匹配方法，该方法对物体的拓扑关系和结构关系进行多级匹配,利用全局优化的松驰迭代方法减少匹配误差，并由匹配的一致性准则进行匹配结果的检测，根据物体的内在特征来进行匹配，从而解决非同构物体的匹配.可广泛应用于物体识别、三维物体重建、医学图象处理等领域，实验证明此方法质量好、自动化程度高，是一种有效的全局优化结构匹配方法．     

自动检测系统原理应用和发展状况的研究

自动检测系统广泛应用于各类产品的设计、生产、使用、维护等各个阶段,对提高产品性能及生产率、降低生产成本及整个生产周期成本起着重要作用。首先介绍了检测、检验以及自动检测系统的概念,其次通过自动检测系统的各个组成部分,详述了系统的工作原理,介绍了自动检测系统组建的概念、结构以及在组建中所使用的关键技术。对早期的自动检测系统和新一代自动检测系统进行了介绍,并详述自动检测系统的3个发展阶段。     

雨水集流时间和径流面积取值问题探讨

雨水集流时间和径流面积取值是城市、厂矿中雨水排水渠设计流量和设计断面的主要依据 ,文章用 3种方法探讨管段用哪一点的设计流量代替全管道的设计流量最为合理     

立足实际创新思路努力搞好雨水资源集蓄利用

水资源问题已经成为全球关注的热点，成为未来经济和社会能否实现可持续发展的重要前提条件，对于严重缺水地区尤其如此。甘肃省是中国北方地区一个水资源严重短缺的省份，干旱缺水不仅给甘肃省经济社会的发展带来明显制约，而且在相当一部分农村造成人畜饮水严重困难。近些年来，甘肃省在利用集蓄雨水资源解决人畜饮水、发展节水高效农业和推动生态环境建设方面进行了积极的探索和实践，不仅较好地解决了雨水利用中集流形式、储存方式、利用模式三大难题，还大面积地在半干旱地区推广应用了新型雨水集蓄利用技术，建设了大量的各类雨水集蓄利用工程，实现了雨水资源的广泛利用，创出了一条适合干旱半干旱地区的兴水治旱新路子。雨水利用已发展成为甘肃省干旱半干旱地区解决缺水与水资源危机的一项重要措施，产生了显著的经济和社会效益，引起了国际社会的极大关注。     

潜水位以下沉箱封闭法施工技术

某宾馆会议楼工程基础施工时，与相邻楼房(高53m)最近处仅2m，该楼房基底标高为-7．100m；而新建会议楼基底标高为-9．200-11．450m，稍有不慎即可能引起相邻楼房不均匀沉降或会议楼基坑相邻地段土体隆起。     

关于测度的扩张及其完备化

给出测度的扩张，且对测度的完备化，作了进一步的补充。     

Constructive Sets in Computable Sets

The original interpretation of the constructive set theory CZF in Martin-Loef‘s type theory uses the‘extensional identity types’.It is generally believed that these‘types’do not belong to type theory.In this paper it will be shown that the interpretation goes through without identity types.This paper will also show that the interpretation can be given in an intensional type theory.This reflects the computational nature of the interpretation.This computational aspect is reinforced by an ω-Set moel of CZF.