유비쿼터스 환경을 위한 CASA 기반의 동적 접근 제어 기법

김경자(Kim Kyoung Ja),장태무(Chang Tae Mu) 한국컴퓨터정보학회 2008 韓國컴퓨터情報學會論文誌 Vol.13 No.4

기존의 상황 인식 서비스 모델에서는 리소스에 대한 접근 권한을 사용자의 인증으로만 리소스에 대한 접근을 허용하였으나, 사용자의 주변 상황 정보가 빈번하게 변화하는 유비쿼터스 환경에서는 상황 변화에 따른 리소스 접근제어가 제공될 필요가 있다. 본 논문에서는 사용자의 상황 정보가 변경되는 경우에 따라 리소스에 대한 접근 권한을 동적으로 제어하고자 한다. 접근 제어는 기존의 CASA(Context-Aware Security Architecture)를 기반으로 하지만 현재 서비스를 받고 있는 사용자라 할지라도 리소스 접근 권한을 제한할 수도 있다. 즉, 주위 환경 정보를 실시간으로 검사하여 주위 환경에 따라 동적으로 접근 권한을 달리 부여하여 기존의 상황 인식 서비스보다 리소스에 대한 강인한 보안 서비스를 제공한다. Conventional context-aware service models permit the access of resources only by user authentication, but the ubiquitous environments where the context information around users is changing frequently require the resource access control according to the rapid changes. This paper proposes a scheme to control access permission of resource dynamically as context information of user changes. Our access control model is based on traditional CASA (Context-Aware Security Architecture), but can restrict the access of the user already has been authorized. With the real-time checking of context information, our scheme gives different access controls according to changes in environmental information, and provides more secure services than conventional context-aware models.

피기백 방법을 사용한 고성능 디스크 캐쉬

장태무,홍병기 東國大學校 1991 東國論叢 Vol.30 No.-

Recently the slow access time of disk storage system becomes a major bottle-neck in computer system performance improvement. Disk caching, based on the observation of locality of disk access patterns, is one of effective solutions to this problem. In this paper, a high performance disk cache, efficient not only for read accesses but for write accesses, is proposed. To accomplish this, we adds piggyback scheme to existing disk caching algorithm, that is prefetching and ordered write backs. we shows the effectiveness of our disk caching algorithm using a simulation method.

확장된 GSPN 모형과 그 응용

장태무,전서현,유찬형 東國大學校 1989 論文集 Vol.28 No.-

In the present paper, a new concept called conditional are is added to tranditional GSPN(Generalized Stochastic Petri net) of which effectiveness is proved through an application to an instruction pipeline of general-purpose CPU. The problem in applying Petri nets including GSPN to performance evaluation of computer systems is that the number of nodes of reachability graph increases exponentially with the number of places in the model. Conditional ares proposed in this paper are shown to be a good tool not only for reducing the number of places in the model, but making the task of model construction easy.

LFS를 위한 디스크 배열의 구성

최혁근,장태무 동국대학교 산업기술연구원 1995 산업기술논문집 Vol.6 No.-

디스크 시스템의 입출력 성능을 향상시키기 위한 여러 연구 중 로그 구조화 파일 시스템(LFS : Log-structured File System)과 RAID 등의 디스크 배열 등이 주요한 것들이다. 본 논문에서는 위 두 개념이 결합되었을 때 효율적인 디스크 배열의 구성 방법을 제시한다. 디스크 배열은 LFS에서의 세그먼트 단위의 쓰기 동작을 효율적으로 처리하고, LFS는 쓰기 동작을 보다 크고 연속적인 것으로 만들어서 특히 대표적인 디스크 배열 구성인 RAID5에서 문제가 되는 패리티 갱신 동작을 줄일 수 있다. 그러나 세그먼트의 시작과 끝 부분에서는 여전히 RAID5에서의 문제점은 제거되지 않는다. 본 논문에서는 동적 패리티 방법을 이용하여 위의 문제를 해결하고자 시도하였다. 디스크 배열 제어기는 패리티 배치표를 사용하여 패리티 위치를 동적으로 관리함으로써 패리티 갱신 동작을 제거한다. 이 방법은 비소멸성 기억장치 등의 오버헤드가 있으나 기억장치의 가격 하락 추세에 비추어 큰 문제는 아니라고 판단된다. 시뮬레이션 결과 본 논문에서 제시한 동적 패리티 배치 방식이 종래의 정적인 방법에 비해 대략 20% 정도의 성능을 높일 수 있음을 확인할 수 있었다. There have been various studies to improve the disk I/O performance. Among them, LFS(Log-Structured file System) and disk array such as RAID are the major approaches. In this parer, the relationship between LFS and disk array is discussed. That is : disk array can help to improve the performance of read/write of segments, and LFS can reduce parity-update operations by changing write operations into big and continuous ones. But there is no effect of reducing parity-update operations at the beginning and the end of a segment in LFS. To solve this problem, a dynamic parity method is proposed that generates parity block for data and performs segment writes without parity-update operations. To implement this method, the disk array controller needs a non-volatile parity table to keep parity locations dynamically in disk array. The proposed method is simulated, and the result shows that the method achieves about 20% gains on the performance of segment writes based on the conventional static method.

일 농촌지역에서 발기부전의 유병률 및 상관 요인

