• 문화기술의 융합
• /
• 제6권1호
• /
• pp.327-334
• /
• 2020

조선 후기 3대 명필로 지칭될 만큼 독자적 서풍을 창안한 창암(蒼巖) 이삼만(李三晩)(1770~1845)은 '법고(法古)'를 중시하였는데, 한위대(漢魏代) 서예를 근본으로 하고, 동국진체(東國眞體)를 완성한 원교(圓嶠) 이광사(李匡師)를 마음의 스승으로 삼아 수련하였다. 만년에는 올바른 필법 전수를 위해 『창암서결(蒼巖書訣)』을 저술하여 보편적 서예의 기본원리와 자신의 서예관을 피력하였다. 창암(蒼巖)이 지향하는 서체는 해서(楷書) 근골(筋骨)의 확립을 통한 초서(草書)로 완결된다. 이를 위해 한위(漢魏)의 서체를 전범(典範)으로 제안하였는데, 온후간원(穩厚簡遠)한 한위근골(漢魏筋骨)은 무위자연적(無爲自然的) 무법(無法)의 경지를 보여준다. 이로 보아 창암(蒼巖) 서예론의 핵심이자 궁극적 지향점은 '자연(自然)'임을 알 수 있다. 이는 법의 극치에 이르러 다시 무법(無法)으로 돌아가는 것으로, 여기에서 음양(陰陽)이 생성되고 형(形)·세(勢)·기(氣)가 부드러움을 도모하면 기괴(奇怪)함이 생겨난다고 보았던 것이다. 한편, 고법(古法)에 얽매이지 않고 우졸(愚拙)한 자연천성(自然天成)을 발현하면 장법과 포치가 일운무적(逸韻無跡)한 득필천연(得筆天然)을 이룬다고 강조하였다. 우리는 이 연구에서 그의 서체가 자연을 예술로 승화하면서, 조선 고유의 서예미를 끊임없이 접목·시도하였음을 살펴볼 수 있다. 그리하여 근골이 풍부하고 생명력과 역동감이 넘치는 형세를 이룬 일운무적(逸韻無跡)을 체화(體化)하였고, 득필천연(得筆天然)한 극공(極工)의 심미경지를 이루어 독창적인 '행운유수체(行雲流水體)'로 구현하였고 마침내 호남지방에 동국진체(東國眞體)의 서풍과 서예정신을 더욱 창달시켰다.

• 한국통신학회논문지
• /
• 제28권4C호
• /
• pp.413-423
• /
• 2003

현재 블라인드 등화기법으로 가장 많이 사용되고 있으며 비선형 비용함수를 이용하는 CMA 등화기의 경우 closed form 형태의 최적 해를 구하는 것이 어렵기 때문에 그 동안 이론적인 성능 분석에 많은 어려움이 있었다. 그런데 최근 Zeng은 가우시안 잡음 하에서 FIR 선형 채널을 가정하였을 때 이론적인 CMA 등화기의 최적해 의 한계범위를 구하고 이를 기반으로 MSE 한계범위를 제시한 주목할 만한 결과를 발표하였다. 이러한 방법을 통하여 MSE 관점에서 CMA 등화기의 성능을 최적해인 LMS (또는 Wiener) 등화기의 성능과 이론적으로 비교 분석하는 것이 가능해진다. 본 논문에서는 이러한 Zeng의 결과를 이용하여 다음의 연구를 수행하였다. 첫째, HDD, digital VCR등의 고밀도 magnetic 기록/재생 등 부분 응답 신호 방식에 CMA 등화기를 적용하였을 때 채널의 간섭량에 따른 CMA 등화기의 MSE 한계범위를 이론적으로 계산하였고 이를 컴퓨터 시뮬레이션을 통해 검증하였다. 둘째, 부분 응답 신호방식에 CMA 등화기를 그대로 사용 할 경우 부분 응답 전달 함수?l 영점들 (zeros) 이 단위 원 위에 있어 채널왜곡의 보상 시 첨가 잡음의 증폭을 초래하여 등화기의 성능이 저하되는 문제가 발생하여 이를 개선하기 위한 Modified CMA 등화기가 제안된 바 있는데, 이 등화기에 대해서도 이론 및 시뮬레이션을 통한 성능 분석을 수행하였다. 최종적으로 CMA 와 Modified CMA 등화기의 성능 분석 결과들을 비교 성능하였다.

