全文获取类型
收费全文 | 241篇 |
免费 | 5篇 |
国内免费 | 11篇 |
专业分类
化学 | 41篇 |
力学 | 2篇 |
综合类 | 2篇 |
数学 | 200篇 |
物理学 | 12篇 |
出版年
2023年 | 4篇 |
2022年 | 6篇 |
2021年 | 4篇 |
2020年 | 2篇 |
2019年 | 7篇 |
2017年 | 4篇 |
2016年 | 4篇 |
2015年 | 2篇 |
2014年 | 14篇 |
2013年 | 25篇 |
2012年 | 2篇 |
2011年 | 15篇 |
2010年 | 11篇 |
2009年 | 17篇 |
2008年 | 17篇 |
2007年 | 14篇 |
2006年 | 19篇 |
2005年 | 11篇 |
2004年 | 9篇 |
2003年 | 5篇 |
2002年 | 12篇 |
2001年 | 8篇 |
2000年 | 4篇 |
1999年 | 3篇 |
1998年 | 5篇 |
1997年 | 2篇 |
1996年 | 2篇 |
1995年 | 2篇 |
1994年 | 3篇 |
1993年 | 5篇 |
1992年 | 4篇 |
1991年 | 1篇 |
1989年 | 3篇 |
1988年 | 1篇 |
1985年 | 1篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1980年 | 1篇 |
1979年 | 2篇 |
1978年 | 1篇 |
1975年 | 1篇 |
排序方式: 共有257条查询结果,搜索用时 328 毫秒
1.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
2.
C. -H. L. Ong 《Annals of Pure and Applied Logic》2004,130(1-3):125-171
We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function fM. Given any such fM, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable. 相似文献
3.
Gerhard Lischke 《Mathematical Logic Quarterly》2006,52(1):20-28
Punctured languages are languages whose words are partial words in the sense that the letters at some positions are unknown. We investigate to which extent restoration of punctured languages is possible if the number of unknown positions or the proportion of unknown positions per word, respectively, is bounded, and we study their relationships for different boundings. The considered restoration classes coincide with similarity classes according to some kind of similarity for languages. Thus all results we can also formulate in the language of similarity. We show some hierarchies of similarity classes for each class from the Chomsky hierarchy and prove the existence of linear languages which are not δ ‐similar to any regular language for any δ < ½. For δ ≥ ½ this is unknown but it could only be possible in the case of non‐slender linear languages. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
4.
Johan van Benthem 《Logica Universalis》2007,1(1):125-138
We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order
logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference
between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections
with interpolation properties, and the modal invariance theorem.
Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95 相似文献
5.
6.
Martin Kutrib 《Discrete Applied Mathematics》2007,155(16):2152-2164
Turn bounded pushdown automata with different conditions for beginning a new turn are investigated. Their relationships with closures of the linear context-free languages under regular operations are studied. For example, automata with an unbounded number of turns that have to empty their pushdown store up to the initial symbol in order to start a new turn are characterized by the regular closure of the linear languages. Automata that additionally have to re-enter the initial state are (almost) characterized by the Kleene star closure of the linear languages. For both a bounded and an unbounded number of turns, requiring to empty the pushdown store is a strictly stronger condition than requiring to re-enter the initial state. Several new language families are obtained which form a double-stranded hierarchy. Closure properties of these families under AFL operations are derived. The regular closure of the linear languages share the strong closure properties of the context-free languages, i.e., the family is a full AFL. Interestingly, three natural new language families are not closed under intersection with regular languages and inverse homomorphism. Finally, an algorithm is presented parsing languages from the new families in quadratic time. 相似文献
7.
We examined the variation with ionic strength (I, adjusted with KCl, KNO3, KBr, NaCl or NaClO4) of the formal potential (Econst) for glass electrodes exhibiting a Nernstian response (i.e. Ecell=Econst−s log [H+]). For this purpose, we investigated the different factors included in the formal potential, so we obtained reported values for the liquid junction potential as a function of ionic strength and determined the logarithm of the activity coefficient for the proton in various saline media, using Pitzer equations. 相似文献
8.
Formal methods are becoming favorable for control and verification of safety-critical systems because of the rigorous model-based computation. Relying on an over-approximated model of the original system behaviors, formal control synthesis algorithms are not often complete, which means that a controller cannot necessarily be synthesized even if there exists one. The main result of this paper shows that, for continuous-time nonlinear systems, a sample-and-hold control strategy for a reach-and-stay specification can be synthesized whenever such a strategy exists for the same system with its dynamics perturbed by small disturbances. Control synthesis is carried out by a fixed-point algorithm that adaptively partitions the system state space into a finite number of cells. In each iteration, the reachable set from each cell after one sampling time is over-approximated within a precision determined by the bound of the disturbances. To meet such a requirement, we integrate validated high-order Taylor expansion of the system solution over one sampling period into every fixed-point iteration and provide a criterion for choosing the Taylor order and the partition precision. Two nonlinear system examples are given to illustrate the effectiveness of the proposed method. 相似文献
9.
Maksymilian Ignaczak Andrzej Grzejdziak 《Monatshefte für Chemie / Chemical Monthly》1988,119(1):71-81
Predominance areas of various equilibria were identified and complex formation constants of Ag(I) with 1,10-phenanthroline were determined as well as the solubility product of the complex salt for Ag(phen)2ClO4 in propylene carbonate. The solubility product of AgNO3 in propylene carbonate was estimated. The value of the formal potential of the system Ag(phen)
2
2+
/Ag(phen)
2
+
inPC was determined by chronovoltammetry. Differences in the stability of analogous complexes in water andPC are discussed.
Die Gleichgewichtskonstante der Komplexierung und die Redoxpotentiale im System Ag(II)/Ag(I)-1,10-Phenantrolin in Propylencarbonat
Zusammenfassung Die Gebiete der Dominanz der einzelnen Gleichgewichte, die Bildungskonstanten 1 und 2 der Komplexe Ag(I) mit 1,10-Phenantrolin und der Wert des Löslichkeitsproduktes Ag(phen)2ClO4 in Propylencarbonat wurden bestimmt. Das Löslichkeitsprodukt von AgNO3 in Propylencarbonat wurde abgeschätzt. Die Werte des formalen Potentials des Systems Ag(phen) 2 2+ /Ag(phen) 2 + inPC wurden mit Hilfe cyclischer Voltametrie ermittelt. Es wurden weiterhin die Unterschiede in der Stabilität analoger Komplexe in Wasser und in Propylencarbonat diskutiert.相似文献
10.
Maksymilian Ignaczak Andrzej Grzejdziak Barbara Olejniczak 《Monatshefte für Chemie / Chemical Monthly》1989,120(6-7):515-527
Summary The conditional protonation constants (=0.1) for 2,2:6,2-terpyridine, logK
1=4.93, logK
2=3.69, were determined by thepH-metric method. The compositions of complexes of Ag2+ and Ag+ ions with 2,2:6,2-terpyridine (tp) were studied and equilibria of the complex formation process were described. The values of conditional complex formation constants are as follows: for Ag(tp)
2
+
:log01=5.79, log02=9.68, for Ag(tp)
2
2+
:log02=25.31, while the conditional constant of the Ag(tp)NO3 precipitate formation is:K
SO=2.45·104. Using coulometric and chronovoltamperometric measurements, the redox systems being formed in the complex solutions of Ag(II) and Ag(I) were determined and described including their formal potentials.
Komplexibildungsgleichgewichte und Redoxpotentiale des Systems Ag(II)/Ag(I) in Gegenwart von 2,2:6,2-Terpyridin in Wasser
Zusammenfassung Mit Hilfe derpH-metrischen Methode wurden die konditionalen Protonationskonstanten (=0.1) von 2,2:6,2-Terpyridin bestimmt: logK 1=4.93, logK 2=3.69. Es wurde auch die Zusammensetzung der Komplexe von Ag(II) und Ag(I) mit 2,2:6,2-Terpyridin(tp) bestimmt sowie die Gleichgewichte der komplexbildung beschrieben. Die Werte der Konditionalkomplexbildungskonstanten sind: für Ag(tp) 2 + :log01=5.79, log02=9.68, für Ag(tp) 2 2+ :log02=25.31 und für das Löslichkeitsprodukt Ag(tp)NO3:K SO –1 =4.08·10–5. Die in Komplexlösungen von Ag(II) und Ag(I) vorliegenden Redoxsysteme wurden mittels cyclischer Voltametrie und Coulometrie untersucht und die Formalpotentialwerte dieser Systeme in Wasser bestimmt.相似文献