• Korean Architects
• /
• s.457
• /
• pp.12-13
• /
• 2007

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Convergence Security Journal
• /
• v.3 no.2
• /
• pp.71-83
• /
• 2003

The improvement of an information communicating technology provides mankind with a rationality of ancient technology, and gave us many benefits as they go beyond time and place. a society that requires information, improving information communicating technology had a revolution over us and is giving us good benefits. The improvement os an information communicating technology gave us benefits for sure. in the other hand, it is giving us a threat also. Important point in a growth of a knowledge information community is to search for a way to make positive function work better and to reduce the bad benefits. They discussed some ways that information society is blocking the growth of a knowledge information community, and the purpose of this essay is to get a step closer to solve these problems.

• Journal of Korean Neurosurgical Society
• /
• v.58 no.3
• /
• pp.291-293
• /
• 2015

Anterior communicating artery (ACoA) aneurysms sometimes present with visual symptoms when they rupture or directly compress the optic nerve. Giant or large ACoA aneurysms producing bitemporal hemianopsia are extremely rare. Here we present an unusual case of bitemporal hemianopsia caused by a large intracranial aneurysm of the ACoA. A 41-year-old woman was admitted to our neurosurgical department with a sudden-onset bursting headache and visual impairment. On admission, her vision was decreased to finger counting at 30 cm in the left eye and 50 cm in the right eye, and a severe bitemporal hemianopsia was demonstrated on visual field testing. A brain computed tomography scan revealed a subarachnoid hemorrhage at the basal cistern, and conventional cerebral catheter angiography of the left internal carotid artery demonstrated an $18{\times}8mm$ dumbbell-shaped aneurysm at the ACoA. Microscopic aneurysmal clipping was performed. An ACoA aneurysm can produce visual field defects by compressing the optic chiasm or nerves. We emphasize that it is important to diagnose an aneurysm through cerebrovascular study to prevent confusing it with pituitary apoplexy.

• Journal of Korean Neurosurgical Society
• /
• v.46 no.6
• /
• pp.568-571
• /
• 2009

Accessory middle cerebral artery (MCA) is an infrequent vascular anomaly of the brain. Cerebral aneurysms associated with this anomalous artery are also very rare. To our knowledge, there have only been ten previous reports of an aneurysm associated with accessory MCA. The authors present two patients with accessory MCA-related aneurysms. A 38-year-old male and a 59-year-old female both presented with sudden-onset severe headache. In both patients, computed tomography (CT) scan revealed subarachnoid hemorrhage. A subsequent angiogram demonstrated an accessory MCA arising from the anterior cerebral artery (ACA) and a saccular aneurysm at the anterior communicating artery (ACoA) complex associated with an accessory MCA. Surgical clipping allowed for complete exclusion of the aneurysm from the arterial circulation. Based on our review of the ten cases of aneurysms associated with accessory MCA documented in the literature, we suggest that accessory MCA-related aneurysms can be classified according to whether the accessory MCA originates from the proximal A1 segment or from the ACoA complex. We also emphasize the importance of precise interpretation of preoperative angiograms and intraoperative precaution in determining the presence of this anomalous artery prior to temporary clip placement.

• Journal of Korean Neurosurgical Society
• /
• v.53 no.2
• /
• pp.112-114
• /
• 2013

Bilateral abducens nerve palsy related to ruptured aneurysm of the anterior communicating artery (ACoA) has only been reported in four patients. Three cases were treated by surgical clipping. No report has described the clinical course of the isolated bilateral abducens nerve palsy following ruptured ACoA aneurysm obliterated with coil. A 32-year-old man was transferred to our institution after three days of diplopia, dizziness and headache after the onset of a 5-minute generalized tonic-clonic seizure. Computed tomographic angiography revealed an aneurysm of the ACoA. Magnetic resonance imaging showed focal intraventricular hemorrhage without brain stem abnormalities including infarction or space-occupying lesion. Endovascular coil embolization was conducted to obliterate an aneurysmal sac followed by lumbar cerebrospinal fluid (CSF) drainage. Bilateral paresis of abducens nerve completely recovered 9 weeks after ictus. In conclusion, isolated bilateral abducens nerve palsy associated with ruptured ACoA aneurysm may be resolved successfully by coil embolization and lumbar CSF drainage without directly relieving cerebrospinal fluid pressure by opening Lillequist's membrane and prepontine cistern.

• Journal of Yeungnam Medical Science
• /
• v.13 no.1
• /
• pp.97-109
• /
• 1996

Recently there has been attempts to develop hospital information system including order communicating system, patient tracing system, tumor registry system, office automation system and picture archiving and communication system(PACS). The authors devloped a practical system that was operated via order communication system of Yeungnam University Hospital. The system provided us the speed, accuracy, reliability, retention, economy and wide applicability through practical test. So we believed that this system would be one of standard computerized programs in radiation oncology practice and providing widely usable data for clinical statistics, medical record, tumor registry system and clinical researches.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.2346-2349
• /
• 2005

Distributed Autonomous Robotic System (DARS) is defined as a system that independent autonomous robots in the restricted environments infer their status from pre-assigned conditions and operate their jobs through the cooperation with each other. In the DARS, a robot contains sensor part to percept the situation around themselves, communication part to exchange information, and actuator part to do a work. Especially, in order to cooperate with other robots, communicating with other robots is one of the essential elements. Because Bluetooth has many advantages such as low power consumption, small size module package, and various standard protocols, Bluetooth is rated as one of the efficient communicating technologies which can apply to small-sized robot system. In this paper, we will develop Bluetooth communicating system for autonomous robots such as DARS robots. For this purpose, The Bluetooth communication system must have several features. The first, this system should be separated from other robot parts and operate spontaneously and independently. In other words, this communication system should have the ability to organize and maintain and reorganize a network scheme. The next, this system had better support any kinds of standard interfaces in order to guarantee flexible applicability to other embedded system. We will discuss how to construct and what kind of procedure to develop the network system.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2009.01a
• /
• pp.719-722
• /
• 2009

The purpose of this paper is to develop a robot that moves independently, communicates with a human, and explicitly extracts information from the human mind that is rarely expressed verbally. In a spoken dialog system for information collection, it is desirable to continue communicating with the user as long as possible, but not if the user does not wish to communicate. Therefore, the system should be able to terminate the communication before the user starts to object to using it. In this paper, to enable the construction of a decision model for a system to decide when to stop communicating with a human, we acquired speech and motion data from individuals who were asked many questions by another person. We then analyze their speech and body motion when they do not mind answering the questions, and also when they wish the questioning to cease. From the results, we can identify differences in speech power, length of pauses, speech rate, and body motion.

• Journal of Korean Neurosurgical Society
• /
• v.29 no.3
• /
• pp.426-429
• /
• 2000

Arare case of bilateral abducens nerve paralyses after rupture of a left posterior communicating artery(PcomA) aneurysm with multiple unruptured aneurysms in a 46-year-old female is presented. Sudden left abducens nerve paralysis followed by progressive right abducens nerve paralysis were present without additional neuroophthalmological signs. Postoperatively, bilateral abducens nerve paralyses gradually recovered and disappeared in 2 weeks. The authors reviewed and discussed the possible mechanisms involved in this uncommon neuro-ophthalmological manifestation.