http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
박상운(Sangwoon Park),강현구(Hyun-Goo Kang),한태숙(Taisook Han) 한국정보과학회 2008 정보과학회논문지 : 소프트웨어 및 응용 Vol.35 No.10
본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름 지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화 하는 데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다. In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term ‘module’ to mean a set of mutually recursive procedures and the term ‘modular analysis’ to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and contextsensitive pointer analysis algorithm based on the update history that can abstract memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.
박상운(SangWoon Park),ChangHoon Choi,최원철(Woncheol Choi),박민용(Mignon Park) 한국정신과학학회 2010 韓國精神科學學會誌 Vol.14 No.1
물은 모든 생명체를 이루는 근간이며, ‘물은 생명이다’라고 할 정도로 물의 기능과 역할은 중대하다. 다양한 생명체를 이루는 물의 어떤 특성이 이러한 기능을 유지하고 발휘되는 것인가 하는 관점에서 연구를 수행하였다. 특히 물속에 존재하는 다양한 종류의 미네랄과 온도 등과 같은 환경 조건에 따라 다양한 형태로 변화하는 기능을 오랜 얼음결정에 대한 연구의 결과가 일정한 경향을 나타나는 것에서 확인할 수 있었다. 하지만 얼음결정의 다양성에 대한 이해를 제고하기 위하여 얼음결정의 전체적인 경향성과 다양한 결정의 기전을 이해하는 차원에서 접근을 시도하였다. 즉 다양성이 크다는 것은 변화의 용이성을 상징하기에 생명체에 있어서도 그 다양함이 발현에는 물의 기능이 그 역할을 수행하고, 본 연구에서는 얼음결정이 주변 환경이나 미세한 조건에 따라 결정형태가 달라지는 것을 통해 물이 지닌 다양한 변이성을 일관성 있게 관찰하였다. 이런 다양한 변화 작용은 생명체와 자연의 다양함과 직결되어 나타난다. Water is the basis of all creatures. ‘Water is life’ also known that the role and function of water is very important. Point of view of our experiment is about what properties of water make work? Through the ice crystal experiments, the result show consistent tendency. In each environment like different temperatures, the identical minerals work different ways, so it makes water to be different forms. To improve the understanding of the variety of the ice crystal, we have approached the tendency and mechanism. I.e. wide variety means water changes easily, water performs the variety of revelation. Consistently, we have researched the variability of water in the circumstances which the environmental factors and fine condition changes. These various transactions are directly connected to the variety of creatures and nature.