格上拟一致结构的分明化

利用范畴代数,首次给出了拓扑分子格与拟一致分子格的分明形式,使格上的拓扑结构与分明的拓扑结构建立了某种自然的联系,从而将格上的拓扑结构的研究最终归结到分明情形的研究。     

拟度量空间上映射的公共不动点

引入满足收缩条件的映射族,通过构造拟度量空间上的收敛序列,证明了在拟度量空间上满足收缩条件映射族的唯一公共不动点定理,研究成果补充了很多Banach收缩原理在其他文献中的推广结果。     

一类拓扑等价度量空间的生成及性质

拓扑等价度量之研究在理论与应用上均甚有价值。已故李孝传教授在这方面作了一系列研究，本文在有界而非全有界之度量空间上定义一拓扑等价之新度量，并研究了所生成的新的度量空间的一些性质 。     

D.H.Lehmer问题中数列的伪随机性

伪随机二进制数列在密码学中扮演着重要的角色,D.H.Lehmer问题是数论中一个非常重要的问题.郭晓艳给出D.H.Lehmer问题的一个推广,由此生成一种新的伪随机二进制数列,并研究了其一致分布测度、2阶相关测度和2阶联合测度.利用解析方法讨论了更一般的情况,即研究了其l阶相关测度和l阶联合测度.     

概率约束评估的功能度量法及其MATLAB实现

基于可靠性的结构优化通常表述为在概率约束下最小化目标函数,其中概率约束的评定可以通过两种方法进行——传统的可靠指标法和最近被提出的功能度量法.本文简单介绍了功能度量法,明确概率功能度量的求解表述为许可可靠指标下功能函数极小值的优化问题.然后利用MATLAB强大的优化功能求解该优化模型,从而得到概率功能度量.最后给出算例,证明了可靠指标法与功能度量法在评价概率约束时的等效性,同时验证了功能度量法比可靠指标法更稳定,较少依赖于随机变量的概率分布类型.可靠指标求解的正确性都用Monte-Carlo模拟进行了验证.     

GF-空间上Nash平衡的存在性结果

在抽象凸空间中,给出GF-空间和强Fan-Browder不动点性质的定义,并且在GF-空间中,应用抽象函数代替实值函数作为博弈支付函数,构造GF-空间中博弈模型,应用强Fan-Browder不动点性质证明GF-空间上博弈模型Nash均衡点的存在性.同时也证明了在度量空间和紧拓扑空间上的闭值KKM映射具有有限交性质.     

双曲空间中的拉普拉斯算子

拉普拉斯算子是黎曼流形上一类重要的微分算子,流形上很多问题的研究都与拉普拉斯算子有关。文章得到了不同双曲空间模型中拉普拉斯算子的计算公式,利用这些计算公式,通过计算具体函数的拉普拉斯,可以直观地看到拉普拉斯算子与度量密切是相关的。     

Lukasiewicz模糊命题逻辑系统的计量化与近似推理

为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明:3种近似推理模式在随机逻辑度量空间中是等价的。     

半序概率度量空间中增算子的不动点定理

不动点理论是非线性泛函分析的重要组成部分,对非线性微分积分方程的研究有重要意义.半序方法是研究非线性算子方程问题的主要方法之一,在概率度量空间中通过泛函引入半序,并利用此半序研究概率度量空间中增算子的不动点的存在性问题,得到一些不动点存在性定理.     

有限维拟赋范空间中的Riesz定理

在有限维拟赋范空间上重新定义一个拟范数,将度量空间中的Riesz定理推广到有限维拟赋范空间。     

巷道围岩初始应力场和弹性模量的区间反演方法

从有限元数值计算的角度对岩土工程参数的可辨性进行了分析。在可辨识性分析的基础上，考虑观测数据的不确定性，建立了在联合采用围岩位移和应力观测数据的同时，识别地应力和围岩弹性模量的反演模型。并采用约束变尺度方法求解该反演模型，获得地应力和弹性所在区间范围。     

q变形迭加光场态的非经典特性

本文研究了q变形真空态10>q与q—相干态lZ>q的迭加光场态的压缩及聚束与反聚束效应,得出q参数可控制压缩效应、及反聚束效应、聚束效应则不受q参数的影响.     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