• The Korean Journal of Physiology
• /
• 제24권2호
• /
• pp.363-375
• /
• 1990

The present investigation was performed to purify bombesin-like immunoreactivity (BBS-LI) from the skin of frogs, B. orientalis inhabiting Korea. For extraction of BBS-LI, the fresh skin of 360 g from frogs was immersed in 1,800 ml of 100% methanol and then kept at $4^{\circ}C$ for 5 days. BBS-LI was partially purified by liquid chromatography using an alkaline alumina column followed by a Sephadex G-10 column. BBS-LI was further purified by using sequential HPLC of reversed phase C18 preparation, gel permeation, SP-ion exchange and reversed phase C18 analysis. BBS-LI in fractions of each step was monitored by radioimmunoassay for which bombesin antiserum with a titer of 1 : 188,800 was raised in a guinea pig. Eventually, two different BBS-LI were successfully purified and each BBS-LI showed the following character. 1) BBS-LI was well separated into two peaks in SP-ion exchange HPLC. One (BBS-LI-K1) bound to the column while the other (BBS-LI-K2) did not. 2) BBS-LI-K1, 73.8% of total BBS-LI, was not differentiated from synthetic bombesin in reversed phase C18 analytical and gel permeation HPLC. 3) BBS-LI-K2, 26.2% of total BBS-LI, eluted later than synthetic bombesin in reversed phase C18 analytical HPLC, but it eluted with a retention time identical to that of synthetic bombesin in gel permeation HPLC. 4) The two forms of BBS-LI and synthetic bombesin identically stimulated gastrin release and pancreatic exocrine secretion including volume, protein output and amylase output in anesthetized rats. It is concluded from the above results that the skin of B. orientalis contains two different forms of BBS-LI which are very identical to bombesin immunologically and biologically. In comparison with synthetic bombesin containing 14 amino acid residues, the major form shows quite similar pattern in all HPLC used in the present study, but the minor form exhibits quite different pattern in SP-ion exchange and reversed phase C18 analytical HPLG.

• 한국동물번식학회:학술대회논문집
• /
• 한국동물번식학회 2000년도 국제심포지움
• /
• pp.10-12
• /
• 2000

Members of the glycoprotein family, which includes CG, LH, FSH and TSH, comprise two noncovalently linked $\alpha$- and $\beta$-subunits. Equine chorionic gonadotropin (eCG), known as PMSG, has a number of interesting and unique characteristics since it appears to be a single molecule that possesses both LH- and FSH-like activities in other species than the horse. This dual activity of eCG in heterologous species is of fundamental interest to the study of the structure-function relationships of gonadotropins and their receptors. CG and LH $\beta$ genes are different in primates. In horse, however, a single gene encodes both eCG and eLH $\beta$-subunits. The subunit mRNA levels seem to be independently regulated and their imbalance may account for differences in the quantities of $\alpha$ - and $\beta$ -subunits in the placenta and pituitary. The dual activities of eCG could be separated by removal of the N-linked oligosaccharide on the $\alpha$-subunit Asn 56 or CTP-associated O-linked oligosaccharides. The tethered-eCG was. efficiently secreted and showed similar LH-like activity to the dimeric eCG. Interestingly, the FSH-like activity of the tethered-eCG was increased markedly in comparison with the native and wild type eCG. These results also suggest that this molecular can implay particular models of FSH-like activity not LH-like activity in the eCG/indicate that the constructs of tethered molecule will be useful in the study of mutants that affect subunit association and/or secretion. A single-chain analog can also be constructed to include additional hormone-specific bioactive generating potentially efficacious compounds that have only FSH-like activity. The LH/CG receptor (LH/CGR), a membrane glycoprotein that is present on testicular Leydig cells and ovarian theca, granulosa, luteal, and interstitial cells, plays a pivotal role in the regulation of gonadal development and function in males as well as in nonpregnant and pregnant females. The LH/CGR is a member of the family of G protein-coupled receptors and its structure is predicted to consist of a large extracellular domain connected to a bundle of seven membrane-spanning a-helices. The LH/CGR phosphorylation can be induced with a phorbol ester, but not with a calcium ionophore. The truncated form of LHR also was down-regulated normally in response to hCG stimulation. In contrast, the cell lines expressing LHR-t63I or LHR-628, the two phosphorylation-negative receptor mutant, showed a delay in the early phase of hCG-induced desensitization, a complete loss of PMA-induced desensitization, and an increase in the rate of hCG-induced receptor down-regulation. These results clearly show that residues 632-653 in the C-terminal tail of the LHR are involved in PMA-induced desensitization, hCG-induced desensitization, and hCG-induced down-regulation. Recently, constitutively activating mutations of the receptor have been identified that are associated with familial male-precocious puberty. Cells expressing LHR-D556Y bind hCG with normal affinity, exhibit a 25-fold increase in basal cAMP and respond to hCG with a normal increase in cAMP accumulation. This mutation enhances the internalization of the free and agonist-occupied receptors ~2- and ~17-fold, respectively. We conclude that the state of activation of the LHR can modulate its basal and/or agonist-stimulated internalization. Since the internalization of hCG is involved in the termination of hCG actions, we suggest that the lack of responsiveness detected in cells expressing LHR-L435R is due to the fast rate of internalization of the bound hCG. This statement is supported by the finding that hCG responsiveness is restored when the cells are lysed and signal transduction is measured in a subcellular fraction (membranes) that cannot internalize the bound hormone.

