• The Journal of Asian Finance, Economics and Business
• /
• 제7권10호
• /
• pp.919-927
• /
• 2020

The study examines the influence of factors on customer satisfaction in hotel services in Thanh Hoa province of Vietnam. In terms of the tangible facilities of hotels, customers appreciate the availability and the full range of equipment and additional services, as the 3-to-5-star hotels in Thanh Hoa province are almost new, built in the last five years - 7 of 13 hotels were built in 2015. In the process of measuring the effect of factors on satisfaction in hotel services there, the researchers conducted exploratory factor analysis, reliability test, correlation and regression to confirm the relationships of factors. Based on a survey of 380 respondents, the test results showed that the proposed factors have positive impacts on consumer satisfaction; they are: perceived quality (including intangible and tangible elements), brand image, perceived value, and customer relationship management. In particular, intangible elements have the strongest influence on customer satisfaction, followed by tangible elements, brand image, perceived value, and finally, customer relationship management. In addition, the study found that foreigners and higher education customers tend to be more satisfied by the hotels than other groups, which helps to suggest important and appropriate solutions for hotel managers in Thanh Hoa province.

• KIPS Transactions on Software and Data Engineering
• /
• 제6권6호
• /
• pp.293-302
• /
• 2017

This paper proposes a method that generates test cases from Simulink/Stateflow(SL/SF) using a SMT (Satisfiability Modulo Theory) solver, Yices and information of SL/SF model. The most difficult problem to generate test cases from SL/SF model is to solve reachability problem. In the propose method, Yices and the tables built with the model information are utilized to solve the reachability problem. The method utilizes the SMT model, that is the SL/SF model transformed in Yices. The tables built from SL/SF are used for backward processing of the proposed method and increases test generation efficiency. A commercial refrigerator model and two car ECU (Electrical Control Unit) models are used to evaluate the performance of the proposed algorithm..

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• 제44권12호
• /
• pp.54-60
• /
• 2007

This paper proposes a built-in-self-repair (BISR) structure using 2-dimensional spare memory to effectively self-repair faults of an embedded memory. In case of multiple faults in the same row (column) of an embedded memory, the previous method using 1-D spare column (row) memory needs the same number of spare memory columns (rows) as the number of faults to self-repair them. while the new method using 2-D spare memory needs only one spare row (column) to self-repair them. Also, the virtual divided memory is adopted to be able to self-repair using not a full spare column memory but the only partial spare column memory corresponding to the faults. A self-repair circuit with $64\times1-bit$ core memory and $2\times8$ 2-D spare memory is designed. And the circuit includes a built-in-self-test block using the 13N March algorithm. The circuit has been implemented using the $0.25{\mu}m$ MagnaChip CMOS process and has $1.1\times0.7mm^2$ chip area with 10,658 transistors.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• 제43권8호
• /
• pp.27-34
• /
• 2006

During Built-In Self-Test(BIST), The set of patterns generated by a pseudo-random pattern generator may not provide sufficiently high fault coverage and many patterns were undetected fault. In order to reduce the test time, we can remove useless patterns or change from them to useful patterns. In this paper, we reseed modify the pseudo-random and use an additional bit flag to improve test length and achieve high fault coverage. the fat that a random tset set contains useless patterns, so we present a technique, including both reseeding and bit modifying to remove useless patterns or change from them to useful patterns, and when the patterns change, we choose number of different less bit, leading to very short test length. the technique we present is applicable for single-stuck-at faults. the seeds we use are deterministic so 100% faults coverage can be achieve.

• Korean Journal of Construction Engineering and Management
• /
• 제17권3호
• /
• pp.32-42
• /
• 2016

