期刊文献+
共找到2,696篇文章
< 1 2 135 >
每页显示 20 50 100
Chemical Analysis of Activated Carbon from Bull and Cow Horns Pyrolysis to Be Used as Antidotes
1
作者 Alexandre Ngama Mwabi Pierre Yoniene Yassa Vestine Ntakarutimana 《Open Journal of Applied Sciences》 2024年第8期2133-2143,共11页
The purpose of this study is to compare the results of chemical analysis of two types of activated from the pyrolysis of bull horn and that of cow. Six samples were used to measure pH, carbon, calcium and to determine... The purpose of this study is to compare the results of chemical analysis of two types of activated from the pyrolysis of bull horn and that of cow. Six samples were used to measure pH, carbon, calcium and to determine adsorbent power. The pH was measured at a temperature of 20˚C using an “ANION 7010 ionomer” pH meter, the carbon (C) content was analyzed using a “EURO EA 3000” analyzer. and the electronic balance: “Sartorius CP-2P”, calcium (Ca) was analyzed using a DFS-8 spectrograph. For the adsorbency test, the 0.15% methylene blue R solution was used. At the end of this study, we found that the activated carbon from the bull horn demonstrated a carbon content that is higher than that of the cow horn (20.79% against 15.63%), activated carbon of cow horn is richer in calcium than that of bull horn (16.27% against 3.69%) and then the pH. The cow horn is higher than that of the bull horn (7.43 versus 6.5). For the adsorbent power, the sample (75% bull horn and 25% cow horn) was recorded with the greatest adsorbent power. Thus, from this study, it can be recommended as an activated carbon antidote to be used for poisonings treatment. 展开更多
关键词 Activated Carbon Bull horn Cow horn Oil Palm Nut Shells Absorbent Power
下载PDF
Physical and Chemical Properties of Horns Sheaths Particles for the Manufacture of Composite Materials
2
作者 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
安全协议的扩展Horn逻辑模型及其验证方法 被引量:7
3
作者 李梦君 李舟军 陈火旺 《计算机学报》 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
基于OWL和Horn子句的β-PSML语言框架 被引量:3
4
作者 苏依拉 郑磊 +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逻辑扩展模型的安全协议反例的自动构造 被引量:4
5
作者 周倜 李梦君 +1 位作者 李舟军 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1518-1531,共14页
根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全... 根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例. 展开更多
关键词 安全协议 扩展的horn逻辑模型 形式化验证 反例 复杂性
下载PDF
Horn集上的有向调解法 被引量:2
6
作者 欧阳丹彤 刘叙华 《吉林大学自然科学学报》 CAS CSCD 1992年第4期38-42,共5页
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
关键词 horn 调解法 完备性
下载PDF
基于GAG的Horn逻辑分布式推导模型 被引量:3
7
作者 张伟 洪声贵 《辽宁大学学报(自然科学版)》 CAS 2012年第4期289-294,共6页
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路... 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用. 展开更多
关键词 分布式推理 horn逻辑 广义与或图
下载PDF
模糊Horn子句规则及其发现算法 被引量:2
8
作者 刘东波 卢正鼎 《计算机工程》 CAS CSCD 北大核心 2009年第2期184-186,共3页
模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式... 模糊Horn子句规则可以用自然语言来表达人类知识。但是,发现模糊Horn子句规则及其蕴含度是比较困难的。该文从逻辑的观点出发,定义模糊Horn子句规则、支持度、蕴含度及其相关概念,分析模糊Horn子句规则发现的步骤,并给出发现算法的形式化描述。该算法结合了模糊Horn子句逻辑概念和Apriori发现算法,从给定的数量型数据库中发现模糊Horn子句规则。 展开更多
关键词 模糊horn子句规则 支持度 蕴含度 定量数据库
下载PDF
上下增减剂量法与Horn’s法测定LD_(50)的研究 被引量:13
9
作者 张林媛 孙金秀 《卫生毒理学杂志》 CSCD 北大核心 2003年第4期234-236,共3页
关键词 剂量 horn’s法 LD50 毒性 剂量
下载PDF
上-下法替代实验与Horn’s法测定LD_(50)的试验研究 被引量:8
10
作者 连勇 徐培渝 孙强 《现代预防医学》 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
11
作者 方欢 吴哲辉 崔焕庆 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期163-165,共3页
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对... 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明. 展开更多
关键词 horn子句 谓词/变迁网 可达树 方案求解
下载PDF
模糊Horn子句规则挖掘算法研究 被引量:2
12
作者 刘东波 卢正鼎 《计算机科学》 CSCD 北大核心 2011年第9期142-145,共4页
模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴... 模糊关联规则可以用自然语言来表达人类知识,受到数据挖掘与知识发现研究人员的广泛关注。但是,目前大多数模糊关联规则挖掘方法仍然基于经典关联规则的支持度和可信度测度。从模糊蕴涵的观点出发,定义了模糊Horn子句规则、支持度、蕴涵强度以及相关概念,提出了模糊Horn子句规则挖掘算法。该算法可以分解为3个步骤。首先,将定量数据库转换为模糊数据库。其次,挖掘模糊数据库中所有支持度不小于指定最小支持度阈值的频繁项目集。一旦得到了所有频繁项目集,就可以用一种直接的方法生成所有蕴涵强度不小于指定最小蕴涵强度阈值的模糊Horn子句规则。 展开更多
关键词 模糊关联规则 模糊horn子句规则 支持度 蕴涵强度 定量数据库 模糊数据库
下载PDF
子句集Σ的极大Horn下界 被引量:1
13
作者 刘世林 裴峥 《西华大学学报(自然科学版)》 CAS 2012年第3期11-13,26,共4页
自动推理是人工智能领域的重要研究课题。基于Horn子句的快速推理是一种重要的自动推理方法。研究了子句集的极小模型与子句集的极大Horn下界的关系,给出了一种获取极大Horn下界的方法,所得结论可用于基于Horn子句的快速推理。
关键词 自动推理 子句集的模型 极大horn下界
下载PDF
输入调解法和单元调解法在Horn集上的完备性 被引量:1
14
作者 欧阳丹彤 孙吉贵 刘叙华 《软件学报》 EI CSCD 北大核心 1993年第1期6-11,共6页
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
关键词 调解法 单元调解法 完备性 horn
下载PDF
Petri网用于Horn子句的逻辑推论 被引量:6
15
作者 林闯 《软件学报》 EI CSCD 北大核心 1993年第4期32-37,共6页
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算... 这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。 展开更多
关键词 PETRI网 horn子句 逻辑推论
下载PDF
Polyethylene glycol fusion repair of severed rat sciatic nerves reestablishes axonal continuity and reorganizes sensory terminal fields in the spinal cord 被引量:1
16
作者 Emily A.Hibbard Liwen Zhou +5 位作者 Cathy Z.Yang Karthik Venkudusamy Yessenia Montoya Alexa Olivarez George D.Bittner Dale R.Sengelaub 《Neural Regeneration Research》 SCIE CAS 2025年第7期2095-2107,共13页
Peripheral nerve injuries result in the rapid degeneration of distal nerve segments and immediate loss of motor and sensory functions;behavioral recovery is typically poor.We used a plasmalemmal fusogen,polyethylene g... Peripheral nerve injuries result in the rapid degeneration of distal nerve segments and immediate loss of motor and sensory functions;behavioral recovery is typically poor.We used a plasmalemmal fusogen,polyethylene glycol(PEG),to immediately fuse closely apposed open ends of severed proximal and distal axons in rat sciatic nerves.We have previously reported that sciatic nerve axons repaired by PEG-fusion do not undergo Wallerian degeneration,and PEG-fused animals exhibit rapid(within 2–6 weeks)and extensive locomotor recovery.Furthermore,our previous report showed that PEG-fusion of severed sciatic motor axons was non-specific,i.e.,spinal motoneurons in PEG-fused animals were found to project to appropriate as well as inappropriate target muscles.In this study,we examined the consequences of PEG-fusion for sensory axons of the sciatic nerve.Young adult male and female rats(Sprague–Dawley)received either a unilateral single cut or ablation injury to the sciatic nerve and subsequent repair with or without(Negative Control)the application of PEG.Compound action potentials recorded immediately after PEG-fusion repair confirmed conduction across the injury site.The success of PEG-fusion was confirmed through Sciatic Functional Index testing with PEG-fused animals showing improvement in locomotor function beginning at 35 days postoperatively.At 2–42 days postoperatively,we anterogradely labeled sensory afferents from the dorsal aspect of the hindpaw following bilateral intradermal injection of wheat germ agglutinin conjugated horseradish peroxidase.PEG-fusion repair reestablished axonal continuity.Compared to unoperated animals,labeled sensory afferents ipsilateral to the injury in PEG-fused animals were found in the appropriate area of the dorsal horn,as well as inappropriate mediolateral and rostrocaudal areas.Unexpectedly,despite having intact peripheral nerves,similar reorganizations of labeled sensory afferents were also observed contralateral to the injury and repair.This central reorganization may contribute to the improved behavioral recovery seen after PEG-fusion repair,supporting the use of this novel repair methodology over currently available treatments. 展开更多
关键词 AXOTOMY dorsal horn peripheral nerve injury PLASTICITY polyethylene glycol(PEG) sciatic nerve sensory terminals wheat germ agglutinin horseradish peroxidase
下载PDF
基于Horn-Schunck光流法的多目标反刍奶牛嘴部自动监测 被引量:14
17
作者 宋怀波 李通 +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集上的输入归结 被引量:1
18
作者 裴峥 黄天民 《西南交通大学学报》 EI CSCD 北大核心 2002年第5期565-569,共5页
关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的... 关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的特点 ,结合输入归结的优点 ,进行Horn集上的输入归结。 展开更多
关键词 模糊神经网络 horn 模糊逻辑系统 归结原理 输入归结 人工智能 机器证明
下载PDF
模糊Horn子句逻辑形式系统 被引量:3
19
作者 刘东波 卢正鼎 《模糊系统与数学》 CSCD 北大核心 2007年第2期30-39,共10页
简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Hor... 简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。 展开更多
关键词 一阶谓词逻辑 模糊逻辑 Herbrand解释 蕴涵强度
下载PDF
基于Greenberger-Horne-Zeilinger态的量子公平盲签名方案 被引量:1
20
作者 王宁 郭躬德 林崧 《小型微型计算机系统》 CSCD 北大核心 2015年第3期520-523,共4页
通过使用Greenberger-Horne-Zeilinger态和经典哈希函数,提出一个量子公平盲签名方案.在该方案的初始化阶段,可信的仲裁者分别与盲签名者和接收者共享一个GHZ态序列和秘钥序列.在签名阶段,根据签名者和接收者对各自手中的GHZ态粒子的测... 通过使用Greenberger-Horne-Zeilinger态和经典哈希函数,提出一个量子公平盲签名方案.在该方案的初始化阶段,可信的仲裁者分别与盲签名者和接收者共享一个GHZ态序列和秘钥序列.在签名阶段,根据签名者和接收者对各自手中的GHZ态粒子的测量结果,签名者产生一个经典信息的盲量子签名.在验证阶段,根据GHZ态的关联性,仲裁者能够验证盲签名的合法性.最后,如果签名者和接收者对之前签订的消息有争议,仲裁者将在链接恢复阶段通过对签名的追溯来解决这个问题.本文还对该方案的安全性进行分析,结果表明它能满足公平盲签名的安全性要求,即不可伪造性、不可否认、盲性和可追踪性. 展开更多
关键词 公平盲签名 Greenberger-horne-Zeilinger态 哈希函数
下载PDF
上一页 1 2 135 下一页 到第
使用帮助 返回顶部