• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.3
• /
• pp.105-110
• /
• 2005

Programmable Logic Controller(PLC) is the most widely utilized among many sorts of existing controller for the design of factory automation control system, and study about a PLC language is peformed actively. In this paper, we proposed the encoding module that we increase input points when increased of the input machine which is going to control it in the FA design that used PLC. Input point is going to be extended with 2-3 points in the state that cannot equip input unit in basic base any more. Then an extension base, a power supply, an extension cable and an output nit must be equipped particularly. Then a cost must be added very much. This paper proposed the encoding module which extended an input in a small quantity, and we confirmed a feasibility through a simulation.

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• Journal of Korean Neurosurgical Society
• /
• v.44 no.1
• /
• pp.47-51
• /
• 2008

Ligamentum flavum hematoma is a rare condition. Twenty cases including present case have been reported in English-language literature. Among them, only one case reported in pure thoracic spine. A 72-year-old man presented with thoracic myelopathy without precedent cause. Magnetic resonance images revealed a posterior semicircular mass which was located in T7 and T8 level compressing the spinal cord dorsally. T7-8 total laminectomy and extirpation of the mass was performed. One month later following surgery, the patient fully recovered to normal state. Pathologic result was confirmed as ligamentum flavum hematoma. Ligamentum flavum hematoma of rigid thoracic spine is a very rare disease entity. Most reported cases were confined to mobile cervical and lumbar spine. Surgeons should be aware that there seems to be another different pathogenesis other than previously reported cases of mobile cervical and lumbar spine.

• Journal of Bio-Environment Control
• /
• v.1 no.1
• /
• pp.37-51
• /
• 1992

Quantizing and extracting visual features of mushroom(Lentinus edodes L.) are crucial to the sorting and grading automation, the growth state measurement, and the dried performance indexing. A computer image processing system was utilized for the extraction and measurement of visual features of front and back sides of the mushroom. The image processing system is composed of the IBM PC compatible 386DK, ITEX PCVISION Plus frame grabber, B/W CCD camera, VGA color graphic monitor, and image output RGB monitor. In this paper, an automatic thresholding algorithm was developed to yield the segmented binary image representing skin states of the front and back sides. An eight directional Freeman's chain coding was modified to solve the edge disconnectivity by gradually expanding the mask size of 3$\times$3 to 9$\times$9. A real scaled geometric quantity of the object was directly extracted from the 8-directional chain element. The external shape of the mushroom was analyzed and converted to the quantitative feature patterns. Efficient algorithms for the extraction of the selected feature patterns and the recognition of the front and back side were developed. The developed algorithms were coded in a menu driven way using MS_C language Ver.6.0, PC VISION PLUS library fuctions, and VGA graphic functions.

• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.8
• /
• pp.671-677
• /
• 2016

A Controller Area Network (CAN) is a serial communication protocol that is highly reliable and efficient in many aspects, such as wiring cost and space, system flexibility, and network maintenance. Therefore, it is chosen for the communication protocol between a single chip controller based on Field Programmable Gate Array (FPGA) and peripheral devices. In this paper, the design and implementation of CAN IP, which is written in VHSIC Hardware Description Language (VHDL), is presented. The implemented CAN IP is based on the CAN 2.0A specification. The CAN IP consists of three processes: clock generator, bit timing, and bit streaming. The clock generator process generates a time quantum clock. The bit timing process does synchronization, receives bits from the Rx port, and transmits bits to the Tx port. The bit streaming process generates a bit stream, which is made from a message received from a micro controller subsystem, receives a bit stream from the bit timing process, and handles errors depending on the state of the CAN node and CAN message fields. The implemented CAN IP is synthesized and downloaded into SmartFusion FPGA. Simulations using ModelSim and chip test results show that the implemented CAN IP conforms to the CAN 2.0A specification.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

• Geomechanics and Engineering
• /
• v.10 no.2
• /
• pp.225-245
• /
• 2016

Settlement of foundations in permafrost regions primarily results from three physical and mechanical processes such as thaw consolidation of permafrost layer, creep of warm frozen soils and the additional deformation of seasonal active layer induced by freeze-thaw cycling. This paper firstly establishes theoretical models for the three sources of settlement including a statistical damage model for soils which experience cyclic freeze-thaw, a large strain thaw consolidation theory incorporating a modified Richards' equation and a Drucker-Prager yield criterion, as well as a simple rheological element based creep model for frozen soils. A novel numerical method was proposed for live computation of thaw consolidation, creep and freeze-thaw cycling in corresponding domains which vary with heat budget in frozen ground. It was then numerically implemented in the FISH language on the FLAC platform and verified by freeze-thaw tests on sandy clay. Results indicate that the calculated results agree well with the measured data. Finally a model test carried out on a half embankment in laboratory was modeled.

• The Journal of Korean Medicine
• /
• v.36 no.2
• /
• pp.50-55
• /
• 2015

Infants with tuberous sclerosis complex (TSC) have a higher chance of experiencing seizures before the age of 1 year; in particular, they commonly accompany infantile spasms. In cases where infantile spasms resulting from TSC are drug-resistant, more severe neuro-developmental and cognitive impairments occur. This particular case dealt with an infant with TSC who continued to experience partial seizures and infantile spasms despite using two different kinds of antiepileptic drugs (AEDs). His spasms ceased on the seventh day of taking modified Yukmijihwang-tang (YMJ), at which point he stopped the use of all AEDs. He became seizure-free after a month of the treatment and modified hypsarrythmia was found to have been resolved in the electroencephalogram test. Until now, the infant has been taking YMJ for 16 months and is maintaining the seizure-free state without side effects. Moreover, his developmental status is continually improving, with a significant progress in language and cognitive-adaptive abilities. Such results suggest that YMJ can serve as an alternative treatment option for refractory epilepsy.

• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1365-1377
• /
• 2019

Summarizing the differences in Chinese-Vietnamese bilingual news plays an important supporting role in the comparative analysis of news views between China and Vietnam. Aiming at cross-language problems in the analysis of the differences between Chinese and Vietnamese bilingual news, we propose a new method of summarizing the differences based on an undirected graph model. The method extracts elements to represent the sentences, and builds a bridge between different languages based on Wikipedia's multilingual concept description page. Firstly, we calculate the similarity between Chinese and Vietnamese news sentences, and filter the bilingual sentences accordingly. Then we use the filtered sentences as nodes and the similarity grade as the weight of the edge to construct an undirected graph model. Finally, combining the random walk algorithm, the weight of the node is calculated according to the weight of the edge, and sentences with highest weight can be extracted as the difference summary. The experiment results show that our proposed approach achieved the highest score of 0.1837 on the annotated test set, which outperforms the state-of-the-art summarization models.

• Journal of Korean Society of Archives and Records Management
• /
• v.3 no.1
• /
• pp.43-68
• /
• 2003

This paper examines the concepts and language that practitioners actually use when talking about authenticity, which is one of the most significant concepts in archives, and explores how they in records and information management currently understand the construct of authenticity in their professional activities. This paper provides brief descriptive statistics drawn from a survey and then analysis related to providing authenticity; the difficulties of judging something authentic; and definitions of authenticity as used and understood in the context of respondents' professional activity. The analysis provides indications of how professionals actually understand and use the concept of authenticity in their professional work depending on the context; and how these professionals react differently to paper records and electronic records. The paper concludes with a discussion of how this preliminary analysis fits within the context of the outcomes of prior electronic records research.