基于非线性和测试覆盖率的软件可靠性增长模型

软件可靠性增长模型一般假设故障是独立的,且检测到的故障能够被排除。但在工程中,一些检测到的故障可能无法排除,在排除过程中也可能会引入新的故障。考虑上述因素,本文假设故障的引入过程与时间呈现非线性关系,通过测试覆盖率函数来表示软件故障检测率,建立了基于非齐次泊松过程(non-homogeneous Poisson process, NHPP)的软件可靠性增长模型。为规避参数估计过程中模型函数导数连续性和存在性的限制,应用一个自适应变化的实值遗传算法进行计算。最后通过一个真实软件失效数据集对模型参数进行计算,利用不同的评价准则将所提模型和现有模型进行比较,说明所提模型的优越性和准确性。     

离散混沌测量矩阵构造及其性能研究

若测量矩阵满足约束等距性(restricted isometric property, RIP),则样本能够完美恢复出原始信号。而对于给定矩阵很难验证其是否满足RIP需求,因此,本文采用李雅普诺夫指数作为一种针对离散混沌测量矩阵的验证指标。首先分析了RIP与李雅普诺夫指数之间的联系,然后给出了一种分段式混沌映射构造方法用以提高混沌性能,并从理论和仿真上证明了该方法的有效性。实验结果表明,这种方法不仅提高了混沌序列的随机性和自相关性,而且所生成的测量矩阵也具有更好的性能。因此,引进李雅普诺夫指数是一种有效的验证离散混沌测量矩阵性能的方法,提高李雅普诺夫指数能够提高混沌测量矩阵的性能。     

气态烃非催化部分氧化烧嘴端面传热过程研究

针对气态烃非催化部分氧化烧嘴端面传热情况进行了数值模拟,揭示了烧嘴流道组织对转化炉内燃烧情况和烧嘴端面热负荷的影响.结果表明:三通道烧嘴将CO2通道添加在O2与CH4通道之间时,增加了高温区与烧嘴端面之间的距离,减少了外侧端面受到的传热量;双通道烧嘴利用CO2稀释O2的方式降低反应强度,减少了辐射传热量,从而降低了烧嘴...     

基于单月期限的沪深300ETF期权定价实证研究

针对在2019年12月份上市的沪深300ETF期权,收集其在2020年1～9月9个单月的市场真实交易数据,使用期权定价模型进行实证研究.借助经典B-S-M模型和考虑支付已知股息率B-S-M模型2种期权定价模型分别计算每个单月期限的沪深300ETF看涨看跌期权理论价,并与市场价综合比较后可知,支付已知股息率的B-S-M模...     

一起绿豆芽引起的食物中毒导致难免性流产的诊疗

阐述了一起绿豆芽引起的食物中毒导致难免性流产的诊疗与体会。     

竹子沟金矿床特征及成因分析

竹子沟热水溶滤型金矿,位于中秦岭礼县-柞水褶皱带西段,岷(县)礼(县)金及多金属成矿带中,赋存于中泥盆统舒家坝群何家店组地层中。矿床规模目前探明为小型。矿石类型为含金褐铁矿化、硅化碎裂岩型,局部为碎裂石英脉型。褐铁矿、黄铁矿是主要的载金矿物。围岩蚀变以硅化、褐铁矿化、黄铁矿化、绢云母化为特征。浅-中等变质碎屑岩、脆韧性断裂构造、中酸性岩浆侵入是控制矿床形成的基本条件。区内成矿条件优越,与李坝大型金矿床地质特征相似,具有形成中大型金矿的可能性,北西向断裂之次级断裂蚀变带是寻找金矿的有利地段。本文对竹子沟金矿床的成因进行了探讨,以其对该区的找矿工作有所帮助。     

德士古渣油气化系统数学模拟

对德士古渣油气化系统进行了过程分析,建立了单元设备物料和热量衡算的数学模型,提出了计算气化炉微量组分的方法。运用序贯模块法对该系统进行了稳态模拟计算,结果同设计值和工厂值吻合较好。     

改进粒子群算法在水下盲语音分离中的应用研究

针对粒子群优化(particle swarm optimization,PSO)算法收敛速度慢、易陷入局部最优等缺点,提出了一种基于改进PSO算法优化的独立分量分析(independent component analysis,ICA)算法,用于水下语音和噪声混叠信号的盲分离.采用规范四阶累积量的绝对值作为ICA中的目标函数,通过改变惯性因子ω和压缩因子k来增强粒子的自适应寻优能力.对比实验结果表明,该算法在收敛速度、算法稳定性和分离效果方面的性能更优.     

“理智直觉”与“科学知识”——对牟宗三中西哲学会通的一种评论

"理智直觉"是西方哲学中的重要概念。经验论和唯理论对它有不同的理解。牟宗三认为中国哲学承认人有"理智直觉"的能力,而西方哲学则不承认,因此中国哲学高于西方哲学。他还把西方的科学与哲学限定在经验知识领域。事实上,这只是某种经验论的观点。西方哲学中的唯理论是承认人有理智直觉能力的,科学与哲学的对象也不是可感事物,而是可知的事物。     

极大熵聚类算法的收敛性定理证明

有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目标函数的严格局部极值点.针对这个问题,文中用科学计算软件对相关文献中给出的例子进行了实验,说明该例子并不能否定极大熵聚类算法收敛性定理.最后,从理论上给出了极大熵聚类算法收敛性定理的一个证明.