3β,5α-二羟基-16-孕甾烯-6,20-二酮-3-糠酸酯的合成

以妊娠双烯醇酮醋酸酯和糠酸为原料,经环氧化、开环、水解和酯化4步反应合成了新化合物——3β-羟基孕甾烯酮糠酸酯,其结构经1H NMR,13C NMR,IR和MS表征。     

基于软件测试的软件缺陷预测模型

通过对某武器系统软件测试所得缺陷数据与软件规模之间关系的分析,建立了基于软件测试的软件缺陷预测模型.通过本项研究,可以在武器系统软件研制的初期阶段对软件可能含有的缺陷数量和缺陷等级进行预测,为软件研制过程的质量保证活动策划提供依据.     

K(0,1)-TPN方法在三防系统安全性分析应用

三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)—时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、运行过程相同及其控制机构相同或不同的系统分析建模具有普遍的应用价值.应用k(0,1)—时间Petri网及其动态的运行规则,并采用合成技术建立起了三防系统的模型.通过对运行时序、状态转移等的分析,得出了若干个三防软件系统存在的危险状态,并对软件及其系统的修改提出了建议.