• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.576-578
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• The Korean Journal of Cytopathology
• /
• v.5 no.2
• /
• pp.180-183
• /
• 1994

A case of metastatic mucoepidermoid carcinoma of the lung, originating from the hard palate, was diagnosed by sputum and bronchial washing cytology. Although the cytologic features of mucoepidermoid carcinoma have been well described, it is easy to confuse mucoepidermoid carcinoma with the more common primary adenocarcinoma or squamous cell carcinoma of the lung. The features distinguishing mucoepidermoid carcinoma from other primary neoplasms include 1) mucus-secreting cells individually and in clusters admixed with other cell components, 2) epidermoid cells identified by the presence of abundant spread-out cytoplasm and an oval dark nucleus and 3) intermediate cells resembling normal ductal epithelial cells with moderate-to-scanty cytoplasm, a central, round vesicular nucleus and a prominent nucleolus. The morphologic features of metastatic mucoepidermoid carcinoma in this case were similar to those of primary salivary mucoepidermoid carcinoma.

• The Journal of the Korean bone and joint tumor society
• /
• v.4 no.2
• /
• pp.94-98
• /
• 1998

Clear cell sarcoma of the kidney (CCSK) is a rare malignant tumor of the renal origin in childhood, distinguished from Wilms tumor by its pathologic and clinical features. Bone metastasis is one of the characteristic clinical features. The common site of metastasis of the clear cell Sarcoma of the kidney is axial skeleton including skull, spines, ribs and femur. A cases of clear cell Sarcoma of the kidney presented to us, which solely metastasized to the hand bones without metastasizing to any other tissues including axial skeleton. We report this case with review of literatures.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• Proceedings of the ESK Conference
• /
• 1994.04a
• /
• pp.158-170
• /
• 1994

인간-기계 시스템이 점차적으로 복잡하고 거대해짐에 따라 인간-기계 계면(man-machine interface)에서의 인간은 근운동을 요하는 육체적 작업에서 경계(vigilance), 제어(control), 감시 (monitoring), 추적(tracking) 등 정신적 업무로그 역할이 전이되는 등 시스템내에서의 인적요소의 중요성이 더욱 증가되고 있다. 이러한 시스템내에서의 주된 계면은 표시장치(display)와 제어장치 (control)들이며, 이들에 대한 인간공학적 설계와 배치가 효율적인 인간-기계 계면의 중요한 설계 요인이 된다. 본 연구에서는 동일한 작업에 대해 서로다른 배치를 가진 4개의 컴퓨터 시뮬레이션 표시장치 panel 실험을 통하여 panel 제어 작업에서의 표시장치와 제어장치의 설계형태나 배치에 따라 발생하는 인적오류를 정량적으로 예측, 검출하는 것을 그 목적으로 한다. 그리고 각 panel에 따른 수행도 척도로서 작업수행시간(operation time)과 오류율(error rate)을 검출하고, 그 결과에 의한 인적 오류 예측모형을 제시하여 인적오류를 감소시키는 보다 나은 panel을 설계하는데 활용가능 하게 하고, 더 나아가서는 인간신뢰성 기법에 적용시킬 수 있도록 기초자료를 분석하고 제시하고자 한다.

• Radiation Oncology Journal
• /
• v.13 no.1
• /
• pp.41-48
• /
• 1995

Purpose : The adjuvant postoperative radiotherapy has been usually applied to the patients with unfavorable prognostic factors after radical operation in early cervical cancer. We focused on the evaluation of the survival status and failure patterns of the patients with postoperative radiotherapy. Materials and Methods : We retrospectively analyzed ninety patients with FIGO stage IB and IIA cervix cancer who received postoperative pelvic irradiation at Chonnam University Hospital between August 1985 and December 1988, Seventy-eight patients had adequate follow-up information for survival analysis. Median follow-up time of these patients was 64 months. Results : The 5 year overall and disease free survival rate of ninety patients was $80.0\%$ and $80.2\%$, respectively. The prognostic significance to the survival was determined by multivariate analysis. Adequacy of resection margin(p=0.005) and lymph node status(p=0.005) appeared to be independent prognostic factors. Recurrence occurred in 13 patients, 5 in the pelvis and 8 at distant sites. The median time to recurrence was 19 months(range:3-39 months). The pelvic recurrence was more prevalent in the group of patients with adenocarcinoma, depth of stromal invasion more than 10mm and use of chemotherapy. The distant failure was more prevalent in the group of positive resection margin or positive lymph node with statistical significance. Conclusion : Patients with pelvic lymph node or surgical margin involvement clearly constitute a high risk group in this analysis and should be considered as candidates for some form of adjuvant therapy.

