• Proceedings of the Optical Society of Korea Conference
• /
• 2008.07a
• /
• pp.381-382
• /
• 2008

• Korean Journal of Logic
• /
• v.4
• /
• pp.23-36
• /
• 2000

이 논문은 일상적인 직설 조건문에 대한 새로운 이해를 제시함으로써 반 맥기가 전건 긍정법에 대한 반례라고 주장하는 예들에 대한 체계적인 이해방식을 제시하고 이것들이 전건 긍정법의 반례가 아니라는 것을 보인다. 직설 조건문에 대한 새로운 이해란 그것이 전건인 경우 후건의 조건적 확률이 높다는 것을 주장하는 문장이며 따라서 이 조건적 확률이 높은 경우 참이 되는 문장으로 봄으로써 직설 조건문이 그 논리적 형식에 있어서 조건문이 아니라는 것이다. 또한, 이렇게 이해되었을 때 반 맥기가 염두에 두고 있던 직설 조건문의 세 가지 특징이 역시 설명될 수 있다는 것을 보임으로써, 이 새로운 이해방식이 타당함을 보인다.

• Journal of Chest Surgery
• /
• v.13 no.4
• /
• pp.496-496
• /
• 1980

A 37 year old male patient was suffered from severe labored breathing caused by post tracheostomy stenosis, which was localized at the mediastinal trachea [cuffed tracheal stenosis] and ranged 1.5 cm in length and approximately 3 ram. in diameter on tracheogram. After dilation of tracheal stenosis with dilator, endotracheal intubation was tried for induction of anesthesia and control of respiration during operation. A tube was placed just beyond the tracheal stenosis without respiratory difficulty. Under the endotracheal anesthesia, circumferential resection of the mediastinal trachea containing the stenosis, approximately 2 cm in length [4 tracheal rings}, was carried out and primary direct end to end anastomosis was performed with interrupted submucosal sutures [3-0 Dexon] and mobilization of trachea Postoperative tracheostomy was not performed. The patient was completely relieved from dyspnea immediately after operation. Post-operative convalescence was entirely uneventful and at present, about 3 months after operation, he is now conducting a usual life. From the literature and our experience, the etiology and treatment of post-tracheostomy stenosis were discussed.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.160-162
• /
• 1998

본 논문은 실시간 운영체계인 ARX 의 독특한 메커니즘을 바탕으로 한 POSIX 의 thread library( Pthread library)의 구현에 대하여 다룬다. ARX Pthread library는 POSIX 1003.lc의 규약을 따르며 실시간 프로그램밍의 특성에 맞도록 이를 확장한 주기적인 thread, deadine handler등의 확장된 인터페이스를 제공한다. 이와 더불어 정확한 실시간 특성을 제공하기 위하여 사용자 수준 타이머의 관리도 제공하고 있다. 한편 ARX 의 핵심인 가살쓰레드와 개선된 스케줄링 이벤트 업콜 방식을 바탕으로 사용자 수준 쓰레드와 사용자 수준 스케줄러의 동기화를 제공하는 사용자 수준 동기화 도구를 구현하였다. 이러한 Pthread library를 사용한 응용프로그램의 timing anlysis의 결과는 ARX 의 뛰어난 실시간 처리 능력과 함께 다양한 실시간 응용 프로그램의 요구를 수용할 수 있음을 보여준다.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.199-209
• /
• 2008

In a recent paper, Wonbae Choi raises two objections to my interpretation of the argument in Proslogium 3. The first one is that my interpretation is not new, and the second one is that there is an alternative interpretation which is better than mine. I defend my interpretation against them. I also touch on a related issue which can be derived from his second objection.

• 한국약용작물학회:학술대회논문집
• /
• 2008.11a
• /
• pp.259-260
• /
• 2008

• 한국약용작물학회:학술대회논문집
• /
• 2008.11a
• /
• pp.123-124
• /
• 2008

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.52-55
• /
• 2002

객체 지향 설계 방법론은 현재 소프트웨어 개발에 널리 사용되고 있지만 내장형 실시간 시스템에는 적합한 스케줄링 기법이 존재하지 않기 때문에 제한적으로만 적용되어 왔다. 선점 임계 스케줄링(preeption threshold scheduling: PTS)은 비선점성을 최대한 이용하여 다중 태스킹의 부하를 줄이기 위한 제안되었다. PTS는 전통적인 스케줄링 기법을 대신하여 실시간 객체지향 설계에 사용되기에 적합하나. 이를 위해서는 실시간 동기화의 문제가 해결되어야 한다. 본 논문에서는 PTS를 위한 실시간 동기화의 필수적인 기반을 제시한다. 구체적으로 PTS를 위한 기본 우선순위 계승 프로토콜과 우선순위 실링(ceiling) 프로토콜을 제시한다. 제시된 동기화 기법은 유효 우선순위의 개념을 사용하여 우선순위를 계승하도록 하며, 선점 임계 실링 대신 우선순위 실링을 사용한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.885-888
• /
• 2007

As the development of the city, Emphasis the important characteristic of the such city which has the symbolic building and the diverse squares, In addition, Emphasis the Importance of the public art, Designated 9 examples which Media Artist and Design team who have the world famous, designed Interactive Media Art which applies flexibly in city public space. In view of these representation works, make the 7 Projects: Object, Interest enticement, Interactive, Place regional characteristic, Esthetics characteristic, Industry, Medium, Equipment as the datum, to analysis the Interactive media art characteristic of the modern public space.

• Proceedings of the Korea Contents Association Conference
• /
• 2009.05a
• /
• pp.903-908
• /
• 2009

In this research, is take the foundation at deity appearing in China ancient mythology symbolic, the ideology of kindhearted and vicious to them is classified, and take the kindhearted and vicious role of the game at present compares. Pass such analysis, combine deity appearing in the mythology symbolic with tales of marvels, apply to role's design current situation of the present game, hope to find out the key element of succeed in designing the game role with culture intension.