• Journal of Wetlands Research
• /
• v.15 no.3
• /
• pp.423-430
• /
• 2013

An algorithm to allow shoreline movement during numerical experiment on sediment transport, deposition or resuspension for general coastal morphology is proposed here. The bed slope near shoreline, i.e. mean sea level, is influenced by bed material, tidal current, waves, and wave-induced current, but has been reported to remain within a stable range. Its annual variation is not large, either. The algorithm is adjusting the bathymetry, if the largest bed slope within shoreline band exceeds a given bed slope due to continuous erosion at zones below the shoreline. This algorithm automatically describes retreat of shoreline caused by erosion, when used within a numerical system. The algorithm was tested to a situation which includes a continuous dredging at a point, and showed satisfactory development of concentric circle contours. Next, the algorithm was tested to another situation which includes sinking of eroded part of bed plate, and produced satisfactory results, too. Finally, the algorithm was tested to a movable-bed laboratory experimental conditions. The shoreline movement behind detached breakwater was reasonably reproduced with this algorithm.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.21 no.3
• /
• pp.583-590
• /
• 2007

The significance of Han medicine (韓醫學), the Korean traditional medicine, that has lasted throughout the past couple millenniums relies upon Han Philosophy distinguished by its uniqueness. In brief, the specificity of Han medicine is characterized by unity of spirit and body, part and whole. According to this theory, when curing a frozen shoulder, it is usually cured by acupuncturing the area around the part that aches, but also doing so on the area that is totally different from the aching part such as the opposite part of the body. In fact, this can be pursued only through aspects that enable one to realize the unity of part and whole, and a ground for this possibility bases upon the crux of Eastern Philosophy, I-ching(역), such as theory of Five Elements (음양오행) and Three Pillars(삼재). In Western set theory, the issues of Class(부류) and elements(요원), whole and part were independently discussed in the area of mereology, and the question of part and whole was encountered with aporia and paradox since Greek ancient philosophy. At the turn of this century, many philosophers endeavored to pursue academic inquiry to resolve this paradox, especially by Russell and Whitehead through ${\ll}$Principia Mathematica${\gg}$ at the beginning of this century. in the process, there came out a phrase 'Russell's Paradox'. Russell himself proposed a typological resolution as an answer to the inquiry. However, 'Russell's Paradox' still remains as an aporia even till present days. During medieval period, this inquiry was even considered as 'insolubia'. Throughout this paper, 1 attempt to provide an analytic aspect on 'Russell's Paradox' from an unique thinking method and perspective of Han medicine that embodies the concept of 'unity of part and whole'. To do so, 1 suggest a physiological model in the first place depicted by diagrams of Circle 원, Quadrangle 방, Triangle 각(CQT) that portray the logic of Hado or Hotu 하도 which is 'the pattern from the river Ho'. That is to suggest that CQT원방각 of Hado can De a logical foundation that explains the notions of spirit (정신,뇌), internal organs(장부), and meridian system which functions as a solution to the question of 'Russell's Paradox'. There are precedent academic works examining the issue from philosophical aspect such as Sangil Kim's ${\ulcorner}$Han medicine과 러셀역설 해의${\lrcorner}$ Han Medicine and Resolution of Russell's Paradox(2005), and this analysis will further attempt to critically examine such works from a perspective of Han medicine.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.32 no.4_1
• /
• pp.319-326
• /
• 2014

The accurate geo-referencing processes that apply ground control points is prerequisite for effective end use of HRSI (High-resolution satellite imagery). Since the conventional control point acquisition by human operator takes long time, demands for the automated matching to existing reference data has been increasing its popularity. Among many options of reference data, the airborne LiDAR (Light Detection And Ranging) data shows high potential due to its high spatial resolution and vertical accuracy. Additionally, it is in the form of 3-dimensional point cloud free from the relief displacement. Recently, a new matching method between LiDAR data and HRSI was proposed that is based on the image projection of whole LiDAR data into HRSI domain, however, importing and processing the large amount of LiDAR data considered as time-consuming. Therefore, we wmotivated to ere propose a local LiDAR chip generation for the HRSI geo-referencing. In the procedure, a LiDAR point cloud was rasterized into an ortho image with the digital elevation model. After then, we selected local areas, which of containing meaningful amount of edge information to create LiDAR chips of small data size. We tested the LiDAR chips for fully-automated geo-referencing with Kompsat-2 and Kompsat-3 data. Finally, the experimental results showed one-pixel level of mean accuracy.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.9
• /
• pp.669-679
• /
• 2016

Architectural firms that would like to adopt the BIM are currently in an unfavorable position because of reduced orders, polarization of orders, and low price design. This study was conducted to evaluate plausible methods for supporting introduction of BIM into small sized firms. Before suggesting plans for support, we analyzed support projects and laws relating to support for small sized firms, after which we conducted a survey of small sized firms that support the project. The survey was completed by 242 architects and consisted of questions regarding the following aspects: current status and problems associated with BIM utilization, preference of certain policies for BIM introduction support, and reasonable level of support. After the survey, it was concluded that architectural firms are willing to use BIM and agree with the need for financial support for BIM program purchase and education, as well as to support BIM experts and fund low interest loans. In conclusion, it is proposed that support plans for small sized architectural firms in the areas of BIM introduction consulting, financial funding for the introductory process, provision of education and experts, order support, and promotions for accomplishment be provided.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.131-138
• /
• 2016

