基于通用知识的软件设计安全性评估

安全性作为软件系统的重要属性,越来越受到人们的重视．在软件开发的早期对安全性进行评估,对软件的质量控制和成本控制有着重要意义．当前的软件安全性评估主要依靠专家评审,结果的客观性及准确性常常受到专家主观意见的影响．通过使用通用知识作为评估依据,提出一种可以对UML顺序图形式的软件设计文档进行自动化分析的方法,可以发现软件设计中潜在的安全性漏洞．该方法可以减少结果中的主观性,同时,通过基于该方法的辅助工具的使用,可以大大提高评估效率．     

气相色谱法测定调和油中18种脂肪酸

目的建立气相色谱法测定调和油中18种脂肪酸的方法。方法样品经过氢氧化钾甲醇溶液甲酯化,采用毛细管色谱柱(100 mm×0.25 mm, 0.2μm)和程序升温模式进行测定,检测器温度为280℃。结果 18种脂肪酸的线性关系良好(r>0.999),检出限为0.0005~0.009mg/kg,回收率为78.9%~99.1%,相对标准偏差(relative standard deviation, RSD)为0.768%~8.236%。结论该方法快速、简单、回收率和精密度良好,可用于调和油中脂肪酸的的检测。     

基于离散小波变换的Overcomplete ICA并行结构

本文利用离散小波变换提出了一种过完备独立成分分析（Overcomplete ICA）的禀性结构,它是一个由两个子Overcomplete ICA过程组成的混合系统。其中一个过程将高频的小渡部分作为输入,另一个过程将低频的部分作为输入。这两个过程的输出结果最后被合并为最终的结果。对比现有的Overcomplete ICA算法,本文提出的方法利用了全部的观测信息,而两个子过程的有效输入长度仅为原来的一半。因此,本文提出了一种处理Overcomplete ICA问题的新途径。文中的实验数据显示,通过此方法可以成功地分离混合的声音数据。     

细菌中蛋白质样品制备方法研究进展

细菌在生长繁殖时,细菌蛋白的表达受到环境影响而存在较大差异,使得细菌蛋白表达具有复杂性.在食品生产加工过程中可能会受到致病菌污染,细菌产生的内毒素和外毒素均会对人体健康构成威胁,因此需要高灵敏度和高特异性的检测方法来定量分析和鉴定食品中的细菌毒素.蛋白组学方法可以揭示细菌蛋白组成及其潜在的生物学功能,感染过程中菌体蛋白...     

一类变量可分离的支持向量分类机的研究与应用

针对传统SVC方法在样本容量大时存在训练时间过长的不足，建立了一种变量可分离的支持向量分类模型DCSVC，并将其应用于随机生成的模拟数据的学习与航空公司旅客运输数据的预测中。实践证明，DCSVC算法预测的误差小于传统SVM算法，具有较高的精度，且训练时间比传统SVC短。     

New analytical approximate solution of the generalised temperature integral for kinetic reactions

Simple closed-form expression of the generalised temperature integral in the basic equation to describe kinetic reactions for solid materials in linear heating process is always suitable for use in determining parameters. Many developed solutions only can give high accuracies on the general conditions. A new analytical approximate solution was deduced in this work. The deviations of this solution from the true value are fully analysed. This solution takes advantage in broader application conditions than other known solutions. The application of the new analytical approximate solution in austenite kinetic reaction in this work reinforces that austenite reaction rate is feasible to be given a priori.     

基于Overcomplet ICA的声音压缩模型

独立成分分析(ICA)方法是近几年发展起来的一种新统计方法,旨在将所观测到的多维随机向量转换成统计上尽可能独立的成分。本文基于Overcomplete(过完备)ICA算法(SCO),提出了一种新的声音压缩模型。我们的实验实现了SCO的混合压缩与分离解压功能。     

高效液相色谱法测定五味子糖浆中6种抑菌剂的含量

建立HPLC同时测定苯甲酸、山梨酸、对羟基苯甲酸甲酯、对羟基苯甲酸乙酯、对羟基苯甲酸丙酯、对羟基苯甲酸丁酯的含量。采用 Kromasil C18柱(4.6mm×250mm,5μm),0.02mol/L乙酸铵和0.08%冰醋酸混合溶液为流动相A ,以甲醇为流动相B进行梯度洗脱,用紫外检测器检测,外标法峰面积定量。结果表明：6种抑菌剂线性良好,相关系数均大于0.99,检出限为0.072-0.396μg/mL,加标回收率平均回收率为82.4%～99.7%,RSD为0.869%～6.956%,该方法操作简单,灵敏度高,重现性好,可用于五味子糖浆中六种抑菌剂的检测。