상태를 갖는 명령형 함수언어의 설계

주형석 한국컴퓨터산업학회 2001 컴퓨터産業敎育學會論文誌 Vol.2 No.10

함수언어는 여러 가지 유용한 특징에도 불구하고 상태를 나타내기 위한 효율적인 방법을 제공하지 못하고있다. 함수언어의 표현력을 높이기 위해서는 함수언어의 의미를 위배함이 없이 상태를 명시적으로 나타내기 위한 방법이 요구된다. 이 연구에서는 순수 함수언어의 성질을 위배함이 없이 상태를 표현하기 위한 명령형 함수언어 $\lambda$st-계산을 설계하였고 제안된 명령형 함수언어를 감축하기 위한 알고리즘을 구성하였다. $\lambda$-계산에 명시적인 상태 구성자를 확장한 $\lambda$st-계산 모델은 상태의 합성 개념을 도입하고 감축규칙을 간략화 함으로써 구문구조의 표현력을 향상시켰다. Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

할당공간의 크기 변화를 통한 세대별 메모리 재활용 알고리즘

주형석(Hyung Seok Joo),유원희(Weon Hee Yoo) 한국정보과학회 1996 정보과학회논문지(B) Vol.23 No.11

세대별 메모리 재활용(generational garbage collection) 방법[2]은 일반적인 복사 방법에 비해 프로그램의 실행시간을 단축시킬 수 있는 장점을 갖고 있으나 할당공간(allocation space)과 복사공간(copy space)을 고정된 크기로 운영하기 때문에 메모리의 이용효율이 저하된다. 따라서, 효율적인 기억장소 운영을 위하여 복사공간의 사용되지 않는 공간을 줄이기 위한 방안이 필요하다. 본 논문에서는 세대별 메모리 재활용 방법을 개선하기 위하여 전-세대로 부터 발생되는 활성노드량, 활성노드의 증감율, 안정적 증감율 등의 경험적 정보를 이용하여 효율적인 메모리 운영을 위한 알고리즘을 제안한다. 개선된 알고리즘에 의해 메모리 이용효율이 향상되며, 메모리 재활용을 위한 호출을 줄일 수 있다. 제안된 방법은 결합자 그래프 감축기(combinator graph reduction machine) 상에서 구현하며, 이에 대한 성능 평가를 보인다. Generational garbage collection has an advantage of faster program execution time than general copying garbage collection. But, it suffers poor performance in memory management, because it allocates free space to allocation space and copy space in same size. For efficient memory usage, we need to reduce unused space in copy space. To improve generational garbage collector, we extract heuristic information from pre-generation, such as amount of active node, variation of active node, and safety variation, So, we propose algorithm for efficient memory management using this information. This algorithm enhances performance in memory management, and reduces invocation of garbage collector. Proposed mechanism is implemented on a combinator graph reduction machine, and performance evaluation of the result is given.

상태를 갖는 함수형 프로그래밍 언어의 수행모델

주형석(Joo Hyung Seok),김홍읍(Kim Hong Eub),유원희(Yoo Weon Hee) 한국정보처리학회 1997 정보처리학회논문지 Vol.4 No.3

Despite elegant semantics and a lot of features, pure functional programming language do not provide an efficient way of representing states. Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement because of the complex type system and reduction rule. Therefore, the scheme which simplifies the reduction rule and maintains states efficiently needed to have the implementation effective. This paper proposes st-calculus, the execution model of a functional language with states, and proves that the proposed model satisfies the Church-Rosser theorem. It has simple reduction rules and the ability of representing states without compromizing the properties of pure functional languages. The expressiveness can be increased through this model, and the difficulties with implementation may be reduced by simplifying the reduction rules.

PAID4 유전자와 류마티스관절염 발병과의 상관관계에 있어 인종특이성에 대한 연구

강창수,주형석,조현미,강창원,이혜순,배상철 대한내과학회 2005 대한내과학회 추계학술대회 Vol.2005 No.1

Fracture of Fully-coated Femoral Stem after Primary Total Hip Arthroplasty for Nonunion of Intertrochanteric Fracture: A Case Report

전영수,주형석,조윤제,유기형 대한고관절학회 2015 Hip and Pelvis Vol.27 No.3

Femoral stem fracture is an uncommon reason for the failure of total hip arthroplasty, with only 16 cases of fully coated stem fractures reported to date. Here we report a case in which a fully coated primary femoral stem fracture occurred after conversion to total hip arthroplasty for the non-union of an intertrochanteric fracture of the femur. Metallurgic evaluation of the etiology and mechanism revealed that the fracture was initiated by fatiguerelated failure and completed by ductile failure on the posterior side of the fracture. Considering the recent trend of treating an intertrochanteric fracture with hip arthroplasty, possible stem failure should be considered, since most patients will have at least one of the known risk factors for stem fracture.

주철근 겹침이음 비율에 따른 RC교각의 연성능력 평가

박광순,주형석,신현목,김문겸 한국지진공학회 2008 한국지진공학회논문집 Vol.12 No.6

