Frap

frap:关于程序的正式推理 只需运行make即可构建所有内容，包括书frap_book.pdf和随附的Coq源模块。 或者，运行make lib仅构建图书库，而不构建章节示例文件或PDF。 与不同章节相关的代码 PDF中的主要叙述也提供了标准的程序验证思想，而没有...

评级：0 浏览量：48 收藏量：0 资源大小：499KB 上传时间：2021-04-28

FRAP.zip:用于分析 FRAP 数据的 Matlab GUI-matlab开发 这是一个简单的 GUI，用于使用光漂白后的荧光恢复 (FRAP) 技术加载和分析数据。 GUI 将计算回收率和半衰期。 它支持以下功能： 1. 单组分或多组分回收曲线拟合 2. 背景光漂白校正 3.将结果导出到Excel。

评级：0 浏览量：188 收藏量：1 资源大小：16.51MB 上传时间：2021-05-30

frap, 程序形式化推理.zip frap, 程序形式化推理 程序的正式原因这是一个正在进行中的开源书 by Adam Chlipala 同时介绍了 proof证明助手和技术证明程序正确性的技巧。 也就是说，游戏是完全严格的，机器检查数学证明，显示程序符合他们的规范...

评级：0 浏览量：148 收藏量：0 资源大小：464KB 上传时间：2019-10-10

恒温超声辅助提取诃子FRAP类抗氧化活性物质的研究 (2015年) 为了探索恒温超声辅助提取诃子FRAP类抗氧化活性物质提取效果，本文采用该技术首先对提取工艺进行优化，进而通过比较实验和扫描电镜分析该技术提取高效的原因。结果表明，诃子FRAP类抗氧化活性物质恒温超声辅助提取...

评级：0 浏览量：38 收藏量：0 资源大小：506KB 上传时间：2021-05-30

FRAP法测定大枣枣皮红色素的总抗氧化能力 (2011年) 采用FRAP法测定枣皮中红色素的总抗氧化能力，试验表明枣皮红色素具有一定的抗氧化活性。枣皮红色素的总抗氧化能力与其含量之间呈正相关性。通过溶剂分级萃取，将枣皮红色素分离成极性不同的成分，各极性成分的抗氧化...

评级：0 浏览量：64 收藏量：0 资源大小：240KB 上传时间：2021-05-27

铁离子还原法(FRAP)测定中国被毛孢菌丝体提取物抗氧化活性 (2011年) FRAP法测定了6批人工培养中国被毛孢(Hirsutella sinensis)菌丝体热水和乙醇提取物的抗氧化活性.结果表明:1 mg/mL人工培养中国被毛孢丝体水提物和乙醇提取物的平均抗氧化活性分别相当于(327.5±42.1)μmol/mL Fe2 +和...

评级：0 浏览量：120 收藏量：0 资源大小：3.46MB 上传时间：2021-05-21

Frap2.99绿色注册版 最新的3.2.2太耗内存，这个软件也没必要最新的。终于找到个老版本的，不设高积分。

评级：4 浏览量：53 收藏量：5 资源大小：1.69MB 上传时间：2010-06-20

论文研究 - 十个马来西亚野生蘑菇的总酚和类黄酮含量及抗氧化活性 蘑菇提取物的抗氧化活性通过铁还原抗氧化能力（FRAP）和2,2-二苯基吡啶甲基肼基（DPPH）分析进行了分析，以确定其铁还原能力和自由基清除能力。 所有十个蘑菇的总酚含量为0.015-0.075 mg GAE / g干提取物，总黄酮...

评级：0 浏览量：156 收藏量：0 资源大小：387KB 上传时间：2020-05-31

fraps截图软件 常用的截图录视频软件，视频录制效果很好但是很占空间

评级：0 浏览量：44 收藏量：0 资源大小：4.8MB 上传时间：2014-05-11

