• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.26 no.4
• /
• pp.225-243
• /
• 2014

As the economic matters are involved, applying the WEC, which is used for controlling waves as well as utilizing the wave energy on existing breakwater, is preferred rather than installing exclusive WEC. This study examines the OWC mounted on a pressurized air chamber floating breakwater regarding the functionality of both breakwater and wave-power generation. In order to verify the performance as a WEC, the velocity of air flow from pressurized air chamber to WEC has to be evaluated properly. Therefore, numerical simulation was implemented based on BEM from linear velocity potential theory as well as Boyle's law with the state equation to analyze pressurized air flow. The validity of the obtained values can be determined by comparing the previous results from numerical analysis and empirically obtained values of different shapes. In the actual numerical analysis, properties of wave deformation around OWC system mounted on fixed type and floating type breakwaters, motions of the structure with air flow velocities are investigated. Since, the wind power generating system can be hybridized on the structure, it is expected to be applied on complex power generation system which generates both wind and wave power energy.

• Journal of KIISE:Computer Systems and Theory
• /
• v.34 no.3
• /
• pp.93-100
• /
• 2007

Since Koblitz and Miller suggested the use of elliptic curves in cryptography, there has been an extensive literature on elliptic curve cryptosystem (ECC). The use of ECC is based on the observation that the points on an elliptic curve form an additive group under point addition operation. To realize secure cryptosystems using these groups, it is very important to find an elliptic curve whose group order is divisible by a large prime, and also to find a base point whose order equals this prime. While there have been many dramatic improvements on finding an elliptic curve and computing its group order efficiently, there are not many results on finding an adequate base point for a given curve. In this paper, we propose an efficient method to find a random base point on an elliptic curve defined over $GF(p^m)$. We first show that the critical operation in finding a base point is exponentiation. Then we present efficient algorithms to accelerate exponentiation in $GF(p^m)$. Finally, we implement our algorithms and give experimental results on various practical elliptic curves, which show that the new algorithms make the process of searching for a base point 1.62-6.55 times faster, compared to the searching algorithm based on the binary exponentiation.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.25 no.5
• /
• pp.393-398
• /
• 2007

