过程提取用于改善程序模型检测的可伸缩性

针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状,提出用过程提取技术对待检的源代码进行预处理,以改善程序模型检测的可伸缩性.首先,将程序中一个选定的语句集合提取出来并包装成一个独立的过程,然后在原程序的相应位置用一个过程调用替代,进而将大型程序分解成语义一致的小型过程的集合.由于模型检测算法中的过程总结边可单独计算,所以过程提取使整个程序的模型检测任务模块化,当程序对某过程进行多次调用时,利用总结边可以避免对过程体内状态空间的重复搜索,从而降低了模型检测算法在空间和时间上的开销.理论分析和实验表明,所提技术能有效缩短大型程序的模型检测时间,并在程序的转换中不会改变原程序语义,满足了程序模型检测的安全性要求.

一种语义保持的C克隆代码无定型过程提取方法

克隆代码又被称为重复代码,是一种代码坏味.针对传统的保持语法结构不变的过程提取方法提取克隆代码时存在的对某些克隆代码无法直接提取的问题,提出一种新的语义保持的克隆代码无定型过程提取方法.该方法结合程序依赖图和抽象语法树对程序进行语义分析,取消了传统的保持语法结构不变的过程提取算法对语句结构一致性的约束,保留了语义一致性约束,从而解决了传统方法不易处理的连续但不能直接提取的克隆代码提取问题,降低了对未标记语句提升的需求,并且不需要对跳转语句进行特殊处理.实验结果表明该方法可以提取传统的保持语法结构不变的过程提取方法不能提取的克隆代码,提高了克隆代码过程提取的准确性和适用性.

中草药提取过程的数学模拟与优化

根据中草药提取过程的机理建立了提取过程的数学模型，并以当归芍药散有效成分的提取过程为例，根据实验数据应用参数估值方法对数学模型中的参数进行估值。结果表明该模型的计算值与实验值吻合得很好。进一步应用该模型对各操作条件对提取率的影响进行了模拟研究，并应用最优化算法求取使利润目标最大的优化操作条件。研究结果表明，数学模拟及优化方法对改进中草药的提取生产有重要的推动作用。

药渣粒径对中药提取过程在线检测取样系统影响的模拟研究

以栀子提取液为研究载体,采用离线方式采集经不同孔径滤网过滤后样品的近红外光谱,并以高效液相测定值为参考值,采用偏最小二乘算法建立栀子苷定量校正模型,探讨基于中药提取过程的在线检测旁路预处理系统可靠性及预处理系统中滤器孔径大小对所建立定量校正模型的影响。结果表明,提取液经筛分滤过后样品与原提取液样品经配对t检验,验证同一样品经过滤后所含栀子苷浓度无显著性差异,可以代表原液样品进行数据分析,进一步证明旁路预处理系统可用于在线检测的可行性。经300目标准筛过滤后的样品以原始光谱建立的定量模型预测能力最好(校正集的交叉验证均方差RMSECV=0.1962,预测均方差RMSEP=0.1867,系统偏差Bias=0.0256)。通过实践明确取样系统的可行性,合理选择预处理系统滤器孔径,能够有效改善并提高所建模型预测能力,解决中药提取在线过程分析应用技术难题。

一种丹参提取过程终点快速判断方法

目的建立一种用于丹参提取过程终点快速判断的近红外分析方法。方法将近红外光谱在线分析技术与化学计量学方法相结合,以HPLC分析法为参照,构建丹参提取过程在线终点判断方法。结果将该法应用于丹参工业化提取过程,其终点判断结果与实际生产相符。结论所建方法快速、准确、有效,能够应用于丹参生产过程的快速终点判断。

Bagging-PLS的黄柏中试提取过程在线近红外质量监测研究