论文研究 - 精选香料（肉桂，豆蔻和丁香）的植物化学含量，清除自由基的能力和抑制酶的活性 通过测量香料（ME）和（WE）提取物中的2,2-二苯基-1-吡啶并肼基（DPPH）自由基清除活性和铁还原抗氧化能力（FRAP）来确定抗氧化剂的潜力。 丁香（ME）中的总酚含量（GAE mg / 100g干重）和类黄酮（mg CE / 100g干重...

评级：0 浏览量：124 收藏量：0 资源大小：897KB 上传时间：2020-05-22

Frequency:基本的防热系统 这是主要由Elevated和Gson在Dawson的帮助下以及frap的额外精神支持下开发和维护的开源防tic 这种防热剂的主要目的是为新手进入防热剂提供一些学习基础。 不建议将该项目用于生产服务器的商业用途，因为它尚未经过...

评级：0 浏览量：62 收藏量：0 资源大小：115KB 上传时间：2021-05-23

CISSP学习知识点总结.docx * 风险分析方法：NIST SP800-30、SP800-66、OCTAVE、AS/NZS4360、CRAMM、FRAP、STA、FEMA * 风险管理委员会 六、身份认证协议： * Kerberos密钥分发中心（KDC）：包括票证授予服务（Ticket Granting Service,TGS）...

评级：0 浏览量：216 收藏量：0 资源大小：4.1MB 上传时间：2021-09-10

AMPAR-Trafficking-Model:论文“维持早期长期增强的基础的生物物理基础”中使用的Python代码 AMPAR贩运模型 AMPAR-Tr​​afficking-Model... frap：包含在光漂白（FRAP）模拟后执行荧光恢复的功能。 取决于stochastic_model。 文件夹“ Mean-Field-Model”和“ Stochastic-Model”还包含用于重现本文中显示的图

评级：0 浏览量：59 收藏量：0 资源大小：29.14MB 上传时间：2021-05-12

论文研究 - 加工过程对虎皮坚果抗氧化能力和代谢酶抑制的影响 总酚含量（TPC），总类黄酮含量（TFC），1,1-二苯基-2-甲基肼基（DPPH）清除自由基的活性，trolox等效抗氧化能力（TEAC），三氧化二铁还原抗氧化能力（FRAP）和抑制对用水（TRWA）和甲醇（TRWM）提取的生老虎坚果...

评级：0 浏览量：93 收藏量：0 资源大小：841KB 上传时间：2020-05-17

论文研究 - 总抗氧化剂状态和其他标记可区分患有和不患有代谢综合征的严重肥胖志愿者 肥胖（Ob）是公认的代谢综合征（MetS）的主要危险因素，是... 接收者操作曲线分析预测，TAC是MetS诊断和预后最有潜力的生物标志物，几率为88.5，表明ObAPetS（z评分> 2）FRAP低于BMI> 30的Ob的高可能性，但z得分<

评级：0 浏览量：68 收藏量：0 资源大小：1.03MB 上传时间：2020-05-19

