• The KIPS Transactions:PartD
• /
• v.17D no.5
• /
• pp.337-346
• /
• 2010

Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

• Quality Improvement in Health Care
• /
• v.10 no.1
• /
• pp.58-76
• /
• 2003

Background : Aim of this study is focused on the analysis of the needed abilities of medical representatives resulting in building up the market and increasing sales. It is to propose methods to increase this ability ensuring continuous growth in market share and profit. Methods : A survey was conducted between January 6 and May 31, 2003. Using SPSS(Version 10.0), the collected data was analyzed by Hotelling T2, factor analysis. Some hypotheses were selected to include the conclusion. Some questionnaires for physicians working in hospitals or clinics and the medical representatives working in a pharmaceutical company were created and asked to them to either prove or reject those hypotheses. The results were analyzed to find the primary factors that effect the interactions between physician and the medical representatives. These factors were also studied along with the theoretical research based on published references. Results : The results were as follows. The main reasons for the physician to meet with a medical representatives were collection of product informations needed for patient treatment and collection of informations on current medical issue and as well as personal interests. The main parameters by which physicians evaluate the medical representatives are human relationship including sincerity and manners and supply of accurate and unbiased information on products. Overall, the medical representatives' perception on the importance of medical knowledge and ability to deliver it are lower than that expected by physicians. Conclusion : Medical and pharmaceutical companies' environment are changed rapidly. And those changes forced medical representatives to set new roles and competency. In order to drive away from the past 'rule of thumb' and 'adaptation to circumstance', optimal method and systemic development to train and support the medical representatives should be quipped. They will help medical representatives to be specialists in medical knowledge and to understand the exact need of health care professions. Product competitiveness will be increased and eventually successful business can be achieved through it.

• Journal of Korea Technology Innovation Society
• /
• v.10 no.4
• /
• pp.629-653
• /
• 2007

Korean government drives various programs to improve the performance of university-industry cooperation since 1998 such as BK 21(Brain Korea), NURI(New University for Regional Innovation), Connect Korea Program, and so on. We analyse the relationships between performance of university-industry cooperations and university competency factors(research competency and management competency) through multi-regression model, and propose policy implication. We used the basic data related to the performance of university-industry cooperation and university competency factors from Korean 61 universities. We set up some hypotheses and try to verify them with the method of multi-variable regression analysis including dependent variable(licensing fee, the number of technology transfers, the number of spin-offs) and independent variables(research competency, management competency). We, through this analysis, find both the research competency variables and management competency variables are significant to the performance of university-industry cooperation. Firstly, for licensing fee and the number of technology transfers, research competency variables such as the number of SCIE papers, the number of patent registration were significant, but management competency variables such as the scale of technology leasing organization, the number of specialist were not significant. Secondly, for the number of spin-offs management variables are significant, but research competency varialbles are not. These results imply that both the research competency and management competency of universities are the critical factors for the effective commercialization of university technology not only in United States but also in Korea. In the conclusion, we propose government drive university-industry cooperation policy to enhance the quality of research papers and patent as well as management capabilities of technology leasing organization.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.6
• /
• pp.754-761
• /
• 2008

As the automobile industry and technologies are developed, driver's tend to more concern about service matters than mechanical matters. For this reason, interests about recognition of human knowledge and emotion to make safe and convenient driving environment for driver are increasing more and more. recognition of human knowledge and emotion are emotion engineering technology which has been studied since the late 1980s to provide people with human-friendly services. Emotion engineering technology analyzes people's emotion through their faces, voices and gestures, so if we use this technology for automobile, we can supply drivels with various kinds of service for each driver's situation and help them drive safely. Furthermore, we can prevent accidents which are caused by careless driving or dozing off while driving by recognizing driver's gestures. the purpose of this paper is to develop a system which can recognize states of driver's emotion and attention for safe driving. First of all, we detect a signals of driver's emotion by using bio-motion signals, sleepiness and attention, and then we build several types of databases. by analyzing this databases, we find some special features about drivers' emotion, sleepiness and attention, and fuse the results through Multi-Modal method so that it is possible to develop the system.

• Journal of IKEEE
• /
• v.24 no.1
• /
• pp.25-32
• /
• 2020

In this paper, we propose an image generator for OLED panel test that can compensate for color coordinates and luminance by using panel defect inspection and optical measurement while displaying images on OLED panel. The proposed image generator consists of two processes: the image generation process and the process of compensating color coordinates and luminance using optical measurement. In the image generating process, the panel is set to receive the panel information to drive the panel, and the image is output by adjusting the output setting of the image generator according to the panel information. The output form of the image is configured by digital RGB method. The pattern generation algorithm inside the image generator outputs color and gray image data by transmitting color data to a 24-bit data line based on a synchronization signal according to the resolution of the panel. The process of compensating color coordinates and luminance using optical measurement outputs an image to an OLED panel in an image generator, and compensates for a portion where color coordinates and luminance data measured by an optical module differ from reference data. To evaluate the accuracy of the image generator for the OLED panel test proposed in this paper, Xilinx's Spartan 6 series XC6SLX25-FG484 FPGA was used and the design tool was ISE 14.5. The output of the image generation process was confirmed that the target setting value and the simulation result value for the digital RGB output using the oscilloscope matched. Compensating the color coordinates and luminance using optical measurements showed accuracy within the error rate suggested by the panel manufacturer.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 1995.12a
• /
• pp.9-21
• /
• 1995