국내외의 실험을 통해 알려진 바와 같이 RC교각의 연성능력은 소성힌지구간에 위치한 주철근 겹침이음 비율 및 횡방향 구속철근이 보유한 횡구속력에 따라 차이를 보이고 있다. 내진설계가 반영되지 못한 기존 교각의 경우 소성힌지구간의 겹침이음 비율에 따라 강도 및 연성능력의 저하에 미치는 영향이 크다. 우리나라에서는1992년 내진설계가 도입된 이후 철근콘크리트 교각의 주철근 겹침 이음에 대한 규정은 없었으나, 2005년 도로교 설계기준에서 주철근 겹침이음을 50% 이내에서 허용하고 있다. 기존 교량의 내진성능 평가 요령에 있어서도 이를 반영하여 교각의 연성능력을 평가하고 있지만 주철근 겹침이음 비율을 단순 유 무에 따라서 구분하여 평가하고 있고 평가기법 또한 명확하게 정립되어 있지 못하다. 따라서 본 연구에서는 비내진 교각의 겹침이음 비율별 연성능력평가를 위하여 현재까지 국내에서 수행된 연구실험결과를 분석하고, 교각의 비선형성 및 주철근의 겹침이음을 고려하기 위하여 섬유요소를 이용한 단면해석으로 RC교각의 연성능력을 산정시 적절한 콘크리트의 극한변형률을 제시하였다. As internal and external seismic experiment results, the seismic performance of RC bridge piers is largely dependent on the ratio of lap-spliced bars to all longitudinal reinforcing bars in plastic hinge regions, and confining effects of transverse reinforcements. Capacity and displacement ductility of non-seismically designed existing RC piers are reduced by lap splices in plastic hinge regions. The provision for the lap splice of longitudinal reinforcing bars was not specified in KBDS (Korean Bridge Design Specifications) before the implementation of 1992 seismic design code, but the ratio of lap-spliced bars to all longitudinal reinforcing bars in plastic hinge regions is restricted to 50% in the 2005 version of KBDS. This paper presents a seismic assessment of RC piers at lap-splicing ratios of 0%, 50%, and 100%. Through a comparison of experimental and analytic results of RC piers, we introduce an appropriate ultimate strain of confined concrete in plastic hinge regions with lap-splices, and propose a method for estimating displacement ductility ratios of non-seismically designed existing RC piers using fiber element analysis.

케이블 지지교량 낙설 대책

변상구,주형석,오달수,김동아 한국구조물진단유지관리학회 2013 한국구조물진단유지관리공학회지 Vol.17 No.3

기존 교량의 내진성능평가를 위한 개선된 내진보강 우선순위 결정

박광순,주형석,최홍철,김익현 한국지진공학회 2009 한국지진공학회논문집 Vol.13 No.6

기존교량의 내진보강 우선순위 결정방법은 교량을 지진도 그룹으로 분류한 후 교량의 취약도 및 영향도를 고려하여 4개의 내진그룹으로 분류된다. 그러나, 현재 사용되고 있는 내진보강 우선순위 결정방법을 442개의 국도상 기존교량에 적용한 결과 비합리적인 부분이 조사되었다. 지진도를 정량화하여 좀 더 세분화할 필요가 있고, 연속경간장이 긴 PSC 박스거더교량의 취약도가 과소평가되는 모순점을 개선할 필요가 있었으며, 영향도 수준 또한 취약도 수준으로 증가시킬 필요가 있었다. 본 연구에서는 기존 교량의 조사 결과를 근거로 기존 평가기법을 수정 보완하여 개선된 내진보강 우선순위 결정방법을 제안하였다. Existing bridges are classified into 4 retrofit groups using the current preliminary screening method, considering key terms such as seismicity, vulnerability and social impact effect. However, some irrationality was found when the current method was applied to 442 existing bridges. As a result, it was determined that quantification and a more detailed classification of seismicity were required. The estimation of the vulnerability of box girder bridges having a long span length should be improved, as this showed a tendency to underestimate. It was also necessary to increase the level of social impact effect to that of vulnerability. In this study, an improved preliminary screening method has been proposed on the basis of the estimation results of existing bridges.

비평가인자 함수 프로그램의 스레드 분할 향상을 위한 자료형 분리 집합 분할 알고리즘

양창모(Yang Chang Mo),주형석(Joo Hyung Seok),유원희(Yoo Weon Hee) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.8

The semantics of non-strict functional languages require fine-grain dynamic scheduling and synchronization, making an efficient implementation on conventional parallel machine difficult. In compiling these languages, the most important step is to extract the sequentially executable portions of a program and to group them into a scheduling unit. This process is called partitioning. In this paper, we propose Typed Separation Set Partitioning algorithm for partitioning non-strict functional programs into threads using type information of input names and output names. Any input cannot be indirectly dependent on outputs whose types are incompatible to those of inputs. This algorithm can generate the longer threads than other partitioning algorithms can do.

PSC박스거더 방향변환블럭의 설계기준에 관한 고찰

김규선(Kim, Gyuseon),주형석(Jo, Hyeongseok),유동우(Ryu, Dongwoo),이덕근(Lee, Deokkeun),오달수(Oh, Dal-Soo),김동아(Kim, Dongah) 한국콘크리트학회 2014 한국콘크리트학회 학술대회 논문집 Vol.2014 No.5