This study reviewed the status of domestic and foreign Architectural Information Systems and related laws, analyzed the state of the architectural service industry, and proposed the phased introduction of BIM into Architectural Information Systems. The adoption of BIM in Architectural Information Systems both at home and abroad is generally at an unsatisfactory level, with only Singapore assuming a leading role in this area through activities such as the provision of a separate BIM submission service. Since it is desirable for BIM to be applied to additional types of architecture when the architectural licensing procedure is introduced, the different phases of adoption were set after analyzing the scales and types of architecture as defined in related laws. By analyzing the participation rates of architectural design firms in each scale of architecture design, the results demonstrated that, as the number of floors and total floor area in the building increases, the proportion of small scale architectural design firms involved decreases, while that of large-scale architectural design firms increases. The adoption of BIM is occurring mostly within large-scale architectural design firms, which is why it is desirable for its introduction into Architectural Information Systems to be separated into phases from large-scale buildings to increasingly small-scale architecture. In conclusion, this study divided the adoption of BIM in Architectural Information Systems into 6 stages and, following the Architectural administration procedure, established a segmented road map for the gradual activation of BIM.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.319-330
• /
• 2016

Recently, 3D printing technology has been applied to make a concept model and working mockup of an industrial application. On the other hand, this technology has limited applications in industrial products due to the materials and reliability of the 3D printed product. In this study, the components of a full cord switch module are proposed as a case of a 3D printed component that can be used as a substitute for a short period. These are hub-driven and lever lockup components that have the structural characteristics of breaking down frequently in the emergency operating status. To ensure the structural strength for a substitute period, research of structure optimization was performed because 3D printing technology has a limitation in the materials used. After optimizing the structure variables of the hub-driven component, reasonable results can be drawn in that the safety factors of the left and right switching mode are 1.243 (${\Delta}153.67%$) and 3.156 (${\Delta}404.96%$). The lever lockup component has a structural weak point that can break down easily on the lockup-part because of a cantilever shape and bending moment. The rib structure was applied to decrease the deflection. In addition, optimization of the structural variables was performed, showing a safety factor of 7.52(${\Delta}26%$).

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• Journal of KIISE:Databases
• /
• v.28 no.4
• /
• pp.732-741
• /
• 2001

In the relational database systems the join operation is one of the most time-consuming query operations. Many parallel join algorithms have been developed 개 reduce the execution time Multiple hash join algorithm using allocation tree is one of the most efficient ones. However, it may have some delay on the processing each node of allocation tree, which is occurred in tuple-probing phase by the difference between one page reading time of outer relation and the processing time of already read one. This delay problem was solved by using the concept of synchronization of page execution time with we had proposed In this paper the effects of the performance improvements in each node of the allocation tree are extended to the whole allocation tree and the performance evaluation about that is processed. In addition we propose an efficient algorithm for multiple hash joins in limited number of processor environments according to the relationship between the number of input relations in the allocation tree and the number of processors allocated to the tree. Finally. we analyze the performance by building the analytical cost model and verify the validity of it by various performance comparison with previous method.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.5
• /
• pp.427-435
• /
• 2005

With the accumulation of protein and its related data on the Internet, many domain based computational techniques to predict protein interactions have been developed. However, most of the techniques still have many limitations to be used in real fields. They usually suffer from a low accuracy problem in prediction and do not provide any interaction possibility ranking method for multiple protein pairs. In this paper, we reevaluate a domain combination based protein interaction prediction method and develop an interaction possibility ranking method for multiple protein pairs. Probability equations are devised and proposed in the framework of domain combination based protein interaction prediction method. Using the ranking method, one can discern which protein pair is more probable to interact with each other than other protein pairs in multiple protein pairs. In the validation of the ranking method, we revealed that there exist some correlations between the interacting probability and the precision of the prediction in case of the protein pair group having the matching PIP(Primary Interaction Probability) values in the interacting or non interacting PIP distributions.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.27-42
• /
• 2009

In realizing ubiquitous computing, techniques of efficiently using the limited resource at client such as mobile devices are required. With a mobile device with limited amount of memory, the techniques of XML stream query processing should be employed to process queries over a large volume of XML data. Recently, several techniques were proposed which fragment XML documents into XML fragments and stream them for query processing at client. During query processing, there could be great difference in resource usage (query processing time and memory usage) depending on how the source XML documents are fragmented. As such, an efficient fragmentation technique is needed. In this paper, we propose an XML fragmentation technique whereby resource efficiency in query processing at client could be enhanced. For this, we first present a cost model of query processing over XML fragment stream. Then, we propose an algorithm for resource-efficient XML fragmentation. Through implementation and experiments, we showed that our fragmentation technique outperformed previous techniques both in processing time and memory usage. The contribution of this paper is to have made the techniques of query processing over XML fragment stream more feasible for practical use.