排序方式: 共有28条查询结果,搜索用时 0 毫秒
1.
近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明. 相似文献
2.
神东矿区位于陕西省北部和内蒙古鄂尔多斯市南部,气候干燥且降水稀少,水资源缺乏。矿区煤炭开采过程中产生的大量矿井水是重要的生产生活水源,然而神东矿区不同区域的矿井水氟化物浓度相差较大,部分区域浓度较高,为此笔者分析了高氟矿井水的分布特征及成因,对矿井水的资源化复用具有重要意义。基于神东矿区不同区域的58组矿井水水质分析结果,运用数理统计法,Piper三线图、Gibbs图,SI模拟等研究方法,同时通过对不同区域采集岩心和煤层顶板岩石进行XRF分析,探讨神东北部和中心矿区不同埋深矿井水中氟的时空分布特征及形成机制。研究结果表明:研究区矿井水中F-的质量浓度变化范围为0.3~13.7 mg/L,均值为4.3 mg/L,较高F-浓度的矿井水pH呈碱性。在水平方向上神东矿区呈现北部和西南部矿井水中F-浓度较高、东南部矿井水中F-浓度低的现象;垂直方向上呈现随开采深度的增加而增加的趋势,不同深度延安组含水层地下水所补给矿井水的F-浓度差异较大,深度80~130 m延安组含水层地下水补给矿井水中F-浓度较低,200~500 m延安组含水层地下水补给矿井水F-浓度相对较高。矿井水中... 相似文献
3.
为揭示丹参-葛根提取物抗氧化作用的活性成分,以DPPH自由基清除率和总还原能力(FRAP)法评价提取物的抗氧化活性,建立UPLC分离方法鉴别其成分,采用Minitab相关性分析和偏最小二乘回归法(PLS)分析提取物抗氧化能力与成分的相关性。结果表明,在提取物抗氧化性与单一成分相关性的研究中,大豆苷对抗氧化性的贡献低。葛根素、丹酚酸B、迷迭香酸与DPPH清除率的相关性较强,相关系数R约为0.6,高于FRAP值的相关性(R约为0.5),说明其主要通过清除自由基达到抗氧化作用。以葛根素、丹酚酸B、迷迭香酸、大豆苷4种组分为变量与DPPH清除率建立的关系模型中,R接近0.7,呈明显的正相关,表明这四种组分是丹参-葛根提取物抗氧化活性的主要贡献者。 相似文献
4.
5.
6.
为了优化橘皮粗多糖的微波提取工艺,评价橘皮粗多糖的抗氧化活性;通过Box-Behnken的中心组合设计及响应面法(RSM)建立了微波提取时间(min)、料液比(g/mL)、微波功率(W)的二次回归模型,对橘皮多糖的最佳微波提取工艺条件进行优化;并通过Fenton反应和有机自由基(DPPH.)法对其进行体外抗氧化活性测试。实验表明,最佳提取条件为微波提取时间18min、料液比1:25(g/mL)、微波功率250W,在该条件下橘皮粗多糖的提取得率为33.71%,高于传统回流方法(15.75%)。橘皮粗多糖对.OH和DPPH.有显著的清除作用,可以探索作为食品工业和制药行业的天然抗氧化剂。 相似文献
7.
绿豆芽菜制作过程中的浸泡时间、发芽温度及淋喷间隔是影响绿豆芽菜产量的主要限制性因素,优化芽菜制作工艺对绿豆芽菜生产具有重要意义。采用单因素试验与响应面分析相结合的方法对不同种皮颜色的绿豆发芽条件进行优化,在此基础上对绿豆萌发过程中营养品质及抗氧化特性进行研究。结果表明,黑皮绿豆最佳发芽条件为浸泡时间9 h、发芽温度25℃、淋喷间隔6 h,绿皮绿豆最佳发芽条件为浸泡时间11 h、发芽温度26℃、淋喷间隔5 h。绿豆萌发过程中,随着时间的延长可溶性蛋白与总淀粉含量显著降低,可溶性糖、粗蛋白、总酚、总黄酮、抗氧化活性物质含量提高。 相似文献
8.
9.
电池的管理问题一直阻碍了电动汽车的发展。为了保证电池的可靠运行,对电池的工作状态进行实时监测是非常必要的。设计了一种低速电动汽车电池实时检测系统,利用电路控制电池参数采集、充放电、散热,软件构建人机交互界面,并通过串行接口完成系统和上位机的数据传输。该设计可以解决电池的安全保护、故障分析、参数分析与显示等问题。 相似文献
10.