黔苦5号全麦荞茶的营养与抗氧化、免疫调节功效评价研究

评鉴贵州特色黔苦5号全麦荞茶(QB5T)营养与抗氧化、免疫调节功效,为区域性荞麦饮品研发与推广提供科技支撑。以贵州特色黔苦1号全麦荞茶(QB1T)、贵州特色黔苦5号全麦荞茶(QB5T)为材料,应用福林酚比色法和高效液相色谱法对QB1T、QB5T的多酚、黄酮含量进行测定,采用1,1-二苯基-2-三硝基苯肼(1,1-dipheny1-2-picryl-hydrazyl,DPPH)法、2, 2-联氮-二(3-乙基-苯并噻唑-6-磺酸)二铵盐[2, 2'-azinobis-(3-ethylbenzthiazoline-6-sulphonate), ABTS]自由基清除法、铁离子还原/抗氧化能力(ferric reducing ability of plasma,FRAP)法测定抗氧化能力,建立免疫低下小鼠模型,测定QB5T醇提物对免疫低下小鼠的免疫器官、细胞免疫影响。结果表明:QB5T感观及冲饮特性较优;营养价值较高,碳水化合物占69.50 %,蛋白质含量达20.12 %,多酚、总黄酮含量显著高于QB1T(P<0.05),分别为25.72、20.06 mg/g;总黄酮主要为芦丁(18.23 mg/g)、山奈酚(660.00 μg/g)和槲皮素(412.33 μg/g)。QB5T乙醇提取物抗氧化活性显著优于QB1T,且浓度为100 μg/mL时,对ABTS+·、DPPH·清除率分别达59.53 %、75.02 %,仅次于VC,而FRAP值(255.24 μg FeSO4·7H2O eq/mL)显著优于VC(231.72 μg FeSO4·7H2O eq/mL)。采用QB5T醇提物灌胃免疫低下小鼠,小鼠各项免疫指标均显著或极显著高于模型对照组,且呈现剂量-效应关系:高剂量组的胸腺指数(4.98 mg/g)显著高于模型对照组(P<0.05);脾脏指数(7.77 mg/g)、IgG含量(1 095.65 mg/100 mL)、IgM含量(175.23 mg/100 mL)、血清血溶素水平(OD450值为0.49)、耳肿胀率(121.62 %),吞噬率(53.12 %)则均表现为极显著(P<0.01)。     

基于熵权的嵌入式计算机性能灰评估

为了克服传统的灰色综合评判中主观赋权的局限性,借鉴信息熵的思想,提出了熵权确定权重的方法,构造了基于熵权法的灰色综合评价模型,该模型运用熵权法和层次分析法相结合确定各个因素的权重系数,利用灰色评估原理和方法进行定量分析,并将该模型应用到嵌入式计算机性能评价模型中.案例表明,该方法避免了传统灰评估方法的主观性太强,使灰评估模型既具有客观性,同时具有专家的经验判断,提高了嵌入式计算机性能评估的可靠性,为嵌入式计算机性能综合评价提供了新方法.     

一种基于AADL错误模型的软件安全性分析技术研究

针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。     

基于FSM的测试用例生成算法

研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。     

基于动态追踪的自愈操作系统故障监测技术

操作系统内核故障往往集中分布在特定位置,其中动态内存分配和资源竞争相关代码段为典型的故障集中点,针对上述两类故障集中点,提出了一种新的基于内核动态追踪的故障监测技术,通过追踪导致内核全局数据状态迁移的方法调用,依据设计的规则对记录的调用序列和数据进行分析,实现对故障的监测和定位。监测技术在Linux操作系统中以可加载内核模块的形式实现,不需要额外硬件支持和对原系统代码进行修改。通过故障注入实验验证了监测技术的有效性,监测延时低于已有的基于时间和系统性能指标的故障监测技术。     

基于GSPN的Web服务组合建模与评价

如何利用广义随机Petri网对WS-BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点。首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法;并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证;然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析;最后,以某实例为分析对象,对模型的正确性和有效性进行了验证。     

具有依赖关系的周期任务实时调度方法

随着多核技术在嵌入式领域的快速发展,越来越多的功能被集成在同一个平台上,任务之间的关系越来越复杂.而当前大多数的实时周期任务的调度模型都是不考虑任务之间关系的相互独立的任务模型.文中则针对具有依赖关系的周期任务,提出了一种基于ST(Simple-Tree)的实时周期任务调度模型,通过该模型来维护任务之间的依赖关系.此外,为了有效地提高系统利用率以及降低死限丢失率,文中还提出了可延迟时间越短越优先的调度方法并和RM算法、EDF算法进行仿真实验比较,结果表明该方法具有较高的核利用率和较低的死限丢失率.     

基于跳数场的无线传感器网络路由协议研究

研究了无线传感器网络路由机制;在分析了基于跳数场的多径路由协议的基础上,针对其存在节点负载不均衡的缺陷,提出了新的局部动态改变节点功率的路由算法,该算法在建立跳数场时选取出一跳扩展节点来分担一跳节点的负担,在数据传输过程中使用基于节点剩余能量和连通度的加权函数值作为转发节点的选择依据,均衡了中间节点的能耗;仿真实验表明,新的算法能够有效均衡负载,延长网络生存期.     

空分系统用分子筛材料分离性能评价方法的标准化研究

分子筛材料是变压吸附法空分制氧的核心材料,其氮氧分离性能直接影响着气体分离的效果.本文介绍了空分系统用分子筛材料氮氧分离性能的评价方法及标准化过程,并对《分子筛氮氧分离静态测定方法》行业标准进行了解读,为今后各领域标准应用者提供参考.     

一种优先满足最小服务需求的动态网格资源调度算法

资源调度问题是网格研究必须解决的关键问题之一。目前,围绕着网格中的资源调度算法,国内外已做了大量的研究工作,先后提出了各种静态和动态调度算法。本文针对目前网格调度机制存在的问题,介绍了一种新的网格调度技术--优先满足最小服务需求的动态网格资源调度算法。该调度算法优先满足现有任务对资源的最小要求,从而减小小单个任务的等待时间。实验结果表明,该方法不但可以有效减少单个任务的延迟,而且在任务的吞吐率及CPU效率方面都比较好。