复方积雪草减轻小鼠日本血吸虫引起的肝纤维化:通过调控TLR4/MyD88通路抑制炎症-纤维化级联反应

1

作者 管丽萍 颜燕 +9 位作者 卢心怡 李智峰 高晖 曹东 侯晨曦 曾靖宇 李欣怡 赵洋 王俊杰 方会龙 《南方医科大学学报》 北大核心 2025年第6期1307-1316,共10页

目的 基于网络药理学和分子对接,联合日本血吸虫(Sj)感染小鼠引起肝纤维化实验验证,探究复方积雪草(CCA)有效成分抗Sj病肝纤维化的作用机制。方法 利用传统中药系统药理学数据库筛选CCA的活性成分及其作用靶点,与Sj病肝纤维化发病机制... 目的 基于网络药理学和分子对接,联合日本血吸虫(Sj)感染小鼠引起肝纤维化实验验证,探究复方积雪草(CCA)有效成分抗Sj病肝纤维化的作用机制。方法 利用传统中药系统药理学数据库筛选CCA的活性成分及其作用靶点,与Sj病肝纤维化发病机制相关的靶点进行比对,获得CCA抗Sj病肝纤维化的潜在作用靶点;采用STRING数据库,构建药物疾病交集靶点的PPI网络,筛选核心靶点;通过Cytoscape 3.9.1构建“药物-成分-靶点-通路-疾病”网络图;运用David数据库进行GO和KEGG富集分析;利用PyMol和AutoDockVina1.1.2对CCA主要活性成分与核心靶点使用分子对接技术进行活性验证。将36只小鼠随机均分为正常对照组(control)、模型组(Sj)、复方积雪草组(Sj+CCA);control组不做任何处理,其余经腹部皮肤感染血吸虫尾蚴建模成功8周后,分别每天灌胃生理盐水和CCA水煎剂,连续8周。采用HE、Masson染色法检测小鼠肝组织病理变化;免疫组化染色检测肝脏Collagen-Ⅰ、Collagen-Ⅲ的表达水平;ELISA法测定小鼠血清中IL-6和TNF-α水平变化;蛋白质印迹法检测肝组织TLR4(TOLL样受体4)、MyD88(髓分化因子88)蛋白表达。结果 筛选得到107种CCA活性成分(OB≥30%,DL≥0.18),791个成分靶点,Sj病肝纤维化靶点集和CCA靶点集进行交集分析后共得到37个关键靶点。其中TNF、TP53、JUN、MMP9、CXCL为核心靶点,涉及的主要信号通路为Lipid and atherosclerosis、IL-17 signaling pathway、Fluid shear stress and atherosclerosis、Chagas disease、Pathways in cancer等。分子对接结果提示,CCA107个活性成分中槲皮素与TNF、TP53、JUN、MMP9有较好的结合活性。在小鼠Sj病肝纤维化模型中,CCA处理能够减轻炎性细胞浸润,减少Collagen-I、Collagen-Ⅲ沉积(P<0.001,P<0.01),改善肝组织结构,降低其炎症因子IL-6、TNF-α的含量(P<0.05),下调TLR4、MyD88蛋白表达(P<0.01)。结论 CCA可能作用于TNF、MMP9、JUN、TP53靶点,调控TLR4/MyD88信号通路,抑制IL-6、TNF-α等促炎因子释放,进而减少HSC活化及胶原纤维产生,降低ECM的沉积,阻断Sj虫卵肉芽肿的形成,发挥抗Sj感染引起的肝纤维化和保肝的作用。 展开更多

关键词 日本血吸虫病肝纤维化 复方积雪草 网络药理学 分子对接 实验验证

在线阅读 下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式 被引量：8

2

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式. 展开更多

关键词 模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M￡*

在线阅读 下载PDF 职称材料

DSPH方法的有效性验证及应用 被引量：3

3

作者 闫蕊 徐绯 张岳青 《爆炸与冲击》 EI CAS CSCD 北大核心 2013年第2期133-139,共7页

