全文获取类型
收费全文 | 632篇 |
免费 | 36篇 |
出版年
2023年 | 8篇 |
2022年 | 16篇 |
2021年 | 23篇 |
2020年 | 35篇 |
2019年 | 27篇 |
2018年 | 41篇 |
2017年 | 35篇 |
2016年 | 40篇 |
2015年 | 12篇 |
2014年 | 18篇 |
2013年 | 55篇 |
2012年 | 12篇 |
2011年 | 17篇 |
2010年 | 15篇 |
2009年 | 13篇 |
2008年 | 11篇 |
2007年 | 12篇 |
2006年 | 11篇 |
2005年 | 9篇 |
2004年 | 7篇 |
2003年 | 5篇 |
2002年 | 10篇 |
2001年 | 5篇 |
1997年 | 7篇 |
1995年 | 7篇 |
1994年 | 9篇 |
1990年 | 8篇 |
1989年 | 5篇 |
1986年 | 8篇 |
1985年 | 7篇 |
1984年 | 7篇 |
1983年 | 6篇 |
1982年 | 8篇 |
1981年 | 6篇 |
1975年 | 4篇 |
1974年 | 6篇 |
1973年 | 8篇 |
1972年 | 4篇 |
1971年 | 9篇 |
1969年 | 10篇 |
1968年 | 7篇 |
1967年 | 7篇 |
1964年 | 4篇 |
1962年 | 4篇 |
1961年 | 7篇 |
1960年 | 5篇 |
1958年 | 12篇 |
1956年 | 4篇 |
1955年 | 7篇 |
1953年 | 6篇 |
排序方式: 共有668条查询结果,搜索用时 15 毫秒
1.
2.
Sleep in the dove Zenaida asiatica 总被引:1,自引:0,他引:1
Electrographic and behavioral observations were made in five adult birds of the genus Zenaida asiatica. Five different vigilance states were quantitated: (1) Active waking (Aw) was characterized by constant behavioral activity; the nuchal electromyogram was tonically active with bursts associated to movements. The electroencephalographic pattern was low voltage and high frequency. (2) Quiet waking (Qw) was characterized by diminished behavioral activity and the EEG pattern was similar to that of Aw. (3) Drowsiness (D) was characterized by behavioral calm. Frequency of cerebral activity diminished progressively, but there were short periods of desynchronization corresponding to brief awakenings. (4) Slow wave sleep (SWS); during this period there was behavioral rest and EEG pattern of continuous slow waves and the nuchal EMG was tonically reduced. Spindles of sleep were not observed. (5) Paradoxical sleep (SP), behaviorally characterized by phasic manifestations consisting of noddings originated by rapid falling down of head and bursts of rapid eye movements. EEG activity was like that of waking state. EMG activity was maintained at the same level as during SWS but sometimes it decreased lightly. Total atonie was not observed. Sleep percentages were higher when recordings were done during the nocturnal period. 相似文献
3.
Czesław Lejewski 《Studia Logica》1989,48(4):479-494
The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to the system as a new thesis. Now, some protothetical theses, and some ontological ones, included in the respective systems, happen to be definitions. In the present essay I employ Leniewski's method of terminological explanations for the purpose of formalizing ukasiewicz's system of implicational calculus of propositions, which system, without having recourse to quantification, I first extended some time ago into a functionally complete system. This I achieved by allowing for a rule of implicational definitions, which enabled me to define any propositionforming functor for any finite number of propositional arguments.To the memory of Jerzy Supecki 相似文献
4.
Adam Obtułowicz 《Studia Logica》1989,48(3):299-317
In the paper there are introduced and discussed the concepts of an indexed category with quantifications and a higher level indexed category to present an algebraic characterization of some version of Martin-Löf Type Theory. This characterization is given by specifying an additional equational structure of those indexed categories which are models of Martin-Löf Type Theory. One can consider the presented characterization as an essentially algebraic theory of categorical models of Martin-Löf Type Theory. The paper contains a construction of an indexed category with quantifications from terms and types of the language of Martin-Löf Type Theory given in the manner of Troelstra [11]. The paper contains also an inductive definition of a valuation of these terms and types in an indexed category with quantifications. 相似文献
5.
Edgar Elías Osuna 《Journal of mathematical psychology》1985,29(1):82-105
The study of any problem involving waiting situations invariably assumes that people dislike having to wait. The analysis of queueing problems usually prescribes that some costs should be associated with the time people spend waiting to be served. These are usually considered to be of an economic nature, though the existence of other costs of a psychological nature is accepted. It is generally accepted that after having to wait for a certain amount of time, anxiety and stress start to build up in an individual, due both to the sense of waste and the uncertainty involved in a waiting situation. This work provides a theoretical basis for analysing this building up process as it occurs during the waiting period. It is proved that, under very general conditions, the resulting psychological stress accumulated during the process is a marginal increasing function of the waiting time, and some strategies to minimise it are developed. The results obtained give theoretical support to the usual assumptions underlying the development of systems to provide “real time” information to people in waiting situations. This is especially important in the operation of public transportation systems. The results also provide theoretical support to the “convex” treatment usually given to the waiting cost function in queueing problems. 相似文献
6.
Andrzej W. Jankowski 《Studia Logica》1986,45(2):155-166
D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3). 相似文献
7.
Jarosław Achinger 《Studia Logica》1986,45(3):293-300
Universality of generalized Alexandroff's cube
plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube.
is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power
.Condition P(, ,
) says that
is a closure space of all , -filters in the lattice (
),
.Assuming that P (, ,
) holds, in the paper [2], there are given sufficient conditions saying when an , -closure space is an absolute retract for the category of , -closure spaces (see Theorems 2.1 and 3.4 in [2]).It seems that, under assumption that P (, ,
) holds, it will be possible to givean uniform characterization of absolute retracts for the category of , -closure-spaces.Except Lemma 3.1 from [1], there is no information when the condition P (, ,
) holds or when it does not hold.The main result of this paper says, that there are examples of cardinal numbers, , ,
such that P (, ,
) is not satisfied.Namely it is proved, using elementary properties of Lebesgue measure on the real line, that the condition P (,
1, 2
) is not satisfied.Moreover it is shown that fulfillment of the condition is essential assumption in, Theorems 2.1 and 3.4 from [1] i.e. it cannot be eliminated. 相似文献
8.
The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable. 相似文献
9.
10.
Krzysztof Włoch M. D. 《American journal of psychoanalysis》1990,50(4):363-366
Competition is an important force behind evolution in present-day ecological conditions, its intensity varying according to the organisms' expectations vis-à-vis resources available. On the other hand, the role of mutation in the evolutionary process can hardly be underestimated: Leading to the change of the preconsciously functioning archetype, mutation makes it impossible for the ego to realize its image. This is a consequence of the clash between the mutated, preconsciously functioning archetype and the system of ethical and moral norms functioning in the collective superego of a given population group. The type of mutation that results from the accelerated pace of evolution can be viewed as a continuity in the development of an organism's behavior. The preconsciously functioning archetype, resulting from these mutations, contains impulses and predispositions that differ markedly from the impulses and predispositions functioning in the genetically determined "pattern of behavior." In a situation where anxiety results from the inhibition of impulses and dispositions, hostility reactions are likely to occur. In its turn, reactive hostility can induce anxiety, thus creating a reaction cycle. Underlying this mechanism is the mutated, preconsciously functioning archetype, which itself is a result of the development of civilization in our contemporary world. 相似文献