According to the Korean datum change to a world geodetic system, the EDM area should be readjusted to provide consistent product over the country. The data set for EDM area is extracted from the previous KTN1987 DB and checked for the moved markers in XY network adjustment which provides quality verification. Then, EDM data set for the seven areas are rebuilt for the adjustment. Since the data is still based on the old datum, the coordinates of the data are transformed by applying the coordinate transformation parameters. Here, the transformation parameters, which were determined for the conversion of 1:50,000 topographic maps by NGII, were used. For each EDM point, the geoidal height from EGM96 model is applied to obtain the ellipsoidal height based on the GRS80. The measured distance projected onto GRS80 is adjusted using BL network adjustment by fixing 2nd order or 3rd order GPS control points. The results from the readjustment show the minimum standard error of 1.37" and the maximum standard error of 2.13". Considering the measurement accuracy of EDM (1.6" corresponding to about 2cm) and GPS position for fixed points (2cm), this result is considered to be reasonable and it is good for the practical use.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.4
• /
• pp.331-339
• /
• 2013

LiDAR has been one of the widely used and important technologies for 3D modeling of ground surface and objects because of its ability to provide dense and accurate range measurement. The objective of this research is to develop a method for automatic detection and modeling of railroad power lines using high density LiDAR data and RANSAC algorithms. For detecting railroad power lines, multi-echoes properties of laser data and shape knowledge of railroad power lines were employed. Cuboid analysis for detecting seed line segments, tracking lines, connecting and labeling are the main processes. For modeling railroad power lines, iterative RANSAC and least square adjustment were carried out to estimate the lines parameters. The validation of the result is very challenging due to the difficulties in determining the actual references on the ground surface. Standard deviations of 8cm and 5cm for x-y and z coordinates, respectively are satisfactory outcomes. In case of completeness, the result of visual inspection shows that all the lines are detected and modeled well as compare with the original point clouds. The overall processes are fully automated and the methods manage any state of railroad wires efficiently.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.39 no.2
• /
• pp.143-151
• /
• 2003

A series of fishing experiments was carried out in the waters off the east coast of Korea from January, 2002 to March, 2003, using gill nets of different mesh sizes (m = 180, 210, 240, 270, and 300 ㎜) to determine the size selectivity of gill net for male snow crab Chionoecetes opilio. The maximum carapace length (RL) of each male snow crab caught in the fishing experiment was measured. The master curve of mesh selectivity was estimated by applying the extended Kitahara's method. Two kinds of functional models, quadratic function and cubic function were used to express logarithmic selectivity curve and were fitted to the data using the method of least squares. The obtained results were summarized as follows; 1. The cubic function of asymmetry was chosen to determine the selectivity curve of gill net for male snow crab from the model deviance comparison. 2. The result of size selectivity showed that the catch number of small male crab was getting decreased according to the increase of mesh size. 3. The optimum value (RL/m) was 0.549 and the RL/m was estimated to be 0.281, 0.296, and 0.356 when the retention probability were 0.2, 0.25 and 0.5, respectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.4
• /
• pp.129-137
• /
• 2016

BIM libraries for architectural projects have been developed and distributed. However, they do not define physical and logical quality control methods for individual library objects, so there are some difficulties in securing reliability of 3D library models converted from 2D drawings. Because the BIM library contents can be built by participating material and member-fabrication companies, after making individual BIM library objects, a certification process through separate quality verification is very important when delivering as-built BIM libraries. Since the BIM library should have generality for usage, it is necessary to secure the quality of BIM library objects according to consistent verification standards. Therefore, this study suggests a quality verification method for certifying a BIM library object from physical and data perspectives by comparing existing 2D drawings in the BIM libraries built based on standardized 2D drawings from MOLIT. This method could be widely used for quality verification in delivering BIM libraries by companies in the construction sector and operated with rule set data for quality verification of as-built BIM models.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.9
• /
• pp.765-772
• /
• 2015

Aerodynamic force measurements and phase-locked PIV study were carried out to check the bio-mimetic MAV applicability of a swift flight. Two-rotational DOF robotic wing model and blowing-type wind tunnel were employed. The amplitude of twist angle were ${\pm}0$, ${\pm}5$, ${\pm}10$, and ${\pm}20$ deg. and stroke angles were manipulated by simple harmonic function with out-of-phase in regards to the stroke motion. It is acknowledged that the time-varying lift coefficients in accordance with the change of the twist angle did not result in any noticeable differences, just the small decrease and delay. However, the drag exhibited that the small change of the twist angle can produce large thrust. These findings imply why a swift uses small twist angle during flight. The PIV results displayed that the delay of aerodynamic forces is highly associated with the vortical structures around the wing. It is therefore indicated that a process of designing a swift-based Micro Air Vehicle should take the twist angle into consideration, as the essential parameter.

• Journal of the Korean Chemical Society
• /
• v.25 no.6
• /
• pp.351-360
• /
• 1981

Ultraviolet spectrophotometric investigations have been carried out on the system of durene with iodine, bromine, iodine monochloride and iodine monobromide in carbon tetrachloride. The results reveal the formation of the charge transfer complexes of the type, $C_6H_2(CH_3)_4{\cdot}X_2$ or $C_6H_2(CH_3)_4{\cdot}IX$(X denotes halogen atoms). The equilibrium constant were obtained in consideration of that absorption maxima due to the formation of the charge transfer complexes shift to blue with the increasing temperatures. The thermodynamic parameters, ${\Delta}H,\;{\Delta}G\;and\;{\Delta}S$ for the formation of the charge transfer complexes were calculated from these values. These results indicate that the relative stabilities of the durene complexes at each temperature decrease in the order, $ICl>IBr>I_2>Br_2$. This order may be a measure of their relative acidities toward durene, which is explained in terms of the relative polarizabilities of halogen molecules and the relative electronegativities of halogen atoms. These results combined with previous study of this series indicated that the relative stabilities of the polymethylbenzene complexes with iodine increase in the order; Benzene

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.30 no.5
• /
• pp.389-396
• /
• 2017

Peridynamics has been widely used in the dynamic fracture analysis of brittle materials. Recently, various crack patterns(compact region, floret, Hertz-type crack, etc.) of multilayered glass structures in experiments(Bless et al. 2010) were implemented with a bond-based peridynamic simulation(Bobaru et al.. 2012). The actual glass layers are bound with thin elastic interlayer material while the interlayer is missing from the peridynamic model used in the previous numerical study. In this study, the peridynamic interlayer modeling for the multilayered structures is proposed. It requires enormous computational time and memory to explicitly model very thin interlayer materials. Instead of explicit modeling, fictitious peridynamic particles are introduced for modeling interlayer materials. The computational efficiency and accuracy of the proposed peridynamic interlayer model are verified through numerical tests. Furthermore, preventing penetration scheme based on short-range interaction force is employed for the multilayered structure under compression and verified through parametric tests.

• Journal of the Korea Society for Simulation
• /
• v.29 no.2
• /
• pp.11-20
• /
• 2020

As the manufacturing environment becomes more complex, traditional simulation models alone are having a lot of difficulties in reflecting real-time manufacturing situations. Although the Digital Twin concept is actively discussed as an alternative to overcome theses issues, many studies are being carried out only in the product design phase. This research presents a Digital Twin-based manufacturing environment framework for applying the Digital Twin concept to the manufacturing process. Twin model that is operated in virtual space, physical system and databases describing the actual manufacturing environment, are proposed as detailed components that make up the framework. To check the applicability of proposed framework, a simple Digital Twin-based manufacturing system was simulated in a conveyor system using Arena software and Excel VBA. Experiment results have shown that the twin model is transmitted real time data from the physical system via DB and were operating in the same time unit. The Excel VBA fitted parameters defined by cycle time based on historical data that real-time and training data are being accumulated together. This study proposes operating method of digital twin model through the simple experiment examples. The results lead to the applicability of Digital twin model.