全文获取类型
收费全文 | 86篇 |
免费 | 2篇 |
国内免费 | 5篇 |
专业分类
化学 | 3篇 |
力学 | 3篇 |
数学 | 80篇 |
物理学 | 7篇 |
出版年
2023年 | 2篇 |
2022年 | 1篇 |
2020年 | 2篇 |
2019年 | 3篇 |
2018年 | 2篇 |
2016年 | 1篇 |
2015年 | 1篇 |
2014年 | 6篇 |
2013年 | 7篇 |
2012年 | 3篇 |
2011年 | 2篇 |
2010年 | 3篇 |
2009年 | 5篇 |
2008年 | 8篇 |
2007年 | 4篇 |
2006年 | 4篇 |
2005年 | 3篇 |
2004年 | 3篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2001年 | 3篇 |
2000年 | 3篇 |
1998年 | 1篇 |
1997年 | 6篇 |
1996年 | 2篇 |
1995年 | 4篇 |
1994年 | 1篇 |
1993年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1977年 | 1篇 |
排序方式: 共有93条查询结果,搜索用时 31 毫秒
1.
一阶形式系统K~*及其完备性 总被引:2,自引:0,他引:2
裴道武 《数学年刊A辑(中文版)》2002,(6)
模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性. 相似文献
2.
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. 相似文献
3.
Two sufficient criteria for the convergence of the Rayleigh-Ritz Method (RRM) with respect to the eigenvalues (E-convergence) of non-relativistic electronic Hamiltonians of molecules are discussed and compared. Moreover, a necessary and sufficient criterion is given. By example (Sect. 9) it is shown that the L
2-completeness of the basis is not sufficient to guarantee E-convergence. The convergence of the wave functions in different norms (-convergence) is also investigated. In particular, sufficient conditions for the one-particle basis functions (orbitals) are given, such that a CI calculation in this basis is both E- and -convergent. 相似文献
4.
5.
本文对光子湮没算符高次幂本征态的完备性问题进行了详细研究,给出了ak正交归一本征态的正确的完备性关系.同时,纠正了现有文献报道中所出现的一些错误. 相似文献
6.
Radosav?Dordevi? Miodrag? Ra?kovi? Zoran?Ognjanovi?Email author 《Archive for Mathematical Logic》2004,43(4):557-563
A propositional logic is defined which in addition to propositional language contains a list of probabilistic operators of the form Ps (with the intended meaning the probability is at least s). The axioms and rules syntactically determine that ranges of probabilities in the corresponding models are always finite. The completeness theorem is proved. It is shown that completeness cannot be generalized to arbitrary theories.This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematiki institut, under grant 1379Mathematics Subject Classification (2000): 03C70, 03B48 相似文献
7.
It is shown that the multiplier norm of a shifted Jacobi multiplier sequence can be estimated by the (same) multiplier norm
of the original sequence uniformly with respect to the shift. Muckenhoupt’s transplantation theorem for Jacobi series is used
essentially, for which also a functional analytic understanding is given in terms of the minimality of the Jacobi system in
weighted L
p
-spaces.
相似文献
8.
In this paper, the singular second order differential operators are considered defined on the multi-interval. Some boundary and transmission conditions are imposed on the maximal domain functions with the spectral parameter. After constructing the differential operators associated with the boundary value transmission problems on the suitable Hilbert spaces, it is proved that these operators are the maximal dissipative operators. Finally constructing the model operators which are established with the help of the scattering functions, it is proved that all root vectors of the maximal dissipative operators are complete in the Hilbert spaces. 相似文献
9.
In this paper we obtain new characterizations of weakly unconditionally Cauchy series and unconditionally convergent series through Cesàro summability. We study new spaces associated to a series in a Banach space; as a consequence, new characterizations of complete and barrelled normed spaces are proved. 相似文献
10.
Anestis Antoniadis Andrey Feuerverger Paulo Gonçalves 《Annals of the Institute of Statistical Mathematics》2006,58(4):779-807
Stable distributions are characterized by four parameters which can be estimated via a number of methods, and although approximate
maximum likelihood estimation techniques have been proposed, they are computationally intensive and difficult to implement.
This article describes a fast, wavelet-based, regression-type method for estimating the parameters of a stable distribution.
Fourier domain representations, combined with a wavelet multiresolution approach, are shown to be effective and highly efficient
tools for inference in stable law families. Our procedures are illustrated and compared with other estimation methods using
simulated data, and an application to a real data example is explored. One novel aspect of this work is that here wavelets
are being used to solve a parametric problem, rather than a nonparametric one, which is the more typical context in wavelet
applications. 相似文献