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

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