桦褐孔菌醇提物的萃取分离及其抗氧化活性研究 (2009年) 选用总还原力、DPPH自由基清除率、FRAP法及β-胡萝卜素褪色法对粗提物和萃取物进行抗氧化活性评价。结果表明:桦褐孔菌具有较好的抗氧化活性,乙酸乙酯相的总还原力、FRAP值、DPPH自由基清除率显著高于BHT和其他部位(p...

评级：0 浏览量：41 收藏量：0 资源大小：631KB 上传时间：2021-06-18

论文研究 - 酚类成分与苯酚含量的比较研究。 丙酮提取物的二（苯基）-（2,4,6-三硝基苯基）亚氨基氮杂基自由基清除活性（DPPH）含量高六倍，总当量抗氧化剂容量（TEAC）高六倍，三价铁还原抗氧化剂高两倍功率（FRAP）高于甲醇提取物。 通常，白色蚕豆基因型的...

评级：0 浏览量：193 收藏量：0 资源大小：987KB 上传时间：2020-05-19

补血草不同部位多酚提取物的抗氧化能力 (2013年) FRAP值和TEAC值大小顺序依次分别为根>根茎≈叶>花,根≈根茎≈叶>花;而对β-胡萝卜素-亚油酸漂白的抑制作用大小为花>叶>根>根茎.光谱分析显示,根、根茎和叶提取物及花提取物的主要组分分别为原花色素类和黄酮类.在...

评级：0 浏览量：40 收藏量：0 资源大小：453KB 上传时间：2021-05-18

人参与附子、黄连配伍的 HPLC-ESI-MS研究及抗氧化活性测定 (2010年) 同时以抗坏血酸作对照,应用铁离子还原/抗氧化能力测定法( FRAP)测定了人参单煎液及人参与附子、黄连共煎液中正丁醇提取物和水提取物的抗氧化活性。结果证明,共煎液中正丁醇提取物的抗氧化活性高于人参单煎液,同时也...

评级：0 浏览量：63 收藏量：0 资源大小：1012KB 上传时间：2021-06-17

香椿老叶总黄酮提取工艺及其抗氧化活性的研究 (2008年) 该文对香椿老叶总黄酮的提取、...0.05），其总还原力为Vc相当含量452.64mg/g，三价铁还原抗氧化能力测试（FRAP）值为14.78mmol/g，浓度为50、100和200μg/mL的总黄酮样品1，1-二苯基苦基苯肼（DPPH）自由基清除能力分

评级：0 浏览量：80 收藏量：0 资源大小：1.94MB 上传时间：2021-05-09

牡蛎蘑菇的生物治疗，植物化学筛选和抗氧化功效 杏鲍菇水溶液的总抗氧化活性差异显着，总酚含量为12.55±0.11 mg GAE / g，总类黄酮为7.22±1.60 mg QE / g，ABTS为1.99±0.06 mmol TEAC / 100g，FRAP的平均值为5.25± 0.25 mg / g，平菇也能以0-13.3 mg / ml的...

评级：0 浏览量：141 收藏量：0 资源大小：426KB 上传时间：2020-06-02

发芽对糜子酚类化合物及抗氧化活性的影响 (2015年) 将经过表面灭菌的糜子种子放入25℃，相对湿度95％的人工气候箱中避光发芽6 d，每天取样，测定其中酚、黄酮含量及抗氧化指标(DPPH、ABTS、FRAP、 ORAC)的变化。结果显示，从发芽2 d起，酚、黄酮含量及各项抗氧化指标...

评级：0 浏览量：64 收藏量：0 资源大小：542KB 上传时间：2021-05-21

论文研究 - 铁的抗自由基活性和铁还原抗氧化能力。 通过使用Folin-Ciocalteu试剂方法测定总酚含量，通过2,2-二苯基-1-picylhydrazyl自由基（DPPH）清除活性确定的抗氧化活性和还原铁的抗氧化能力（FRAP）测定法（使用维生素C） （抗坏血酸）作为标准。 从十种配方...

评级：0 浏览量：723 收藏量：0 资源大小：1.1MB 上传时间：2020-05-17

论文研究 - of的植物成分及抗氧化活性研究。 属于“ Ebenaceae”科... 还通过DPPH自由基清除测定，FRAP测定和还原能力测定研究了提取物的体外抗氧化性能。 对含水种子提取物观察到最高的抗氧化活性，其次是乙醇种子，乙醇果肉和含水肉提取物。 对于己烷果肉提取物

评级：0 浏览量：86 收藏量：0 资源大小：923KB 上传时间：2020-05-16

论文研究 - 热处理大蒜，姜黄和生姜的抗氧化和抗糖尿病潜力的比较 这项研究的目的是确定热处理大蒜，姜和姜黄对总酚含量（TPC），总黄酮含量（TFC），2,2-二苯基-1-吡啶并肼基（DPPH）清除活性的影响，铁还原性抗氧化剂电位（FRAP），trolox活性（TEAC），脂肪酶，α-淀粉酶和α-...

评级：0 浏览量：78 收藏量：0 资源大小：1.17MB 上传时间：2020-05-23

汉中8种野生食用植物成分分析与营养评价 (2013年) 对汉中地区的省沽油等8...除了石蒜，其余7种野生食用植物乙醇提取物的FRAP值>300μmol/g和DPPH・清除率>50％，显示出较强的体外抗氧化活性，而其活性与酚酸含量之间具有极显著的正相关性(R2=0．861 7、0．914 5，P<0

评级：0 浏览量：63 收藏量：0 资源大小：408KB 上传时间：2021-05-17

不同寄主红花寄生叶提取物抗氧化能力的研究 (2011年) 采用FRAP法和TEAC法测定了6种寄主植物(女贞、石榴、荷花玉兰、长梗柳、桑、夹竹桃)来源的红花寄生叶提取物抗氧化能力,并采用RP-HPLC检测了提取物中槲皮素和山奈酚质量分数。结果表明:红花寄生叶提取物具有较强的抗...

评级：0 浏览量：52 收藏量：0 资源大小：261KB 上传时间：2021-05-20

不同提取剂对红花桑寄生叶抗氧化活性的影响 (2010年) 结果表明:3种溶剂提取物均具有自由基清除能力，在3种溶剂提取物中，体积分数80%丙酮提取物清除DPPH自由基能力最强（ρEC50=0.306mg/mL），抗氧化能力最强，FRAP和TEAC值分别为0.81，1.62.3种提取物抗氧化活性从高至...

评级：0 浏览量：111 收藏量：0 资源大小：79KB 上传时间：2021-05-18

贮藏中香椿多酚抗氧化性的变化研究 (2011年) 将香椿在0、5、10℃的温度下分别贮藏一定时间后，采用DPPH自由基清除法（DPPH法）和铁离子还原比色法（FRAP法）来评价其多酚抗氧化性的变化，同时用高效液相色谱法（HPLC法）测定样品中多酚的变化。贮藏后的香椿，其...

评级：0 浏览量：170 收藏量：0 资源大小：467KB 上传时间：2021-05-24

薜荔果实乙醇提取液抗氧化活性的初步分析 (2009年) 分别采用还原力法、DPPH法、TEAC法和FRAP法评估了不同提取液的抗氧化活性，并用Folin-Ciocalteu法测定了提取液中总酚的质量分数。结果表明：不同体积分数乙醇溶液获得的薜荔果实提取液表现出不同的还原力，清除DPPH...

评级：0 浏览量：55 收藏量：0 资源大小：367KB 上传时间：2021-05-18

论文研究 - 紫花苜蓿的细菌学分析和抗氧化能力。 矿物质含量）及其使用FRAP分析（24.4μmolFe2 / 100g新鲜质量）的抗氧化能力。 测试的总灰分（6.90％）和水分含量（10.05％）符合世界卫生组织（WHO）药用植物原料药的标准。 矿物质含量以mg / 100g（Fe：41.17; Ca...

评级：0 浏览量：66 收藏量：0 资源大小：312KB 上传时间：2020-05-15

抗氧化乌拉尔甘草内生菌株的筛选及鉴定 (2014年) 利用组织分离法从乌拉尔甘草根、茎、叶中共分离获得14株内生真菌，其中菌株L1-1，L2-1，R2-1，S2-1对DPPH自由基的清除率达95％以上，铁离子还原法检测菌株 L1-2，S2-2，R2-3具有较高还原力，FRAP值分别为256，309，...

评级：0 浏览量：63 收藏量：0 资源大小：328KB 上传时间：2021-05-12

生地黄提取物的抗氧化活性研究倡 (2011年) 以2,6-二叔丁基对甲酚(BHT)为对照,分别采用DPPH法、Feton法、FRAP法和还原能力测定法,研究4种不同熔剂提取物的抗氧化活性。【结果】生地黄4种不同熔剂提取物均具有不同程度的抗氧化活性,且抗氧化活性

评级：0 浏览量：49 收藏量：0 资源大小：1.37MB 上传时间：2021-05-15

不同温度干燥处理对补血草根总酚及其抗氧化能力的影响 (2013年) 总酚质量分数的测定采用Folin-酚比色法，抗氧化能力的检测分别采用DPPH法、TEAC法和FRAP法．结果表明，经50-80℃温度范围内干燥处理后，补血草根总酚质量分数、清除DPPH・能力和抗氧化能力均随之逐渐提高，当0=70℃...

评级：0 浏览量：65 收藏量：0 资源大小：418KB 上传时间：2021-05-18

杨梅核醋液的抗氧化活性 (2009年) 该文首次以杨梅核为原料制备了木醋液，采用Foliri酚法TRAP体系,DPPH法和ABTS法研究了杨梅核醋液（PA)及其二氯甲烷提取物（PAE）的总酚含量、总还原力、清除DPPH"和ABTS能力。... PA }A PAE的总还原力（FRAP法

评级：0 浏览量：37 收藏量：0 资源大小：2.01MB 上传时间：2021-05-10

论文研究 - 高效液相色谱-串联质谱法测定西班牙亚热带水果中的多酚类化合物及其抗氧化能力 另外，在每种情况下，抗氧化剂能力由FRAP，ABTS和DPPH确定。 在这些水果中，杨桃（或杨桃）的酚类化合物含量最高，毛叶番荔枝（奇异果）和奇异果中非类黄酮酚类化合物含量最高，而木瓜中所研究的类黄酮含量最高。 ...

评级：0 浏览量：146 收藏量：0 资源大小：1004KB 上传时间：2020-05-30

RFID标签的不可追踪性 (2010年) 为了形式化分析无线射频识别( RFID)协议中标签的不可...基于扩展的串空间模型,对 Feldhofer协议和 O′-FRAP协 议进行了分析。结果表明,Feldhofer协议能实现不可追踪性,O′-FRAP协议对于主动攻击者不能实现不可追踪性。

评级：0 浏览量：36 收藏量：0 资源大小：497KB 上传时间：2021-04-25

frappe-client:使用Frappe API的Python库 Frappe客户 用于Frappe REST API的简单的类似于Frappe的Python包装器 安装 ...pip install -e frappe-client 原料药 FrappeClient具有类似API的frappe 登录 ... from frappeclient import FrappeClient ...client = Frap

评级：0 浏览量：109 收藏量：0 资源大小：9KB 上传时间：2021-05-16

市售橙汁抗氧化活性物质的研究 (2015年) 利用1，1-二苯基-2-三硝基苯肼(1，1-Diphenyl-2-picrylhydrazyl radical，DPPH)法和铁离子还原能力(Ferric reducing antioxidant power，FRAP)法、福林酚法以及超高效液相-四极杆飞行时间串联质谱(Ultra-high ...

评级：0 浏览量：43 收藏量：0 资源大小：341KB 上传时间：2021-05-07

光学在生物分子研究中的应用 (2005年) 综述了如荧光漂白恢复(FRAP)、荧光共振能量转移(FRET)、荧光相关光谱(FCS)、表面质膜共振(SPR)等光学方法在生物分子研究中的应用。

评级：0 浏览量：35 收藏量：0 资源大小：1.03MB 上传时间：2021-05-06

matlab开发-FRAPzip matlab开发-FRAPzip。用于FRAP数据分析的Matlab图形用户界面

评级：0 浏览量：73 收藏量：0 资源大小：16.5MB 上传时间：2019-08-27