• Nuclear Engineering and Technology
• /
• v.52 no.7
• /
• pp.1367-1379
• /
• 2020

The small modular sodium-cooled fast reactor (SMSFR) is an important component of Generation-IV reactors. The objective of this work is to improve the reactivity control in SMSFR by using innovative systems, including burnable poisons and optimized control rods. SMSFR with MOX fuel usually exhibits high burnup reactivity loss that leads to high excess reactivity and potential fuel melting in control rod withdrawal (CRW) accidents, which becomes an important constraint on the safety and economic efficiency of SMSFR. This work applies two types of burnable poisons in a SMSFR to reduce the excess reactivity. The first one homogenously loads minor actinides in the fuel. The second one combines absorber and moderators in specific assemblies. The influence of burnable poisons on the core characteristics is discussed and integrated into the analysis of CRW accidents. The results show that burnable poisons improve the safety performance of the core in a significant way. Burnable poisons also lessen the demand for the number, absorption ability, and insertion depth of control rods. Two optimized control rod designs with rare earth oxides (Eu₂O₃ and Gd₂O₃) and moderators are compared to the conventional design with natural boron carbide (B₄C). The optimized designs show improved neutronic and safety performance.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.1
• /
• pp.35-43
• /
• 1996

A computer program for automatic deriving the symbolic equations of motion for robots using the programming language MATHEMATICA has been developed. The program, developed based on the Lagrange formalism, is applicable to the closed chain robots as well as the open chain robots. The closed chains are virtually cut open, and the kinematics and dynamics of the virtual open chain robot are analyzed. The constraints are applied to the virtually cut joints. As a result, the spatial closed chain robot can be considered as a tree structured open chain robot with kinematic constraints. The topology of tree structured open chain robot is described by a FATHER array. The FATHER array of a link indicates the link that is connected in the direction of base link. The constraints are represented by Lagrange multipliers. The parallel robot, DELTA, having three-dimensional closed chains is modeled and simulated to illustrate the approach.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.1012-1014
• /
• 2012

Integral imaging is considered as a next-generation 3D display which can display 3d imaging in space using lens array. The performance of integral imaging systems depends on several factors including display panel, lens array, imaging devices and so on. In this paper, we develop a unifying framework to evaluate the resolution of integral imaging systems under fixed resource constraints. The proposed framework enables one to optimize the system performance. To show the feasibility of the proposed method, we carry out Monte Carlo simulations based on this framework and present the results.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.3
• /
• pp.576-599
• /
• 2013

Protocol reverse engineering is useful for many security applications, including intelligent fuzzing, intrusion detection and fingerprint generation. Since manual reverse engineering is a time-consuming and tedious process, a number of automatic techniques have been proposed. However, the accuracy of these techniques is limited due to the complexity of binary instructions, and the derived formats have missed constraints that are critical for security applications. In this paper, we propose a new approach for protocol format extraction. Our approach reasons about only the evaluation behavior of a program on the input message from concolic execution, and enables field identification and constraint inference with high accuracy. Moreover, it performs binary analysis with low complexity by reducing modern instruction sets to BIL, a small, well-specified and architecture-independent language. We have implemented our approach into a system called Icefex and evaluated it over real-world implementations of DNS, eDonkey, FTP, HTTP and McAfee ePO protocols. Experimental results show that our approach is more accurate and effective at extracting protocol formats than other approaches.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.3
• /
• pp.137-141
• /
• 2015

Mobile cloud computing uses cloud service to solve the resource constraint problem of mobile devices. Offloading means that a task executed on the mobile device commits to cloud and many studies related to the energy consumption have been researched. In this paper, we designed a response time model considering sensing data synchronization to estimate the efficiency of the offloading scheme in terms of the response time. The proposed model considers synchronization of required sensing data to improve the accuracy of response time estimation when cloud processes the task requested from a mobile device. We found that the response time is effected by new sensing data generation rate and synchronization period through simulation results.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.37 no.5
• /
• pp.272-281
• /
• 1988

