全文获取类型
收费全文 | 250篇 |
免费 | 8篇 |
国内免费 | 10篇 |
专业分类
化学 | 50篇 |
力学 | 5篇 |
综合类 | 8篇 |
数学 | 182篇 |
物理学 | 23篇 |
出版年
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 5篇 |
2020年 | 3篇 |
2019年 | 7篇 |
2017年 | 3篇 |
2016年 | 4篇 |
2015年 | 2篇 |
2014年 | 17篇 |
2013年 | 24篇 |
2012年 | 5篇 |
2011年 | 14篇 |
2010年 | 10篇 |
2009年 | 14篇 |
2008年 | 19篇 |
2007年 | 12篇 |
2006年 | 19篇 |
2005年 | 8篇 |
2004年 | 7篇 |
2003年 | 6篇 |
2002年 | 10篇 |
2001年 | 8篇 |
2000年 | 5篇 |
1999年 | 8篇 |
1998年 | 9篇 |
1997年 | 6篇 |
1996年 | 6篇 |
1995年 | 3篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1989年 | 3篇 |
1988年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
排序方式: 共有268条查询结果,搜索用时 62 毫秒
1.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
2.
任胜兵 《武汉大学学报(理学版)》2006,52(5):644-648
针对基于Web的图书馆管理系统资源访问控制的动态性问题,提出了一种基于角色的访问控制策略描述方案.通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析,结合NIST基于角色的访问控制统一模型标准,构造了一种基于角色的访问控制元模型.并在这一元模型的基础上,提出了一种紧凑的基于角色的访问控制XML策略描述语言框架.结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略,提高了基于Web的图书馆管理系统资源访问的安全性. 相似文献
3.
In this paper, a model of translation gateway is proposed. The communications between IPv4 network and IPv6 network are realized by using the Microsoft intermediate driver technology in environment of Windows 2000. 相似文献
4.
5.
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. 相似文献
6.
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. 相似文献
7.
Speciation of mercury in salmon egg cell cytoplasm was investigated by surfactant-mediated high-performance liquid chromatography/inductively coupled plasma mass spectrometry (HPLC/ICP-MS), where an ODS (octadecylsilica) column coated with a bile acid derivative, CHAPS (3-[(3-cholamidopropyl)-dimethylammonio]-1-propane sulfonate), was used for species separation. Prior to the speciation analysis, total Hg in the cell cytoplasm was determined by ICP-MS at m/z 202 in a flow injection mode. For the precise measurement, salmon egg cell cytoplasm was diluted five-fold with 0.1 M Tris (Tris(hydroxymethyl)aminomethane)-HNO3 buffer solution, and the standard addition method was employed. Thus, the total concentration of Hg in cell cytoplasm was estimated to be 12.4 ng g−1 on the wet weight basis. Next, the cell cytoplasm diluted five-fold with 0.1 M Tris-HNO3 buffer solution was analyzed by surfactant-mediated HPLC with the dual detection system of a UV absorption detector and an ICP-MS instrument. Two peaks corresponding to some proteins and small molecules were mainly observed in those chromatograms. When salmon egg cell cytoplasm was diluted five-fold with 0.01 M Tris buffer solution or pure water, some precipitates appeared probably because of precipitation of hydrophobic proteins in cytoplasm. After the precipitates were eliminated with a membrane filter, the filtrate was subjected to the analysis by surfactant-mediated HPLC/UV/ICP-MS. As a result, the peaks for small molecular species of Hg were clearly observed at the retention time near 4.0 min (corresponding to low-molecular weight zone) in the chromatograms with UV absorption detection as well as with Hg- and S-specific ICP-MS detections. The small molecule bound with Hg was identified as cysteine through the cysteine-spiked experiment. In addition, the protein fraction on the chromatogram obtained by using the CHAPS-coated ODS column was further analyzed by SEC (size exclusion chromatography). Consequently, several protein peaks with molecular weight of 300, 50 and 12 kDa were observed in all the detections of UV absorption, Hg and Se, although two peaks among them were coincident in the case of S. These results indicate that Hg in salmon egg cell cytoplasm binds with proteins containing selenocysteine and/or cysteine residues in proteins. 相似文献
8.
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.相似文献
9.
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.相似文献
10.
We consider β-expansions of formal Laurent series over finite fields. If the base β is a Pisot or Salem series, we prove that the β-expansion of a Laurent series α is automatic if and only if α is algebraic. 相似文献