可以贷款和投资的古典绝对破产模型的3个保险精算量的联合分布

考虑可以贷款和投资的古典绝对破产模型,利用其马氏性给出了3个保险精算量的联合分布。     

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。     

Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布

利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。     

一种n值逻辑系统中命题的条件真度

基于条件概率的思想,在n值R0-命题逻辑系统Ln*中引入条件真度的概念,并讨论该条件真度的性质及相应的推理规则。     

具有不同时滞反馈项的Lurie系统的绝对稳定性

讨论了一类直接控制系统的稳定性问题 ,利用Lyapunov泛函方法得到了具有不同时滞反馈控制项的Lurie型直接控制系统绝对稳定的充分条件。     

铟离子5s21S0-5s5p3P0参考用跃迁频率的精密测量

报道了建立铟单离子(¹¹⁵In⁺)光频标实验系统的实验进展。单个离子囚禁在Paul-Straubel型离子阱中,利用激光边带冷却技术将其冷却至最低振动能态。为了探测和测量铟离子参考用跃迁5s²¹S₀-5s5p³P₀的频率,使用一台Hz量级超窄线宽激光作为探测激光,用以获得量子跳跃信号。用一台以商用铯原子钟为基准的飞秒光频梳作为测量工具,对其频率进行了20次的精密测量,相对不确定度为5.0×10^-14。     

一种免控制点的近景影像绝对定向算法

在摄影测量绝对定向算法中要确定七个绝对定向元素,因此需要布设足够多的物方控制点。当近景摄影测量不需要确定被摄对象在空间的绝对位置时,采用传统的绝对定向方法就会增加像片控制测量工作量,从而降低工作效率的问题。提出了一种无控制点的近景摄影测量绝对定向算法。该方法对有铅垂方向的被摄物体,只需现场量测被摄物体上任一沿被测对象走向线段的长度和被摄物体的走向,即可确定像对构建模型的空间相对方位。实验结果表明,该算法可达到厘米级的定向精度。     

具有时滞的脉冲型Lurie控制系统的绝对稳定性

利用李亚普诺夫函数和线性矩阵不等式方法,研究具有时滞的脉冲型Lurie控制系统的绝对稳定性,给出了系统绝对稳定的若干充分条件,这些条件与时滞无关且对脉冲的限制较宽松．有些条件要求系统矩阵A为赫尔维茨矩阵,另一些条件不要求A为赫尔维茨矩阵,这表明脉冲的存在能使系统的特性发生改变,同时也说明了具有时滞的脉冲型Lurie控制系统的动态特性比具有时滞的Lurie控制系统的动态特性更复杂．     

单目标选址问题的研究

对有关文献中关于选址问题的算法,做了概述和利弊分析．研究解决不带约束的单目标绝对值距离选址问题,建立该问题的数学模型,引入适当的变换,转化为一个线性规划模型,利用单纯形法对其进行求解,计算实例表明这种方法简单有效。     

绝对豁免主义和限制豁免主义的比较分析

针对国际法中的一项基本原则即国家豁免原则,在二战出现的两种树立的理论和实践进行了比较分析,从不同的角度具体阐述了绝对豁免主义,限制豁免主义的合理性因素及其不足之处,提出了解决绝对豁免主义和限制豁免主义分歧的办法和途径。