• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• 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.

• Journal of Pharmacopuncture
• /
• v.6 no.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.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.38 no.5
• /
• pp.113-121
• /
• 2010

Shumi-sen(須彌山), built by Nohjagong(路子工) in the southern garden of the Palace Garden during the Asuka Period, is understood as being Sumeru based on an Indian perspective of the theory of the origin of universe. It is also viewed as Mt. Myogoh from a Chinese Buddhist worldview. It is thought to be a type of assembled stone structure with Poong-ryoon (風輪)-Su-ryoon(水輪)-Geum-ryoon(金輪)-Ji-ryoon(地輪) carved into each of the 4 stone pieces. These building shapes are thought to have been utilized as stone for exterior construction as opposed to those structures built during the Shilla Period of China and Korea. Aside from Nohjagong's record of Shumi-sen, most of the records from Japan's period of the time suggest that Shumi-sen was an important element that played a role in the scenery of the seasonal outdoor gardens. It is also thought, from the sentences and expressions surrounding the records, that a combination of the seasonal sceneries was utilized centered on Shumi-sen, and that they were all used during festival events. From a perspective of analysis and interpretation dependent on the limited literature and on observation, it cannot be verified whether the Mt. Sumeru Stone(須彌山石) excavated from the Stone God Ruins is the same Shumi-sen that Nohjagong built along with Okyo(吳橋), but it is thought that the 'Shumi-sen type stone structure' that was later built repeatedly as part of the palace garden facilities is identical to the Shumi-sen built at the Imperial Palace's southern garden, or at least a re-built structure based on the Shumi-sen that Nohjagong built with stones and ponds used to create the foundation. Thus, Shumi-sen that Nohjagong supposedly built along with Okyo is suspected to be a figurative rock arrangement and, at the same time, a miniaturized scenic rock arrangement(縮景樹石) that maximized the shape of Buddhism's Shumi-sen. On the other hand, the surface pattern on Mt. Sumeru Stone is very similar to the multi -layers of mountainous pattern icons expressed in the patterns of the Great Golden Incense Burner(百濟金銅大香爐) or Mountain-Water Scenery Sculptural Brick(山水山景紋?) that were built during the Baekjae pcriod aod the rear side of Hwalsuk-jebul Basal Byungipsang(滑石諸佛菩薩竝立像); it is suspected that similar patterns would have been used if patterns were made on Shumi-sen that Nohjagong built. Also in consideration of the physical theory of MI. Sumeru Stone, the Siphon theory of using a pressure difference in water level was applied to the fountain facilities of Mt. Sumeru Stone that seemed to have been built from the practical rock arrangement perspective for the purpose of feasts, etc.