• Title/Summary/Keyword: 화란

Search Result 106,569, Processing Time 0.077 seconds

Effective Race Visualization for Debugging OpenMP Programs (OpenMP프로그램의 디버깅을 위한 효과적 경합 시각화)

  • 김금희;김영주;전용기
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.10a
    • /
    • pp.13-15
    • /
    • 2004
  • OpenMP 프로그램에서 수행되는 스레드들간에 적절한 동기화 없이 적어도 하나의 쓰기 사건으로 동일한 공유변수에 접근하는 경우에 발생되는 오류인 경합은 비결정적인 수행결과를 초래하므로 디버깅을 위해서 반드시 탐지되어야 한다. 이러한 경합탐지를 위한 기존의 디버깅 도구는 프로그램의 복잡한 수행구조 및 디버깅 정보를 시각화하기 위한 공간이 제한적이므로 효과적인 시각화를 제공하지 못한다. 본 논문에서는 경합 시각화를 위해서 3차원적 시각화와 스레드 및 이벤트 둥의 추상화 기능으로 공간적 제약성을 해결하는 도구를 제안한다. 제안된 도구는 추상적 시각화 정보를 제공하므로 프로그램의 이해가 용이하고 효과적인 경합디버깅 환경을 제공한다.

  • PDF

A Study on the Carbonation Characteristics of Fly Ash Concrete by Accelerated Carbonation Test (급속 촉진 탄산화 시험을 통한 플라이애쉬 콘크리트의 탄산화 특성 연구)

  • Choi, Sung;Lee, Kwang-Myong;Jung, Sang-Hwa;Kim, Joo-Hyung
    • Journal of the Korea Concrete Institute
    • /
    • v.21 no.4
    • /
    • pp.449-455
    • /
    • 2009
  • The increase of industrial carbonic dioxide emissions has accelerated the carbonation of reinforced concrete structures, which drops off their durability. Although advanced countries have already taken safety control measures against the carbonation of RC structures, it is still difficult now to accurately predict the actual carbonation depth. Additionally, it requires much time and efforts. Recently, it is possible to get the data more rapidly through accelerated carbonation test with the $CO_2$ concentration of 100%. In this paper, the carbonation test results obtained by two test methods such as the normal carbonation test method and the accelerated carbonation test method, were compared to investigate the carbonation characteristics of fly ash concrete. The accelerated carbonation test on concrete specimens with the pre-curing age of 180 days was also carried out to examine the carbonation characteristics of fly ash concrete at long-term age. Consequently, fly ash concrete at early age was vulnerable to carbonation and however, its carbonation resistance at long-term ages was improved compared with OPC concrete.

Phosphorylation as a Signal Transduction Pathway Related with N-channel Inactivation in Rat Sympathetic Neurons (N형 칼슘통로 비활성화와 연계된 세포 신호전달 체계로서의 인산화과정)

  • Lim Wonil;Goo Yong Sook
    • Progress in Medical Physics
    • /
    • v.15 no.4
    • /
    • pp.220-227
    • /
    • 2004
  • In N-type $Ca^{2+}$ channels, the mechanism of inactivation - decline of inward current during a depolarizing voltage step- is still controversial between voltage-dependent inactivation and $Ca^{2+}$ -dependent inactivation. In the previous paper we demonstrated that fast component of inactivation of N-type calcium channels does not involve classic $Ca^{2+}$ -dependent mechanism and the slowly inactivating component could result from a $Ca^{2+}$ -dependent process. However, there should be signal transduction pathway which enhances inactivation no matter what the inactivation mechanism is. We have investigated the effect of phosphorylation on calcium channels of rat sympathetic neurons. Intracellular dialysis with the phosphatase inhibitors okadaic acid markedly enhanced the inactivation. The rapidly inactivating component is N-type calcium current, which is blocked by $\omega$-conotoxin GVIA. Staurosporine, a nonselective protein kinase inhibitor, prevented the action of okadaic acid, suggesting that protein phosphorylation is involved. More specifically lavendustin C, inhibitor of CaM kinase II, prevented the action of okadaic acid, suggesting that calmodulin dependent pathway is involved in inactivation process. It is not certain to this point whether phosphorylation process is inactivation itself. Molecular biological research regarding binding site should be followed to address the question of how the divalent cation binding site is related to phoshorylation process.

  • PDF

