共查询到10条相似文献,搜索用时 93 毫秒
1.
In this paper, we study the temporal logic S4Dbr with two temporal operators “always” and “eventually.” An equivalent sequent
calculus is presented with formulae as modal clauses or modal clauses starting with operator “always.” An upper bound of deduction
tree is given for propositional logic. A theorem prover for propositional logic is written in SWI-Prolog.
Published in LietuvosMatematikos Rinkinys, Vol. 46, No. 2, pp. 203–214, April–June, 2006. 相似文献
2.
Yu. A. Volkov 《Theoretical and Mathematical Physics》2007,151(1):556-565
We show that the method of “finite-size” particles is a discrete model of the Vlasov equation but in a different (effective)
interaction potential. We calculate the effective potential explicitly in the most interesting case of the Coulomb interaction.
We find the equations of motion of particles of “finite size” for the Gaussian form factor.
__________
Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 1, pp. 138–148, April, 2007. 相似文献
3.
Shuwei Xu Zhankui Li Yuanxiang Xie Ruichang Ma Yuanxiu Ge Chunfang Wang Wenxue Huang Tianmei Zhang 《中国科学A辑(英文版)》1998,41(11):1223-1227
Unknown β-delayed proton precursor121Ce was produced via the reaction of92Mo(32S, 3n), and identified by an He-jet fast tape transport system with “P-γ” coincidence measurements. The half-life of121Ce decay was determined to be (1.1 ± 0. l)s. Its energy spectrum of β-delayed protons was measured and the β-delayed proton
branching ratio for121decay was roughly estimated to be ∼ 1 %. After β-delayed proton decay of the precursors119Ba,121Ba and122La, some of γ-transitions from low-lying states to the ground states in their “daughters” were observed for the first time.
Project supported by the National Natural Science Foundation of China (Grant No. 19475055) and the Chinese Academy of Sciences. 相似文献
4.
We will be mainly concerned with some important fiber spaces over Teichmüller spaces, including the Bers fiber space and Teichmüller
curve, establishing an isomorphism theorem between “punctured” Teichmüller curves and determining the biholomorphic isomorphisms
of these fiber spaces. 相似文献
5.
J. Sakalauskaitė 《Lithuanian Mathematical Journal》2007,47(3):266-276
In this paper, we consider branching time temporal logic CT L with epistemic modalities for knowledge (belief) and with awareness operators. These logics involve the discrete-time linear
temporal logic operators “next” and “until” with the branching temporal logic operator “on all paths”. In addition, the temporal
logic of knowledge (belief) contains an indexed set of unary modal operators “agent i knows” (“agent i believes”). In a language of these logics, there are awareness operators. For these logics, we present sequent calculi with
a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for
these calculi are proved.
Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 328–340, July–September, 2007. 相似文献
6.
We obtain 3/2-condition for global attractivity to occur in the “food-limited” type functional differential equationx′ (t) + [1 +x(t)][1 −cx(t)]F(t, x(·)) = 0. These results contain and improve all corresponding theorems in literature. 相似文献
7.
In this paper, we deal with ranking problems arising from various data mining applications where the major task is to train
a rank-prediction model to assign every instance a rank. We first discuss the merits and potential disadvantages of two existing
popular approaches for ranking problems: the ‘Max-Wins’ voting process based on multi-class support vector machines (SVMs)
and the model based on multi-criteria decision making. We then propose a confidence voting process for ranking problems based
on SVMs, which can be viewed as a combination of the SVM approach and the multi-criteria decision making model. Promising
numerical experiments based on the new model are reported.
The research of the last author was supported by the grant #R.PG 0048923 of NESERC, the MITACS project “New Interior Point
Methods and Software for Convex Conic-Linear Optimization and Their Application to Solve VLSI Circuit Layout Problems” and
the Canada Researcher Chair Program. 相似文献
8.
Ivan Chajda 《Central European Journal of Mathematics》2011,9(5):1185-1191
We introduce two unary operators G and H on a relatively pseudocomplemented lattice which form an algebraic axiomatization of the tense quantifiers “it is always
going to be the case that” and “it has always been the case that”. Their axiomatization is an extended version for the classical
logic and it is in accordance with these operators on many-valued Łukasiewicz logic. Finally, we get a general construction
of these tense operators on complete relatively pseudocomplemented lattice which is a power lattice via the so-called frame. 相似文献
9.
Jue Wang San-Yang Liu Jie Zhang Shou-Yang Wang 《Fuzzy Optimization and Decision Making》2006,5(1):5-20
The family of Ordered Weighted Averaging (OWA) operators, as introduced by Yager, appears to be very useful in multi-criteria
decision-making (MCDM). In this paper, we extend a family of parameterized OWA operators to fuzzy MCDM based on vague set
theory, where the characteristics of the alternatives are presented by vague sets. These families are specified by a few parameters
to aggregate vague values instead of the intersection and union operators proposed by Chen. The proposed method provides a
“soft” and expansive way to help the decision maker to make his decisions. Examples are shown to illustrate the procedure
of the proposed method at the end of this paper. 相似文献
10.
Zhankui Li Shuwei Xu Yong Yu Yuanxiang Xie Chunfang Wang Jianping Xing Qiangyan Pan Qingyuan Hu Shihong Li Hongyan Chen Tianmei Zhang 《中国科学A辑(英文版)》2000,43(12):1327-1331
89Ru was synthesized in the reaction of58Ni (36Ar, 2p3n) on the basis of a “p-y” coincidence measurement by using a He-jet tape transport system, and its β-delayed proton
emission with a half-life of (1.1 ± 0.2) s was investigated. The β-delayed proton spectrum of89Ru populating the lowlying states in88Mo was obtained, and the final state proton branching ratios to the low-lying 2+ and 4+ states in88Mo were estimated to be 100:6. Based on the statistical model calculations, the ground state spin of89Ru was preliminarily assigned to be 5/2+ or 7/2±, and the mass excess of89Ru was deduced to be -59.5 MeV. 相似文献