• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2055-2058
• /
• 2002

병행 자바 프로그램의 슬라이싱 방법은 Jianjun Zhao에 의해 제안된 다중 쓰레드 종속성 그래프를 이용하여 Susan Horwitz, Thomas Reps, David Binkly가 제안한 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 다중 쓰레드 종속성 그래프를 이용하는 방법은 쓰레드동기화 문장들 사이의 동기화 종속성과 서로 다른 쓰레드에 존재하는 공유객채들 사이의 통신 종속성 관계를 표현하여 병행 자바 프로그램의 슬라이스를 계산할 수 있는 것이다. 그러나 프로그램 종속성 그래프를 기반으로 하기 때문에 클래스 맴버 변수들에 대한 formal_in, formal_out, actual_in, actual_out정점들의 추가로 그래프의 복잡도가 증가하고 또한 부정확한 슬라이스 계산을 위한 다중 쓰레드 종속성 그래프를 개선하여 제안한다. 제안하는 개선된 다중 쓰레드 종속성 그래프는 주어진 슬라이싱 기준에 대한 2단계 마킹 알고리즘을 적용한 결과 정확한 슬라이스 계산과 복잡도 개선을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.729-734
• /
• 2000

전통적인 기존의 슬라이싱 기법들은 종속 그래프를 통해 슬라이스를 산출하였고, 슬라이스의 정확성을 입증하였다. 그러나, 기존의 종속 그래프 기법은 정적 슬라이싱 기법을 바탕으로 하기 때문에 프로시져 간의 매개변수별 자료 전달 링크를 나타내기 위하여 많은 정점들과 간선들이 필요하다. 그래서 그래프가 매우 복잡하다. 본 논문에서는 어떤 작업을 처리하기 위해 관련된 여러 개의 프로그램으로 구성된 소프트웨어 시스템의 슬라이싱을 수행하기 위한 동적 시스템 종속 그래프의 표현법에 대해 제안하였다. 그리고, 본 논문에서 제안한 동적 시스템 종속 그래프 기법과 기존의 프로그램 종속 그래프 기법에 대한 복잡도 측정 공식을 제안하였으며, 동적 시스템 종속 그래프 기법이 기존의 기법에 비해 그래프의 복잡도가 작아 효율적임을 보였다.

• Communications of Mathematical Education
• /
• v.16
• /
• pp.67-80
• /
• 2003

함수적 사고는 수학적 문제 해결에 있어 기본적인 사고이다. 함수적 사고에서는 변수 사이의 종속성 파악이 그 핵심이 된다. 이는 DGS 동적 기하의 동적(변화), 종속적(구성)이라는 특성에 잘 부합한다. 이에 우리는 동적 기하 환경에서 타당한 종속성 부여를 통해 primitive한 생성자를 알아보고, 이들의 조작과 역 조작, 합성 조작하는 과정을 통해 함수적 사고에 접근하는 방법을 연구해 보려 한다. 나아가 자취 기능을 이용함으로써 시각화를 통해 종속적 관계를 표현해 보고자 한다. 이것은 MicroWorld 환경에서 학습자가 스스로 대상을 구성하는 경험을 통해 함수적 사고를 자연스럽게 형성하도록 하는 것이 바람직하다는 관점에 바탕을 두고 있다.

• Defense and Technology
• /
• no.2 s.240
• /
• pp.26-33
• /
• 1999

대국의 흥망성쇠는 기술패권에 종속된다. 기술패권은 경제패권을 종속하고, 경제패권은 군사무력패권을 종속하고, 군사무력패권은 정치패권을 종속한다. 이같은 단계적인 패권국가는 마치 피라밋 형태와 유사하다고 하겠다. 이같은 피라밋 형태의 패권국가의 단계가 이루어지지 아니한 역 피라밋 같은 이상한 형국이면 1세기를 유지하지 못하고 무너짐을 볼 수 있다

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.806-809
• /
• 2004

동적 객체지향 프로그램 슬라이싱을 구현하기 위해서 프로그램 종속 그래프가 필요하다. 본 논문에서는 기존의 동적 객체지향 프로그램 종속 그래프 기법 보다 효율적인 동적 객체지향 프로그램 종속 그래프 기법을 제안하였다. 본 논문에서 제안한 기법이 기존에 비해 효율적임을 보이기 위해 그래프의 복잡도를 측정하여 비교하였다. 그리고 프로그램 슬라이스의 크기도 함께 측정하여 본 논문에서 제시한 기법이 효율적임을 증명하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.10
• /
• pp.2567-2574
• /
• 1998

Many software engineering tools and techniques rely on fraphic representations of software, such as control flow graphs, program dependene graphs, or system dependence graphs. Existing graphic representations for object-oriented programs are compkicated, reduplicated. We thus propose a new graphic representation for object-oriented programs. Object-oriented Program Dependency Graph (OPDG). An OPDG consists of class dependence graph, class hierarchy graph and procedure dependence graph. Other features of OPDG are (1) the representation is compact; (2) the representation is easy to extend for the incremental development of a program; and (3) the repreesentation can be extended to provide dynamic information.

