• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.268-277
• /
• 2003

A document type definition(DTD) which defines tags for a document is a XML document grammar that defines syntactic structure of a document. An XML document keeps the rules and must be parsed to check validation. To parse XML document, the deterministic parsing method of programming language is irrelevant because it does not satisfy the definition of deterministic content model in element declaration. In this paper, we consider editing of a valid XML document in syntax-directed editing environment, and we suggest the internal storage representations of syntax in DTD and theirs algorithms. The consequence is that a syntactic structure of textual DTD is transformed into graph and table structures. The table structure of DTD is interpreted the context free grammar which has attribute values and is used in syntax-directed editor for XML. We called this the XML abstract grammar and showed generated results and examples.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.615-620
• /
• 2016

Improved quality of life has increased in a population with a high BMI (Body Mass Index). Accordingly, the development of a system for prevention of obesity management is required. Because a requirement for the prevention of obesity management system. This system has been developed to solve this problem and it is done by measuring the user information of the individual's body. The purpose of this paper is to understand the changes in your own BMI over the course of usage of this application and store the BMI in the database. This BMI data is expressed as a graph to the user and based on the BMI graph, the user is suggested to the type of exercise required by his body. The most appropriate exercise equipment's are shown to the user based on the BMI and also recommendations based on the historical data of other users with similar BMI. This system also recommends chronic diseases depending on blood sugar, blood pressure.

• Journal of IKEEE
• /
• v.23 no.4
• /
• pp.1430-1439
• /
• 2019

In Functional Mockup Interface(FMI)-based co-simulation, a bisectional algorithm can be used to find the zerocrossing point as a way to improve the accuracy of the simulation results. In this paper, the proposed master algorithm(MA) analyzes the repeated interval graph and predicts the next interval by applying the Markov Chain to the step size. In the simulation, we propose an algorithm to minimize the rollback by storing the step size that changes according to the graph type as an array and applying it to the next prediction interval when the rollback occurs in the simulation. Simulation results show that the proposed algorithm reduces the simulation time by more than 20% compared to the existing algorithm.

• The Journal of the Korea Contents Association
• /
• v.16 no.4
• /
• pp.624-633
• /
• 2016

Although a number of information is emerging in the big data era and studies on the infographic studies for delivering it effectively are becoming an issue, the visualization study on the numerical information delivered through the credit card statement is very poor compared to its importance. The effective visualization method following each information characteristics was by analyzing the numerical information types focusing on the credit card statement. The type of the figure information classified into the comparative analysis, progress of time change, proportion, relationship, scope, and distribution, and it was made into the graph form proper to the nature of each information to study the most effective and ideal visual form. Therefore, this study is significant because it suggests a control point of the visualization by pointing out an effective visual form for delivering the numerical information that appears on the credit card statement with the figure characteristics.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.939-946
• /
• 2006

Although the Java bytecode has numerous advantages, there are also shortcomings such as slow execution speed and difficulty in analysis. In order to overcome such disadvantages, bytecode analysis and optimization must be performed. We implements CTOC for optimized codes. An extended CFG must be first created in order to analyze and optimize a bytecode. Due to unique bytecode properties, the existing CFG must be expanded according to the bytecode. Furthermore, the CFG must be converted into SSA Form for a static analysis, for which calculation is required for various information such as the dominate relation, dominator tree, immediate dominator, $\phi$-function, rename, and dominance frontier. This paper describes the algorithm and the process for converting the existing CFG into the SSA From. The graph that incorporates the SSA Form is later used for type inference and optimization.

• Journal of Elementary Mathematics Education in Korea
• /
• v.23 no.1
• /
• pp.75-92
• /
• 2019

