×
验证码:
换一张
Forgotten Password?
Stay signed in
Login With UMPASS
English
|
繁體
Login With UMPASS
Log In
ALL
ORCID
TI
AU
PY
SU
KW
TY
JN
DA
IN
PB
FP
ST
SM
Study Hall
Image search
Paste the image URL
Home
Faculties & Institutes
Scholars
Publications
Subjects
Statistics
News
Search in the results
Faculties & Institutes
Faculty of Scien... [4]
Authors
LI XIAOSHAN [3]
SONG YONGHUA [1]
Document Type
Conference paper [4]
Journal article [1]
Date Issued
2020 [1]
2012 [2]
2006 [1]
2004 [1]
Language
英語English [5]
Source Publication
Formal Aspects o... [1]
Lecture Notes in... [1]
Proceedings of t... [1]
Proceedings of t... [1]
Reliability Engi... [1]
Indexed By
SCIE [3]
Funding Organization
Funding Project
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-5 of 5
Help
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Submit date Ascending
Submit date Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
Reliability assessment and activation sequence optimization of non-repairable multi-state generation systems considering warm standby
Journal article
Jia,Heping, Ding,Yi, Peng,Rui, Liu,Hanlin, Song,Yonghua. Reliability assessment and activation sequence optimization of non-repairable multi-state generation systems considering warm standby[J]. Reliability Engineering and System Safety, 2020, 195.
Authors:
Jia,Heping
;
Ding,Yi
;
Peng,Rui
;
Liu,Hanlin
;
Song,Yonghua
Favorite
|
TC[WOS]:
21
TC[Scopus]:
32
IF:
9.4
/
8.1
|
Submit date:2021/03/09
Activation Sequence Optimization
Multi-state Decision Diagram
Power Generation Systems
Reliability Assessment
Warm Standby
Interactive transformations from object-oriented models to component-based models
Conference paper
Li D., Li X., Liu Z., Stolz V.. Interactive transformations from object-oriented models to component-based models[C], 2012, 97-114.
Authors:
Li D.
;
Li X.
;
Liu Z.
;
Stolz V.
Favorite
|
TC[Scopus]:
8
|
Submit date:2019/02/14
Component Model
Model Transformation
Model-driven Development
Oo Design Model
Qvt
Sequence Diagram
Interactive Transformation from Object-Oriented Models to Component-based Models
Conference paper
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz. Interactive Transformation from Object-Oriented Models to Component-based Models[C], Berlin, Heidelberg:Springer, 2012, 97-114.
Authors:
Dan Li
;
Xiaoshan Li
;
Zhiming Liu
;
Volker Stolz
Favorite
|
TC[Scopus]:
8
|
Submit date:2019/07/24
Model-driven Development
Component Model
Model Transformation
Qvt
Oo Design Model
Sequence Diagram
A characterization of UML diagrams and their consistency
Conference paper
Li X.. A characterization of UML diagrams and their consistency[C]:IEEE, 2006, 67-76.
Authors:
Li X.
Favorite
|
TC[WOS]:
1
TC[Scopus]:
4
|
Submit date:2019/02/14
Consistency Checking
Semantics
Sequence Diagram
Uml2.0
A formal semantics of UML sequence diagram
Conference paper
Li X., Liu Z., Jifeng H.. A formal semantics of UML sequence diagram[C], 2004, 168-177.
Authors:
Li X.
;
Liu Z.
;
Jifeng H.
Favorite
|
TC[WOS]:
30
TC[Scopus]:
59
|
Submit date:2019/02/14
Consistency
Semantics
Sequence Diagram
Uml