An Analysis on North Korean Impoverishment and Marketization in Terms of Economic System (경제제도 측면에서 북한의 빈곤화와 시장화에 대한 분석)

  • Kwak, In-ok;Moon, Hyung-Nam
    • International Area Studies Review
    • /
    • v.21 no.2
    • /
    • pp.71-96
    • /
    • 2017
  • This study analyzes the process of overcoming the impoverishment due to the failure of North Korea planned economy through marketization. Recognizing the economic policy presented by the convergence of market and planned economy system as a economy system and focusing on the 7.1 Economic Management Measures and the 6.28 New Economic Management Measures. The marketization is classified the indigenous marketization (1990-2001), the marketization focusing on central distribution (2002-2011), the marketization focusing on production (2012-2017). The major events, the economic circular structure and the economic behavior were analyzed. Results showed as following: First, through the process of marketization starting from the expansion of farmers' market and the marketization focusing on distribution, the marketization focusing on production to the marketization focusing on finance. And as the evolution of it continues, to some extent a poverty has been overcomed. Second, corporate institutions, agricultural institutions, financial institutions and progress in becoming a market economy direction. A series of privatization starting from small one to large-scale one have been progressing. Third, in order to overcome the impoverishment completely. Through foreign investment the industrialization covering a wide range of industries are urgently needed, Domestic agricultural reform, enterprise reform, price reform, financial reform, financial reform, trade and direct investment, reform, reform, distribution, etc are needed. The economic reforms across almost all sectors are needed to be combined in a global economy Expanding employment, the acquisition of foreign currencies and the acquisition of technology in the process should also be realized. The direction of change of this series of economic structures has turned Public sector and centralized into Private sector and Decentralization.

石油精製器機의 國산化

  • 김병관
    • Journal of the KSME
    • /
    • v.23 no.2
    • /
    • pp.72-75
    • /
    • 1983
  • (1)국산화의 득실 이러한 과감한 정제기기의 국산화는 정유업계에서 볼 때 저렴한 가격과 보다 빠른 납기로 인한 건설공기단축은 초기투자비를 경감시키고 고가의 예비품확보의 불필요로 인한 운전경비를 경감케 하는 이점은 있으나, 기술 및 제작경험의 부족과 재질불량등으로 인한 국산기기의 잦은 고장과 짧은 기기수명은 오히려 기업이윤에 역효과를 초래하며 안전면에도 문제점이 있다. 국가적 견 지에서 정제기기의 국산화는 외화절감으로 인한 대외경쟁력 강화와 경기부양, 중화학 플렌트 기 술개발 등 선진공업국 대열로 향한 국가경제개발의 필수적 과제라 하겠다. (2) 정제기기 국산화에 대한 정부지원의 필요 우리나라 기계공업기술이 200년의 역사를 가진 선진공업국의 정제기기기술에 비하면 낙후된 것은 사실이므로 전문제조업체에서 꼭 필요한 분야는 기술을 도입할 수 있도록 정부가 정책적으로 유도하고 지원하여야 할 것이며 산업기계의 국산화에 문제가 되는 특수소재분야의 개발에도 정 부차원에서 계열전문업체를 육성하여야 할 것이다. 자금지원면에서 플랜트국산화 자금을 극대 화하고 외자차관보다 외화차관로 지향하여 국산기기제작을 권장해야 할 것이다. (3) 정유기기 국산화의 전망 제조업체는 성실히 기술개발에 전념하고 품질관리에 철저를 기하여 정성껏 제작한다면 외상에 못지않는 정제기기 생산이 가능할 것이며 국내정유 및 석유화학설비의 80%까지 국산화는 무난할 것으로 사료된다.

  • PDF

Vector Quantization using Genetic Algorithm (유전자 알고리즘을 이용한 벡터 양자화)

  • 임현택
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • 1998.06c
    • /
    • pp.197-200
    • /
    • 1998
  • 본 논문에서는 유전자 알고리즘(genetic Algorithm)을 사용하여 벡터 양자화(vector quantization : VQ)를 수행하는 방법을 제안하고자 한다. 벡터 양자화를 수행하여 코드북(codebook)을 생성할 때 생성된 코드북과 학습벡터(training vector)사이에는 반드시 양자화 오차(quantization error)가 발생하는데 기존의 K-means 알고리듬을 사용하여 코드북을 생성했을 경우 양자화 오차를 줄이는데 한계가 있었다. 본 논문에서 제안하는 유전자 알고리즘을 이용한 벡터 양자화는 이 양자화 오차를 감소시키기 위해서 연구되었다. 제안한 방법의 성능을 평가하기 위해 음성데이터를 기존의 K-means 알고리즘에서 클러스터의 중심을 선택하는 방법중의 하나인 Minimax방법으로 코드북을 생성하여 제안한 방법과 양자화 오차를 비교한 결과 양자화 오차가 감소됨을 알 수 있었다.

  • PDF

