全文获取类型
收费全文 | 457篇 |
免费 | 4篇 |
国内免费 | 12篇 |
专业分类
系统科学 | 13篇 |
丛书文集 | 33篇 |
教育与普及 | 7篇 |
理论与方法论 | 56篇 |
综合类 | 364篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 3篇 |
2021年 | 4篇 |
2020年 | 5篇 |
2019年 | 4篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 7篇 |
2014年 | 14篇 |
2013年 | 8篇 |
2012年 | 17篇 |
2011年 | 31篇 |
2010年 | 29篇 |
2009年 | 39篇 |
2008年 | 40篇 |
2007年 | 50篇 |
2006年 | 26篇 |
2005年 | 22篇 |
2004年 | 19篇 |
2003年 | 20篇 |
2002年 | 20篇 |
2001年 | 21篇 |
2000年 | 15篇 |
1999年 | 11篇 |
1998年 | 5篇 |
1997年 | 12篇 |
1996年 | 4篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 10篇 |
1992年 | 4篇 |
1991年 | 5篇 |
1990年 | 2篇 |
1989年 | 3篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1982年 | 1篇 |
排序方式: 共有473条查询结果,搜索用时 0 毫秒
1.
提出了工艺规划系统中动态模式分类(pattern classification)的概念,介绍了模式分类判定树和动态模式分类的基本原理,并对动态模式分类的聚类质量标准进行了研究。动态模式分类是基于实例归纳(case based reasoning,CBR)的自动分类过程,具有自学习和自完善的功能。 相似文献
2.
非帕斯卡概率逻辑的知识创新意义在于:(1)借助这种逻辑,我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式;(2)这种逻辑就是一种知识增长的逻辑;(3)它揭示的不断逼近的过程就是科学理论创新的过程。 相似文献
3.
4.
5.
科学方法是人们在认识和改造实现世界的实践活动中总结出来的正确的思维方式和行为方式,在科学研究中,科学方法被视作产生知识的“知识”。学生掌握了科学的方法就能更快地获取科学知识,更透彻地理解科学规律。科学方法作为思维和行为方式,蕴含着极大的智力价值,学生一旦将科学方法内化为自己的思维和行为方式,其智力水平会大大提高。因此,化学教育实施素质教育实施素质教育应注重科学方法的教育。科学方法有非常丰富的内涵,这里主要谈如何指导学生运用探索法、归纳总结法、联想比较法、科学观察法和科学记忆法进行学习,切切实实提高学生的科学素质。 相似文献
6.
以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据,分析了广义因果联系类知识的发现机理,给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例,验证和说明了算法的正确性和有效性。 相似文献
7.
8.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
9.
10.