期刊文献+
共找到2,780篇文章
< 1 2 139 >
每页显示 20 50 100
miRNAs expression change in spinal dorsal horn after Tuina in neuropathic pain rats
1
作者 Shi-Ye Wu Hong-Ye Huang +5 位作者 Le-Chun Chen Jing-Jing Jiang Huan-Zhen Zhang Jin-Cheng Chen Shui-Jin Chen Zhi-Gang Lin 《Integrative Medicine Discovery》 2025年第19期1-13,共13页
Background:Neuropathic pain(NP)has a long course and is difficult to treat,causing great physical suffering and psychological burden to patients.Unfortunately,the pathogenesis of NP is still poorly understood.The occu... Background:Neuropathic pain(NP)has a long course and is difficult to treat,causing great physical suffering and psychological burden to patients.Unfortunately,the pathogenesis of NP is still poorly understood.The occurrence and progression of NP are influenced by microRNA(miRNA).It has been reported that Tuina may effectively alleviate NP,however,the mechanisms related to miRNA-mediated Tuina for NP are still unexplored.Methods:To generate NP,a rat model of chronic constriction injury(CCI)was developed.Rats’pain thresholds are studied through pain behaviour tests.The effect of Tuina on the structure and morphology of neurones in the spinal dorsal horn(SDH)of rats with neuropathological pain was examined using HE staining.The levels of miRNA in the SDH of rats with a CCI model were studied using RNA sequencing(RNA-seq)and bioinformatics analysis.The top three miRNAs with the highest fold changes were chosen for qRT-PCR detection to confirm the validity of the RNA-seq results.Results:On the 4th day after CCI surgery,the paw withdrawal threshold(PWT)of the CCI+Tuina group was considerably higher than that of the CCI group(P<0.001).Furthermore,there was a significant increase in the paw withdrawal latency(PWL)of the CCI+Tuina group from day 4 to day 17 after the CCI surgery(P<0.001).Differentially expressed miRNAs in the SDH of three groups of rats were examined using RNA-seq technology.Seven miRNAs were found to intersect in total.The Kyoto Encyclopaedia of Genes and Genomes(KEGG)and Gene Ontology(GO)both anticipated the possible roles of the miRNAs.The RNA-seq results matched the changes in the levels of miR-383-3p(P<0.01),miR-183-3p(P<0.01),and miR-184(P<0.01).Conclusion:CCI-induced NP in rats leads to changes in miRNA expression in the SDH,and Tuina may alleviate NP by modulating the expression pattern of miRNAs and their underlying mechanisms.These findings may provide new targets for future NP treatment. 展开更多
关键词 TUINA spinal dorsal horn neuropathic pain RNA-SEQ MIRNA
暂未订购
Electroacupuncture participates in pain transition through the KCC2/GABAAR pathway in the spinal dorsal horn of male rats
2
作者 Mengting Shi Yangkun Liu +4 位作者 Yi Liang Junfan Fang Yin Jin Ruijie Ma Jie Zhou 《Acupuncture and Herbal Medicine》 2025年第2期217-228,共12页
Objective:Preventing the transition from acute to chronic pain(pain transition)is a new strategy for treating chronic pain.The present study aimed to investigate the role of K+-Cl−Cotransporter Isoform 2(KCC2)andγ-am... Objective:Preventing the transition from acute to chronic pain(pain transition)is a new strategy for treating chronic pain.The present study aimed to investigate the role of K+-Cl−Cotransporter Isoform 2(KCC2)andγ-aminobutyric acid receptor type A(GABAAR)in the spinal cord dorsal horn(SCDH)in pain transition and the intervention effect of electroacupuncture(EA),and to understand the mechanism of EA in preventing acute and chronic pain transition in the spinal center.Methods:A rat model of hyperalgesic priming(HP)was established by injecting carrageenan(Car)into the plantar area of rats,followed by the injection of prostaglandin E2(PGE2)into the dorsal foot 7 days later.The GABAAR agonist(muscimol)and KCC2 activator(CLP257)were intrathecally injected for three consecutive days after PGE2 injection.EA was applied at a frequency of 2/100 Hz to the bilateral foot Zusanli(ST36)and Kunlun(BL60).A von Frey filament was used to detect the pain threshold in each group of rats.Western blotting(WB)and immunofluorescence(IF)were used to detect GABAAR and KCC2 expression in each rats group.By combining EA intervention with a KCC2 inhibitor(VU0240551),we explored the mechanism of pain transition of EA regulation of GABAAR and KCC2 expression in SCDH.Results:The HP model was established by injecting mice with Car/PGE2.Compared to the normal saline(NS)+NS and NS+PGE2 groups,the pain threshold of the Car+PGE2 group decreased significantly 48 hours after PGE2 injection(P<0.01).The WB results indicated that intrathecal injection of a GABAAR agonist upregulated GABAAR expression in the SCDH of HP model rats(P<0.05).WB and IF results revealed that intrathecal injection of the KCC2 activator significantly increased GABAAR and KCC2 expression in the SCDH of HP model rats(P<0.01)and that GABAAR and KCC2 were co-expressed in the same SCDH cells.Compared to the Car+PGE2 group,EA intervention significantly increased MWTs from 48 to 72 hours after the first injection and 4,24,and 48 hours after the second injection(P<0.01).EA upregulated GABAAR and KCC2 expression in the SCDH of rats with HP(P<0.05).Intrathecal injection of the KCC2 inhibitor blocked the analgesic effect of EA in HP model rats(P<0.01).Conclusions:In SCDH,KCC2 expression was downregulated,causing downregulation of GABAAR expression and resulting in pain transition.EA upregulates KCC2 and GABAAR expression and prevents pain transition. 展开更多
关键词 γ-Aminobutyric acid receptor type A ELECTROACUPUNCTURE Hyperalgesic priming K^(+)-Cl−cotransporter isoform 2 Spinal dorsal horn
暂未订购
Sheep with partial RXFP2 knockout exhibit normal horn phenotype but unilateral cryptorchidism
3
作者 Yawei Gao Siyuan Xi +13 位作者 Bei Cai Tingjie Wu Qian Wang Peter Kalds Shuhong Huang Yuhui Wang Saizheng Han Menghao Pan Chong Yang Qifang Kou Baohua Ma Xiaolong Wang Shiwei Zhou Yulin Chen 《Journal of Integrative Agriculture》 2025年第9期3698-3702,共5页
Highlights●CRISPR/Cas9 RNP complex-based strategy demonstrates robustness and accuracy in generating gene-edited sheep.●Sheep horn development remains unaffected by partial RXFP2 knockout.●Partial RXFP2 knockout re... Highlights●CRISPR/Cas9 RNP complex-based strategy demonstrates robustness and accuracy in generating gene-edited sheep.●Sheep horn development remains unaffected by partial RXFP2 knockout.●Partial RXFP2 knockout results in unilateral cryptorchidism in sheep. 展开更多
关键词 crispr cas horn phenotype unilateral cryptorchidism partial rxfp knockout gene edited sheep partial rxfp knockout partial rxfp knockout SHEEP
在线阅读 下载PDF
安全协议的扩展Horn逻辑模型及其验证方法 被引量:7
4
作者 李梦君 李舟军 陈火旺 《计算机学报》 EI CSCD 北大核心 2006年第9期1666-1678,共13页
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn... 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例.在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中,实现了上述算法,验证了算法的正确性. 展开更多
关键词 安全协议 扩展horn逻辑模型 形式化验证
在线阅读 下载PDF
基于Horn逻辑扩展模型的安全协议反例的自动构造 被引量:4
5
作者 周倜 李梦君 +1 位作者 李舟军 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1518-1531,共14页
根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全... 根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例. 展开更多
关键词 安全协议 扩展的horn逻辑模型 形式化验证 反例 复杂性
在线阅读 下载PDF
基于OWL和Horn子句的β-PSML语言框架 被引量:3
6
作者 苏依拉 郑磊 +2 位作者 刘椿年 钟宁 LIU Jiming 《计算机工程》 EI CAS CSCD 北大核心 2005年第23期65-66,78,共3页
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完... 提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。 展开更多
关键词 问题解决标记语言 OWL 语义WEB horn子句
在线阅读 下载PDF
上-下法替代实验与Horn’s法测定LD_(50)的试验研究 被引量:8
7
作者 连勇 徐培渝 孙强 《现代预防医学》 CAS 北大核心 2008年第18期3591-3593,共3页
[目的]探讨急性毒性试验替代法之一—上-下法的优、缺点,寻找最佳的实验条件及具体实施过程中可能存在的问题。[方法]采用上-下法与Horn’s法分别测定11种农药制剂急性经口LD50和95%可信区间(CI),比较两种方法获得的急性毒性分级和试验... [目的]探讨急性毒性试验替代法之一—上-下法的优、缺点,寻找最佳的实验条件及具体实施过程中可能存在的问题。[方法]采用上-下法与Horn’s法分别测定11种农药制剂急性经口LD50和95%可信区间(CI),比较两种方法获得的急性毒性分级和试验所用动物数量。[结果]上-下法所得LD50相近,毒性分级与Horn’s法基本一致;但上.下法试验使用动物减少了64.7%。[结论]上-下法在测定毒作用发生在48h内的农药急性经口LD50具有明显优势,在国内是值得推广的急性替代方法之一。 展开更多
关键词 上-下法(Up—and—Down Procedure) horn’s法 LD50(半数致死剂量) 急性毒性
暂未订购
基于Horn-Schunck光流法的多目标反刍奶牛嘴部自动监测 被引量:17
8
作者 宋怀波 李通 +2 位作者 姜波 吴倩 何东健 《农业工程学报》 EI CAS CSCD 北大核心 2018年第10期163-171,共9页
奶牛反刍行为的智能监测对于奶牛健康及提升现代养殖业的水平具有重要意义。奶牛嘴部区域的自动检测是奶牛反刍行为智能监测的关键,该文提出一种基于Horn-Schunck光流法的多目标奶牛嘴部区域自动检测方法。利用Horn-Schunck光流法模型... 奶牛反刍行为的智能监测对于奶牛健康及提升现代养殖业的水平具有重要意义。奶牛嘴部区域的自动检测是奶牛反刍行为智能监测的关键,该文提出一种基于Horn-Schunck光流法的多目标奶牛嘴部区域自动检测方法。利用Horn-Schunck光流法模型求取奶牛反刍视频中各时间序列图像的光流场,将各帧序列图像中运动较大的光流数据进行叠加,获取奶牛反刍时的候选嘴部区域,最后运用奶牛嘴部区域检测模型实现反刍奶牛嘴部区域的检测。为了验证算法的有效性,利用不同环境下获取的12段视频进行验证,选取的12段视频的每段时长10 s,每段视频帧数在250~280帧之间,结果表明,对于多目标奶牛,12段视频中有8段视频可以成功检测到反刍奶牛的嘴部区域;根据所定义的真实充盈率指标与检测充盈率指标,分别统计了8段成功检测反刍奶牛嘴部区域的视频检测结果,试验表明,8段视频中最大真实充盈率为96.76%,最小真实充盈率为25.36%,总体平均真实充盈率为63.91%;最大检测充盈率为98.51%,最小检测充盈率为43.80%,总体平均检测充盈率为70.06%。研究结果表明,将Horn-Schunck光流法应用于多目标奶牛嘴部区域的自动检测是可行的,该研究可为奶牛反刍行为的智能监测提供参考。 展开更多
关键词 图像处理 算法 自动检测 嘴部区域 多目标奶牛 horn-Schunck光流法
在线阅读 下载PDF
基于Horn子句集的Pr/T网可达树的方案求解 被引量:4
9
作者 方欢 吴哲辉 崔焕庆 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期163-165,共3页
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对... 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明. 展开更多
关键词 horn子句 谓词/变迁网 可达树 方案求解
在线阅读 下载PDF
上下增减剂量法与Horn’s法测定LD_(50)的研究 被引量:13
10
作者 张林媛 孙金秀 《卫生毒理学杂志》 CSCD 北大核心 2003年第4期234-236,共3页
关键词 剂量 horn’s法 LD50 毒性 剂量
暂未订购
模糊Horn子句规则及其发现算法 被引量:2
11
作者 刘东波 卢正鼎 《计算机工程》 CAS CSCD 北大核心 2009年第2期184-186,共3页
模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式... 模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式化描述。该算法结合了模糊Horn子句逻辑概念和Apriori发现算法,从给定的数量型数据库中发现模糊Horn子句规则。 展开更多
关键词 模糊horn子句规则 支持度 蕴含度 定量数据库
在线阅读 下载PDF
基于GAG的Horn逻辑分布式推导模型 被引量:3
12
作者 张伟 洪声贵 《辽宁大学学报(自然科学版)》 CAS 2012年第4期289-294,共6页
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路... 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用. 展开更多
关键词 分布式推理 horn逻辑 广义与或图
在线阅读 下载PDF
Horn集上的有向调解法 被引量:2
13
作者 欧阳丹彤 刘叙华 《吉林大学自然科学学报》 CAS CSCD 1992年第4期38-42,共5页
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
关键词 horn 调解法 完备性
在线阅读 下载PDF
模糊Horn子句规则挖掘算法研究 被引量:2
14
作者 刘东波 卢正鼎 《计算机科学》 CSCD 北大核心 2011年第9期142-145,共4页
模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴... 模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴涵强度以及相关概念,提出了模糊Horn子句规则挖掘算法。该算法可以分解为3个步骤。首先,将定量数据库转换为模糊数据库。其次,挖掘模糊数据库中所有支持度不小于指定最小支持度阈值的频繁项目集。一旦得到了所有频繁项目集,就可以用一种直接的方法生成所有蕴涵强度不小于指定最小蕴涵强度阈值的模糊Horn子句规则。 展开更多
关键词 模糊关联规则 模糊horn子句规则 支持度 蕴涵强度 定量数据库 模糊数据库
在线阅读 下载PDF
输入调解法和单元调解法在Horn集上的完备性 被引量:1
15
作者 欧阳丹彤 孙吉贵 刘叙华 《软件学报》 EI CSCD 北大核心 1993年第1期6-11,共6页
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
关键词 调解法 单元调解法 完备性 horn
在线阅读 下载PDF
Petri网用于Horn子句的逻辑推论 被引量:6
16
作者 林闯 《软件学报》 EI CSCD 北大核心 1993年第4期32-37,共6页
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算... 这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。 展开更多
关键词 PETRI网 horn子句 逻辑推论
在线阅读 下载PDF
子句集Σ的极大Horn下界 被引量:1
17
作者 刘世林 裴峥 《西华大学学报(自然科学版)》 CAS 2012年第3期11-13,26,共4页
自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。
关键词 自动推理 子句集的模型 极大horn下界
在线阅读 下载PDF
基于模糊神经网络的Horn集上的输入归结 被引量:1
18
作者 裴峥 黄天民 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期565-569,共5页
关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的... 关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的特点 ,结合输入归结的优点 ,进行Horn集上的输入归结。 展开更多
关键词 模糊神经网络 horn 模糊逻辑系统 归结原理 输入归结 人工智能 机器证明
在线阅读 下载PDF
基于Greenberger-Horne-Zeilinger态的量子公平盲签名方案 被引量:1
19
作者 王宁 郭躬德 林崧 《小型微型计算机系统》 CSCD 北大核心 2015年第3期520-523,共4页
通过使用Greenberger-Horne-Zeilinger态和经典哈希函数,提出一个量子公平盲签名方案.在该方案的初始化阶段,可信的仲裁者分别与盲签名者和接收者共享一个GHZ态序列和秘钥序列.在签名阶段,根据签名者和接收者对各自手中的GHZ态粒子的测... 通过使用Greenberger-Horne-Zeilinger态和经典哈希函数,提出一个量子公平盲签名方案.在该方案的初始化阶段,可信的仲裁者分别与盲签名者和接收者共享一个GHZ态序列和秘钥序列.在签名阶段,根据签名者和接收者对各自手中的GHZ态粒子的测量结果,签名者产生一个经典信息的盲量子签名.在验证阶段,根据GHZ态的关联性,仲裁者能够验证盲签名的合法性.最后,如果签名者和接收者对之前签订的消息有争议,仲裁者将在链接恢复阶段通过对签名的追溯来解决这个问题.本文还对该方案的安全性进行分析,结果表明它能满足公平盲签名的安全性要求,即不可伪造性、不可否认、盲性和可追踪性. 展开更多
关键词 公平盲签名 Greenberger-horne-Zeilinger态 哈希函数
在线阅读 下载PDF
基于Horn逻辑扩展模型的时间敏感安全协议验证
20
作者 周倜 李梦君 +1 位作者 李舟军 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2006年第z2期534-540,共7页
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,... 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件. 展开更多
关键词 安全协议 扩展的horn逻辑模型 时间敏感 约束条件 形式化验证
在线阅读 下载PDF
上一页 1 2 139 下一页 到第
使用帮助 返回顶部