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

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

GPS网与地面网约束条件的序贯平差

采用简洁的方式,导出了固定参数序贯平差的计算公式,并对ＧＰＳ网与地面网中存在的固定边长和固定坐标方位角等约束条件进行序贯平差。结合矿区实例,讨论了约束条件的精度对ＧＰＳ网精度的影响问题。     

人的可靠性分析:需要、状况和进展

本文回顾了人的可靠性分析（ＨＲＡ）的研究历史,叙述了当前的研究进展,介绍了相关的第一代ＨＲＡ方法以及人的行为类型和失误分类的基本概念和部分人的动态认知模型,重点介绍了两种第二代的ＨＲＡ方法．     

Economic and statistical measures of forecast accuracy

This paper argues in favour of a closer link between the decision and the forecast evaluation problems. Although the idea of using decision theory for forecast evaluation appears early in the dynamic stochastic programming literature, and has continued to be used with meteorological forecasts, it is hardly mentioned in standard academic texts on economic forecasting. Some of the main issues involved are illustrated in the context of a two‐state, two‐action decision problem as well as in a more general setting. Relationships between statistical and economic methods of forecast evaluation are discussed and links between the Kuipers score used as a measure of forecast accuracy in the meteorology literature and the market timing tests used in finance are established. An empirical application to the problem of stock market predictability is also provided, and the conditions under which such predictability could be explained in the presence of transaction costs are discussed. Copyright © 2000 John Wiley & Sons, Ltd.     

苏德尔特贝16断块兴安岭群复杂岩性识别方法

苏德尔特贝16断块兴安岭群为火山碎屑沉积岩和正常沉积岩储层,发育沉凝灰岩、凝灰质砂岩、砂砾岩等10余种岩性、识别难度大,严重制约该区储层评价工作的开展。根据岩心薄片分析、录井及测井资料,对该区兴安岭群储层主要岩性及测井响应特征进行了分析,优选交会图版对主要岩性进行定性识别。运用基于概率统计学理论岩性判别技术对该区复杂岩性进行自动识别,并将判别结果与薄片分析进行对比,结果表明,该方法计算速度快、判别精度高。     

基于突变理论的边坡监测预警概率性模型研究

为解决边坡系统演化过程中不确定因素的影响,得到非确定性的边坡预警结果。结合突变理论与广义胞映射理论提出了一种边坡监测预警概率性模型。该模型采用尖点突变理论识别边坡稳定状态;将边坡稳定性演化结果视为随机事件,基于广义胞映射理论计算滑坡在某一时刻准时发生、提前发生、滞后发生、滑坡不发生的概率,从而实现边坡概率性预警。利用该模型计算了某黄土区工程边坡在某时刻发生失稳的概率为100%,且滞后发生的概率为83.8%,判定边坡系统突变会在该时刻之后发生,预警结果与实际情况一致,验证了该模型的有效性。与传统模型相比,概率性预警模型可提供更丰富合理的信息,有助于提升监测预警的准确率,为边坡监测预警研究提供了一种新思路。     

分析动力学中的基本方程与非完整约束

对于受约束的系统, 分析动力学主要基于 d’Almbert-Lagrange 原理、Gauss 原理、Jourdian 原理和Hamilton 原理等, 利用虚位移限制方程, 建立包含乘子的动力学基本方程, 或利用约束嵌入的方式, 降低系统动力学方程的维数。作者系统回顾分析动力学发展历程, 对一些基本概念, 如虚位移、理想约束、Lagrange 乘子与约束力之间的关系等, 给出诠释。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

Hooke-Jeeves方法在简单约束优化中的推广

分别将无约束优化的线搜索和离散步Hooke-Jeeves算法推广到带广义界的简单约束优化,产生2个新算法,得到可行区间的计算公式．在适当条件下,证明线搜索的Hooke-Jeeves算法推广后仍具有全局收敛性,算法有效数值试验表明2个算法均是有效的．     

支持AFTER子句的综合算法研究

为了提高综合系统的效率,减少对综合系统的人工干预,提高其自动化程度,对VHDL硬件描述语言中的AFTER子句进行研究.通过对其行为综合语义的定义,给出了在AFTER子句时延约束下的ASAP和ALAP算法,建立了AFTER子句时延约束下的调度模型,并采用整数线性规划法求解调度模型.实验结果表明,在综合过程中考虑AFTER子句,不仅提供了一个有效给出时序约束的手段,而且使得设计描述方式更能够符合思维习惯,同时扩大了行为描述中可用语法范围,提高了行为综合的可预见性.