• Journal of the Korean Operations Research and Management Science Society
• /
• v.11 no.2
• /
• pp.69-78
• /
• 1986

The outlook for the Civil Service Pension (CSP) program in Korea indicates several problems. First, the balance of the benefit among the pension recipients is not well maintained. Second, the program is running out of funds as benefit increases exceed the growth in revenues. In this article, we analyze these problems by using linear programming model and discuss the alternatives. We propose an addition of the age limit to the benefit eligibility and a reconsideration of the government subsidy's level.

• Smart Structures and Systems
• /
• v.31 no.5
• /
• pp.469-483
• /
• 2023

The dynamic characteristics of wind turbine blades are usually monitored by contact sensors with the disadvantages of high cost, difficult installation, easy damage to the structure, and difficult signal transmission. In view of the above problems, based on computer vision technology and the improved YOLOv5 (You Only Look Once v5) deep learning model, a non-contact dynamic characteristic monitoring method for wind turbine blade is proposed. First, the original YOLOv5l model of the CSP (Cross Stage Partial) structure is improved by introducing the CSP2_2 structure, which reduce the number of residual components to better the network training speed. On this basis, combined with the Deep sort algorithm, the accuracy of structural displacement monitoring is mended. Secondly, for the disadvantage that the deep learning sample dataset is difficult to collect, the blender software is used to model the wind turbine structure with conditions, illuminations and other practical engineering similar environments changed. In addition, incorporated with the image expansion technology, a modeling-based dataset augmentation method is proposed. Finally, the feasibility of the proposed algorithm is verified by experiments followed by the analytical procedure about the influence of YOLOv5 models, lighting conditions and angles on the recognition results. The results show that the improved YOLOv5 deep learning model not only perform well compared with many other YOLOv5 models, but also has high accuracy in vibration monitoring in different environments. The method can accurately identify the dynamic characteristics of wind turbine blades, and therefore can provide a reference for evaluating the condition of wind turbine blades.

• Journal of Intelligence and Information Systems
• /
• v.7 no.1
• /
• pp.149-159
• /
• 2001

There have been lots of researches for providing a personalized service to a customer using one-to-one marketing and collaborative filtering techniques in E-Commerce. However, there are technical difficulties for providing the recommendation of products far users, which often involve high complexity of computation. In this paper, we have presented an integrated method of classification problem solving method and constraint based configuration techniques. This method can reduce a complexity of computation by classifying a solution domain space that has a higher complexity of composition. Thereafter, we have modeled customers constraints and the components of products to configure a complete system by passing it to constraint processing module in Constraint Satisfaction Problems. Constraint-based configuration uses the constraint propagation using the constraints of buyers and the constraints among PC components to configure a proper product for a customer. We have transformed and applied vector space modeling method in the field of information retrieval to consider a customer satisfaction in addition to the CSP. Finally, we have applied our system to test data fur evaluating a customers satisfaction and performance of the proposed system.

• 한국연소학회:학술대회논문집
• /
• 2014.11a
• /
• pp.5-7
• /
• 2014

A skeletal mechanism of coal combustion was derived from a detailed coal combustion kinetic mechanism through an importance analysis of chemical pathways. The reduction process consists of roughly two parts. The first process is performed based on a connectivity analysis between species. In this process, DRGEPSA is chosen for reduction process. Strongly connected species and related reactions from the important species set as start species by the operator are sorted into the reduced mechanism. About 70% of species and reactions can be removed with a limited accuracy loss. Subsequently the second reduction process, CSP, is performed. This method focuses on an importance of each reaction and can reduce a volume of mechanism appropriately. Through these analyses, a skeletal mechanism is generated that is including 65 species and 150 reactions. The generated skeletal mechanism is verified through a comparison with the detailed mechanism in the homogeneous reactor model of CHEMKIN-PRO under wide range of conditions. The generated mechanism can give an advantage in the analysis of coal combustion characteristics in detail in large scale simulations such as LES and DNS.

• Journal of KIISE:Software and Applications
• /
• v.31 no.9
• /
• pp.1218-1225
• /
• 2004

S/KEY system was proposed to guard against intruder's password replay attack. But S/KEY system has vulnerability that if an attacker derive passphrase from his dictionary file, he can acquire one-time password required for user authentication. In this paper, we propose a correct S/KEY system mixed with EKE to solve the problem. Also, we specify a new S/KEY system with Casper and CSP, verify its secrecy and authentication requirements using FDR model checking tool.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.4
• /
• pp.512-517
• /
• 2011

In this paper, we propose an Active Shape Model (ASM) and Lucas-Kanade (LK) optical flow-based feature extraction and analysis method for analyzing the emotional features from facial images. Considering the facial emotion feature regions are described by Facial Action Coding System, we construct the feature-related shape models based on the combination of landmarks and extract the LK optical flow vectors at each landmarks based on the centre pixels of motion vector window. The facial emotion features are modelled by the combination of the optical flow vectors and the emotional states of facial image can be estimated by the probabilistic estimation technique, such as Bayesian classifier. Also, we extract the optimal emotional features that are considered the high correlation between feature points and emotional states by using common spatial pattern (CSP) analysis in order to improvise the operational efficiency and accuracy of emotional feature extraction process.

• Journal of Intelligence and Information Systems
• /
• v.9 no.3
• /
• pp.155-175
• /
• 2003

In context of e-commerce, negotiation is a procedure to help negotiate between buyer and seller by adjusting their negotiation issues such as price and in terms of payment. We used intelligent agent and mobile device to promote new framework of e-commerce. Moreover, this framework can help buyers and sellers to carry their commercial transactions effectively. In regard to that issue, we need to carry out the research of negotiation agent that can be used in e-commerce fields. In this paper, we modeled the negotiation using CSP for the performance of agent in m-commerce environment. Furthermore we implemented interface for mobile device to extract buyer's requirement and preference easily Besides that we used utility function to make a decision for various evaluation functions and suggestions that are used for evaluation of negotiation issues. A difficulty of generating offer is dependent on the number of negotiation issues and the range of the values. Therefore, if any offer has a number of negotiation issues and the range of values are wide, the search space will be exponentially expanded. There have been many studies fur solving this problem, we applied those techniques to improve the agent's ability of negotiation. For example, a contract can be accomplished by exchanging seller and buyer's offer that is generated by agent to adjust the requisite profit for each party. Finally, we show the improvement of satisfaction as the negotiation is processed.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Journal of Applied Reliability
• /
• v.2 no.2
• /
• pp.85-97
• /
• 2002

In this paper, partially repairable concurrent spare parts requirement determination problem of newly procured equipment systems is considered. “partially repairable” means that a portion of damaged parts can be recover their function and reused after repairs. A mathematical model is derived for making an CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Using the generalized Lagrange multipliers method, the solution procedure is derived.

• Proceedings of the Optical Society of Korea Conference
• /
• 1989.02a
• /
• pp.214-217
• /
• 1989

The most attractive feature of semiconductor lasers as sources for coherent optical communication system is the ability to produce frequency modulation by modulation of the bias current. The frequency deviation of semiconductor lasers under direct modulation depends on the laser structure and modulation frequency. This paper describes a circuit modeling techniques for the directly frequency modulated CSP (Channeled Substrated Planner) semiconductor laser. Predictions from this model are compared with the other published results of sinusoidal frequency modulation below than 1 GHz.