讨论了不连续的光滑粒子流体动力学(discontinuous smoothed particle hydrodynamics,DSPH)方法对粒子均匀性的敏感度,同时通过对DSPH计算公式的详细推导,分析了该方法在界面处提高计算精度的本质原因。通过简单的对碰模型,将DSPH方法... 讨论了不连续的光滑粒子流体动力学(discontinuous smoothed particle hydrodynamics,DSPH)方法对粒子均匀性的敏感度,同时通过对DSPH计算公式的详细推导,分析了该方法在界面处提高计算精度的本质原因。通过简单的对碰模型,将DSPH方法应用于实际问题中,研究了使用DSPH方法计算密度、应变率和能量时对模拟结果的影响,将多维的DSPH方法推广到实际的物理计算中。 展开更多

关键词 流体力学 有效性验证 不连续SPH公式 密度 应变率 能量

在线阅读 下载PDF 职称材料

弯道环流流速公式的验证与比较 被引量：7

4

作者 李志威 方春明 邵佳 《泥沙研究》 CSCD 北大核心 2011年第5期73-80,共8页

弯道环流流速公式是弯道水力学理论研究的重要内容。给出了弯道环流流速公式的一般理论推导过程,归纳了国内外5种具有代表性的环流流速公式,即罗索夫斯基公式、张红武公式、Odgaard公式、孙东坡公式以及罗索夫斯基修正公式,并采用弯道... 弯道环流流速公式是弯道水力学理论研究的重要内容。给出了弯道环流流速公式的一般理论推导过程,归纳了国内外5种具有代表性的环流流速公式,即罗索夫斯基公式、张红武公式、Odgaard公式、孙东坡公式以及罗索夫斯基修正公式,并采用弯道水槽及模型资料予以验证和比较,同时对3种罗氏公式的近似式进行了验证。验证结果表明,罗氏公式的3种近似式中,只有丁君松的近似式是精度较高,其它两种均有较大偏差。5种代表性的环流流速公式,张红武公式的精度高和可靠性强,其次是罗氏公式和Odgaard公式,孙东坡公式与张红武的实测资料存在一定偏差,而罗索夫斯基修正公式的形式不尽合理,在近底区域与实测资料分歧较大,甚至与定性规律相悖。 展开更多

关键词 弯道 弯道环流 流速分布公式 偏离度 验证

在线阅读 下载PDF 职称材料

双季水稻塑盘旱育抛栽基本苗公式的验证 被引量：5

5

作者 潘晓华 陈小荣 杨福孙 《江西农业大学学报》 CAS CSCD 北大核心 2006年第1期1-6,共6页

以自拟基本苗公式计算出的苗数为中等群体,设置上下水平基本苗数各1个为对照,比较了早、晚稻塑盘旱育抛栽不同群体起点产量及其形成的差异。结果表明,中等群体处理的产量结构最优,在三处理中稻谷产量最高,其茎蘖消长与成穗、颖花伤流量... 以自拟基本苗公式计算出的苗数为中等群体,设置上下水平基本苗数各1个为对照,比较了早、晚稻塑盘旱育抛栽不同群体起点产量及其形成的差异。结果表明,中等群体处理的产量结构最优,在三处理中稻谷产量最高,其茎蘖消长与成穗、颖花伤流量、叶面积系数与结构以及干物质积累与转运总体上最为合理。本研究初步验证了所拟合出的塑盘旱育抛栽基本苗公式的正确性。 展开更多

关键词 双季水稻 塑盘早育抛栽 基本苗公式验证

在线阅读 下载PDF 职称材料

换位原理与几个模态特征公式的有效性

6

作者 张宏 何华灿 《计算机科学》 CSCD 北大核心 2006年第8期184-186,209,共4页

采用换位原理的推理规则能够使得多Agent系统中关于其它Agent的状况和行为的推理变得简明和清晰。本文探讨了几个正规模态特征公式的有效性与框架性质之间的关系，发现一些直观上成立的模态公式也是有条件成立的，并从模态逻辑和Kripke... 采用换位原理的推理规则能够使得多Agent系统中关于其它Agent的状况和行为的推理变得简明和清晰。本文探讨了几个正规模态特征公式的有效性与框架性质之间的关系，发现一些直观上成立的模态公式也是有条件成立的，并从模态逻辑和Kripke可能世界语义的角度给出了文[1～3]中换位原理（PEP）规则有效性的语义证明。 展开更多

