http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Jinyu Kai (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
A Deployment-Oriented Service System Reliability Analyses
Jinyu Kai,Huaikou Miao,Honghao Gao 보안공학연구지원센터 2016 International Journal of Grid and Distributed Comp Vol.9 No.8
The single-instance deployment mode can't meet the needs of the increasing user access, and multiple-instance deployment is a feasible scheme to improve the scalability of the service system. The traditional reliability analysis methods are aimed at the single-instance deployment and they cannot be used to analyze the reliability of the service system of multi-instance deployment. To address this problem a new approach is proposed in this paper to analyze the reliability of service that a services system provided in the case of multiple-instance deployment. This approach extends the traditional user-oriented system reliability analysis method, adopting a vector representing the reliabilities of the multiple instances of a component service to settle down the problem. To bring this method to fruition, a prototype framework is constructed and realized in Java, and a case study demonstrates this approach.
-
A Survey of Quality Prediction Methods of Service-oriented Systems
Jinyu Kai,Huaikou Miao,Honghao Gao 보안공학연구지원센터 2016 International Journal of Hybrid Information Techno Vol.9 No.4
Service quality prediction plays a very important role in many fields related of service-oriented systems. Now, there are large numbers of approaches to predict the quality of service-oriented systems. However, it is impossible to apply one method to all prediction tasks without distinction. In reverse, unclearly to recognize the category of the prediction tasks will result in losing in all kinds of prediction approaches. In order to discover which methods are suitable for their corresponding service quality prediction scenarios, it is necessary to classify the prediction tasks and to classify the prediction approaches clearly. In this paper, a classification framework for predicting tasks for QoS of service-oriented systems is defined, four types of the prediction technologies are mainly introduced, and the research findings of quality prediction approaches for service-oriented system in literature using those four types of prediction technologies are listed and the increasing use of the method based on probabilistic model checking are specially concentrated on, and finally the result of this survey are given and the open research questions about predicting service quality by probabilistic model checking method are discussed.
-
An Approach Converting XMI to SMV
Rongshang Chen,Jinyu Kai,MingXu,LeiXiao 보안공학연구지원센터 2015 International Journal of Security and Its Applicat Vol.9 No.12
The technique of model checking is playing a more and more important role in formal verification and automated software testing. When using the model checker tool NuSMV, people have to program the code for the model they built firstly. During the course of programming with the input language of NuSMV, for non-expert users, some manual mistakes may be brought in such as making syntax errors or omitting some transfer conditions etc. This paper introduces a tool XMI2SMV which is an automatic generator to be used to generate NuSMV programming codes for XMI files. This tool aims to bridge between a UML tool and the model checker tool NuSMV. We just need build our behavioral system model using a UML tool and export its corresponding XMI file, and this tool can help us to generate NuSMV code automatically, avoiding manual errors.
-
The Pathway and Regulation of Salicylic Acid Biosynthesis in Probenazole-Treated Arabidopsis
Jin Yu,Jiong Gao,Xiao Yan Wang,Qiang Wei,Li Feng Yang,Kai Qiu,Ben Ke Kuai 한국식물학회 2010 Journal of Plant Biology Vol.53 No.6
Probenazole (PBZ; 3-allyloxy-1,2-benzisothiazole-1,1-dioxide) is a highly effective chemical inducer of systemic-acquired resistance (SAR). It has been used widely to protect rice plants against the rice blast fungus Magnaporthe grisea. Previous studies have shown that PBZ induces SAR through enhanced accumulation of salicylic acid (SA). Plants synthesize SA by either a pathway that uses phenylalanine as substrate or another that involves isochorismate. To clarify how SA is produced in PBZ-treated Arabidopsis, we examined the expression patterns and enzyme activities of phenylalanine ammonia lyase (PAL) and isochorismate synthase (ICS), which are the main components of the phenylalanine and isochorismate pathways, respectively. PBZ exposure significantly improved the accumulation of SA and increased ICS activity. In the sid2–2 mutant, which has a defect in ICS1,PBZ had no effect on the level of endogenous SA or activity of ICS. In contrast, PAL activity and the expression of most PAL genes were down-regulated by such treatment in wild-type plants. These results suggest that SA is mainly synthesized via the ICS-mediated pathway in Arabidopsis.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