A planning support system enhances our ability to use water capacity expansion as an urban growth management strategy. This paper reports the development of capacity expansion modeling of water supply as part of the continuing development of such a planning support system (PEGASUS: Planning Environment for Generation and Analysis of Spatial Urban Systems) to incorporate water supply, This system is designed from the understanding that land use and development drive the demand for infrastructure and infrastructure can have a significant influence on the ways in which land is developed and used. Capacity expansion Problems of water supply can be solved in two ways: 1) optimal control theory, and 2) mixed integer nonlinear programming (MINLP). Each method has its strengths and weaknesses. In this study the MINLP approach is used because of its strength of determining expansion sizing and timing simultaneously. A dynamic network optimization model and a water-distribution network analysis model can address the dynamic interdependence between water planning and land use planning. While the water-distribution network analysis model evaluates the performance of generated networks over time, the dynamic optimization model chooses alternatives to meet expanding water needs. In addition, the user and capacity expansion modeling-to-generate-alternatives (MGA) can generate alternatives. A cost benefit analysis module using a normalization technique helps in choosing the most economical among those alternatives. GIS provide a tool for estimating the volume of demanded water and showing results of the capacity expansion model.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.249-256
• /
• 2007

AIn this paper, a new desist of LDI controller IC for general purpose is proposed for driving the LDI(LCD Driver Interface) controller in $4{\sim}9$ inches sized portable small-medium TFT-LCD(Thin Film Transistor addressed -Liquid Crystal Display) panel module. The designed LDI controller was verified on the FPGA(Reld Programmable Gate Array) test board, and was made the interactive operation with the commercial TFT-LCD panel successfully. The purpose of design is that it is standardized the LDI controller's operation by one LDI controller for driving all TFT-LCD panel without classifying the panel vendor, and size. The main advantage for new general-purpose LDI controller is the usage for the desist of all panel's SoG(System on a Glass) module because of the design for the standard operation. And in the previous method, it used each LDI controller for every LCD vendor, and panel size, but because a new one can drive all portable small-medium sized panel, it results in reduction of LDI controller supply price, and manufacturing cost of AV(Audio Video) board and panel. In the near future, the development of SoG IC(Integrated Circuit) for manufacturing more excellent functional TFT-LCD panel module is necessary. As a result of this research, the TFT-LCD panel can make more small size, and light weight, and it results in an upturn of domestic company's share in the world market. With the suggested theory in this paper, it expects to be made use of a basic data for developing and manufacturing for the SoG chip of TFT-LCD panel module.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.11
• /
• pp.127-133
• /
• 2014

In order to protect information asset from various malicious code, Honeypot system is implemented. Honeypot system is designed to elicit attacks so that internal system is not attacked or it is designed to collect malicious code information. However, existing honeypot system is designed for the purpose of collecting information, so it is designed to induce inflows of attackers positively by establishing disguised server or disguised client server and by providing disguised contents. In case of establishing disguised server, it should reinstall hardware in a cycle of one year because of frequent disk input and output. In case of establishing disguised client server, it has operating problem such as procuring professional labor force because it has a limit to automize the analysis of acquired information. To solve and supplement operating problem and previous problem of honeypot's hardware, this thesis suggested hybrid honeypot. Suggested hybrid honeypot has honeywall, analyzed server and combined console and it processes by categorizing attacking types into two types. It is designed that disguise (inducement) and false response (emulation) are connected to common switch area to operate high level interaction server, which is type 1 and low level interaction server, which is type 2. This hybrid honeypot operates low level honeypot and high level honeypot. Analysis server converts hacking types into hash value and separates it into correlation analysis algorithm and sends it to honeywall. Integrated monitoring console implements continuous monitoring, so it is expected that not only analyzing information about recent hacking method and attacking tool but also it provides effects of anticipative security response.

• Journal of Digital Contents Society
• /
• v.15 no.1
• /
• pp.19-27
• /
• 2014

In order to estimate the life of 2,5 inch HDD which is adopted by PC environment, make the test plan which reflect the failure mode of market, make the test model of accelerated life test which reflect the stress of temperature. after an analysis of the environment of PC using, test procedure was decided that operation was write 50 % and read 50 %, and then access method was sequential 50 % and random 50%. The acceleration life test was executed on condition that temperature was $50^{\circ}C$ and $60^{\circ}C$, performance was 95 % in max performance, test time was 1000 hours. by the test of goodness of fit of anderson-darling of the failure data during test, it was confirmed that the distribution of failure fellow weibull. test for shape and scale was equal, and shape parameter was 0.7177, characteristic life was 429434 hours at normal user condition($30^{\circ}C$) by the analysis of weibull-arrhenius modeling. It made no difference about the statistics when equality test was executed. The activation energy was 0.2775eV. In analyzing between the failure samples of acceleration test and the samples of market return even though there is detail difference about the share of failure mode, the rank of share was almost same. This study suggest the test procedure of acceleration test of 2.5 inch HDD in PC using environment, and help the life estimation at manufacture and user.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.1
• /
• pp.54-59
• /
• 2010

This paper present to study the guidance system as localization technique using sensor fusion and line tracking technique using virtual line for AGV(autonomous guided vehicle). An existing AGV could drive on decided line only. And representative guidance systems of such guidance system are magnet-gyro guidance and wired guidance. However, those have had the high cost of installation and maintenance, and the difficulty of system change according to variation of working environment. To solve such problems, we make the localization system which is fused with a laser navigation and gyro, encoder. The system is robust against noise, and flexible according to working environment through sensor fusion. For line tracking of laser navigation without wire guidance, we set the virtual line in program, and design the driving controller based on difference of angle and distance between AGV's position and decided virtual line. To experiment, we use the AGV which is made by ourselves, and experiment the line tracking repeatedly on same experimental environment. In result, maximum distance error between decided virtual line and AGV's position was less than 49.93mm, and we verified that the proposed system is efficient for line tracking of actual AGV.