• 한국가축번식학회지
• /
• 제24권4호
• /
• pp.357-364
• /
• 2000

Members of the glycoprotein family, which includes CG, LH, FSH and TSH, comprise two noncovalently linked $\alpha$- and $\beta$-subunits. Equine chorionic gonadotropin (eCG), known as PMSG, has a number of interesting and unique characteristics since it appears to be a single molecule that possesses both LH- and FSH-like activities in other species than the horse. This dual activity of eCG in heterologous species is of fundamental interest to the study of the structure-function relationships of gonadotropins and their receptors. CG and LH $\beta$ genes are different in primates. In horse, however, a single gene encodes both eCG and eLH $\beta$ -subunits. The subunit mRNA levels seem to be independently regulated and their imbalance may account for differences in the quantities of $\alpha$ - and $\beta$-subunits in the placenta and pituitary. The dual activities of eCG could be separated by removal of the N-linked oligosaccharide on the $\alpha$-subunit Asn 56 or CTP-associated O-linked oligosaccharides. The tethered-eCG was efficiently secreted and showed similar LH-like activity to the dimeric eCG. Interestingly, the FSH-like activity of the tethered-eCG was increased markedly in comparison with the native and wild type eCG. These results also suggest that this molecular can implay particular models of FSH-like activity not LH-like activity in the eCG/indicate that the constructs of tethered molecule will be useful in the study of mutants that affect subunit association and/or secretion. A single-chain analog can also be constructed to include additional hormone-specific bioactive generating potentially efficacious compounds that have only FSH-like activity. The LH/CG receptor (LH/CGR), a membrane glycoprotein that is present on testicular Leydig cells and ovarian theca, granulosa, luteal, and interstitial cells, plays a pivotal role in the regulation of gonadal development and function in males as well as in nonpregnant and pregnant females. The LH/CGR is a member of the family of G protein-coupled receptors and its structure is predicted to of a large extracellular domain connected to a bundle of seven membrane-spanning a-helices. The LH/CGR phosphorylation can be induced with a phorbol ester, but not with a calcium ionophore. The truncated form of LHR also was down-regulated normally in response to hCG stimulation. In contrast, the cell lines expressing LHR-t631 or LHR-628, the two phosphorylation-negative receptor mutant, showed a delay in the early phase of hCG-induced desensitization, a complete loss of PMA-induced desensitization, and an increase in the rate of hCG-induced receptor down-regulation. These results clearly show that residues 632~653 in the C-terminal tail of the LHR are involved in PMA-induced desensitization, hCG-induced desensitization, and hCG-induced down-regulation. Recently, constitutively activating mutations of the receptor have been identified that are associated with familial male-precocious puberty. Cells expressing LHR-D556Y bind hCG with normal affinity, exhibit a 25-fold increase in basal cAMP and respond to hCG with a normal increase in cAMP accumulation. This mutation enhances the internalization of the free and agoinst-occupied receptors ~2- and ~17- fold, respectively. We conclude that the state of activation of the LHR can modulate its basal and/or agonist-stimulated internalization. Since the internalization of hCG is involved in the termination of hCG actions, we suggest that the lack of responsiveness detected in cells expressing LHR-L435R is due to the fast rate of internalization of the bound hCG. This statement is supported by the finding that hCG responsiveness is restored when the cells are lysed and signal transduction is measured in a subcellular fraction (membranes) that cannot internalize the bound hormone.

