• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.1099-1100
• /
• 2012

• Digital Contents
• /
• no.1 s.140
• /
• pp.66-68
• /
• 2005

국내에 플레이스테이션2와 X박스 게임 큐브가 정식으로 발매된지 거의 3년이 다 돼간다. 그동안 우리는 외산 비디오 게임을 즐기기만(소비하기만)했을 뿐 자체적인 콘텐츠를 만들어 내지는 못했다. 그러나 이런 이야기도 이젠 사라질 때가 되었다. 일본에서 15만장의 판매고를 올린 마그나카르타:진흥의 성혼이 나왔기 때문이다.

• Proceedings of the Korean Society of Developmental Biology Conference
• /
• 2005.07a
• /
• pp.39-39
• /
• 2005

• Food Industry
• /
• s.18
• /
• pp.80-83
• /
• 1974

밀가루에 물을 가하여 반죽을 하게되면 특별한 점성과 신장성을 나타낸다. 이것은 밀의 배유부단백질이 gluten을 형성하므로서 나타나는 성질인데 이와같은 성질은 타곡류의 배유부에서는 볼 수 없고 오직 밀의 배유부만이 갖는 특성이다. 밀의 배유부가 이와같은 특성을 지니고 있기 때문에 타곡류가 도정에 의하여 입형으로 가공되는데 비해 밀은 제분에 의하여 분형으로 가공되는 것이다.

• Korean Deer Journal
• /
• v.11 no.1 s.64
• /
• pp.44-45
• /
• 2006

사슴전용배합사료를 생산하면서 전용 팜플렛 하나 만들지 않고 생산, 판매 해 '타 축종 사료를 사슴에게 먹여도 된다' 라는 양록 업계 관행을 바꿔버린 (주)상아아그리텍, 타 축종 소, 돼지, 닭 사료들은 수 십 종류의 사료와 제조 회사들도 다양하다. 반면 사슴은 소와 비슷한 구조를 가졌다 하여 소 사료를 먹이는 게 현실이 되었다. (주)상아아그리텍은 사슴 한 축종만의 사료를 생산, 판매 하고 있어 전문 사료 시장의 선봉에 섰다.

• 정보보호뉴스
• /
• s.127
• /
• pp.8-9
• /
• 2008

지난 4월 3일 기업 내 정보화 및 정보보호 시스템 담당자 200여명이 참석한 가운데 '기업정보보호 우수사례 벤치마킹 워크샵'이 개최됐다. 이번 워크샵은 정보보호 활동이 우수하다고 평가된 기업의 정보보호 활동 사례를 타 기업이 벤치마킹할 수 있도록 하기 위해 마련된 것으로, 그간 타 기업의 활동사례를 궁금해 했던 참석자 중 약 70% 이상이 행사 전반에 대해 만족감을 나타냈다.

• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1385-1398
• /
• 2004

This paper discusses an effective processing of subsequence matching under time warping in time-series databases. Time warping is a trans-formation that enables finding of sequences with similar patterns even when they are of different lengths. Through a preliminary experiment, we first point out that the performance bottleneck of Naive-Scan, a basic method for processing of subsequence matching under time warping, is on the CPU processing step. Then, we propose a novel method that optimizes the CPU processing step of Naive-Scan. The proposed method maximizes the CPU performance by eliminating all the redundant calculations occurring in computing the time warping distance between the query sequence and data subsequences. We formally prove the proposed method does not incur false dismissals and also is the optimal one for processing Naive-Scan. Also, we discuss the we discuss to apply the proposed method to the post-processing step of LB-Scan and ST-Filter, the previous methods for processing of subsequence matching under time warping. Then, we quantitatively verify the performance improvement ef-fects obtained by the proposed method via extensive experiments. The result shows that the performance of all the three previous methods im-proves by employing the proposed method. Especially, Naive-Scan, which is known to show the worst performance, performs much better than LB-Scan as well as ST-Filter in all cases when it employs the proposed method for CPU processing. This result is so meaningful in that the performance inversion among Nive- Scan, LB-Scan, and ST-Filter has occurred by optimizing the CPU processing step, which is their perform-ance bottleneck.

• The KIPS Transactions:PartD
• /
• v.9D no.2
• /
• pp.173-184
• /
• 2002

This paper discuss an index-based subsequence matching that supports time warping in large sequence databases. Time warping enables finding sequences with similar patterns even when they are of different lengths. In earlier work, Kim et al. suggested an efficient method for whole matching under time warping. This method constructs a multidimensional index on a set of feature vectors, which are invariant to time warping, from data sequences. For filtering at feature space, it also applies a lower-bound function, which consistently underestimates the time warping distance as well as satisfies the triangular inequality. In this paper, we incorporate the prefix-querying approach based on sliding windows into the earlier approach. For indexing, we extract a feature vector from every subsequence inside a sliding window and construct a multidimensional index using a feature vector as indexing attributes. For query processing, we perform a series of index searches using the feature vectors of qualifying query prefixes. Our approach provides effective and scalable subsequence matching even with a large volume of a database. We also prove that our approach does not incur false dismissal. To verify the superiority of our approach, we perform extensive experiments. The results reveal that our approach achieves significant speedup with real-world S&P 500 stock data and with very large synthetic data.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.4
• /
• pp.1-14
• /
• 1996

Especially in the case of a full form ship, the stability on course can be considered to become severest among 4 items of criteria in Interim Standards for Ship Maneuverability adopted by IMO in 1993. The purpose of this study is to find some ideas for the improvement of stability on course through changes in rudder area with reference to span distance. In this paper, we established the formula on the relation between the experimental constants relevant to rudder normal force and hydrodynamic derivatives of hull-propeller-rudder system. We carried out various kinds of captive model test relevant to rudder normal force etc., and evaluated hydrodynamic derivatives of hull-propeller-rudder system, and analyzed the stability on course with the parameter of changes in rudder area. Furthermore, we also discussed effects of changes in rudder area on maneuvering performance including stability on course, based on computer simulation. As a result, it is clarified that there is a possibility that stability on course may become bad through an increase of rudder area. The reason for the bad stability on course is that the void space between the upper edge of rudder and the lower part of stern overhang decreases. This space change exerts a great influence on straightening coefficient of incoming flow to rudder in maneuvering motion, which has close relation to stability on course.