基于UML的软件可靠性建模

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

大肠杆菌的伏安行为及薯蓣皂甙元对该行为的影响

研究了不同条件下大肠杆菌的伏安行为,该伏安峰电流与大肠杆菌的活性呈正比.通过伏安法所获得的大肠杆菌的增长曲线相似于细胞计数法所获得的结果.这种电化学方法被用于研究天然药物前体薯蓣皂甙元对大肠杆菌的影响,结果显示,该化合物能显著降低培养过程中大肠杆菌的伏安行为,具有良好的抗菌活性,可用作抗菌药.     

间接法合成葡萄糖酸锌及其表征

介绍了合成葡萄糖酸锌的各种方法,并对其方法的可行性进行了述评.其中间接合成法具有流程短、费用低、产品纯度高的优点.本文在制取葡萄糖酸的基础上,在适宜条件下使其与氧化锌反应制得葡萄糖酸锌.通过红外光谱和熔点测定对产物进行表征,研究了反应条件对产率的影响,得出合成葡萄糖酸锌的最佳条件.     

基于四元数的导弹反步控制及全方位算法应用

针对传统四元数适应范围小,分析误差困难问题,基于误差四元数的概念深入研究了姿态误差形式和姿态角和四元数全方位转换问题,提出了姿态角和四元数的全方位转换算法。该算法实现了姿态角和四元数的-1800到1800全空间转换,并且具有抗扰动的能力,同时将四元数与非线性反步(backstepping)方法结合,进行了导弹姿态控制。仿真表明了全角度算法的正确性,以及基于文中的四元数姿态误差方程可有效进行导弹全方位姿态控制。     

GC-MS与GC-FTIR配合分析确认诺卜基乙基醚臭氧化产物的结构

将诺卜基乙基醚在乙醇中于-10℃进行臭氧化,水解后的产物经GC-MS与GC-FTIR分析,确认了5个化合物的结构.它们是:2,2-二甲基-3-(β-乙氧基丙酰基)环丁酮,2,2-二甲基-3-丙烯酰基-1-环丁烷乙醛,2,2-二甲基-3-丙烯酰基-1-环丁烷乙酸乙酯,2,2-二甲基-3-(β-乙氧基丙酰基)-1-环丁烷乙醛,2,2-二甲基-3-(β-乙氧基丙酰基)-1-环烷乙酸乙酯.5个化合物均为四员环类化合物,占总产物质量的73%.各化合物中的顺式(cis-)异构体质量分数达84%以上.     

云南发现的北元宣光纪年文物及相关问题

北元宣光纪年文物比较少见,云南是发现这类文物数量多的地区之一,本文在对云南北元宣光纪年文物资料详细介绍的基础上,对它的分布、年代及相关的问题做了探讨。     

计算处在一恒定均匀磁场^ωH中的原子的能谱

在假设电子和场之间的相互作用势能远小于自旋-轨道耦合能量（“塞曼效应”），同时考虑电子自旋的情况下，计算处在一恒定均匀磁场^ωH中的原子的能谱，得出比较有用的结论，对我们学习轨道角动量和精细结构，以及塞曼效应奠定了必要的理论基础。     

千佛兰园

主要铭品 春剑/素十仙、红荷蝶、白梅、金黄梅、西蜀道光 莲瓣兰/剑阳蝶 四季兰/君荷、荷王、盖梅、光登梅、红蝴蝶、千佛牡丹、千佛玉素、千佛红梅、圣火、三舌蝶（蝶草）、红素、荷瓣     

Rapid dendrite growth in quaternary Ni-based alloys

Dendritic growth is one of the most common micro-structural formation mechanisms during crystal growth. Its morphology provides the kinetics information of crystal growth. Therefore, it is valuable to perform the research on rapid dendrite growth in order…     

多孔介质中可压缩驱动问题的全离散分裂正定混合元方法

提出了数值模拟多孔介质中可压缩驱动问题的全离散分裂正定混合元方法.引入分裂正定混合有限元方法来求解抛物型的压力方程.混合有限元方程组是对称正定的，并且流函数方程不依赖于压力方程.采用标准的Garlerkin方法来处理对流－扩散型的饱和度方程.给出了此方法的全离散格式，并分析了该全离散格式的收敛性.