http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Incremental Model-based Test Suite Reduction with Formal Concept Analysis
Ng, Pin,Fung, Richard Y.K.,Kong, Ray W.M. Korea Information Processing Society 2010 Journal of information processing systems Vol.6 No.2
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.
An Integer Programming Formulation for Outpatient Scheduling with Patient Preference
Wang, Jin,Fung, Richard Y.K. Korean Institute of Industrial Engineers 2014 Industrial Engineeering & Management Systems Vol.13 No.2
Patients' satisfaction while receiving medical service is affected by whether or not their preferences can be met, including time and physician preference. Due to scarcity of medical resource in China, efficient use of available resources is urgently required. To guarantee the utilization ratio, the scheduling decisions are made after all booking information is received. Two integer models with different objectives are formulated separately, maximizing the degree of satisfaction and revenue. The optimal value of the two models can be considered as the bound of corresponding objectives. However, it is improper to implement any of the extreme policies. Because revenue is a key element to keep the hospital running and satisfaction degree is related to the hospital's reputation, neither the revenue nor the satisfaction can be missed. Therefore, hospitals should make a balance. An integrated model is developed to find out the tradeoff between the two objectives. The whole degree of mismatching that is related to patient satisfaction and other separate mismatching degree are considered. Through a computational study, it is concluded that based on the proposed model hospitals can make their decisions according to service requirement.