• 제목/요약/키워드: union

검색결과 2,599건 처리시간 0.025초

재귀 타입과 합집합 타입을 위한 코인덕션 서브타이핑 (Coinductive Subtyping for Recursive and Union Types)

  • 임현승
    • 정보과학회 논문지
    • /
    • 제43권12호
    • /
    • pp.1342-1350
    • /
    • 2016
  • 귀납법과 코인덕션은 모두 컴퓨터 과학 분야에서 사용되는 중요한 증명 기법이다. 귀납법은 컴퓨터 과학 분야 학부 과정에서 기본적으로 가르치는 기법이며, 상대적으로 잘 알려지고 컴퓨터과학 분야 전반에 걸쳐 잘 쓰이고 있다. 반면에 코인덕션은 귀납법에 비해 많은 사람들에게 다소 어렵고 친숙하지 않은 개념이다. 본 논문에서는 재귀 타입과 합집합 타입을 포함하는 간단한 타입 언어에 대해 서브타입 시스템을 정의하고, 정의한 시스템의 추이성을 증명함으로써 코인덕션에 대해 소개한다. 이를 통해, 코인덕션에 대한 이해도를 높이고, 동시에 재귀 타입과 다양한 타입 요소가 있을 때 서브타입 시스템을 정의하는 방법에 대한 기초를 제공한다.

일체형 SMD Inductor 코어에 대한 온도 특성 (Temperature Properties about SMD Inductor Core of Union Type)

  • 김기준
    • 전자공학회논문지 IE
    • /
    • 제47권2호
    • /
    • pp.32-37
    • /
    • 2010
  • 본 연구에서는 초소형화의 욕구와 우수한 신뢰성을 가진 일체형 SMD 인덕터 코어를 개발하기 위하여 전력값에 따른 온도 특성을 분석하였다. 전자부품의 온도가 상승하면 소자의 정상적인 동작을 보장하기 힘든 기능적 장애를 가져오고, 부품의 고장율을 높여 수명을 단축하게 된다. 또한, 열응력이나 열팽창에 의하여 부품에 충격을 주고 오동작을 일으키게 되어 신뢰성에 많은 영향을 미치게 된다. 일체형 SMD Inductor Core를 주위온도와 소자온도 차에 의한 온도상승을 측정하였으며, 각 전력값에 따른 온도 특성을 통해서 안정된 전력값을 얻을 수 있었고, 측정된 직류 전류와 저항 $R_dc$를 이용하여 시뮬레이션한 결과 40[$^{\circ}C$]의 온도 상승분에서 양호한 정격 전류값을 찾을 수 있었다.

유관 나사와 분쇄 골이식을 사용한 거골하 관절 유합술 (Subtalar Arthrodesis using Cannulated Screws and Morselized Bone Graft)

  • 안재훈;김갑중;최원식;나규현
    • 대한족부족관절학회지
    • /
    • 제10권1호
    • /
    • pp.66-70
    • /
    • 2006
  • Purpose: To analyze the clinical and radiological outcome of subtalar arthrodesis using cannulated screws and morselized bone graft. Materials and Methods: Twenty one patients with follow-up of more than 1 year after subtalar arthrodesis were included in this study. Mean age was 40.8 years, and mean follow-up duration was 38 months. Underlying diseases were 19 cases of posttraumatic arthritis (18 calcaneal fractures and 1 talar fracture) and 2 cases of tarsal coalition. Clinically AOFAS ankle-hindfoot score, operation time, complication and satisfaction of patients were analyzed. Radiologically time to union, arthritis of surrounding joints, preoperative and postoperative talar declination angle were analyzed. Results: AOFAS ankle-hindfoot score was improved from preoperative 33 points to postooperative 79 points. Eighteen patients (86%) were satisfied with the results. Mean operation time was 91 minutes. All cases were fixed with 1-2 cannulated screws and morselized bone graft. Mean time to radiologic union was 12.1 weeks. There was 1 case of delayed union. There was no significant perioperative changes in talar declination angles. Conclusion: Subtalar arthrodesis using cannulated screws and morselized bone graft seems to be relatively simple and effective treatment method for subtalar arthritis.

  • PDF

