• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2323-2333
• /
• 1998

어떤 프로그램에서 오류가 발견되었을 때 프로그래머는 어떤 시험 사례(test-case)를 통해 프로그램을 분석한다. 이처럼 현재 입력 값에 영향을 끼치는 모든 명령문들에 관련된 동적 슬라이싱(dynamic slicing)과 이를 구현하는 기술은 실제 테스팅 및 디버깅 분야에서 매우 중요하다고 할 것이다. 본 논문에서는 이러한 동적 프로그램 슬라이스(dynamic program slices)를 산출하는 마킹 알고리즘을 제시하였고 이것을 프로그래밍한 뒤 예제 프로그램을 적용시켜 구현하였다. 구현 결과는 실행 이력에 대한 마킹 테이블(marking table), 동적 종속 그래프(Dynamic Dependence Graph) 그리고, 축소 동적 종속 그래프(Reduced Dynamic Dependence Graph)로 나타내었다. 그리고, 본 논문에서 제시한 효율적인 동적 슬라이스 생성을 위한 마킹 알고리즘과 동적 종속 그래프가 기존의 기법 보다 더 효율성이 높다는 것을 보였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2016년도 춘계학술대회
• /
• pp.20-21
• /
• 2016

항로표지란 해상교통의 안전을 도모하고 선박운항의 능률성을 향상시키기 위한 해양교통안전시설로서 국제적으로 IALA 규정 및 권고사항에 따라 적용하고 있다. 그 중 "새로운 위험물(New Danger)"는 항해용 해도 등의 수로서지에 미기재된 것으로 새로이 발견된 위험장해물을 라고 정의하고 있으며, 사주나 암초 등의 자연적 장해물 또는 침선과 같은 인위적 장해물을 포함한다. 이러한 새로운 위험물은 측방표지, 방위표지, 고립장해표지 등을 이용하거나 비상침선표지(Emergency Wreck Marking Buoy)를 사용하여 적절하게 표시하여야 한다. 그러나, 침선표지의 경우 설치의 신속성, 정확성, 부표의 특성 등의 문제로 인해 실질적인 설치 운영상의 문제가 제기 되고 있으며, 선박 침몰 사고의 경우 기상악화, 해역의 특성, 사고 위치의 확인이 어려워 신속한 신위험물표지(New Danger Mark) 설치가 어려운 실정이다. 이 연구는 선박 상갑판에 부착된 소형 침선표지가 선박의 실종 전복 침몰 등 해양사고 발생 시 일정수압에 의해 자동으로 이탈(Auto Release) 후 자기 부상(Auto Buoyance)하여 사고 발생 지점에 신속하고 정확하게 설치되도록 하는 시스템을 개발하고자 한다.

• 한국언어정보학회지:언어와정보
• /
• 제2권2호
• /
• pp.81-120
• /
• 1998

The case marking phenomenon in Korean is closely related to semantic entailment and should be studied as an interface between syntax and semantics. Assuming a direct mapping between syntactic realization and semantic information, this study investigates the role of the accusative marker ul/lul in Korean, and explores the semantic constraints working on the argument realization on the basis of proto-roles hypothesis. Specifically, I will study various types of case alternations in Korean and clarify the role of the accusative marker ul/lul, which manifests the distinction between direct object NPs and oblique NPs.

• 한국레이저가공학회:학술대회논문집
• /
• 한국레이저가공학회 2005년도 춘계학술발표대회 논문집
• /
• pp.118-120
• /
• 2005

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제11권4호
• /
• pp.419-432
• /
• 2011

In order to distribute machinery to European Union, it is mandatory to get CE marking to ensure the machinery is safe and reliable. The EHSR(Essential Health and Safety Requirements) of the EC Machinery Directive requires the machinery to be designed and manufactured to prevent from any dangerous situation. This study presents a case of CE Certification in Back Cover Nut Insert Machine and introduces an improvement method of product safety and reliability. This study also presents how to eliminate the deficiencies in design and manufacturing, and the process of applying EHSR for CE Marking.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2003년도 봄 학술발표회 논문집
• /
• pp.763-768
• /
• 2003

This study is to specify the properties of solidification/stabilization of heavy metals in connection with looking over the hydration features of non-sintering cement using industrial by-products. In this study, we added Cr and Pb to non-sintering cement(NSC), ordinary portland cement (OPC), and Blast-furnace slag cement(BSC) to specify the solidification process. Heavy metal leaching test was carried out to evaluate solidification degree of various cement. Follow result, marking no higher than 0.7% of un-solidified ratio of BSC was the most predominant result when we mixed the materials with Cr. 5.8% for NSCI and 6.2% for NSC2. On the contrary, in case of adding Pb, NSCl and NSC2 made better solidification results than those of OPC(below 0.2%) and BSC(below 0.05%), marking nearly 0%.

