期刊文献+
共找到2,634篇文章
< 1 2 132 >
每页显示 20 50 100
Physical and Chemical Properties of Horns Sheaths Particles for the Manufacture of Composite Materials
1
作者 Tawe Laynde Zakari Yaou +2 位作者 Karga Tapsia Lionel Konai Noel Danwe Raidandi 《Journal of Materials Science and Chemical Engineering》 2024年第5期1-9,共9页
Salvaged cow horns from slaughterhouses have been transformed into fine particles for a physical characterization that has led us to determine the humidity rate (2.34% ± 0.054%), the actual density situated betwe... Salvaged cow horns from slaughterhouses have been transformed into fine particles for a physical characterization that has led us to determine the humidity rate (2.34% ± 0.054%), the actual density situated between 0.586 g/cm<sup>3</sup> and 0.732 g/cm<sup>3</sup>, the swelling rate (12%), and one chemical characterization that permitted us to determine the rate of dry matters (97.05%), of mineral matters (2.5%), of protein matters (94.52%). From these weak values, it can easily be seen that cow horn case doesn’t absorb much water and improve the mechanical characteristics of the composite;the high rate of protein shows that keratin which is the structural molecule favors its gripping as reinforcing element in the manufacturing of composite materials. 展开更多
关键词 hornS Fibers Polymer Loads Physical Properties Chemical Composition
下载PDF
Medicinal Standard of Rhinoceros Horn and Its Authenticity Identification
2
作者 Xinyan HU Luyang LI 《Medicinal Plant》 CAS 2023年第2期23-26,共4页
Amid the background where the rhinoceros horn has been hoarded as a rare commodity,there is never a lack of counterfeits and adulterated products of rhinoceros horns on the market.This article aims to summarize the co... Amid the background where the rhinoceros horn has been hoarded as a rare commodity,there is never a lack of counterfeits and adulterated products of rhinoceros horns on the market.This article aims to summarize the commodity specifications and identification key points of the rhinoceros horn from its medicinal standard,to provide a reference for studying substitutes of rhinoceros horn. 展开更多
关键词 Rhinoceros horn Medicinal standard of rhinoceros horn
下载PDF
Motor neuron-specific RhoA knockout delays degeneration and promotes regeneration of dendrites in spinal ventral horn after brachial plexus injury
3
作者 Mi Li Jiawei Xu +10 位作者 Ying Zou Jialing Lu Aiyue Ou Xinrui Ma Jiaqi Zhang Yizhou Xu Lanya Fu Jingmin Liu Xianghai Wang Libing Zhou Jiasong Guo 《Neural Regeneration Research》 SCIE CAS CSCD 2023年第12期2757-2761,共5页
Dendrites play irreplaceable roles in the nerve conduction pathway and are vulnerable to various insults.Peripheral axotomy of motor neurons results in the retraction of dendritic arbors,and the dendritic arbor can be... Dendrites play irreplaceable roles in the nerve conduction pathway and are vulnerable to various insults.Peripheral axotomy of motor neurons results in the retraction of dendritic arbors,and the dendritic arbor can be re-expanded when reinnervation is allowed.RhoA is a target that regulates the cytoskeleton and promotes neuronal survival and axon regeneration.However,the role of RhoA in dendrite degeneration and regeneration is unknown.In this study,we explored the potential role of RhoA in dendrites.A line of motor neuronal conditional knockout mice was developed by crossbreeding HB9~(Cre+)mice with RhoA~(flox/flox)mice.We established two models for assaying dendrite degeneration and regeneration,in which the brachial plexus was transection or crush injured,respectively.We found that at 28 days after brachial plexus transection,the density,complexity,and structural integrity of dendrites in the ventral horn of the spinal cord of RhoA conditional knockout mice were slightly decreased compared with that in Cre mice.Dendrites underwent degeneration at 7 and 14 days after brachial plexus transection and recovered at 28–56 days.The density,complexity,and structural integrity of dendrites in the ventral horn of the spinal cord of RhoA conditional knockout mice recovered compared with results in Cre mice.These findings suggest that RhoA knockout in motor neurons attenuates dendrite degeneration and promotes dendrite regeneration after peripheral nerve injury. 展开更多
关键词 brachial plexus conditional knockout DEGENERATION DENDRITES motor neuron peripheral nerve injury REGENERATION RHOA spinal cord ventral horn
下载PDF
Dynamic physical characteristics of DC arc on arcing horn for HVDC grounding electrode line
4
作者 刘益岑 杨晨光 +4 位作者 郭裕钧 张血琴 肖嵩 高国强 吴广宁 《Plasma Science and Technology》 SCIE EI CAS CSCD 2023年第1期80-87,共8页
The dynamic physical characteristics of a DC arc on an arcing horn for a high voltage direct current(HVDC)grounding electrode line are significantly different from those of the switching device arc,secondary arc,AC fa... The dynamic physical characteristics of a DC arc on an arcing horn for a high voltage direct current(HVDC)grounding electrode line are significantly different from those of the switching device arc,secondary arc,AC fault arc and pantograph-catenary arc.In this work,an experimental platform for the DC arc on the arcing horn was built,and mechanisms of the arc column short circuit and arc root movement were studied.This work further analyzes the characteristics and mechanisms of the arc motion when wind speed and direction,magnetic field and the expansion angle of the electrode are varied.Arc root movement is more likely to occur at the upper electrode.There is a competitive relationship between arc expansion and the transferring effect.The effect of wind on the arc column is greater than the effect on the arc root.The magnetic field has a significant driving effect on both the arc column and the arc root.The research results provide a comprehensive experimental basis for forther probing the method of DC arc suppression,and the improvement of the arcing horn. 展开更多
关键词 grounding electrode line arcing horn DC arc dynamic physical characteristics
下载PDF
Laparoscopic coring-type resection of noncommunicating broadly attached rudimentary horn with recurrent large ovarian endometriomas:A report of two cases
5
作者 Jianmin Chen Dong Huang +1 位作者 Libing Shi Songying Zhang 《Laparoscopic, Endoscopic and Robotic Surgery》 2023年第1期31-34,共4页
Rudimentary horn of the uterus is a rare congenital malformation that is characterized by significant anatomic variability.We report two cases involving women who presented with a broadly attached rudimentary horn and... Rudimentary horn of the uterus is a rare congenital malformation that is characterized by significant anatomic variability.We report two cases involving women who presented with a broadly attached rudimentary horn and large ovarian endometriomas that were innovatively treated by laparoscopic coring-type dissection of the rudimentary horn of the uterus.This novel surgical approach ensured the integrity of the myometrium of the unicornuate uterus and avoided uterine rupture during pregnancy and ipsilateral ovarian function impairment. 展开更多
关键词 LAPAROSCOPIC Rudimentary horn Coring-type dissection Ovarian function
下载PDF
安全协议的扩展Horn逻辑模型及其验证方法 被引量:7
6
作者 李梦君 李舟军 陈火旺 《计算机学报》 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
7
作者 周倜 李梦君 +1 位作者 李舟军 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1518-1531,共14页
根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全... 根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例. 展开更多
关键词 安全协议 扩展的horn逻辑模型 形式化验证 反例 复杂性
下载PDF
基于OWL和Horn子句的β-PSML语言框架 被引量:3
8
作者 苏依拉 郑磊 +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
9
作者 连勇 徐培渝 孙强 《现代预防医学》 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(半数致死剂量) 急性毒性
下载PDF
基于Horn子句集的Pr/T网可达树的方案求解 被引量:4
10
作者 方欢 吴哲辉 崔焕庆 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期163-165,共3页
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对... 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明. 展开更多
关键词 horn子句 谓词/变迁网 可达树 方案求解
下载PDF
上下增减剂量法与Horn’s法测定LD_(50)的研究 被引量:13
11
作者 张林媛 孙金秀 《卫生毒理学杂志》 CSCD 北大核心 2003年第4期234-236,共3页
关键词 剂量 horn’s法 LD50 毒性 剂量
下载PDF
基于Horn-Schunck光流法的多目标反刍奶牛嘴部自动监测 被引量:13
12
作者 宋怀波 李通 +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子句规则及其发现算法 被引量:2
13
作者 刘东波 卢正鼎 《计算机工程》 CAS CSCD 北大核心 2009年第2期184-186,共3页
模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式... 模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式化描述。该算法结合了模糊Horn子句逻辑概念和Apriori发现算法,从给定的数量型数据库中发现模糊Horn子句规则。 展开更多
关键词 模糊horn子句规则 支持度 蕴含度 定量数据库
下载PDF
基于GAG的Horn逻辑分布式推导模型 被引量:3
14
作者 张伟 洪声贵 《辽宁大学学报(自然科学版)》 CAS 2012年第4期289-294,共6页
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路... 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用. 展开更多
关键词 分布式推理 horn逻辑 广义与或图
下载PDF
Horn集上的有向调解法 被引量:2
15
作者 欧阳丹彤 刘叙华 《吉林大学自然科学学报》 CAS CSCD 1992年第4期38-42,共5页
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
关键词 horn 调解法 完备性
下载PDF
模糊Horn子句规则挖掘算法研究 被引量:2
16
作者 刘东波 卢正鼎 《计算机科学》 CSCD 北大核心 2011年第9期142-145,共4页
模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴... 模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴涵强度以及相关概念,提出了模糊Horn子句规则挖掘算法。该算法可以分解为3个步骤。首先,将定量数据库转换为模糊数据库。其次,挖掘模糊数据库中所有支持度不小于指定最小支持度阈值的频繁项目集。一旦得到了所有频繁项目集,就可以用一种直接的方法生成所有蕴涵强度不小于指定最小蕴涵强度阈值的模糊Horn子句规则。 展开更多
关键词 模糊关联规则 模糊horn子句规则 支持度 蕴涵强度 定量数据库 模糊数据库
下载PDF
输入调解法和单元调解法在Horn集上的完备性 被引量:1
17
作者 欧阳丹彤 孙吉贵 刘叙华 《软件学报》 EI CSCD 北大核心 1993年第1期6-11,共6页
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
关键词 调解法 单元调解法 完备性 horn
下载PDF
Petri网用于Horn子句的逻辑推论 被引量:6
18
作者 林闯 《软件学报》 EI CSCD 北大核心 1993年第4期32-37,共6页
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算... 这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。 展开更多
关键词 PETRI网 horn子句 逻辑推论
下载PDF
子句集Σ的极大Horn下界 被引量:1
19
作者 刘世林 裴峥 《西华大学学报(自然科学版)》 CAS 2012年第3期11-13,26,共4页
自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。
关键词 自动推理 子句集的模型 极大horn下界
下载PDF
基于模糊神经网络的Horn集上的输入归结 被引量:1
20
作者 裴峥 黄天民 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期565-569,共5页
关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的... 关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的特点 ,结合输入归结的优点 ,进行Horn集上的输入归结。 展开更多
关键词 模糊神经网络 horn 模糊逻辑系统 归结原理 输入归结 人工智能 机器证明
下载PDF
上一页 1 2 132 下一页 到第
使用帮助 返回顶部