축구 선수에서 발생한 경골 피로 골절 치료에 대한 결과 -1예 보고- (Result in Tibial Stress Fracture Treatment in a Elite Soccer Player -A Case Report-)

  • 이경태;김기천;박영욱;김준범
    • 대한정형외과스포츠의학회지
    • /
    • 제9권2호
    • /
    • pp.114-120
    • /
    • 2010
  • 경골 중앙 전방 피질골 피로 골절은 지연 유합 또는 불유합이 되기 쉬우며 경미한 외상에도 완전 골절로 발전할 수 있다. 그러므로 세심한 평가와 처치뿐 아니라 이전 수준의 운동으로 복귀할 시기를 결정하는 것도 중요하다. 저자들은 운동 선수에서 경골 중앙 전방 피질골 피로 골절 지연 유합후 완전 골절로 발전한 증례에 대한 치험을 경험하였기에 이를 보고하고자 한다.

  • PDF

자원공유에 대한 대학도서관 사서들의 인식에 관한 연구 (A Study on the Perception Among University Librarians towardes Resource Sharing)

  • 심원식
    • 정보관리학회지
    • /
    • 제25권2호
    • /
    • pp.5-24
    • /
    • 2008
  • 대학도서관에서의 자원공유가 활발해지고 고도화됨에 따라 이 업무를 담당하는 사서들이 자원공유에 대한 인식을 이해할 필요가 있다. 본 연구는 설문지에 기반한 연구방법을 사용하여 78명의 대학도서관 사서들로부터 상호대차, 원문복사, 종합목록구축, 분담수서, 그리고 인적교류와 관련된 인식과 평가에 관한 자료를 수집하였다. 설문결과는 사서들이 이미 잘 구축된 자원공유(상호대차, 원문복사, 종합목록구축)에 대해 그렇지 않은 형태의 자원공유 (분담수서, 인적교류) 보다 더 긍정적으로 평가하는 것으로 나타났다. 서서들의 자원공유에 대한 인식과 도서관/개인 특성과의 상관분석이 수행되었고, 다섯 개 영역의 자원공유 각각에 대한 장애요인 또한 도출되었다.

연속간행물 종합목록의 중복레코드 최소화 방안 연구 (A Study on the Duplicate Records Detection in the Serials Union Catalog)

  • 이혜진;김순영;김완종;최호남
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2007년도 추계 종합학술대회 논문집
    • /
    • pp.445-448
    • /
    • 2007
  • 연속간행물 종합목록은 국내 여러 기관에 산재한 연속간행물의 정보를 통합하여 공유하고, 정보자원화하기 위한 필수 도구로서 최적화된 목록 및 소장 정보를 생성하여 이용자에게 학술지에 대한 신뢰성 있는 정보를 제공하는 것이 목적이다. 이를 위해서는 데이터의 일관성이 무엇보다 중요하며 레코드의 중복성은 종합목록 품질평가에 있어 중요한 척도 중에 하나가 된다. 본 연구는 연속간행물 기반의 종합목록 데이터의 품질을 개선하기 위하여 오류 데이터로 인한 중복레코드를 최소화하기위한 방안을 마련하는데 있다. 이를 위하여 연속간행물의 중복레코드 검증 요소를 분석하고 검증 프로세스를 제안하였다.

  • PDF

복잡계 정보 처리를 위한 사람과 에이전트의 결합 모델 (A Union Model of Human and Agent for Processing the Information of the Complex System)

  • 고성범;김동근
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권7_8호
    • /
    • pp.752-763
    • /
    • 2003
  • 고속 전철 도입이나 대우 자동차 매각 같은 대규모의 B2B 거래에는 엄청나게 다양한 변수와 혼돈 요소가 직접 흑은 간접적으로 작용한다 소위 복잡계로 묘사되는 이런 유형의 도메인에 대하여 효율적인 정보처리가 가능하기 위해서는 인간의 묵시적 정보 처리 능력과 에이전트의 명시적 정보 처리 능력이 효율적으로 결합될 수 있어야 한다. 본 논문에서는, 이 두 가지 이질적 능력의 결합을 가능케 하는 결합 모델을 제안하였으며, 제안된 모델이 대표적 복잡계의 하나인 B2B 협상에서 어떻게 사용될 수 있는지를 보였다.