目的:采用近红外光谱技术,建立黄柏中试提取过程偏最小二乘法(PLS)定量模型,快速分析盐酸小檗碱含量,以Bagging-PLS集成建模方法提高所建模型的预测性能。方法:以HPLC为参考方法测定黄柏提取液中盐酸小檗碱含量,运用PLS建立与近红外光谱(NIR)预测值之间的多元校正模型,并建立Bagging-PLS模型提高模型的稳定性与预测性能。结果:盐酸小檗碱定量模型的校正均方根误差RMSEC为0.742 9,预测均方根误差RMSEP为0.961 4,校正集相关系数rc为0.986 6,预测集相关系数rp为0.977 0;Bagging-PLS模型预测均方根误差RMSEP均值为0.413 6,预测集相关系数rp均值为0.998 3,表现出了良好的稳健性与预测性能。结论:所建立的近红外定量模型拥有较好的预测性能,能够实现快速实时检测黄柏提取液中盐酸小檗碱的含量;所建立的Bagging-PLS模型稳健性与预测性能良好,可应用于中药近红外在线监测过程中。

基于近红外光谱的五味子提取过程在线检测方法研究

目的:利用近红外(NIR)光谱法,建立定量模型,实现五味子提取过程中关键指标的快速检测。方法:在线采集五味子提取液的近红外光谱,以高效液相色谱法和差重法获取参照,采用最小二乘回归法(PLSR)分别建立五味子醇甲、果糖、葡萄糖和可溶性固形物的定量模型。结果:定量模型的校正集相关系数R、校正均方根误差RMSEC、预测均方根误差RMSEP分别为:五味子醇甲0.99792、1.41、8.76,果糖0.99246、0.0919、0.333,葡萄糖0.99371、0.0954、0.448,可溶性固形物0.98723、3.07、11.2。结论:该方法快速、便捷,结果准确,适用于五味子提取过程的快速检测。

电提取过程中极化现象的讨论

用测定资料对极化现象在电提取过程中的影响程度给出定量的估计办法 。

肺宁合剂提取过程的指纹图谱及含量测定研究

目的:以对照汤剂为对照,对肺宁合剂提取过程中不同时间点提取液的指纹图谱及含量进行研究,为肺宁合剂提取工艺再评价提供依据。方法:采用HPLC,Hedera C18色谱柱(4.6 mm×250 mm,5μm),流动相为0.1%磷酸水溶液-乙腈,梯度洗脱,柱温30℃,检测波长210 nm,建立肺宁对照汤剂盐酸麻黄碱、盐酸伪麻黄碱、苦杏仁苷、甘草苷、甘草酸、白花前胡甲素6个目标成分含量测定方法与标准、指纹图谱与标准;将肺宁合剂提取工艺过程不同时间点提取液的含量变化、图谱变化与之比对。结果:提取过程不同时间点提取液与对照汤剂的指纹图谱一致,但各成分含量在第1次提取的25~30 min即能“达标”,两次提取完成后测定的各成分含量高于对照汤剂。结论:基于药物一致性内涵,有必要对该制剂的提取工艺进行再评价。

中药提取过程计算机控制系统的设计与应用

简要介绍用于中药提取过程的计算机控制系统的设计和应用 ,其中包括提取过程对控制系统的要求、控制系统的硬件设计、控制系统的应用软件设计、系统的应用效果。

酶在番茄红素提取过程中的应用研究

研究了添加果胶酶和纤维素酶提取番茄中番茄红素的工艺,确定了最佳酶用量为0.5g/100g番茄、酶比例为纤维素酶∶果胶酶为2∶1,酶作用温度为55℃,时间2h,pH4.5.结果表明,添加果胶酶和纤维素酶可缩短提取时间,提高番茄红素的提取率.

溶剂流动方式对药物提取过程的影响

以大黄为实验材料 ,利用半连续提取设备 ,分别采用简单提取和循环提取的方式 ,研究了溶剂流速对提取率和提取液浓度的影响。结果表明简单提取的速度快 ,极限提取率高 ,提取液浓度在初期很高 ,并随提取率增加而下降 ;循环提取溶剂用量和提取液浓度易控制 ,收率受级平衡限制而较低 ;适当增大溶剂流速可缩短提取时间 ,但会增加前者的溶剂消耗 ;在简单提取中引入回流对后期的提取有一定促进作用 ,回流的时间和回流强度值得研究。将简单提取和循环提取适当组合能够在保证效率的基础上使收率和提取液浓度有较大提高。

