• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.971-974
• /
• 2002

Petri net is an effective modeling tool for concurrent systems. Liveness problem is one of analysis problems in Petri net theory verifying whether the system is free from any local deadlocks. It is well known that computational complexity of liveness problem of general Petri net is deterministic exponential space. Some subclasses, such as marked graph and free choice net, are suggested where liveness problem is verified in less complexity. This paper studies liveness of siphon containing circuit (SCC) net. Liveness condition based on algebraic inequalities is shown. Then polynomial time decidability of liveness of SCC net is derived, if the given net is known to be an SCC net a priori.

• 대한약침학회지
• /
• 제6권2호
• /
• pp.91-104
• /
• 2003

Objective : This study was carried to make out the connection between cerebral artery blood flow velocity and ischemic theory that presumed the cause of Bell's palsy. Method : We measured cerebral artery blood flow velocity each external carotid artery, internal carotid artery, common carotid artery, siphon, superficial temporal artery by TCD to 20 patients who diagnosed as facial nerve palsy from march 2001 to July 2001 and all objectives devided two groups as palsy side. A group is right side facial nerve palsy and B group is left facial nerve palsy. Results : 1. There is no effective change of blood flow in external carotid artery either A, B group. 2. There is no effective change of blood flow in internal carotid artery either A, B group. 3. There is no effective change of blood flow in common carotid artery either A, B group. 4. There is no effective change of blood flow in siphon artery either A, B group. 5. There is no effective change of blood flow in superficial temporal artery either A, B group.

• 한국조경학회지
• /
• 제38권5호
• /
• pp.113-121
• /
• 2010

노자공이 일본 아스카시대 궁원 남정을 만들었다는 수미산은 인도의 우주관에서는 성산(聖山:Sumeru),중국의 불교적 세계관에서는 묘고산(妙高山)의 형태를 상징화한 것으로 이해되며, 풍륜-수륜-금륜-지륜을 각각 4개의 돌조각에 조각한 조립형 석조물로 추정된다. 노자공의 수미산기록 외에, 일본서기 수미산 등장 4차례의 기록은 수미산이 옥외에 설치된 정원의 구성요소이자 주요 경물로서의 역할을 하였음을 시사하고 있다. 특히, 일본서기 기록의 문구와 그 표현으로 보아 수미산을 중심으로 경물들을 조합하여 활용한 것으로 판단되며, 모두 향연을 위한 특별한 행사시 활용되었던 것으로 보인다. 석신유적에서 발굴된 수미산석이 노자공이 오교와 더불어 만든 수미산인지는 현재 확인할 수 없으나, 이후 궁원의 정원시설물로 되풀이되어 조성된 '수미산형의 석조물'은 노자공이 황궁 남정에 조성한 수미산과 동일한 것이거나, 최소한 노자공이 만든 수미산을 원형으로 그 이후 재차 제작된 것으로 추정되며, 수미산을 기본으로 돌과 연못을 함께 이용하며 원지를 조성했을 것으로 추정된다. 따라서, 노자공이 오교와 함께 만들었다는 수미산은 불교의 수미산의 형상을 최대한 구상화한 형태인 동시에 축경수석이었다고 추정된다. 그리고 수미산의 외형과 기능을 수미산석으로 미루어 추정할 때, 수미산 표면의 문양은 백제시대에 제작된 백제금동대향로나 산수산경문전 그리고 활석제불보살병립상 후면의 문양에서 표현되고 있는 여러 겹으로 겹친 산악 문양 등의 도상과 매우 흡사하였을 것으로 판단된다. 또한, 수미산석의 형태 및 구조를 고려할 때 수미산석 분수시설에 적용된 원리는 수위 차에 따른 압력을 이용하는 사이펀(siphon)의 원리를 적용하여 물을 이동 분출한 것으로 보이며, 향연 등을 목적으로 한 실용수석 차원에서 만들어진 것으로 추정된다.