Necessary and sufficient conditions of existence and uniqueness of solutions to integral equations of actuarial mathematics

Necessary and sufficient conditions of existence and uniqueness of solutions of integral equations are established for ruin probability as a function of the initial capital of an insurance company. Several sufficient conditions and correctness conditions of the problem of finding ruin probability are also established. A general method of successive approximations for solution of this problem is substantiated. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 5, pp. 157–164, September–October 2006.     

电厂厂前建筑设计的独特性因素

结合屯留电厂办公楼设计的经验和教训,论述与一般民用建筑设计的异同点;从建筑群落的整体性出发,分析电厂厂前建筑设计中,在建筑风格、色彩、材质、建筑尺度等方面要考虑的特殊因素,以便于在设计过程中引起足够的重视.探讨电厂厂前建筑设计的思路,以及材料、色彩选择的原则性建议,以适应电厂建筑整体形象设计的要求.     

具功能性反应函数的食饵-捕食系统的定性分析

研究了具功能性反应函数的食饵-捕食2种群模型．在g（x）=a-bx^m，φ（x）=cx^θ及m＋θ=1的情形下，分别讨论了各类系统的平衡点状态，并得到了极限环存在性与唯一性的相关条件．     

一类被开发的食饵捕食系统

考虑捕食者无密度制约和捕获、食饵种群具有非线性密度制约和捕获的一类功能性反应的食饵捕食系统,对其进行定性分析,证明了不稳定的正平衡点附近存在唯一的极限环.     

论机件最佳表达方案的选择

从主视图存在的唯一性、选择的制约性以及表达方法应用的程序性出发，提出了机件最佳表达方案的确定步骤。     

一类反应扩散方程组解的存在惟一性

对一类反应扩散方程组利用变量变换的方法得到与其具有同解性的热传导方程。在一定假设条件下,研究热传导方程解的性质,再南紧性得到满足原假设的解的收敛序列,从而得到热传导方程解的存在性与惟一性。借助于方程与方程组的同解性,最终得到反应扩散方程组解的存在惟一性。     

关于电磁场唯一解的条件

本文指出了边值问题唯一性条件的几种提法所存在的问题,导出了一般矢量场唯一解的条件,并对时变场中电磁场的唯一性进行了讨论。     

一类捕食——食饵模型正解的存在唯一性与稳定性

本文主要研究一类具有非单调生长率的捕食食饵模型的平衡态正解问题．首先通过计算锥上紧算子的不动点指标,得到了正解存在的充分条件;其次,运用线性算子扰动理论以及拓扑度理论,讨论了参数对于正解唯一性与线性稳定性的影响;最后,通过数值模拟分别验证了在一维空间和二维空间下正解的存在性结论,也就是捕食者和食饵在一定条件下可以共存．     

一种基于距离分区的BIM模型零水印算法

针对建筑信息模型（BIM）模型版权保护的问题,基于BIM的数据特征提出了一种BIM模型的零水印算法.首先,将不同数据中约束性不强的点图元排除,获得其他点图元的位置信息,计算单体模型的特征点到各个点图元的基准点之间的距离作为水印构造的载体;其次,将特征值进行排序,求出相邻点之间的变化率,将不符合要求的特征值排除;最后,根据特征值的特征对特征值分区,利用各分区中特征值的奇偶性构造一种用于BIM模型版权保护的零水印算法.实验结果证明,所提算法安全性高,可对常规攻击平移、旋转和模型详细程度的变化有较强的鲁棒性,能够满足实用性的需求,对BIM模型的版权保护有重要价值.     

一类倒向随机微分方程解的存在唯一性和稳定性

在系数非Lipschitz连续的条件下，证明了Duffie—Nptein型倒向随机微分方程解的存在唯一性，并研究了解的稳定性问题。