期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Partial Order and Extremes of Multivariate Extreme Value Distributions
1
作者 DONG Yong-quan XU Fu-xia 《Chinese Quarterly Journal of Mathematics》 CSCD 2010年第1期118-123,共6页
This paper studies the dependence order among multivariate extreme value dis- tributions with a fixed marginal distribution. Making use of copulas to prove that the set organized by multivariate extreme value distribu... This paper studies the dependence order among multivariate extreme value dis- tributions with a fixed marginal distribution. Making use of copulas to prove that the set organized by multivariate extreme value distributions and the dependence order defined in it is a partial order set. Finally, the maximum and minimum values of the set is discussed. 展开更多
关键词 COPULAS multivariate extreme value dependence order positively dependent Frechet-Hoeffding upper bound
下载PDF
Dependent Type System with Subtyping (I)Type Level Transitivity Elimination
2
作者 陈刚 《Journal of Computer Science & Technology》 SCIE EI CSCD 1998年第6期564-578,共15页
Dependent type systems are the basis of many proof development environments. In Aspinalland Compagnoni's paper, a system λP≤ is proposed as a subtyping extension of the first orderdependent type system λP (also... Dependent type systems are the basis of many proof development environments. In Aspinalland Compagnoni's paper, a system λP≤ is proposed as a subtyping extension of the first orderdependent type system λP (also called An). λP≤ has nice meta-theoretic properties includingsubject reduction and decidability. In this article, v,e give a reformulation of λP≤ t called λII≤.The advantages of λII< include: type level transitivity elimination property and pretypesbasedsubtyping system. These features considerably faCilitate the met-theoretical study and furtherextensions of this system. 展开更多
关键词 SUBTYPING first order dependeds types transitivity.
原文传递
A Novel Dependent Aggregation Approach for Intuitionistic Uncertain Linguistic Multiple Attribute Group Decision Making
3
作者 PENG Bo GU Fengjuan 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2020年第6期510-520,共11页
The multiple attribute group decision making problem in which the input arguments take the form of intuitionistic uncertain linguistic information is studied in the paper.Based on the operational principles of intuiti... The multiple attribute group decision making problem in which the input arguments take the form of intuitionistic uncertain linguistic information is studied in the paper.Based on the operational principles of intuitionistic uncertain linguistic variables and the concept of the expected value and accuracy function,some new dependent aggregation operators with intuitionistic uncertain linguistic information including the dependent intuitionistic uncertain linguistic ordered weighted average(DIULOWA)operator,the dependent intuitionistic uncertain linguistic ordered weighted geometric(DIULOWG)operator,the generalized dependent intuitionistic uncertain linguistic ordered weighted aggregation(GDIULOWA)operator and so on are developed,in which the associated weights only depend on the aggregated arguments.Also,we study some desirable properties of the aggregation operators.Moreover,the approach of multiple attribute group decision making with intuitionistic uncertain linguistic information based on the developed operators is proposed.Finally,an illustrative numerical example is given to show the practicality and effectiveness of the proposed approaches. 展开更多
关键词 group decision making intuitionistic uncertain linguistic variable dependent intuitionistic uncertain linguistic ordered weighted average operator dependent intuitionistic uncertain linguistic ordered weighted geometric operator
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部