홍진표,송해철,이무송,이창화,안준호,한오수,안태영,김성윤 大韓神經精神醫學會 2005 신경정신의학 Vol.44 No.6

Objectives : The purpose of this study was to investigate the prevalence of erectile dysfunction (ED) in a rural area of Korea and to examine the relationship between the prevalence and correlates of subjects. Method : This study was done as a part of the chronic disease survey of rural area by the Asan Foundation. Among 30 years or older population from Jung Eup, a rural area of Korea, 711 male subjects were sampled using a cluster probability sampling method. Trained interviewers visited and interviewed subjects aged 30 years or older with a structured interview. ED was categorized as 'none', 'mild', 'moderate', or 'severe' according to the ability to 'attain and/or maintain an erection satisfactory for sexual intercourse'. Response rate was 54.3% (N=386). Results : The age weighted prevalence of ED was 27.2% (minimal 14.1%, moderate 7.6%, severe 5.5%). Prevalence and severity increased with age. Liver disease and underweight were significantly (p<0.05) associated with ED. Smoking seemed to be correlated with ED, but did not reach statistically significant level. Conclusion : ED was highly prevalent in the rural community of Korea. Medical, sociodemographic, and lifestyle variables associated with ED may alert physicians to patients at risk for ED and offer insight to its etiology.

형질전환 제초제저항성 벼 밀양 204호의 농업적 특성

정응기,이기환,원용재,박향미,전남수,최준호,구연충,한창덕,은무영,김태산,남민희 Plant molecular biology and biotechnology research 2005 Plant molecular biology and biotechnology research Vol.2005 No.

This study was conducted to investigated the major characteristics of genetically modified rice of "Milyang 204" originated from Dongjinbyeo compared to a non-transgenic rice varieties Dongjinbyeo and Junambyeo. Basta resistant transgenic rice lines carrying bar gene produced by the Yeongnam Agricultural Research Institute were evaluated for their agronomic characters. The transgenic Japonica rice of "Milyang 204" showed inferior phenotypic traits compared to a non-transgenic rice variety Dongjinbyeo and Junambyeo. On the basis of UPOV (Union Internationale Pour la Protaection des Obtentions Vegetables) and NSMO(National Seed Management Office) the transgenic "Milyang 204" showed difference in some traits out of some agronomic traits, such as leaf color, angle of flag leaf, number of spikelets, culm length, white core and white belly compared to the nontransgenic varieties rice.

A Data Communication Method for Real-time Control Systems

Tae Mu CHANG(張太戊) 한국통신학회 1982 韓國通信學會論文誌 Vol.7 No.2

Computational Analysis on Response Behaviors of Tetranychusurticae after the Treatments of Abamectin

Mu Qiao,Bu-Keun Chung,Chang-Woo JI,Tae-Soo Chon 한국응용곤충학회 2009 한국응용곤충학회 학술대회논문집 Vol.2009 No.05

Movement behaviors of specimens of mite (Tetranychus urticae) were computationally analyzed after the treatments of pesticide, abamectin, at a low concentration of 0.78ppb. During the observation period, test specimens were placed individually on the bean leaves (diameter=7mm), and their position was recorded in 2-dimension at 0.25 second intervals (8 hours before treatment and 8 hours after treatment). The selected parameters such as speed, angular change, meander, etc, were checked for characterizing response behaviors after the treatments. The difference of mite behavior was accordingly observed after the treatments, and the time spent in the center area appeared to be longer after the treatments. Additional characterization of movement behaviors was computationally checked, and utilization of behavioral monitoring in pest management was further discussed regarding early detection of susceptible or resistant strains.

A Rule-based Design Verifier Using Temporal Logic

Chang, Tae-mu 동국대학교 1987 論文集 Vol.26 No.-

규칙 기본의 논리 단계의 설계 증명기를 제안하였다. 관례적인 논리를 확장시킨 시제 논리를 이용하여 디지탈시스템의 동작을 설명하고, 시제 논리식을 안전 및 활성 단언(assertion)으로 사용하여 Prolog로 기술된 설계 모형을 증명하였다. 증명 알고리즘은 시제 논리의 도형화 결정 과정에 근거한 것이다. 이논리 증명기는 prolog언어를 사용하여 PC/AT에 구현되었다.

Functional level testing of bit-sliced microprogram sequencers

Chang, Tae Mu,Cheon, Suh Hyun,Kang, Byoung Su 동국대학교 1984 論文集 Vol.23 No.-

비트 슬라이스 마이크로 프로세서는 디지털시스템 설계에 있어서 대단히 중요한 LSI 부품으로 되었다. 비트 슬라이스 시스템은 구조적 단순성 때문에 검진하기가 쉬운 특징을 갖는다. 본 논문에서는 비트 슬라이스 마이크로 프로그램 순서제어회로의 효율적인 자체 고장진단 방안이 제시되었다. 우선 각 AM2909 슬라이스에 대한 검진 입력이 기능적인 모형과 단일오류 가정하에서 구하여 졌고, 고장 상태를 검지하고 고장이 난 슬라이스를 찾아내기 위하여 부가적인 검진 입력을 구하였다. 이러한 검진 입력들로 자체검진기능을 수행할 수 있는 마이크로 프로그램 순서제어회로를 제시하였다.