简介:定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.
简介:由于保险公司经营规模的不断扩大,险种类型的增多,用古典风险模型及其其它推广的单一险种风险模型来研究其风险经营过程存在着局限性,因而需要建立多险种的风险模型。本文研究了一类两种险种且理赔次数服从Cox过程的模型。得到了破产概率满足推广的Lundberg不等式。以及在特殊情况时ψ(0)的明确表达式。
简介:根据折叠桌的运动特征,选取折叠桌的四分之一为研究对象,建立任意角度下桌脚点的运动变化模型。考虑到产品稳固性、加工便利性和节约用材三方面对加工参数的影响,对折叠桌进行受力分析,得到多目标组合优化模型,用以确定出折叠桌的最优设计参数。针对用户提出的桌面形状要求,建立桌脚曲线的参数方程。作为模型推广,以椭圆状折叠桌为例,运用Matlab画出了桌脚边缘线在折叠过程中的动态变化示意图。同时,又深入研究RobertvanEmbricqs的滑动折叠桌,建立了新的桌脚曲线参数方程。最后,运用Matlab对多种形状折叠桌进行仿真,编写多目标优化算法,得出了最优加工参数,并进行了算法描述。