Study on Policy for Secure Provision of Cloud Network Virtualization Service (클라우드 네트워크 가상화 서비스의 안전한 제공을 위한 정책 방안 연구)

  • Lee, Eun-Ji;Bae, Won-il;Kwak, Jin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2017.04a
    • /
    • pp.254-257
    • /
    • 2017
  • 클라우드 컴퓨팅 환경은 가상화 인프라를 제공하며 클라우드 서비스 참여자는 이러한 가상화 자원을 사용하여 서비스를 제공 및 활용한다. 그러나, 클라우드 가상화 환경에서의 보안위협이 지속적으로 증가하고 있는 반면, 안전한 클라우드 가상화를 위한 정책 연구는 미비한 실정이다. 이에 따라, 본 논문은 클라우드 가상화 인프라 중 클라우드 네트워크 가상화의 서비스를 안전하게 제공하기 위한 정책 방안을 제안한다. 제안하는 방안에서 클라우드 네트워크 가상화 환경에서 발생 가능한 보안위협을 도출하고 이에 따른 보안요구사항을 도출한다. 결과적으로, 클라우드 네트워크 가상화 서비스를 안전하게 제공하기 위한 정책 마련 시 클라우드 서비스 제공자가 고려해야할 보안요구사항 도출을 목표로 한다.

The Design and Implementation of a RTOS Virtualization for Embedded Systems (임베디드 시스템에서의 실시간 운영체제 가상화 설계 및 구현)

  • Yang, Jong-Chul;Kim, Han-Bit;Joe, Sang-Jun;Joe, Jae-Il;Ahn, Woo-Hyun
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2008.06b
    • /
    • pp.308-312
    • /
    • 2008
  • 최근 운영체제 가상화 기술을 통한 이점들로 인해 이에 대한 많은 관심이 대두 되고 있다. 현재 다양한 분야에서의 가상화 연구가 활발히 진행되고 있으며, 범용 운영체제를 위한 상용화 제품도 여러 개 존재한다. 또한 임베디드 시스템에서의 가상화 기술 연구도 큰 관심을 끌고 있지만, 순수 RTOS 가상화의 사례는 없다. 임베디드 시스템에서의 RTOS 가상화가 필요한 예로는 2 CPU - 2 RTOS 구조를 갖는 휴대전화 단말기를 들 수 있는데, 이 경우에 가상화를 적용하면 응용프로그램의 재사용과 생산원가 절감의 효과를 얻을 수 있다. 본 논문에서는 임베디드 시스템에서의 실시간 운영체제 가상화 기법을 제안하고, 이를 위한 인터럽트 가상화, OS간 스케줄링, OS간 통신 등의 기술을 개발하여 실험을 통해 확인한다.

  • PDF

Validation-based Clustering Algorithm (유효성 기반 군집화 알고리즘)

  • ;R.S. Ramakrishna
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10a
    • /
    • pp.19-21
    • /
    • 2003
  • 본 논문에서는 군집화의 가장 중요한 2가지 문제에 대한 새로운 해결책을 제시한다. 첫 번째 문제는 두 객체가 하나의 군집내에 포함될 수 있는지를 결정하는 유사 결정으로써, 이를 해결하기 위해 군집 유효화 지수에 기반한 유사 결정 기법을 제안한다. 이 기법은 정성적인 인지 과정을 정량적인 비교 결정 과정으로 바꾼다 이 기법은 본 논문에서 제안한 랜덤 군집화와 전체 군집화의 두 부분으로 구성된 유효성 기반 군집화 알고리즘의 핵심을 이루며. 기존의 않은 군집화 알고리즘에서 요구되는 복잡한 파라미터를 결정할 필요가 없어지도록 한다. 두 번째 문제는 최적 군집 수 (optimal number of clusters)를 찾는 것으로써, 이것 또한 앞에서 제안한 기법에 의해서 전체 군집화에서 찾을 수 있다. 마지막으로 제안한 기법과 군집화 알고리즘의 효용성 및 효율성을 보여주는 실험 결과가 제시된다.

  • PDF

Color image Decryption Algorithm using $GF(2^m)$ inverse ($GF(2^m)$ 역산을 이용한 컬러 영상 복호화 알고리즘)

  • Lee, Kwang-Ok;Bae, Sang-Hyun
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2007.06a
    • /
    • pp.833-836
    • /
    • 2007
  • Nowadays, the rapid increase of the available amount of internet and system performance has revealed urgent need a method of decryption about digital encryption for stabilization of multimedia data transmission. In this paper, we propose a method of decryption of each frame about video data. Also for advanced decryption, we propose color image decryption method through 4-bit binary of $GF(2^m)$ inverse about an each frame.

  • PDF