• 한국산업융합학회 논문집
• /
• 제13권4호
• /
• pp.205-209
• /
• 2010

Even the domestically small-and medium-sized companies progressed development in the monitoring equipment of inspecting run out in steel wheel aiming to supply and generalize through developing the monitoring equipment for securing quality technology and enhancing quality-test level. Run-Out value in vehicle wheel was measured with Computer & Servo system by using Low-Point marking machine control system, which is this development product. Low-Point value was operated and calculated. It marked by revolving wheel as much as the demanded measurement value based on 1ST harmony curve. Thus, the shipment of inferior product, which occurs in the measurement by the existing worker, could be blocked in advance. In the existing case, 60 sec. was required for inspecting 1 product. However, it came to bring about a rise in production volume through shortening inspection time to 8 seconds and improving workers' operating environment.

• 한국언어정보학회지:언어와정보
• /
• 제19권1호
• /
• pp.1-18
• /
• 2015

Korean marks case for subjects and objects, but it is well known that case-markers can be dropped in certain contexts. Kwon and Zribi-Hertz (2008) establishes the phenomenon of Korean case drop on a single factor of f(ocus)-structure visibility and claims that both subject and object case drop can fall under a single linguistic generalization of information structure. However, the supporting data is not empirically substantiated and the tenability of the f-structure analysis is still under question. In this paper, an experiment was conducted to show that the specific claims of Kwon and Zribi-Hertz's analysis that places exclusive importance on information structure cannot be adequately supported by empirical evidence. In addition, the present study examines H. Lee's (2006a, 2006c) multi-factor analysis of object case drop and investigates whether this approach can subsume both subject and object case drop under a unified analysis. The present findings indicate that the multi-factor analysis that involves the interaction of independent factors (Focus, Animacy, and Definiteness) is also compatible with subject case drop, and that judgments on case drop are not categorical but form gradient statistical preferences.

• Imaging Science in Dentistry
• /
• 제54권1호
• /
• pp.109-113
• /
• 2024

A 54-year-old male patient presented for a periodic check-up at the dental clinic. A panoramic radiograph showed bilateral ossification of the stylohyoid ligament with an oval radiopacity on the right side. Cone-beam computed tomography revealed a well-defined, homogenous hyperdense entity from the lower third of the ossified stylohyoid ligament on the right side. The differential diagnosis of osteoma on the stylohyoid chain includes Eagle syndrome and benign tumors of the stylohyoid chain and adjacent structures. Osteoma rarely manifests in the neck. Even more infrequent are tumors originating from the stylohyoid chain, with only a single documented case of osteoma reported in the literature in 1993. Due to the asymptomatic status, no surgical intervention was advised, and the case would be monitored periodically. This case report describes the details of an osteoma that emerged from the stylohyoid chain, marking it as the second recorded occurrence of this highly rare condition.

• 농촌지도와개발
• /
• 제2권1호
• /
• pp.23-39
• /
• 1995

The purpose of this study was to explore a paradigm for the development agricultural cooperative unit in Korea. To fulfill the purpose of the study, both a review of literature and case studies was used. The agricultural cooperative units selected for the survey were Doduram Swine, Songtan Cooperative Organization, Okyung Cooperative Farms, and Harim Poultry Company. To identify major factors and limitations associated with effective management of agricultural cooperative units, selected cooperative units for production, processing and marking were surveyed and analyzed. This study identified four major factors to be included in a development paradigm of effective agricultural cooperative units which were: 1) active participation of farmers, 2) techniques end attitude of participants, 3) horizontal integration of a high technology enterprise with agricultural production, and 4) increasing cooperative work on production and marking within the unit. Based on the results of the study, the following recommendations were made for further improvement and development of agricultural cooperative units : First, farmers should be encouraged and motivated to participate actively in agricultural cooperative units. Second, participants of the agricultural cooperative units should be equipped with both technical knowledge and skills on agricultural production, processing and marking. Third, a national net-work system should be established for the agricultural cooperative units throughout the country. Fourth, agricultural cooperative units should be expanded to various agricultural sectors covering wider area. Finally, agricultural cooperative units should be supported by farmers, agricultural organizations and the government for more effective management and further development.