• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.59-65
• /
• 2017

Along with the development of M&S, modeling research utilizing AI technology is attracting attention because of the fact that the needs of fields including human decision making such as defense M&S are increased. Obviously AI is a way to solve complex problems. However, AI did not consider logical time such as input time and processing time required by M&S. Therefore, in this paper we proposed a "time-based expert system" which redesigned the representative AI technology rule-based expert system. It consists of a rule structure "IF-THEN-AFTER" and an inference engine, takes logical time into consideration. We also tried logical analysis using a simple example. As a result of the analysis, the proposal Time-based Expert System proved that the result changes according to the input time point and inference time.

• Journal of Information Processing Systems
• /
• v.8 no.4
• /
• pp.603-620
• /
• 2012

Proxy Mobile IPv6 (PMIPv6) is a network-based mobility support protocol and it does not require Mobile Nodes (MNs) to be involved in the mobility support signaling. In the case when multiple interfaces are active in an MN simultaneously, each data flow can be dynamically allocated to and redirected between different access networks to adapt to the dynamically changing network status and to balance the workload. Such a flow redistribution control is called "flow mobility". In the existing PMIPv6-based flow mobility support, although the MN's logical interface can solve the well-known problems of flow mobility in a heterogeneous network, some missing procedures, such as an MN-derived flow handover, make PMIPv6-based flow mobility incomplete. In this paper, an enhanced flow mobility support is proposed for actualizing the flow mobility support in PMIPv6. The proposed scheme is also based on the MN's logical interface, which hides the physical interfaces from the network layer and above. As new functional modules, the flow interface manager is placed at the MN's logical interface and the flow binding manager in the Local Mobility Anchor (LMA) is paired with the MN's flow interface manager. They manage the flow bindings, and select the proper access technology to send packets. In this paper, we provide the complete flow mobility procedures which begin with the following three different triggering cases: the MN's new connection/disconnection, the LMA's decision, and the MN's request. Simulation using the ns-3 network simulator is performed to verify the proposed procedures and we show the network throughput variation caused by the network offload using the proposed procedures.

• Journal of the Korean Recycled Construction Resources Institute
• /
• v.7 no.4
• /
• pp.316-322
• /
• 2019

A probabilistic approach considering uncertainties was employed to investigate the effects on the material characteristics and strength of nuclear bio-logical shield concrete walls, when exposed to long-term radiation during the entire service life. Time-dependent compressive and tensile strengths were estimated by conducting the neutron fluence analysis. For the contaminated concrete, individual compressive and tensile failure probabilities can be possibly evaluated by not only establishing limit-state function withthe predefined critical values but also performing Monte Carlo Simulation. Nuclear power plant types similar to the Kori Unit 1, which was shut off permanently in 2017 after the 40-year operation, were herein selected for an illustrative purpose. Consequently, the probability-based performance assessment and prediction of contaminated concrete walls were well demonstrated.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.5
• /
• pp.501-509
• /
• 2002

SGML(ISO 8879) has been proliferated to support various document styles and to transfer documents into different platforms. SGML documents have logical structure information in addition to contents. As SGML documents are widely used, there is an increasing need for database storage and retrieval system using the logical structure of documents. However. traditional search engines using document indexes cannot exploit the logical structure. In this Paper, we have developed an SGML document storage system, which is DTD-independent and store the document type and the document instance separately by using Grove which is the document model for DSSSL and HyTime. We have used the Object Store, an object-oriented DBMS, to store the structure information appropriately without any loss of structural information. Also, we have supported a index structure for search efficiency like the relational DBMS, and constructed an effective user interface which combines content-based search with structure-based search.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.7
• /
• pp.1467-1474
• /
• 2009

What matters in the society of knowledge and information is not that they just know certain facts, but that when faced with new situations, they should be able to develop novel ideas, apply them and do the problems or the tasks confronting them. This cannot be achieved through learning of mere knowledge. Computer programming lessons have shown positive effects on general thinking ability, metacognitive aspects, and logical thinking. The ACM has suggested that 8th grade students at the first level (second year students of middle school) be educated in programming languages such as LOGO to raise their ability to think logically. Previous studies have confirmed educational programming languages such as LOGO and BASIC, which are currently used, are helpful in improving the ability to think logically and to solve problems. However these languages lack connectivity with later learning. Little research has been done on 'Dolittle', an educational programming language, newly developed, using object-oriented notions. Few studies have been made of the effects of 'Dolittle' on the ability to think logically. The following results were obtained. The research didn't lead to a statistically significant improvement of the students' cognitive development level. However, proportional logic and combinational logic, among the six subcategories of logic, improved through the introduction of 'Dolittle' programming lessons. This leads to the conclusion that in the processing of solving the problems given, the students learned by themselves and improved their ability to think logically.

