全文获取类型
收费全文 | 408篇 |
免费 | 110篇 |
国内免费 | 100篇 |
出版年
2023年 | 7篇 |
2022年 | 10篇 |
2021年 | 10篇 |
2020年 | 31篇 |
2019年 | 15篇 |
2018年 | 39篇 |
2017年 | 17篇 |
2016年 | 19篇 |
2015年 | 24篇 |
2014年 | 25篇 |
2013年 | 46篇 |
2012年 | 25篇 |
2011年 | 20篇 |
2010年 | 17篇 |
2009年 | 21篇 |
2008年 | 25篇 |
2007年 | 18篇 |
2006年 | 25篇 |
2005年 | 26篇 |
2004年 | 19篇 |
2003年 | 23篇 |
2002年 | 19篇 |
2001年 | 18篇 |
2000年 | 14篇 |
1999年 | 13篇 |
1998年 | 15篇 |
1997年 | 8篇 |
1996年 | 10篇 |
1995年 | 5篇 |
1994年 | 5篇 |
1993年 | 6篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 3篇 |
1989年 | 1篇 |
1988年 | 2篇 |
1987年 | 5篇 |
1986年 | 1篇 |
1985年 | 2篇 |
1984年 | 2篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 4篇 |
1978年 | 3篇 |
1977年 | 6篇 |
1976年 | 3篇 |
1975年 | 3篇 |
排序方式: 共有618条查询结果,搜索用时 15 毫秒
391.
A general tableau method for propositional interval temporal logics: Theory and implementation 总被引:2,自引:0,他引:2
In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's CDT logic interpreted over partial orders (BCDT+ for short). It combines features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. 相似文献
392.
负启动效应及其机制是近年来认知心理学研究的重点课题。该文从情景提取说、短暂辨别说以及随意刺激—反应联结的自动化提取理论三个方面论述了负启动效应的抗抑制理论及其新发展,以期为进一步探讨负启动效应的形成机制提供帮助。 相似文献
393.
394.
Many theoretical accounts consider disgust to be a unitary emotion, although others have challenged this notion. We predict
that if core disgust and socio-moral disgust are different constructs, then their co-associated elicited emotions are likely
to be different, and time as well as gender are likely to differentially affect their intensity (via a greater reliance of
socio-moral disgust on cognitive appraisal). To test these predictions, participants were shown photographs of core and socio-moral
disgust elicitors and asked to provide a wide ranging rating of their emotional response to each at 3 time points. Each elicitor
generated a significantly different emotional response. Furthermore, the disgust response to core elicitors weakened over
time whereas socio-moral responses intensified. Males and females showed similar levels of disgust to socio-moral elicitors,
but females showed higher levels to core elicitors. Overall, the results suggest that a different emotional construct was
activated by each type of elicitor. 相似文献
395.
Monodic Packed Fragment with Equality is Decidable 总被引:1,自引:1,他引:0
We prove decidability of satisfiability of sentences of the monodic packed fragment of first-order temporal logic with equality and connectives Until and Since, in models with various flows of time and domains of arbitrary cardinality. We also prove decidability over models with finite domains, over flows of time including the real order. 相似文献
396.
The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters. 相似文献
397.
Jane P. Sheldon 《Journal of Adult Development》2004,11(1):47-53
Researchers have demonstrated that competency judgments can vary depending on the source of self-evaluation used. This study investigated age and gender differences in 459 adult tennis players' importance ratings for ten different competence information sources. As predicted, younger adults were more likely than older adults to value temporal comparisons, both past-to-present (i.e., personal improvement) and present-to-future (i.e., comparisons with future selves). Younger adults were more likely to value feedback from family for self-evaluation. Older adults were slightly more likely to rate comparisons with agemates as important. Women more than men valued feedback from tennis others, effort, and liking for the sport. The findings are consistent with theoretical models and point to new areas of investigation. 相似文献
398.
对过去事件的加工涉及到对现在信息的加工,过去获得的价值能够为现在的生活带来的收益可能对过去事件的价值估计具有影响。本研究探讨了过去事件对现在生活的影响在过去时间贴现中的作用。采用延迟时间贴现范式任务,选取2周到50年共10个过去时间长度,要求被试在现在获得的奖金和过去获得的奖金之间进行偏好选择,并且完成对过去时间贴现决策策略的问题回答。采用曲线下的单位面积UAUr(t1,t1) 为过去时间贴现率,发现过去时间贴现率在过去2周和过去1个月之间[Z = 2.662,p = .008]、过去1年和过去3年之间[Z = 2.587, p = .010] 差异显著。对决策策略的回答进行内容分析(频次统计信度为0.875),发现过去事件能够为现在生活带来的收益影响了被试对过去事件的价值估计和偏好选择。从现在起到过去2周内,被试看重近的过去获得的奖金对现在的生活的帮助,偏好选择过去获得的奖金;在较远的过去,从过去2周起到过去1年内,奖金数量和获得奖金的时间之间的比例影响了被试的偏好选择;从过去1年起到过去50年内,远的过去获得的奖金对现在生活的影响微乎其微,被试偏好现在获得的奖金。本研究的结果支持了过去时间贴现和未来时间贴现具有不同的心理加工机制,并且有助于进一步了解过去时间的差别感受性的变化规律。 相似文献
399.
400.