历史性知识的特殊性及其推理机

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hbl20062
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了历史性知识的殊特性、表达方式,以及针对这些特殊性而开发的历史性知识推理机H-Engine的体系结构,工作原理和面向对象的实现技术以及目前的应用状况.更多还原
其他文献
运用多元k次(k是奇数)丢番图方程构造了一类陷门单向函数,用它们可以建立一种新的公开钥密码.由于多元高次丢番图方程求解的困难性,这样密码更具有安全性.更多还原
<正> 草原毛虫核型多角体病毒(简称GrNPV)是四川大学生物工程系首次分离发现和命名的一种昆虫病毒,现已用GrNPV研制成一种复合的病毒杀虫剂,研究GrNPV的分子结构是很有必要的
引入一类非阿基米德Menger概率度量空间,讨论该类空间中相容映象对的公共不动点的存在性,得出了一些新型的不动点定理.作为应用,我们给出了随机算子方程组公共随机解的一个存
用量子亏损径向波函数,计算径向矩阵元代替文[1]中的平均值,将计算由低激发志推广到里伯德态.计算结果与实验值和其它方法的计算值符合较好.更多还原
<正> 设f(z)=z+sum from v=1 to∞(avzv)是单位圆|z|<1内的解析函数,用N记这种函数的全体.MacGregor研究了N中函数f(z)的单叶星象性,得到若干结果.本文推广了这些结果.1.概念与记号
通过毒死蜱不同剂型防治纵卷叶螟和稻飞虱药效试验结果表明:毒死蜱不同剂型处理对稻纵卷叶螟理防效,药后7d以40%微乳剂100g/667m2处理防效最好,其次为30%水乳剂(双富)120g/667m2
讨论了一类有无穷时滞的生态系统,当条件(k)成立时,给出解的振动性条件,若核是弱时滞的,则证明了非常数周期解的存在性.更多还原
于2011年选用目前生产中防治飞虱类常用的一些药剂,在如皋市雪岸镇黄瓜田进行了药效对比试验。结果表明,本试验中选用的几种药剂防治黄瓜田烟粉虱效果均不理想,相对而言,以灭
选用1日龄从肉仔鸡8OOX随机分为5组,每组4个重复,每重复40只鸡,公母各半,混合饲养。对照组饲喂基础日粮,试验Ⅰ、Ⅱ、Ⅲ、Ⅳ组分别在其基础日粮中添加0.25%、0.50%、0.75%、1.00%的酪蛋白
为研究侵蚀性降雨与土壤侵蚀的关系,选取霍山县上土寺水土保持站作为降雨观测资料的中心站,采用量级法和回归分析法来分析霍山县上土寺水保站记录的当地降水资料,研究降雨量