-
题名当归中阿魏酸提取工艺的优化研究
被引量：44
- 1
-
-
作者
金汝城
李贵文
马素丽
周术涛
赵国磊
-
机构
兰州理工大学生命科学与工程学院
兰州理工大学石油化工学院
兰州理工大学理学院
-
出处
《中成药》
CAS
CSCD
北大核心
2008年第4期516-519,共4页
-
基金
甘肃省资助攻关项目(编号:2GS052-A43-008-04)
-
文摘
目的：测定当归中生物活性成分阿魏酸的含量并研究其提取工艺，提高活性成分的提取效率。方法：采用超声波辅助萃取法进行阿魏酸的提取，运用正交实验方法对影响阿魏酸提取的条件进行优化，同时采用高效液相色谱法进行分析检验。结果：阿魏酸在0．02244～0．1496μg范围内线性关系良好（r=0．9998），精密度RSD〈0．88％，加样回收率平均为96．8％，RSD为1．37％；得到了阿魏酸的最佳提取工艺，使阿魏酸的提取率达到了94．2％。结论：该工艺可充分将当归中的活性成分阿魏酸提取出来，提高了药材的利用率，
-
关键词
当归
阿魏酸
超声波辅助萃取
高效液相色谱
-
Keywords
Angelica sinensis
ferulic acid
ultrasonic-assisted extraction
HPLC
-
分类号
R284.2
[医药卫生—中药学]
-
-
题名聊城—兰考断裂及其土壤汞、氡气异常
被引量：6
- 2
-
-
作者
张建伟
赵全升
郭秀岩
王建强
赵国磊
-
机构
青岛地质工程勘察院
吉林大学地球科学学院
青岛大学环境科学系
山东省地质科学实验研究院
-
出处
《中国地质》
CAS
CSCD
北大核心
2010年第5期1419-1425,共7页
-
基金
吉林大学"985工程"研究生创新基金计划项目(20080234)资助
-
文摘
分析了聊城—兰考断裂带形成和地质背景,将断裂带划分为3段,分述各段不同时代构造特征和地震活动等。土壤汞气、氡气测量得出,该区域存在明显的汞气、氡气异常,且异常位置接近,异常区宽度多在90～200m,表明地壳存在着汞气和氡气向上运移通道,证实了隐伏断裂存在,而且具有活动性。
-
关键词
聊城—兰考断裂
地质背景
断裂特征
汞、氡气异常
-
Keywords
Liaocheng-Lankao fault
geological background
characteristics of the fault
mercury and radon anomalies
-
分类号
P542.3
[天文地球—构造地质学]
-
-
题名微波辅助提取红车轴草异黄酮的工艺研究
被引量：6
- 3
-
-
作者
金汝城
赵国磊
李贵文
逄艳
-
机构
兰州理工大学生命科学与工程学院
兰州理工大学石油化工学院
深圳大学应用化学化工学院
-
出处
《食品科学》
EI
CAS
CSCD
北大核心
2007年第9期165-168,共4页
-
文摘
采用密闭微波提取装置对红车轴草异黄酮成分进行提取工艺的研究。通过单因素和正交试验对红车轴草异黄酮提取工艺中乙醇浓度、微波功率、料液比、提取时间和提取次数等影响异黄酮提取率的因素进行探讨。红车轴草异黄酮的最佳提取工艺参数为:乙醇浓度70%,微波功率高火(750W),料液比1:15,提取时间1min,提取三次,异黄酮提取率可达到98.91%。与超声波提取、乙醇回流提取和索氏提取相比,微波提取具有提取速度快,选择性好及操作方便等特点。
-
关键词
微波提取
红车轴草
异黄酮
正交试验
-
Keywords
microwave extraction
Trifolium pratense
isoflavone
orthogonal test
-
分类号
R284.2
[医药卫生—中药学]
-
-
题名大孔树脂吸附纯化红车轴草异黄酮的研究
被引量：5
- 4
-
-
作者
金汝城
赵国磊
谢伟雪
贾超
-
机构
兰州理工大学生命科学与工程学院
兰州理工大学石油化工学院
-
出处
《中成药》
CAS
CSCD
北大核心
2008年第11期1615-1619,共5页
-
文摘
目的:以红车轴草异黄酮为目标产物,考察了5种大孔树脂对异黄酮的吸附分离通性。方法:采用D101树脂进行动态吸附实验。结果:红车轴草异黄酮经D101树脂吸附后,以60%的乙醇进行洗脱,洗脱产物中异黄酮解吸率为71.5%,纯度达到26.7%;以80%的乙醇进行洗脱,洗脱产物中异黄酮解吸率达到92.4%,纯度为13.2%。结论:通过静态吸附实验,筛选出D101树脂是纯化红车轴草异黄酮较为理想的吸附材料。
-
关键词
红车轴草
异黄酮
大孔树脂
吸附
解吸
-
分类号
R284.1
[医药卫生—中药学]
-
-
题名红车轴草的化学成分及药理作用研究进展
被引量：1
- 5
-
-
作者
金汝城
赵国磊
-
机构
兰州理工大学生命科学与工程学院
兰州理工大学石油化工学院
-
出处
《天然产物研究与开发》
CAS
CSCD
2007年第B05期148-152,共5页
-
文摘
对红车轴草所含的化学成分、药理作用研究和保健品开发现状作一综述。
-
关键词
红车轴草
化学成分
药理作用
保健品
-
Keywords
Trifolium pratense
chemical constituent
pharmacological activity
health product
-
分类号
R284
[医药卫生—中药学]
R285
[医药卫生—中药学]
-
-
题名单向网络安全设备的分析与证明
被引量：3
- 6
-
-
作者
王雪健
赵国磊
常朝稳
王瑞云
-
机构
信息工程大学
-
出处
《计算机应用研究》
CSCD
北大核心
2019年第4期1120-1124,共5页
-
基金
国家自然科学基金资助项目(61572517)
-
文摘
单向网络安全设备是不同密级间网络信息传输的主要安全设备。为了保证单向网络安全设备内部的安全性和通信系统的安全性,分析了单向网络安全设备的安全需求,提出无干扰模型形式化建模,用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性;针对单向网络安全设备存在的安全隐患进行分析与讨论,总结出更加完善的安全策略,确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。
-
关键词
单向网络安全设备
形式化
无干扰模型
安全策略
数学归纳法
-
Keywords
one-way network safety equipment
formalization
noninterference model
security policies
mathematical induction
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
-
题名信息流格模型的非法流分析
被引量：2
- 7
-
-
作者
王雪健
赵国磊
常朝稳
王瑞云
-
机构
中国人民解放军信息工程大学
-
出处
《计算机科学》
CSCD
北大核心
2019年第2期139-144,共6页
-
基金
面向用户的可信云计算环境安全研究基金(61572517)资助
-
文摘
随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。
-
关键词
信息流
马尔科夫链
SPA
隐通道
无干扰性
-
Keywords
Information flow
Markov chain
SPA
Covert channel
Non-interference
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名典型安全网关的形式化设计与证明
- 8
-
-
作者
王瑞云
赵国磊
常朝稳
王雪健
-
机构
中国人民解放军信息工程大学密码工程学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第9期142-147,共6页
-
基金
面向用户的可信云计算环境安全研究(61572517)资助
-
文摘
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计提供了一定的借鉴意义。
-
关键词
典型安全网关
形式化设计
BLP模型
功能规约
一致性验证
Isabelle/HOL
-
Keywords
Typical security gateway, Formal design, BLP model, Functional specification, Consistency verification, Isa- belle/HOI.
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-
