搜索筛选:
搜索耗时0.4956秒,为你在为你在102,267,441篇论文里面共找到 252 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈保平,孙吉贵,
来源：计算机学报 年份：1997
溯因解释的度量及最优解的求解陈保平，孙吉贵（吉林大学计算机科学系长春１３００２３）ＭＥＡＳＵＲＥＭＥＮＴＡＮＤＣＯＭＰＵＴＡＴＩＯＮＯＦＴＨＥＢＥＳＴＡＢＤＵＣＴＩＶＥＥＸＰＬＡＮＡＴＩＯＮＳ￥ＣＨＥＮＢａｏｐｉｎｇ...
[期刊论文] 作者：孙吉贵,王娟,
来源：四川省卫生管理干部学院学报 年份：1997
影响独身老人幸福度的因素分析孙吉贵王娟四川省卫生管理干部学院涪陵地区医院（６４８０００）关于老年人幸福度及其影响因素的研究，国内已有了一些文章发表［１．２］，但对独身及非独身老年人幸福度及其...
[期刊论文] 作者：孙吉贵,郑小华,
来源：四川省卫生管理干部学院学报 年份：1997
社会心理因素对成人性犯罪的影响孙吉贵郑小华社会医学教研室成年性犯罪是当前成年犯罪中一个突出问题，据有关文献［１］报道，近年来，成年性犯罪案件在逐年增加，给家庭、社会带来诸多...
[期刊论文] 作者：,
来源：计算机研究与发展 年份：2009
第一期 基于多模态子空间相关性传递的视频语义挖掘……刘亚楠 吴飞 庄越挺（1）一种新的基于扩展规则的定理证明算法……孙吉贵（逝世） 李莹 朱兴军 吕帅（9）描述逻辑εL循环术语集的...
[期刊论文] 作者：孙吉贵,,
来源：物理教学 年份：1983
自由落体的定性演示 (一)演示过程拴着牵线的十个垫圈,并排挂在夹线板下,垫圈下半部各夹着可坠脱的落体,从右至左编号为坠物1、坠物2…坠物10(图1虚线所示)演示时迅速下按启...
[会议论文] 作者：孙吉贵,
来源：中华预防医学会社会医学学会成立大会暨第一次学术交流会 年份：1988
...
[期刊论文] 作者：林海,孙吉贵,
来源：吉林大学学报(信息科学版) 年份：2002
针对已有预测模型并不完善的问题,在总结现有的预测模型(线性回归模型、时间序列分析、线性随机模型、神经网络模型等)基础上,采用实验分析的方法提出一种新的加权模糊推理的...
[期刊论文] 作者：林海,孙吉贵,
来源：广西师范大学学报(自然科学版) 年份：2003
基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题...
[期刊论文] 作者：林海, 孙吉贵,
来源：计算机科学 年份：2004
本文介绍了因果推理的两个主要应用:预测行为的间接结果,找出给定事实的真正原因,指出了用逻辑描述的因果关系在解决这两个问题中存在的不足.本文也简单地介绍了J.Pearl提出...
[期刊论文] 作者：孙吉贵, 何雨果,,
来源：软件学报 年份：2003
结合Grover和Tad Hogg的算法框架,叙述了量子算法中非结构化和结构化的两类搜索算法的设计思想.在Grover算法中,结合复杂性、临界点、非单调性、完备性和鲁棒性分析总结了一...
[期刊论文] 作者：石莲,孙吉贵,,
来源：计算机科学 年份：2006
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应...
[期刊论文] 作者：刘全,孙吉贵,,
来源：计算机工程 年份：2006
使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TabIeauTAP。该系统可以证明不含等词的经典逻辑公式童耋譬逻辑公式，通过预处理自动生成tableau规则，因此容易...
[期刊论文] 作者：刘全,孙吉贵,
来源：计算机工程与应用 年份：2005
由经典命题公式对应着0—1—整数规划的事实，提出将tableau方法与整数规划相结合的IP—tableau方法，并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后，可以...
[期刊论文] 作者：陈荣,孙吉贵,
来源：吉林大学自然科学学报 年份：1997
通过对那些属于ＮＰ－Ｃｏｍｐｌｅｔｅ的约束可满足问题（如图着色，规划、ＳＡＴ问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略，实验结果表明，应用改进的搜索策略使算法效率明显提高。......
[期刊论文] 作者：孙吉贵,曾莉,
来源：中国老年学杂志 年份：1998
采用生活满意指数Ａ（ＬＳＩＡ）量表，对２８１名城市老年人的生活满意度（ＬＳ）进行测量，并对其影响因素作逐步回归分析。结果显示：ＬＳＩＡ得分为２０．１４±５．３７；其主要因素为对幸福度的主观评价、有无慢性疾病、婚姻状况、......
[期刊论文] 作者：孙吉贵,唐丕,
来源：中国医学伦理学 年份：1997
为了探讨离退休老年人的生活状况，本文通过四川省宜宾地区６０岁及以上离退休老年人幸福度随机拉机调查，结果表明，年龄较小，非独居，中等学历，业余爱好较多，读老年大学，经济收入高，身体健康......
[期刊论文] 作者：陈荣,孙吉贵,
来源：计算机研究与发展 年份：1999
稳定类语义和辨论语义是逻辑程序语义学研究方面突出的两种语义统一框架理论，它们统一了一些很重要的语义，因为它们有着不同的直觉和概念，它们的相互关系并不清楚。我们在它们最......
[期刊论文] 作者：邓安生,孙吉贵,
来源：计算机学报 年份：1998
本文提出了对配锁方式不加限制的广义半锁归结方法，并证明了它在一阶逻辑中的完备性．...
[期刊论文] 作者：刘全,孙吉贵,
来源：计算机工程与应用 年份：2005
自动推理作为自动定理证明的扩展是人工智能研究的基础工作，许多重要的人工智能系统都是以推理系统为其核心部分，其中的tableau方法，由于具有通用性、直观性及易于计算机实现等......
[期刊论文] 作者：张一民,孙吉贵,
来源：吉林大学学报：理学版 年份：2004
介绍了SAT问题的各种求解方法及一阶逻辑模型生成的两种方法, 在此基础上给出实现一阶逻辑模型生成器FOLMG的各个实现步骤. 并对实现的模型生成器与MACE进行了对比测试与结果...
相关搜索：
