基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

一类具有脉冲效应的恒化器数学模型

分析了一个简单的具有两种微生物和周期注入营养液的恒化器模型,得到了一个微生物和营养液共存的周期解,另外,还证明了当脉冲周期小于某个临界值时,该周期解是稳定的,当脉冲周期大于该临界值时,稳定性丧失.     

多维分数次Black-Scholes模型中欧式未定权的定价

讨论了具有任意Hurst参数的多维分数次Black-Scholes模型中欧式未定权益的定价,首先得到了未定权益在到期前任意时刻的分数次风险中性定价,然后求出了欧式未定权益在单资产多噪声、多资产单噪声、多资产多噪声等情形下的定价公式.     

N-苯基马来酰亚胺、苯乙烯和马来酸酐三元共聚及热分解动力学

合成了N-苯基马来酰亚胺、苯乙烯和马来酸酐三元共聚物,采用红外光谱法对其结构进行了表征,并利用TG,DTG和DSC热分析技术对该共聚物的耐热性能及热分解动力学进行了分析,探讨了其热分解机理.结果表明:该共聚物的热分解受单机理控制,初始热分解温度为637K;683K后热分解速率迅速增大,703K时达到最大,在761K时分解基本结束;共聚物在氮气中失重20%和50%时的温度分别为679K和700K,玻璃化转变温度为485 K;根据K issinger法求得非等温条件下共聚物热分解的表观活化能为173.21 kJ/mol,指前因子为3.293 9×1012m in-1,由Crane法求得其反应级数为0.94.     

重力场下细微循环通道内热驱动换热的数值模拟

采用数值模拟方法,比较了重力场下4种细微循环通道内的热驱动换热现象.4种通道都是一端加热,一端冷却,利用彻体力场下流体的热驱动来实现换热.研究表明,4种循环通道具有相同的热驱动换热规律,并且随着循环通道的增加,热驱动换热能力逐渐增强.因此,将微小循环通道换热运用于涡轮叶片的冷却时可以考虑采用多循环通道,利用流体的自适应性来增强换热.     

计算机组成原理网上虚拟实验系统的建模与实现

基于面向对象思想,对计算机组成原理网上虚拟实验系统进行了分析和建模,并采用信号数据驱动机制对实验过程进行控制,给用户提供一个具有自主性的实验环境.     

一类保费与理赔相关的破产模型

对经典poisson风险模型推广至一种相依的结构,索赔产生时以概率P的可能性同时产生一次续保.对此模型,得到了最终破产概率的一般表达式和破产概率的一个上界估计.     

工程量清单计价模式下的投标报价策略

简述了工程量清单计价法的主要内容,重点探讨了工程量清单计价模式下的一般投标策略和平衡投标策略的技巧,并提出了实行工程量清单计价的注意事项。     

热敏电阻与光敏电阻

阐述了光敏电阻和热敏电阻的特性、种类及其各自的优缺点,并根据其特点介绍了它们在人们生活、生产中的应用情况。     

浅谈提高锅炉热效率的方法

分析了BG—35/3.82—M5型锅炉热效率偏低的原因,探讨了提高锅炉热效率的方法,以保证锅炉能安全经济运行。