In Korea, the absence of BIM use in existing civil structures and buildings is driving a demand for as-built BIM. As-built BIMs are often created using laser scanners that provide dense 3D point cloud data. Conventional static laser scanning approaches often suffer from limitations in their operability due to the difficulties in moving the equipment, the selection of scanning location, and the requirement of placing targets or extracting tie points for registration of each scanned point cloud. This paper aims at reducing the manual effort using a kinematic 3D laser scanning system based on graph-based simultaneous localization and mapping (SLAM) for continuous indoor mapping. The robotic platform carries three 2D laser scanners: the front scanner is mounted horizontally to compute the robot's trajectory and to build the SLAM graph; the other two scanners are mounted vertically to scan the profiles of surrounding environments. To reduce the accumulated error in the trajectory of the platform through loop closures, the graph-based SLAM system incorporates AdaBoost loop closure approach, which is particularly suitable for the developed multi-scanner system providing more features than the single-scanner system for training. We implemented the proposed method and evaluated it in two indoor test sites. Our experimental results show that the false positive rate was reduced by 13.6% and 7.9% for the two dataset. Finally, the 2D and 3D mapping results of the two test sites confirmed the effectiveness of the proposed graph-based SLAM.

• Fire Science and Engineering
• /
• 제23권4호
• /
• pp.59-66
• /
• 2009

This research aims to conduct a pilot study for the in-fire performance of headed studs, commonly used in composite structures over the world. The robustness of the shear studs in fire appears to be a key element to govern the composite behaviour after a sudden local instability developed in structures such as trusses and cellular beams. In order to experimentally evaluate the residual strength of studs in fire, the standard push-out test was modified for a half of the original set-up to be equipped with a furnace. The adjustments allow the steel section to have a 3-sided exposure against fire. Under the Standard ISO fire, the modified push-out tests under loading were conducted to identify the failure mechanism of the studs in relation to temperature developments.

• The Journal of Asian Finance, Economics and Business
• /
• 제8권2호
• /
• pp.605-616
• /
• 2021

Objectively, the purpose of this study aims to re-confirm and analyze the relationship between variables through direct relationships and mediation (i.e., career optimism (CO), organizational fairness (OF), organizational entrepreneurship commitment (OEC) on employee engagement). This study also addresses whether career optimism provides a strong-impact if it mediates other antecedent variables on employee engagement. Therefore, to test and prove this, we made observations on 200 samples comprising lecturers in Indonesia. The data collection method uses a survey both offline and online. Through the PLS-SEM approach, the statistical testing demonstration states that all hypotheses, either through direct relationship or mediation, are proven to have a positive and significant effect. Career optimism has also proven to be a substantial and positive contribution to testing employee engagement as a mediating variable. The results of seven hypothesis testing in our study confirm that the broaden-built theory and organizational theory are closely related. Therefore, this study positively contributes to human resource management's science to balance the psychological and organizational aspects. In this study, we also add that consistency and a positive attitude in a career trigger a person's career optimization in a better and more positive direction, especially for career-path and employee engagement.

• Journal of the Korean Institute of Telematics and Electronics
• /
• 제21권1호
• /
• pp.57-61
• /
• 1984

This paper deals with the selection of minimal test instruction set for microprocessor data processing test. This test method is based on a function description of the instructions which are obtained from the data given by the user's manual. Selecting procedure is done in 3 steps: 1) a test execution graphs are represented on the instructions which are grouped functionally, 2) the essential graphs, the eliminable graphs, the eliminable graphs, and the eligible graphs are built, 3) optimal test instruction set from the essential graphs and the eligible graphs is defined. In the case of INTEL 8048, 50 test instructions can be selected optimally from 8048 instruction repertories (96 instructions)

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2003년도 유체기계 연구개발 발표회 논문집
• /
• pp.73-79
• /
• 2003

The steam turbine efficiency is an important factor in power plant. Accurate evaluation of steam turbine performance is essential. However, it is not easy to evaluate the steam turbine performance due to its high temperature and high pressure circumstance. Therefore most steam turbine performance tests were conducted by air similarity test. This paper described a test program for air similarity test of steam turbine at Korea Aerospace Research Institute. A test facility has been designed and built to evaluate aerodynamic performance of turbines. The test facility consists of air supply system, single stage test section, power absorption system, instrumentation and auxiliary system. For evaluation of steam turbine performance, the test of single stage axial turbine air similarity performance was conducted and uncertainty analysis was performed.