关键词 特征公式 有效性 换位原理 框架

在线阅读 下载PDF 职称材料

县域耕地土壤速效钾空间预测方法的比较 被引量：8

7

作者 周磊 齐雁冰 +1 位作者 常庆瑞 杨凤群 《西北农林科技大学学报（自然科学版）》 CSCD 北大核心 2012年第8期193-199,共7页

【目的】筛选出测土配方施肥项目中最适宜的土壤速效钾空间预测方法,为准确预测土壤养分的空间分布提供依据。【方法】以陕西汉中汉台区耕地土壤速效钾含量为研究对象,分别采用反距离加权插值法、径向基函数插值法和普通克里格插值法3... 【目的】筛选出测土配方施肥项目中最适宜的土壤速效钾空间预测方法,为准确预测土壤养分的空间分布提供依据。【方法】以陕西汉中汉台区耕地土壤速效钾含量为研究对象,分别采用反距离加权插值法、径向基函数插值法和普通克里格插值法3种方法,在选取3种方法最优模型参数的基础上,对试验区域内2 022个土壤速效钾样点进行空间插值,并对结果进行验证及评价。【结果】通过对3种空间插值方法进行交叉验证,径向基函数插值法均方根误差为267.349,小于其他2种插值方法;其相关系数为0.687,大于其他2种插值方法。利用分区符合度法和插值结果图进一步验证,结果表明,相对于反距离加权插值法和普通克里格插值法,径向基函数插值法更能反映试验区域土壤速效钾的分布格局。【结论】径向基函数插值法较反距离加权插值法和普通克里格插值法更适宜于试验区耕地土壤速效钾的空间预测;在测土配方施肥项目实施过程中,利用分区符合度验证法对土壤养分空间预测方法进行选择是切实可行的。 展开更多

关键词 测土配方施肥 空间预测 分区符合度 土壤速效钾 陕西汉中

在线阅读 下载PDF 职称材料

逻辑能认识真理吗?

8

作者 廖德明 《北京理工大学学报（社会科学版）》 CSSCI 2011年第3期134-138,共5页

逻辑可修正吗?逻辑真理可错吗?近期逻辑学界对此进行了激烈的讨论。逻辑可修正的争论实质是概念内涵与外延之争,而逻辑真理可错的争论却是认识之争,在其背后隐含着逻辑能否认识真理的问题。如果把逻辑真理等同于逻辑有效式,认为逻辑真... 逻辑可修正吗?逻辑真理可错吗?近期逻辑学界对此进行了激烈的讨论。逻辑可修正的争论实质是概念内涵与外延之争,而逻辑真理可错的争论却是认识之争,在其背后隐含着逻辑能否认识真理的问题。如果把逻辑真理等同于逻辑有效式,认为逻辑真理不是真理,则必然否认真理在逻辑中的存在。逻辑真理不应该是指那些在一个系统内有效的逻辑式,而是那些在系统内外都成立的有效式,因此逻辑真理是不可错的,是真理的一种形式,真理是能够在逻辑中找到的。 展开更多

关键词 逻辑真理 真理 逻辑有效式

在线阅读 下载PDF 职称材料

不同地表情况下Cooray-Rubinstein算法的应用及其精度检验 被引量：1

9

作者 樊艳峰 张其林 +2 位作者 李东帅 高金阁 申元 《大气科学学报》 CSCD 北大核心 2017年第1期118-126,共9页

