具有变利率的离散时间保险风险模型的破产问题

文章在将常值利率推广到变利率的情况下,进一步研究变利率的离散时间保险风险模型,得到了描述破产严重程度的破产前一时刻的剩余分布与破产持续时间分布的递推公式。     

质量加权坐标系下水分子2种特殊振动模式的DVR计算

在质量加权坐标系下用离散变量表示(DVR)方案研究了H2O基电子态2种特殊振动模式的振动光谱.计算中应用多项式函数拟合从头算结果得到的内坐标系下的基态解析势能面,经坐标变换得到质量加权坐标系下的相应势能面.分子的哈密顿形式在质量加权坐标下给出.用H2O振动能级的计算验证算法的可行性,从而为二维多光子电离光电子能谱的模拟奠定理论基础.     

用逆向蒙特卡罗法计算光的辐射强度组分

提出了一种新的数值方法,使得逆向蒙特卡罗法不但可以计算总辐射强度,还能计算直接强度和介质强度.在此方法的基础上,提出了一种改进的方法:光子分类法,该方法既能更详细地计算辐射强度组分,又能大大减少计算时间;然后比较了新方法和多射线法在计算辐射强度组分时的结果;最后将光子分类法应用于分析卫星遥感大气订正中的邻近效应问题.     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

变长码的抗误码扩散能力分析

给出了一种基于离散无记忆信源模型的分析变长码抗误码扩散能力.该方法通过分析序列中某一时刻某个码字出现的概率,以及该码字发生错误后正好变成与该码字同码长的另一码字的概率,得到该时刻不发生误码扩散的概率.而整个序列不发生误码的概率为该概率的序列长次幂.模拟计算结果显示,该方法可在不增加平均码长和码方差的情况下,选择出抗误码扩散能力最好的码组.     

自适应遗传算法在桁架结构优化设计中的应用

交叉算子与变异算子是遗传算法中产生新个体的主要手段。针对简单遗传算法中交叉概率与变异概率随进化过程恒定不变的缺点，采用自适应的交叉、变异概率研究了针对离散变量结构优化设计的遗传算法。以在应力约束条件下的静定桁架与超静定桁架结构为算例，比较了改进交叉、变异算子前后的优化结果，并将计算结果与满应力设计方法所得结果进行了比较。结果表明，自适应遗传算法对离散变量结构优化是有效的、可行的。     

一类离散动力系统的吸引子和分支问题

研究了一类形如 {x ,f(x) ,f2 (x) ,…fn(x) ,… } ,x∈ (- 2 ,2 1 λ)的离散动力系统 ,这里映射f(x) =x2 /2 1- 1 λ x ,其中参数λ∈ (0 ,4 )。证明了当 0 <λ≤ 3时 ,平衡点 0是渐近稳定的 ,{ 0 }是系统的吸引子 ,它由单独一个平衡点构成 ;当 3<λ<4时 ,平衡点 0是不稳定的 ,Λ ={ 0 ,α,β}是系统的吸引子。因而参数λ=3是一个分支点。     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

并联管组离散模型分析及其关键系数的确定

流体在并联管组换热器中的流动状况将直接影响到换热器运行的效率和安全性，通过离散模型计算方法可得到流动工质在并联管组内的流动特性，在对离散模型的建立进行详细分析的基础上，采用人工神经网络中的BP算法来确定离散模型中的关键系数，即集箱中的静压变化系数和支管进出口的阻力系数，通过离散模型计算得出的结果与实验数据符合良好，说明与简化的连续模型相比，离散模型是一种更为符合并联管组流动特性的理论模型，同时也表明了用BP算法来确定离散模型关键系数的有效性。     

Tseng-Jan群签名方案的安全分析

群签名是一种允许群成员代表群体进行签名的一种数字签名技术 ,它要求签名是匿名进行但又不可伪造 .本文对Y .M .Tseng和J .K .Jan提出的基于离散对数的群签名方案的安全性进行分析 ,提出了一种伪造攻击 ,证明了该方案不满足群签名的安全需求