组态软件在羊栖菜膳食纤维提取过程中的应用

本文在简要介绍GENIE 3.X 组态软件的基础上，结合羊栖菜膳食纤维提取过程，论述了开发实际测控系统的全过程。给出了系统的硬件组成框图，以实例说明了运用GENIE组态软件来设计应用程序的主要方法。

青霉素提取过程中微机自控系统的应用

为了提高青霉素生产过程中的自动化水平,我们通过借鉴微机在发酵中运用的经验,借助现代技术力量,在青霉素提取工艺中建立了微机自控系统,使青霉素提取过程中 pH 变化更加平稳,使青霉素提取率得到了提高。

大豆异黄酮提取过程中大豆蛋白变性的研究

使用不同含量的醇 水体系 ,不同温度和不同时间对从低温豆粕中提取大豆异黄酮和提取过程中大豆蛋白质的变性进行了研究。结合大豆蛋白的分离提出提取大豆异黄酮的最佳条件应为 80 %乙醇 水 ,在 4 0℃下 ,提取 1h。

熏硫药材中二氧化硫残留在中药提取过程中的溶出率研究

目的:研究熏硫药材中二氧化硫残留在中药提取过程中的溶出情况。方法:采用煎煮、回流、渗漉和浸渍工艺对熏硫药材进行提取得到浸膏后,参考中国药典2010年版一部附录IXU项下的二氧化硫残留量测定法,对浸膏中的二氧化硫残留量进行测定,计算溶出率。结果:四种提取工艺所得浸膏中二氧化硫残留的溶出率均不到30%,其中以浸渍溶出率最高,煎煮溶出率最低,不同浓度的醇提溶出率不同。结论:熏硫药材中二氧化硫残留在中药提取过程中溶出率比较低,且不同提取工艺和不同浓度的醇提对二氧化硫残留的溶出率也不同。

近红外光谱法快速测定柴胡提取过程中的药效成分

利用近红外光谱(NIRS)技术对柴胡提取过程中的药效成分进行快速定量分析。共收集126个柴胡提取液样品,采用紫外-可见分光光度法测定总黄酮和多糖的含量,高效液相色谱法(HPLC)测定柴胡皂苷A及柴胡皂苷D的含量,以透射模式采集提取液的近红外光谱,运用偏最小二乘法(PLS)分别建立了近红外光谱与4种药效指标参考值之间的定量校正模型,并采用不同的预处理方法、光谱波段和主因子数对模型进行优化。结果表明,总黄酮、多糖、柴胡皂苷A和柴胡皂苷D 4种定量模型的近红外预测值与参考值之间的拟合性良好,模型预测精度较高,其中预测集相关系数(RP)均大于0.9;预测集误差均方根(RMSEP)分别为3.46μg/mL、0.743 mg/mL、1.53μg/mL、0.406μg/mL;预测集相对偏差(RSEP)分别为1.65%、8.28%、5.74%、7.52%。该研究证实了NIRS结合PLS可成功应用于监测柴胡提取液中药效成分的含量变化,且方法具有快速、准确、无损和环保的特点。

水蒸汽蒸馏法对当归挥发油提取过程中成分异构化的影响

目的 :考察水蒸汽蒸馏法对当归挥发油提取过程中成分异构化的影响。方法 :水蒸汽蒸馏法、GC分析、GC MS检测。结果 :水蒸汽蒸馏法提取当归挥发油的时间总计约为 14h ,其中 (Z) 藁本内酯的收率约为药材中藁本内酯总量的67.1% ,当归挥发油中产生了 4 羟基 3 甲基乙酰苯、三甲基苯甲醛等次生物质。结论 :水蒸汽蒸馏法对当归挥发油的提取具有很多弊端。