The 2015 revised mathematics curriculum encourages students to use graphs in newspapers and the Internet as materials when teaching graphs, and to experience a series of statistical problem-solving processes that collect, classify, organize, graph and interpret data. The graphs that the students learn through traditional textbooks were a single type of graphs. In particular, the graphs of the 5th and 6th grade groups were only increased in numbers, but the basic concepts were repeated in the 3rd and 4th grades. Fortunately, from the 2009 revision curriculum, it is possible to select the graph suitable for the situation while comparing the characteristics of some graphs. In most cases, the graphs used in the real world are presented in the form of a compounded infographics. The purpose of this study is to analyze and analyze the manifestations of information processing competence elements emphasized in the 2015 revised curriculum through the statistical project class using the informal graphic in the fifth grade of elementary school. And we suggested a concrete class plan.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.10
• /
• pp.205-213
• /
• 2019

Network robustness is one of the most important characteristics needed as the network. Over the military tactical communication network, robustness is a key function for maintaining attack phase constantly. Tactical Information Communication Network, called TICN, has mixed characteristics of lattice- and tree-type network topology, which looks somewhat weak in the viewpoint of network robustness. In this paper, we search articulation points and bridges in a current Tactical Information Communication Network using graph theory. To improve the weak points empirically searched, we try to add links to create the concrete network and then observe the change of network-based verification values through diminishing nodes. With these themes, we evaluate the generated networks through SNA techniques. Experimental results show that the generated networks' robustness is improved compared with current network structure.

• Korean Journal of Materials Research
• /
• v.29 no.7
• /
• pp.443-450
• /
• 2019

Thermal management is a critical issue for the development of high-performance electronic devices. In this paper, thermal conductivity values of mild steel and stainless steel(STS) are measured by light flash analysis(LFA) and dynamic thermal interface material(DynTIM) Tester. The shapes of samples for thermal property measurement are disc type with a diameter of 12.6 mm. For samples with different thickness, the thermal diffusivity and thermal conductivity are measured by LFA. For identical samples, the thermal resistance($R_{th}$) and thermal conductivity are measured using a DynTIM Tester. The thermal conductivity of samples with different thicknesses, measured by LFA, show similar values in a range of 5 %. However, the thermal conductivity of samples measured by DynTIM Tester show widely scattered values according to the application of thermal grease. When we use the thermal grease to remove air gaps, the thermal conductivity of samples measured by DynTIM Tester is larger than that measured by LFA. But, when we did not use thermal grease, the thermal conductivity of samples measured by DynTIM Tester is smaller than that measured by LFA. For the DynTIM Tester results, we also find that the slope of the graph of thermal resistance vs. thickness is affected by the usage of thermal grease. From this, we are able to conclude that the wide scattering of thermal conductivity for samples measured with the DynTIM Tester is caused by the change of slope in the graph of thermal resistance-thickness.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.31-41
• /
• 2009

In the Semantic Web, it is possible to provide intelligent information retrieval and automated web services by defining a concept of information resource and representing a semantic relation between resources with meta data and ontology. It is very important to manage semantic data such as ontology and meta data efficiently for implementing essential functions of the Semantic Web. Thus we propose an index structure to support more accurate search results and efficient query processing by considering semantic and structural features of the semantic data. Especially we use a graph data model to express semantic and structural features of the semantic data and process various type of queries by using graph model based path expressions. In this paper the proposed index aims to distinguish our approach from earlier studies and involve the concept of the Semantic Web in its entirety by querying on primarily extracted structural path information and secondary extracted one through semantic inferences with ontology. In the experiments, we show that our approach is more accurate and efficient than the previous approaches and can be applicable to various applications in the Semantic Web.

• Applied Chemistry for Engineering
• /
• v.26 no.1
• /
• pp.116-119
• /
• 2015

Field-effect transistor (FET)-based ion or biosensors have been intensively studied so far. Among many measurement methods, the variation of the drain current can be induced when ions or biomolecules are interacted with sensing membranes located on the gate insulator of FET. One of typical FET-type sensors is an ion-sensitive field-effect transistor (ISFET) utilized in this study. In ISFET, the voltage is usually applied to the reference electrode instead of the gate voltage. Firstly, the voltage applied to the reference electrode versus the drain current was observed, and the steepest slope in this graph was found. Using this point, the optimized condition was established for the larger variation of the drain current in the saturated region in response to the variation of the input in the dynamic range.