• 한국식품영양과학회지
• /
• 제13권3호
• /
• pp.307-312
• /
• 1984

바다의 무척추동물(無脊椎動物) 중(中) 갑각류(甲殼類)에 속하는 꽃게(Portunus trituberculatus), 두점박이꽃게(Charybdis bimaculata), 보리새우 (Penaeus japonicus), 홍새우(Metapenaeus intermedius) 및 바다가재(Squilla oratoria) 등(等) 5종(種)을 택하여 이들의 말린 껍질에서 Ca과 같은 무기질(無機質)을 제거(除去)하여 chitin-protein complex를 얻었다. 이 chitin-protein 복합물(複合物)에 대하여 추출조건(抽出條件)을 달리하여 분리(分離)시켜 얻은 단백질량(蛋白質量)을 측정(測定)하였다. 또한 각(各) 껍질시료(試料)를 $H_2SO_3$ 등(等)으로 처리하여 얻은 조(粗)chitin질(質) 및 이것을 다시 정제(精製)하여 얻은 정제(精製) chitin질(質)의 함량(含量)을 측정(測定)하였고 한편 정제(精製) chitin질(質)을 위상차현미경(位相差顯微鏡)으로 관찰(觀察)하였다. 그 결과(結果)를 종합(綜合)하면 다음과 같다. 1. 총단백질량(總蛋白質量)은 3.1%에서 10.9%까지였으며 아주 어린 동물(動物)을 사용한 두점박이꽃게가 3.1%로서 가장 낮은 값을 나타내었다. 총단백질(總蛋白質) 중(中) EDTA처리로 분리(分離)된 단백질(蛋白質)은 홍새우의 6.4%에서 두점박이꽃게의 26.7%까지이었으며 주(主)로 수소결합(水素結合)을 끊은 7M urea용액에 의해 분리(分離)된 단백질(蛋白質)은 보리새우의 0.1%에서 바다가재의 6.9%까지로 나타났다. 공유결합(共有結合)된 단백질량(蛋白質量)을 구하기 위하여 알칼리 처리를 하였는데 격렬한 조건(條件) 즉(卽) 1N NaOH용액으로 $100^{\circ}C$에서 48시간 처리로 분리(分離)된 단백질량(蛋白質量)은 두점박이꽃게의 51.7%에서 홍새우의 86.9%까지로 총단백질(總蛋白質)의 대부분을 차지하였다. 2. 조(粗)chitin질(質)의 함량(含量)은 꽃게가 말린 껍질의 31.8%, 두점박이꽃게 13.6%, 보리새우 34.1%, 홍새우 35.0% 및 바다가재 32.6%이었으며 정제(精製)chitin질(質)의 함량(含量)은 꽃게가 21.1%, 두점박이꽃게 6.2%, 보리새우 20.2%, 홍새우 27.1% 및 바다가재 25.5%로서 두점박이꽃게가 매우 낮은 값을 나타내었다. 이는 두점박이꽃게의 경우 다른 것들과는 달리 매우 어린 동물(動物)을 사용한 때문인 것으로 생각된다. 정제(精製) chitin질(質)과 공유결합(共有結合)된 단백질량(蛋白質量)과의 비(比)는 꽃게, 보리새우 및 홍새우가 다같이 2.7:1이었으며 두점박이꽃게가 3.0:1, 바다가재가 6.1:1이었다. 3. 정제(精製)chitin질(質)의 현미경소견(顯微鏡所見)을 보면 각 표본(標本)에 있어 모두 섬유상(纖維狀)의 형태(形態)를 갖추고 있었다.

• 지능정보연구
• /
• 제18권2호
• /
• pp.47-60
• /
• 2012