将雷电水平电场Cooray-Rubinstein(C-R)算法推广应用于地表电导率垂直分层的情况,并利用时域有限差分(FDTD)方法对不同地表情况下C-R算法的精度进行检验。结果表明,C-R算法的适用条件为:距离回击通道为100~1 000 m、地表电导率介于0.001... 将雷电水平电场Cooray-Rubinstein(C-R)算法推广应用于地表电导率垂直分层的情况,并利用时域有限差分(FDTD)方法对不同地表情况下C-R算法的精度进行检验。结果表明,C-R算法的适用条件为:距离回击通道为100~1 000 m、地表电导率介于0.001~0.01 S/m,最大误差小于10%。当土壤电导率均匀分布时,C-R算法的精度最好;对电导率水平分层的情况,当上层电导率小于下层电导率时,C-R算法的精度较优;当电导率垂直分层时,若观测点处的土壤电导率小于闪击点处的电导率时,C-R算法的计算精度较高,反之,精度较低;对任何光滑有耗地表而言,利用C-R算法计算的首次回击水平电场的精度优于继后回击。 展开更多

关键词 C-R算法 FDTD 雷电水平电场 电导率分布 精度分析

在线阅读 下载PDF 职称材料

一阶逻辑中公理化真度研究 被引量：2

10

作者 郝娇 惠小静 +1 位作者 马硕 金明慧 《计算机科学》 CSCD 北大核心 2021年第S02期669-671,712,共4页

一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说... 一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式。上述结果将为谓词逻辑程度化研究做准备。 展开更多

关键词 一阶逻辑 逻辑有效公式 可满足性 定理 前束范式

在线阅读 下载PDF 职称材料

内压作用下等壁厚过渡及等圆角过渡三通塑性极限分析 被引量：6

11

作者 刘张羽 惠虎 +1 位作者 余婧璠 黄淞 《压力容器》 北大核心 2020年第5期18-24,51,共8页

为了保证采油树的安全运行,采用弹塑性有限元方法,对采油树结构中常用的管件三通的极限载荷开展研究。国产采油树三通的相贯区域均有一定的壁厚加厚现象,通过采用两种过渡方法(等壁厚过渡和等圆角过渡)分析壁厚的影响。研究内容如下:分... 为了保证采油树的安全运行,采用弹塑性有限元方法,对采油树结构中常用的管件三通的极限载荷开展研究。国产采油树三通的相贯区域均有一定的壁厚加厚现象,通过采用两种过渡方法(等壁厚过渡和等圆角过渡)分析壁厚的影响。研究内容如下:分析了三通的失效形式,并确定了不同影响因素包括两种圆角过渡方法、主管径厚比及铸造圆角值对三通极限载荷均有一定程度的影响;建立了覆盖常用主管径厚比、铸造圆角及两种铸造方法的极限内压数据库;确定了两种过渡方法的优劣性及最佳铸造圆角值,得到了三通的影响因素曲线及工程估算公式;最后,通过试验验证了仿真的合理性。该研究结果可为三通的结构选型及设计优化提供参考依据。 展开更多

关键词 三通 塑性极限载荷 过渡方法 工程估算公式 试验验证

在线阅读 下载PDF 职称材料

二阶逻辑有效公式集的非递归可枚举性

12

作者 何自强 《哈尔滨工程大学学报》 EI CAS CSCD 1998年第3期71-74,共4页

证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的

关键词 二阶语言 逻辑有效公式 递归可枚举集

在线阅读 下载PDF 职称材料

特殊医学用途婴儿配方食品产品特点与有效清洁实施探讨

13

作者 缪小静 姜艳喜 +3 位作者 何光华 华家才 张小玲 储小军 《中国乳品工业》 CAS 北大核心 2019年第6期51-55,共5页

本文分析了国家标准列出的6种特殊医学用途婴儿配方食品的特点,参照药品生产清洁验证范例探讨了特殊医学用途婴儿配方食品干法工艺生产时如何实施有效清洁。为了进行持续有效清洁,需引用药品风险评估,贯穿开发、转移、验证、持续等各阶... 本文分析了国家标准列出的6种特殊医学用途婴儿配方食品的特点,参照药品生产清洁验证范例探讨了特殊医学用途婴儿配方食品干法工艺生产时如何实施有效清洁。为了进行持续有效清洁,需引用药品风险评估,贯穿开发、转移、验证、持续等各阶段并保证各阶段的科学性、合理性、有效性。 展开更多

关键词 特殊医学用途婴儿配方食品 干法 设备 清洁 验证

在线阅读 下载PDF 职称材料