中国绿色建筑评估标准研究

介绍了中国绿色建筑发展的背景、绿色建筑评估标准研究的过程.阐述了绿色建筑评估标准制定的框架与原则,采用的方法.结合中国的国情,提出了绿色建筑评估标准制定中需要特别注意的问题.     

基于ARCH模型残差偏移距离的#br# 非线性损伤检测和试验研究

为了解决空间钢架结构非线性损伤的识别问题，提出了一种基于自回归条件异方差(auto regressive conditional heteroskedastic，ARCH)模型残差偏移距离的损伤识别方法。文章首先描述ARCH模型的基本理论，并给出了ARCH模型建模的定阶方法和模型参数的估计方法；接着分析结构非线性损伤的特性；然后，考虑到传统的非线性识别指标难以运用到空间钢架结构，提出基于ARCH模型的欧氏距离指标和改进的残差偏移距离指标识别钢结构损伤位置。最后，使用一个8层剪切结构数值模拟验证了2个损伤指标的有效性，并且将文章提出的指标运用于输电塔钢架模型的非线性损伤识别试验中。模拟和试验结果表明，传统的非线性损伤识别指标难以直接运用于钢架的损伤识别，而建议的欧氏距离指标和残差偏移距离指标可以较好地识别出钢架结构的非线性损伤。     

湿陷性黄土的变形机理与本构关系

基于微结构突变失稳假说,深入研究湿陷性黄土的变形机理,将体积湿陷与剪切湿陷统一到同一个突变模式,给出了黄土湿陷变形的一个完整的本构关系。计算和实验结果都表明:湿陷变形与应力状态及应力路径有很大关系,且体应变与八面体剪应变受球应力与八面体剪应力的交叉影响。发现不同应力比对应的剪切曲线上的交叉现象是湿陷性黄土的物理特征之一。最后,利用该理论对与黄土湿陷变形有关的问题进行了讨论     

某大型基坑超深挖加固实例分析

本文介绍了某办公楼大型基坑的超深挖加固设计。在已施工并开挖至设计标高的围护桩基坑内,利用原支护桩,在其中部增设一道预应力锚索和角部增设支顶梁进行补强加固,施工监测表明该加固方案安全、经济、合理,可供处理类似工程问题时参考。     

Image Frequency Analysis for Testing of Fire Service Thermal Imaging Cameras

A growing number of first responders are purchasing infrared cameras (thermal imagers). Thermal imagers provide critical information for many firefighting operations: size up, tracking of fire growth, location of victims and egress routes, overhaul, etc…. Although thermal imagers have proven to be useful tools for the fire service over the past 10–15 years, there is no existing comprehensive performance standard for thermal imagers used in fire service applications. A suite of thermal imager performance metrics and test methods is being developed for possible inclusion in a proposed standard on thermal imagers for the fire service. The following goals apply to two of the imaging performance metrics in this suite: to explore the feasibility of a new spatial resolution metric and test method, the Random Modulation Transfer Function (MTF); and to transfer the essential characteristics of complex fire scene images to a thermal target for the effective temperature range test using image frequency content analysis. Images of humans standing in an upright position at varying distances from the thermal imager under test and wearing either street clothes or turnout gear were analyzed for frequency content. These data were then used to determine the frequency of a bar target for the bench-scale effective temperature range test.     

Using river distances in the space/time estimation of dissolved oxygen along two impaired river networks in New Jersey

Understanding surface water quality is a critical step towards protecting human health and ecological stability. Because of resource deficiencies and the large number of river miles needing assessment, there is a need for a methodology that can accurately depict river water quality where data do not exist. The objective of this research is to implement a methodology that incorporates a river metric into the space/time analysis of dissolved oxygen data for two impaired river basins. An efficient algorithm is developed to calculate river distances within the BMElib statistical package for space/time geostatistics. We find that using a river distance in a space/time context leads to an appreciable 10% reduction in the overall estimation error, and results in maps of DO that are more realistic than those obtained using a Euclidean distance. As a result river distance is used in the subsequent non-attainment assessment of DO for two impaired river basins in New Jersey.