The problem of optimal transmission system planning is to find the most economical locations and time of transmission line construction under the various constraints such as available rights-of-way, finances, the technical characteristics of power system, and the reliability criterion of power supply, and so on. In this paper the constraint of right-of-way is represented as a finite set of available rights-of-way. And the constructed for a unit period. The electrical constraints are represented in terms of line overload and steady state stability margin. And the reliability criterion is dealt with the suppression of failure cost and with single-contingency analysis. In general, the transmission planning problem requires integer solutions and its objective function is nonlinear. In this paper the objective function is defined as a sum of the present values of construction cost and the minimum operating cost of power system. The latter is represented as a sum of generation cost and failure cost considering the change of yearly load, economic dispatch, and the line contingency. For the calculation of operating cost linear programming is adopted on the base of DC load flow calculation, and for the optimization of main objective function nonlinear Branch-and-Bound algorithm is used. Finally, for improving the efficiency of B & B algorithm a new sensitivity analysis algorithm is proposed.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.51 no.8
• /
• pp.379-384
• /
• 2002

In the competitive electricity market, various pricing methods are developed and practiced in many countries. Among these pricing methods, marginal loss factor(MLF) can be applied to reflect the marginal cost of network losses. For the calculation of MLF, power flow method has been used to calculate system loss deviation. However, this power flow method shows some shortcomings such as necessity of regional reference node, and absence of an ability to consider network constraints like line congestion, voltage limit, and generation output limit. The former defect might affects adversely to the equity of market participants and the latter might generate an inappropriate price signals to customers and generators. To overcome these defects, the utilization of optimal power flow(OPF) is suggested to get the system loss deviation in this paper. 30-bus system is used for the case study to compare the MLF results by the power flow and the OPF method for 24-hour dispatching and pricing, Generator payment and customer charge are compared with these two methods also. The results show that MLF by OPF reflects the power system condition more faithfully than that of by the conventional power flow method

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.8
• /
• pp.2508-2515
• /
• 1996

Determination of an optimal feed rate is valuable in the sense of the precision and efficient machining. In this regard, a new surface roughness model for the face milling operation that considered the radial and axal runouts of the inserts in the cutter body was developed. The validity of the model was proved through the cutting experiments, and the model is able to predict the real machined surface roughness exactly with the information of the insert runouts and the cutting conditions. From the estimated surface roughness value, the maximum feed rate that obtains a maximum naterial removal rate under the given surface roughness constraint can be selected by using a bisection method. Therefore, this mehod for optimizing the feed rate can be well applied to the using a bisection method. Therefore, this method for optimizing the feed rate can be well applied to the using selsction of the cutting condition during the NC data generation in CAM.

• Journal of Communications and Networks
• /
• v.18 no.4
• /
• pp.639-648
• /
• 2016

Next-generation (4G) systems are designed to support universal frequency reuse (UFR) to achieve best use of valuable spectra. However, it leads to undesirable interference level near cell borders. To control this, 4G systems adopt techniques, such as network multiple-input multiple-output (MIMO) and inter-cell interference coordination (ICIC), to improve cell-edge throughput. Network MIMO aims at mitigating inter-cell interference towards cell-edge users (CEUs) through multi-cell cooperation, where each collaborative base station serves both cell-center users (CCUs) and CEUs, including other cells' CEUs, under a power constraint. The present ICIC strategies cannot be directly applied to network MIMO because they were designed in absence of multi-cell coordination. In the presence of network MIMO, this paper investigates antenna orientations in ICIC and the method of power management. Results show that a proper antenna orientation can improve the cell-edge capacity and meantime lower the interference to CCUs. Capacity inconsistency between CCUs and CEUs is detrimental to mobile communications. Simulation results show that the proposed power management for ICIC in network MIMO systems can achieve a uniform data rate regardless users' position.

• KIEE International Transactions on Power Engineering
• /
• v.5A no.1
• /
• pp.62-69
• /
• 2005

The optimal design of transmission system expansion planning is an important part of the overall planning task of electric power system under competitive electricity market environments. One of main keys of the successful grid expansion planning comes from optimal reliability level/criteria decision, which should be given for constraint in the optimal expansion problem. However, it's very difficult to decide logically the optimal reliability criteria of a transmission system as well as generation system expansion planning in a society. This paper approaches a methodology for deciding the optimal reliability criteria for an optimal transmission system expansion planning. A deterministic reliability criteria, BRR (Bus Reserve Rate) is used in this study. The optimal reliability criteria, BRR/sup */, is decided at minimum cost point of total cost curve which is the sum of the utility cost associated with construction cost and the customer outage cost associated with supply interruptions for load considering bus reserve rate at load buses in long term forecasting. The characteristics and effectiveness of this methodology are illustrated by the case study using IEEE-RTS.