• The Journal of the Korean bone and joint tumor society
• /
• v.9 no.1
• /
• pp.1-11
• /
• 2003

Purpose: To analysis of the result of the treatment of metastatic diaphyseal fracture of the humerus with closed interlocking intrameduallry nailing. Materials and Methods: Among surgically treated 29 patients with pathologic or impending fracture of diaphysis of the humeurs, 13 patients (16 cases) treated with closed intramedullary interlocking nail were selected for the study. The final result of pain relief and functional recovery was evaluated by modified rating system of Perez et al. Results: Primary cancer was diagnosed after fracture was developed in 2 patients and pathologic or impending fracture was occurred average period of 28.9 months after primary cancer was diagnosed. The main primary malignancies were multiple myeloma, lung cancer and breast cancer. Mean survival after humeral metastasis was 11.7 months. The final result was superior to fair in 13 of 16 cases, and poor in 3 cases with progression of tumor spread or distant dissemination to the ipsilateral fingers. Except the latter 3 patients and other 3 patients, who died before 3 months postoperatively, bony union was achieved in 10 cases. There were no complications related to surgery. Conclusion: Closed interlocking intrameduallry nailing is accomplished with brief operative time, small amount of bleeding and provides immediate stability with resultant early return of function to the arm. Additionally it allows early postoperative irradiation. However, some of our cases shows that intramedullary nailing can accelerate tumor spread and metastases elsewhere, so that serious consideration must be given in planning this treatment. In conclusion, the functional status before fracture, life expectancy, type of tumor and extent of involvement should be carefully considered to decide operative treatment of metastatic disease.

• The Journal of the Korean bone and joint tumor society
• /
• v.13 no.1
• /
• pp.48-54
• /
• 2007

Purpose: To evaluate clinical results of the tumor prosthetic replacement for pathologic fracture of the proximal femur with extensive bony destruction due to metastatic bone tumors. Materials and Methods: From 2005 October to 2006 October, resection of proximal femur and tumor prosthesis replacement was performed for metastatic bone tumors extensively involving trochanteric area in 6 patients. The mean age of overall patients was 61(range, 48~77). Mean clinical follow up was 10.5 months (range, 6~16). Primary tumor consisted with multiple myeloma in 2 patients, lung cancer in 1, breast cancer in 1, transitional cell carcinoma of the renal pelvis in 1, unknown origin in 1 patient. $MUTARS^{(R)}$ proximal femur (Implantcast, Munster, Germany) were used in all cases. The functional evaluation in the lower extremities was performed with Musculoskeletal Tumor Society 1993 scores. The degree of pain relief after surgical treatment was assessed with Visual Analogue Scale (VAS). Results: At the final follow up, all of the patients survived. The mean lower extremities functional score of Musculoskeletal Tumor Society 1993 was 17.8(59.3%)(range, 12~25). VAS was improved to 2.5 from 8.5 after the surgical treatment. Ambulation was encouraged as soon as possible and mean duration after surgery for ambulation was 7.3(range, 3~16) days. Post-operatively, there was no surgical infection, periprosthetic fracture or loosening. Dislocation occurred in one out of six cases. Conclusion: Resection of proximal femur and tumor prosthesis replacement for metastatic bone tumors around proximal femur extensively involving trochanteric area seems to be safe procedure in view of post-operative complication, and effective for functional restoration as well as pain relief. Thus, it is accordant to the treatment principle of the metastatic bone tumors.

• The Journal of the Korean bone and joint tumor society
• /
• v.11 no.2
• /
• pp.219-223
• /
• 2005

Mesenchymal chondrosarcoma is very rare and mostly occurs in lower extremity, especially femur, head and face, and pelvis in order. An eleven-year old male patient suffered from left heel pain for several months and underwent biopsy at another hospital. A Malignant bone tumor was suspected, so the patient was transferred to our hospital. We reviewed the outside pathologic slide, which revealed the diagnosis of mesenchymal chondrosarcoma. It was treated by a below knee amputation. Three months later, a chest computed tomography (CT) revealed multiple metastatic nodules in both lungs. All metastatic nodules were surgically excised and the patient received postoperative chemotherapy. As far as our knowledge, mesenchymal chondrosarcoma in the calcaneus is the first case in the world. Thus, we report a case of mesenchymal chondrosarcoma in the calcaneus with thorough review of documents.