비디오 데이터는 구조화되지 않은 복합 데이터의 형태를 지닌다. 이러한 비디오 데이터의 효율적인 관리 및 검색을 위한 비디오 데이터 구조화의 중요성이 대두되면서 콘텐츠 내 시각적 특징을 기반으로 비디오 씬(scene)을 탐지하고자 하는 연구가 활발히 진행되었다. 기존의 연구들은 주로 색상 정보만을 이용하여 샷(shot) 간의 유사도 평가를 기반한 클러스터링(clustering)을 통해 비디오 씬을 탐지하고자 하였다. 하지만 비디오 데이터의 색상 정보는 노이즈(noise)를 포함하고, 특정 사물의 개입 등으로 인해 급격하게 변화하기 때문에 색상만을 특징으로 고려할 경우, 비디오 샷 혹은 씬에 대한 올바른 식별과 디졸브(dissolve), 페이드(fade), 와이프(wipe)와 같은 화면의 점진적인 전환(gradual transitions) 탐지는 어렵다. 이러한 문제점을 해결하기 위해, 본 논문에서는 프레임(frame)의 컬러 히스토그램과 코너 에지, 그리고 객체 컬러 히스토그램에 해당하는 시각적 특징을 기반으로 동일한 이벤트를 구성하는 의미적으로 유사한 샷의 클러스터링을 통해 비디오 씬을 탐지하는 방법(Scene Detector by using Color histogram, corner Edge and Object color histogram, SDCEO)을 제안한다. SDCEO는 샷 바운더리 식별을 위해 컬러 히스토그램 분석 단계에서 각 프레임의 컬러 히스토그램 정보를 이용하여 1차적으로 연관성 있는 연속된 프레임을 샷 바운더리로 병합한 후, 코너 에지 분석 단계에서 병합된 샷 내 처음과 마지막 프레임의 코너 에지 특징 비교를 통하여 샷 바운더리를 정제하여 최종 샷을 식별한다. 키프레임 추출 단계에서는 샷 내 프레임간 유사도 비교를 통해 모든 프레임과 가장 유사한 프레임을 각 샷을 대표하는 키프레임으로 추출한다. 그 후, 비디오 씬 탐지를 위해, 컬러 히스토그램과 객체 컬러 히스토 그램에 해당하는 프레임의 시각적 특징을 기반으로 상향식 계층 클러스터링 방법을 이용하여 의미적인 연관성을 지니는 샷의 군집화를 통해 비디오 씬을 탐지하는 방법이다. 본 논문에서는 SDCEO의 프로토 타입을 구축하고 3개의 비디오 데이터를 이용한 실험을 통하여 SDCEO의 효율성을 평가하였고 샷 바운더리 식별의 성능의 정확도는 평균 93.3%, 비디오 씬 탐지 성능의 정확도는 평균 83.3%로 만족할만한 성능을 보였다.

• 자원환경지질
• /
• 제54권3호
• /
• pp.399-408
• /
• 2021

배경토양에 카드뮴(Cd), 납(Pb), 아연(Zn) 등의 중금속 오염물질을 인위적으로 오염시킨 후 진동센서 등으로 구성된 시스템(ViSSET)을 이용하여 지렁이 움직임 특성을 실시간으로 모니터링하였다. 이로부터 얻어진 지렁이 움직임의 누적 횟수와 전통적인 지렁이 행태지표(실험 전후의 체중 변화, 생체축적농도) 등을 이용하여 중금속 오염물질의 토양 내 생태독성 발현 기작을 규명하였다. 중금속별 농도 증가에 따른 지렁이 움직임을 살펴보면, Cd는 농도가 증가함에 따라 지렁이 움직임은 감소하다가 증가하는 경향을 보였고, Pb는 농도 증가에 따라 지렁이 움직임이 급증하였으며, Zn의 경우는 농도가 증가함에 따라 지렁이 움직임은 지속적으로 감소하는 것으로 나타났다. 지렁이의 체중은 Zn 오염 토양에서 가장 크게 감소하였으며, Cd와 Pb에서는 지렁이 체중 변화가 유사한 것으로 조사되었다. 생물축적농도는 Cd, Zn, Pb의 순으로 높게 조사되었고, 특히 Pb의 경우에는 토양 내 농도에 따른 생체축적농도의 변화가 뚜렷하게 나타나지 않았다. Cd는 metallothionein-bound 형태로 결합되어 지렁이 생체 내에 장기간 축적되며, 특히 고농도에서는 임계효과(critical effect)에 의해 지렁이 움직임에 악영향을 주는 것으로 판단된다. Pb는 섭취에 의하여 생태독성이 발현되는 것이 아니고 피부를 자극시키거나 감각기관을 손상시킴으로서 독성을 발현시키는 것으로 생각된다. Zn은 소화기관의 세포막을 손상시키거나 물질대사를 과도하게 증가시킴으로써 지렁이 움직임과 체중이 감소하는 것과 같은 생태독성을 발현시킨다. 지렁이 움직임에 대한 실시간 모니터링 결과를 분석하여 도출한 Pb의 50% 최대 영향농도(half maximal effective concentration, EC50)는 751.2 mg/kg로 기존 연구와 유사한 것으로 나타났다. 본 연구를 통하여 기존에 이용되어온 지렁이 행태 지표와 새롭게 제시한 지렁이의 움직임을 실시간으로 모니터링하여 얻어진 결과를 통합적으로 해석함으로써 중금속 오염물질의 생태독성 발현 기작을 규명하는 것이 효과적임을 확인할 수 있었다.

