估计高可信Markov系统可信性测度的一种新方法

重要抽样和重要性分裂方法经常被用来估计高可信Markov系统从初始状态出发首次回到该状态前发生故障的概率. 提出了一种新的方法估计这个小概率. 通过采用新的估计量来减小计算方差, 提高计算效率. 从描述Markov系统状态转移的积分方程推导出了新的估计量, 并从理论上证明了新的估计量的方差小于直接仿真方法的方差. 用本文方法、RB方法、IGBS方法、SB-RBS方法和直接仿真方法计算了包含延迟维修的系统的可信性测度, 结果表明本文方法具有最小的相对误差.     

AKS算法及关于它的一种改进算法的实现分析

2002年，Agrawal、Kayal和Saxena成功地解决了多项式时间判别素数这一著名的世界难题，他们给出了一个算法(简称AKS算法)，该算法对输入整数是素数还是合数进行判断。它是一个确定的多项式时间算法．后来许多科学家对该算法进行了改进，其中一个比较好的改进是由Bernstein给出的(简称Bernstein算法)．作者详细分析了这两种算法，利用C语言实现了这两种算法，并进行了比较，找出了真正需要用到AKS算法和Bemstein算法来判断其为素数和合数的最小数，并估计出所需要的运行时间．     

从Linux源代码分析看程序设计技巧

本文介绍了在Linux内核设计中遵守的基本规则,通过分析源代码介绍Linux内核在程序设计方面的一些思想和实现技巧.     

一类高阶非线性中立型时滞偏微分方程解的振动性

研究一类具有连续分布偏差变元的高阶非线性中立型时滞偏微分方程，获得了方程解振动的一些新的判定准则。     

投标报价编制技巧和投标策略

投标报价需要科学的依据和策略,在一定范围内,报价的技巧、艺术决定了投标的结果。本文对业主的标底编制方法、投标人的报价编制的关键因素、报价策略以及报价后评估等方面进行了探讨,旨在提高投标报价合理性和竞争力。     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

积分准则及检根法的等价定理

在常数项级数中，经常运用积分准则及检根法来判定正项级数的敛散性，而使用积分准则判定正项级数的敛散性，首先要判定无穷积分的敛散性，有时不太方便，因此，为了使正项级数敛散性的判定更加灵活，我们想直接用正项级数通项来判定其敛散性，所以，运用无穷小比较的方法给出了积分准则的等价定理；又根据lim(n→m)lnαn/n的符号给出了检根法的等价定理；并给予证明，从而使正项级数敛散性的判定更加灵活自如。     

连续广义系统的渐近稳定性判据

通过Lyapunov方程Lyapunov函数广义诉渐近稳定性的判定的充必要条件利用此条件，可以较容易地判别一类连续广义系统的渐近稳定性问题。     

古筝的演奏技巧和欣赏方法

在古筝演奏中要达到理想的效果，肩、臂、腕、指这几个主要部位的有效配合以及如何处理好紧张与放松的问题是十分关键。要提高演奏水平，学会对曲目的欣赏很重要，以《春江花月夜》为例，对乐曲源流、音诗意趣的理解和领悟，是将诗歌要素和音乐要素融合一体的基本前提。     

关于集值映射的Caristl定理

借助于Ky Fan技巧，将Caristl定理推广到集值映射的情形，获得了两个很有意义的结论。