全文获取类型
收费全文 | 214篇 |
免费 | 48篇 |
国内免费 | 24篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 4篇 |
2021年 | 7篇 |
2020年 | 10篇 |
2019年 | 9篇 |
2018年 | 1篇 |
2017年 | 3篇 |
2016年 | 5篇 |
2015年 | 5篇 |
2014年 | 23篇 |
2013年 | 7篇 |
2012年 | 12篇 |
2011年 | 11篇 |
2010年 | 18篇 |
2009年 | 17篇 |
2008年 | 14篇 |
2007年 | 11篇 |
2006年 | 18篇 |
2005年 | 25篇 |
2004年 | 7篇 |
2003年 | 8篇 |
2002年 | 8篇 |
2001年 | 4篇 |
2000年 | 4篇 |
1999年 | 9篇 |
1998年 | 8篇 |
1997年 | 9篇 |
1996年 | 5篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 5篇 |
排序方式: 共有286条查询结果,搜索用时 15 毫秒
121.
122.
Andrews在《AnIntroductiontoMathematicalLogicandTypeTheory:ToTruthThroughProof》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理(3201)及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。 相似文献
123.
124.
朱双鹤 《空军电讯工程学院学报》1997,(2):84-88
具有编序的多树组集合是多树格。多树格是几何格。多树组和其多树格的元素之间的有一一对应的关系。一个混合子图的全部树可以由能构成最大独立集的子图的多树组的Cartesian乘积的并集得一而勿需用制方法求出。这样在格率和图论之间建立了联系,对图的分解问题提供了一种直观的几何方法。 相似文献
125.
本文是以模糊数学理论为基础,并考虑了人的心理因素,构造出一种新型的不精确推理。它已在一个实用的专家系统——突发性案件专家支持系统(SCESS)中得到实现。该推理能处理用单个数值、模糊区间和自然语言描述的不精确知识的可信度,并通过用户的态度得出相应的结论。 相似文献
126.
127.
赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。 相似文献
128.
文中研究将多特征信息融合技术用于图象目标识别分类的方法,利用图象灰度表面的分形特征与图象的摘特征(非分形特征)所提供的信息进行融合处理,在决策层中运用Dempster-Shafer证据推理理论,并使用决策规则对目标进行分类。在实验中,将经过信息融合分类的结果与单特征独自分类的结果进行比较。结果表明,多特征信息融合的目标识别方法具有良好的稳定性,准确性和可靠性,能够有效地提高图象分类识别系统的精确度与容错性。 相似文献
129.
130.
依据炮瞄雷达故障诊断的需要,提出了一种智能化炮瞄雷达故障诊断专家系统设计方案。探讨了方案的组成,给出了实用诊断策略。 相似文献