UM

Browse/Search Results:  1-10 of 14 Help

Selected(0)Clear Items/Page:    Sort:
Reliability assessment and activation sequence optimization of non-repairable multi-state generation systems considering warm standby Journal article
Reliability Engineering and System Safety, 2020,Volume: 195
Authors:  Jia,Heping;  Ding,Yi;  Peng,Rui;  Liu,Hanlin;  Song,Yonghua
Favorite |  | TC[WOS]:4 TC[Scopus]:7 | Submit date:2021/03/09
Activation Sequence Optimization  Multi-state Decision Diagram  Power Generation Systems  Reliability Assessment  Warm Standby  
Organism dual RNA-seq reveals the importance of BarA/UvrY in Vibrio parahaemolyticus virulence Journal article
FASEB Journal, 2020,Volume: 34,Issue: 6,Page: 7561-7577
Authors:  Zhang W.;  Xie R.;  Zhang X.D.;  Lee L.T.O.;  Zhang H.;  Yang M.;  Peng B.;  Zheng J.
Adobe PDF | Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2021/03/03
Bara  C. Elegans  Organism Dual Rna-seq  Uvry  V. Parahaemolyticus  Virulence Factor  
Integrating UML with service refinement for requirements modeling and analysis Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite |  | TC[WOS]:0 TC[Scopus]:3 | Submit date:2019/02/14
formal verification  requirements modeling  service refinement  UML  
Periplaneta americana Ameliorates Dextran Sulfate Sodium-Induced Ulcerative Colitis in Rats by Keap1/Nrf-2 Activation, Intestinal Barrier Function, and Gut Microbiota Regulation Journal article
FRONTIERS IN PHARMACOLOGY, 2018,Volume: 9
Authors:  Ma, Xuewei;  Hu, Yichen;  Li, Xin;  Zheng, Xiaoting;  Wang, Yitao;  Zhang, Jinming;  Fu, Chaomei;  Geng, Funeng
View | Adobe PDF | Favorite |  | TC[WOS]:17 TC[Scopus]:22 | Submit date:2018/10/30
Ulcerative Colitis  Periplaneta Americana  16s Rrna  Gut Microbiota  Intestinal Immunity  
Interactive transformations from object-oriented models to component-based models Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite |  | TC[WOS]:0 TC[Scopus]:5 | Submit date:2019/02/14
component model  model transformation  Model-driven development  OO design model  QVT  sequence diagram  
Translation rules and a supporting tool for model-based reuse Conference paper
Proceedings - International Computer Software and Applications Conference
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite |  | TC[WOS]:0 TC[Scopus]:1 | Submit date:2018/12/22
MDA  Petri net  Translation rule  UML  
Interactive Transformation from Object-Oriented Models to Component-based Models Conference paper
Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
Authors:  Dan Li;  Xiaoshan Li;  Zhiming Liu;  Volker Stolz
Favorite |  | TC[WOS]:0 TC[Scopus]:5 | Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
Design and analysis of a totally decoupled flexure-based XY parallel micromanipulator Journal article
IEEE Transactions on Robotics, 2009,Volume: 25,Issue: 3,Page: 645
Authors:  Li Y.;  Xu Q.
View | Adobe PDF | Favorite |  | TC[WOS]:249 TC[Scopus]:295 | Submit date:2018/10/30
Dynamics  Kinematics  Mechanism Design  Micro-/nanorobots  Parallel Robots  
Validation of requirement models by automatic prototyping Conference paper
Innovations in Systems and Software Engineering
Authors:  Li D.;  Li X.;  Liu J.;  Liu Z.
Favorite |  | TC[WOS]:0 TC[Scopus]:8 | Submit date:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML  
A characterization of UML diagrams and their consistency Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Stanford, CA, AUG 15-17, 2006
Authors:  Li X.
Favorite |  | TC[WOS]:1 TC[Scopus]:0 | Submit date:2019/02/14
Consistency Checking  Semantics  Sequence Diagram  Uml2.0