미국선교치과의사 쉐플리와 세브란스연합의학교 치과학교실 개설의 역사적 의의 (The historical implications of American missionary dentist W.J. Scheifley and the first Korean Dental Department established in the Severance Union Medical College)

  • 이주연;권호근;박형우
    • 대한치과의사협회지
    • /
    • 제53권11호
    • /
    • pp.870-885
    • /
    • 2015
  • This article discusses accomplishments and historical implications of American missionary dentist W.J. Scheifley and the first Korean dental department, which was established in 1915 in Korea. W.J. Scheifley, with Christian service mind and mission as a dentist, applied to American Protestantic missionary dentist overseas. The dental department in the Severance Union Medical College introduced the scientistic dental education of America, facilitated research on the dental condition of the Korean people, and ran independent dental clinic. W.J. Schiefley criticised the profit-seeking attitude of Japanese dentists and denturist(="IPCHISA", in Korean pronunciation) and emphasized on the significance of Oral Health. He did all kind of dental treatments with advanced equipments like X-ray machine, and managed the collective oral health care for missionaries overseas. He trained medical students and assistants of the dentists with the goal of producing Korean dentists, but he failed due to the Dentist law introduced by Japanese colonial administration that interfered with producing Korean dentists. However, O.R. Avison's proposal of the establishment of dental schools stimulated the establishment of Kyungsung dental school, which provided the basis for the Dental department in the Severance Union Medical College becoming special training institution for Korean Dentists.

제5 중족골 기저부 골절의 수술적 치료 (Operative Treatment of Fractures of the Fifth Metatarsal Base)

  • 서진수;김정훈;최준영
    • 대한족부족관절학회지
    • /
    • 제12권2호
    • /
    • pp.189-196
    • /
    • 2008
  • Purpose: Nonunions and delayed unions are possible complications of fractures of fifth metatarsal base. We tried to report the results of the surgical treatment, which is not prevalent yet. Materials and Methods: Retrospective study of thirty nine patients undergoing operation at our institution between 2003 and 2008 was conducted. Six patients were excluded with loss of follow up before bony union, multiple trauma, pediatric fractures, stress fracture, open fracture. There were 18 males and 15 females with 45.1 years old mean age. The average follow-up period was 18.3 months. We used a midfoot scoring system of AOFAS for clinical assessment and radiologic findings to evaluate bony union, alignment. Results: According to Lawrence's classification, Zone 1 fractures were thirteen and Zone 2 were twenty. Average AOFAS score was 93.61. Conclusion: Early operative treatment with cannulated screw fixation in fractures of the fifth metatarsal base is thought to be an useful and easy treatment option with faster rates of union.

  • PDF

Effects of Wound Dressing with Thiophanate-Methyl Paste on Compartmentalization of Pruning Wounds

  • Lee, Kyu-Hwa;Lee, Kyung-Joon
    • 한국산림과학회지
    • /
    • 제99권2호
    • /
    • pp.220-225
    • /
    • 2010
  • This study was conducted to examine the effects of wound dressing with thiophanate-methyl paste on the compartmentalization of pruning wounds in Acer palmatum. A total of thirty field-grown trees were used for three different treatments, such as no dressing, dressing once right after pruning cut, and dressing twice, one more dressing treatment one year after initial dressing. Wound closure rate (WCR) and discolored/wound area ratio (D/W ratio) two years after treatment were measured. Variations of extractives, holocellulose and lignin at the treated branch unions were also examined. The WCR of no dressing treatment of 70.9% was significantly lower than those of the two dressing treatments (85.4% and 82.7%, respectively), while the difference between dressing once and twice was not significant. The D/W ratio of no dressing treatment (39.3%) was significantly higher than those of the two dressing treatments (around 30%). Generally, at the branch core of the treated union, contents of extractives and lignin were higher and holocellulose contents were lower than the branch core of the union with living branch. Among the branch core of treated union, no dressing treatment showed a relatively lower holocellulose (63.5%), and relatively higher extractives (2.8%) and lignin (26.6%) than dressing once (66.2%, 1.7%, 26.1%, respectively).