• 한국식품영양과학회지
• /
• 제26권2호
• /
• pp.285-290
• /
• 1997

이상의 결과를 요약하연, 혈당값은 정상대조군 78{\pm}6.20mg/dl, 인슐린 비의존형 당뇨병 환자 $184{\pm}18.94mg/dl$로 인슐린 비의존형 당뇨병 환자의 혈당값이 유의적으로 높았다. IGF-I의 수준은 정상대조군 $9.32{\pm}1.48{\mu}g/ml$, 인슐린 비의존형 당뇨병 환자 $4.19{\pm}0.84{\mu}g/ml$로 인슐린 비의존형 당뇨병 환자의 IGF-I 수준이 유의적으로 낮았다. 인슐린 비의존형 당뇨병 환자의 혈청 중 IGFBP-1, -2는 증가한 반면, IGFBP-3, -4, -5는 감소하였다. IGFBP-3의 분해에 관여하는 효소는 PMSF, aprotinin, EDTA에 의해 저해되어 metal-dependent serine proteases임을 확인하였고, 효소의 크기가 대략 97,66kDa 이었으며 효소활성이 인슐린 비의존형 당뇨병 환자에게서 큼을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1445-1454
• /
• 1999

광역 조건식의 계산은 분산 프로그램의 수행을 테스트 또는 디버깅하기 위한 방법으로 활 발히 연구되고 있다. 이제까지 주로 연구된 광역조건식은 AND 또는 OR 광역 조건식 등이 있는데, 특히 AND 광역 조건식은 분산 프로그램의 동시적 조건을 표현하는데 유용하여 효율적인 검색 알고리즘이 활발히 연구되었다. 분산프로그램의 수행오류로서 공유자원의 배타적 접근조건은 가장 중요하고 일반적인 경우라 할 수 있다. 본 논문에서는 XOR 연산을 이용하여 공유자원 프로그램의 오류 검색을 위한 광역조건식을 기술하는 방식에 대해 제안하였다. XOR 연산을 이용한 광역 조건식은 연산자 중 많아야 하나의 지역조건식만이 참일 때 전체 조건식이 참이 되는데 이러한 성질은 여러 프로세스 중 한번에 하나만이 공유자원에 배타적으로 접근할 수 있는 조건을 표현하는데 매우 유용하다. n 개의 프로세스로 이루어진 분산프로그램에서 한개의 공유자원에 대한 배타적 접근 조건을 기술하기 위해서 AND로 연결된 광역조건식을 이용하면 O(n2)개의 광역 조건식이 필요한데 반해 XOR 연산으로는 하나의 조건식으로 나타낼 수 있다. 더구나 XOR 연산을 이용한 광역조건식은 최근 소개된 겹치는 구간의 개념을 활용하면 매우 간단하게 검색할 수 있다. 본 논문에서는 겹치는 구간을 찾는 검색 알고리즘을 소개하고 증명하였다.Abstract Detecting global predicates is an useful tool for debugging and testing a distributed program. Past research has considered several restricted forms of predicates, including conjunctive or disjunctive form of predicates. Especially, conjunctive predicates have attracted main attention not only because they are useful to describe simultaneous conditions in a distributed program, but also because it is possible to find algorithms to evaluate them within reasonable time bound. Detecting errors in accessing shared resources are the most popular and important constraints of distributed programs. In this paper, we introduced an exclusive OR predicates as a model of global predicates to describe shared resource conditions in distributed programs. An exclusive OR predicate holds only when at most one operand is true, which is useful to describe mutual exclusion conditions of distributed programs where only one process should be allowed to access the shared resource at a time. One exclusive OR predicate is enough to describe mutual exclusion condition of n processes with one shared resource, while it takes O(n2) conjunctive predicates. Moreover, exclusive OR condition is easily detectable using the concept of overlapping intervals introduced by Venkatesan and Dathan. An off-line algorithm for evaluating exclusive OR global predicates is presented with a correctness proof.