• Microbiology and Biotechnology Letters
• /
• v.49 no.1
• /
• pp.101-110
• /
• 2021

Interactions between microalgae and heterotrophic bacteria are common in natural environments. This study investigated the effect of heterotrophic bacteria on the activity of the photosynthetic eukaryotic alga Chlorella sp. MF1907 when cocultured. A total of 31 heterotrophic bacterial isolates belonging to different genera were cocultured with MF1907. Interactions of the alga with Agromyces, Rhodococcus, Sphingomonas, Hyphomicrobium, Rhizobium, and Pseudomonas were positive, while those with Burkholderia, Paraburkholderia, Micrococcus, Arthrobacter, Mycobacterium, Streptomyces, Pedobacter, Mucilaginibacter, Fictibacillus, Tumebacillus, Sphingopyxis, and Erythrobacter were negative (p < 0.05). A turnover experiment demonstrating a switch from heterotrophic to autotrophic activity of MF1907 was performed using 16 isolates exhibiting apparent effects (positive, negative, or neutral). Compared with the results of the coculture experiment, eight isolates exhibited the same outcomes, while the others did not. Consistently, Pseudomonas and Agromyces showed a remarkable positive effect on MF1907 activity, and Burkholderia, Streptomyces, and Erythrobacter had a marked negative effect. Our results suggest that it may be possible to use the isolates for controlling populations of microalgae in natural and engineered environments.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1089-1094
• /
• 2005

Peterson and Mahajan(1978)은 Bass모형을 확장한 종속적 신상품 수요확산모형(contingent diffusion model)을 처음으로 제안하였다. Peterson and Mahajan(1978)이 명명한 상품간의 종속적(contingent) 관계란, 주 상품의 경우는 다른 상품에 독립적이지만 종속적 상품(contingent product)의 경우는 잠재시장이 주 상품의 누적 구매자 수에 의존하는 경우를 말한다. 그런데 Peterson and Mahajan이 제안한 기존 모형은 실질적 활용에 있어서 모형 추정이 불가능하다는 단점을 지니고 있을 뿐만 아니라, Bass(1969) 모형처럼 엄밀한 확률이론에 근간을 둔 모형이라기보다는 직관과 통찰력에 근간을 둔 Bass모형의 단순한 확장 모형이라는 한계를 지니고 있다. 본 연구는 이러한 한계를 극복하고 확률이론을 바탕으로 종속적 관계를 가지는 상품들에 대한 수요 확산모형을 개발하는데 목적이 있다. Bass의 신상품확산모형은 hazard 함수 모형의 일종으로 신상품의 확산을 혁신과 구전효과로 설명한 과학적 모형이다. 본 연구에서는 확률이론을 활용함으로써 이러한 Bass의 hazard 함수 모형의 확장이 가능함을 보이고, 이를 토대로 종속적 관계에 있는 신상품들에 대한 수요 확산모형을 개발하였다. 또한 개발된 모형을 한국의 이동전화와 무선인터넷 사례에 적용하여 실증 분석을 수행하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.16-19
• /
• 2001

일반적인 응용 프로그램에서 루프는 대부분의 수행시간을 차지하기 때문에 병렬성 추출의 핵심 부분이라 할 수 있다. 병렬성이 많은 구조는 루프 구조이며, 루프를 병렬로 처리하기 위해 각 반복간에 존재하는 데이터의 종속은 프로세서간의 동기화가 필요하다. 본 논문에서는 다중첨자를 갖는 1차원 배열의 루프의 병렬화를 위해 다수 개의 동일한 종속값을 이용하여 종속함수를 생성하고 이를 이용하여 종속관계가 성립하지 않는 비종속 구간(Non-dependence part)을 구한다. 그리고 동일한 값을 가지는 복수개의 종속값 간의 동기화는 외부루프 분할 기법을 이용하여 적은 횟수의 청자가 외부에 위치하도록 하여 간소화한 후 단일 첨자를 갖는 루프에 동기화를 수행하는 기법을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.557-561
• /
• 2000

본 논문에서는 외부 루프를 펼침으로서 불변 종속거리를 가지는 다중 첨자 루프에서의 병렬화를 이룰 수 있는 새로운 알고리즘을 제시한다. 루프는 프로그램의 수행 시간중 많은 부분을 차지하고, 병렬성 추출의 기본이 되는 구조이다. 루프에서 병렬성을 추출하는 기존의 연구는 종속성이 단일 첨자 또는 복수 첨자에 영향을 받는 경우에만 한정되었다. 다중 첨자를 가지는 루프는 이중 또는 그 이상의 첨자 때문에 기존의 방법을 이용해서 루프의 종속성을 제거하는데 필요한 종속거리를 결정할 수 없다. 그러므로 본 논문에서는 종속거리를 측정하기 위한 새로운 기법을 제안하고, 제안된 알고리즘을 모의 실험에 의해 타당성을 확인한다.