• Journal of Korea Multimedia Society
• /
• v.12 no.8
• /
• pp.1172-1181
• /
• 2009

An electronic medical record (EMR) is the medical system that all the test are recorded as text data. However, domestic EMR systems have various forms of medical records. There are a lot of related works to standardize the laboratory codes as a LOINC (Logical Observation Identifiers Names and Code). However the existing researches resolve the problem manually. The manual process does not work when the size of data is enormous. The paper proposes a novel automatic LOINC mapping algorithm which uses indexing techniques and semantic similarity analysis of medical information. They use file system which is not proper to enormous medical data. We designed and implemented mapping algorithm for standardization laboratory codes in medical informatics compared with the existing researches that are only proposed algorithms. The automatic creation of searching words is being possible. Moreover, the paper implemented medical searching framework based on database system that is considered large size of medical data.

• Journal of KIISE:Software and Applications
• /
• v.32 no.7
• /
• pp.650-662
• /
• 2005

A robust repositioning method is required for annotations to always maintain proper positions when original documents were modified. Robust anchoring in the XML document provides better anchoring results when it includes features of structured documents as well as annotated texts. This paper proposes robust annotation anchoring method in XML document. To do this, this work presents annotation information as logical structure trees, and creates candidate anchors by analyzing matching relations between the annotation and document trees. To select the appropriate candidate anchor among many candidate anchors, this work presents several anchoring criteria based on the textual and label context of anchor nodes in the logical structure trees. As a result, robust anchoring is realized even after various modifications of contexts in the structured document.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.383-394
• /
• 2010

Flash memory based SSDs are currently being considered as a promising candidate for replacing hard disks due to several superior features such as shorter access time, lower power consumption and better shock resistance. However, SSDs have different characteristics from hard disk such as difference of unit and time for read, write and erase operation and impossibility for over-writing. Because of these reasons, SSDs have disadvantages on hard disk based systems, so FTL(Flash Translation Layer) is designed to increase SSDs' efficiency. In this paper, we propose an advanced logical address mapping method for increasing SSDs' performance, which is named HAMM(Hybrid Address Mapping Method). HAMM addresses drawbacks of previous block-mapping method and super-block-mapping method and takes advantages of them. We experimented our method on our own SSDs simulator. In the experiments, we confirmed that HAMM uses storage area more efficiently than super-block-mapping method, given the same buffer size. In addition, HAMM used smaller memory than block-mapping method to construct mapping table, demonstrating almost same performance.

• Journal of The Korean Association of Information Education
• /
• v.23 no.2
• /
• pp.179-188
• /
• 2019

The purpose of this study is to develop a Python search algorithm educational program based on execution time to improve the logical thinking of elementary school students. This educational program was developed based on the process of ADDIE model, utilizing the results of pre-demand analysis conducted for 133students in elementary school in ${\bigcirc}{\bigcirc}$. In order to verify the effectiveness of the developed education program, 25 students who participated in the education donation program at ${\bigcirc}{\bigcirc}$ University conducted 42 hours of classes during 6 days. The GALT test was used to analyze the educational effects of the pre- and post-test. The results of the analysis show that the SW education program developed in this study can positively affect the logic of elementary school students.

• International Area Studies Review
• /
• v.21 no.1
• /
• pp.303-324
• /
• 2017

Current methods to evaluate the performance of ROK military contingents to UN missions unnecessarily raises the issues of relevance, validity and reliability. Thus, this article aims to suggest how the result based evaluation (RBE) model which is widely adopted in the UN field missions as well as the international development community would be modified and applied to peace operation of the ROK contingent. As a result of the study, the model presents a framework that integrates the planning process and monitoring and evaluation with a logical framework, which entails a cycle of assessment of pre-deployment planning, monitoring and phased evaluation, and post-deployment evaluation. Secondly, according to measurement of RBE benchmarks to the present ROK's monitoring and evaluation system, factors in an evaluation unit and a logical framework approach are unmet or partly met to the benchmarks. In addition, ex-post impact evaluation has been rarely performed. Finally, the policy recommendations for resolution of the aforementioned challenges as well as a joint evaluation unit, participated by experts in a civilian, public, and a military domain are proposed.