• Journal of the Korea Society of Computer and Information
• /
• v.14 no.1
• /
• pp.173-181
• /
• 2009

This paper proposes an algorithm to transform RDF(Resource Description Framework) models for ontology into CPN(Colored Petri Net) models. The algorithm transforms the semantics of the RDF model into the topology of the CPN by mapping the classes and the properties of the RDF onto the places of the CPN model then reflects the RDF statements on the CPN by representing the relationships between them as token transitions on the CPN. The basic idea of reflecting the RDF statements on the CPN is to generate a token, which is an ordered pair consisting of two tokens (one from the place mapped into the subject and the other one from the place mapped into the object) and transfer it to the place mapped into the predicate. We have actually built CPN models for given RDF models on the CNPTools and inferred and extracted answers to the RDF queries on the CPNTools.

• School Mathematics
• /
• v.5 no.4
• /
• pp.421-440
• /
• 2003

It is difficult for the learner to understand completely the ratio concept which forms a basis of proportional reasoning. And proportional reasoning is, on the one hand, the capstone of children's elementary school arithmetic and, the other hand, it is the cornerstone of all that is to follow. But school mathematics has centered on the teachings of algorithm without dealing with its essence and meaning. The purpose of this study is to analyze the essence of ratio concept from multidimensional viewpoint. In addition, this study will show the direction for improvement of ratio concept. For this purpose, I tried to analyze the historical development of ratio concept. Most mathematicians today consider ratio as fraction and, in effect, identify ratios with what mathematicians called the denominations of ratios. But Euclid did not. In line with Euclid's theory, ratio should not have been represented in the same way as fraction, and proportion should not have been represented as equation, but in line with the other's theory they might be. The two theories of ratios were running alongside each other, but the differences between them were not always clearly stated. Ratio can be interpreted as a function of an ordered pair of numbers or magnitude values. A ratio is a numerical expression of how much there is of one quantity in relation to another quantity. So ratio can be interpreted as a binary vector which differentiates between the absolute aspect of a vector -its size- and the comparative aspect-its slope. Analysis on ratio concept shows that its basic structure implies 'proportionality' and it is formalized through transmission from the understanding of the invariance of internal ratio to the understanding of constancy of external ratio. In the study, a fittingness(or comparison) and a covariation were examined as the intuitive origins of proportion and proportional reasoning. These form the basis of the protoquantitative knowledge. The development of sequences of proportional reasoning was examined. The first attempts at quantifying the relationships are usually additive reasoning. Additive reasoning appears as a precursor to proportional reasoning. Preproportions are followed by logical proportions which refer to the understanding of the logical relationships between the four terms of a proportion. Even though developmental psychologists often speak of proportional reasoning as though it were a global ability, other psychologists insist that the evolution of proportional reasoning is characterized by a gradual increase in local competence.

• Journal of Educational Research in Mathematics
• /
• v.25 no.1
• /
• pp.95-111
• /
• 2015

The purpose of this study is to analyze cases on teaching solutions exploration of Wythoff's game through using the analogy for the gifted elementary students, to suggest useful teaching methods. Students recognized structural similarity among problems on the basis of relevance of conditions of problems. The discovery of structural similarity improves the ability to solve problems. Although 2 groups-NIM game with surface similarity is not helpful in solving Wythoff's game, Queen's move game with structural similarity makes it easier for students to solve Wythoff's game. Useful teaching methods to find solutions of Wythoff's game through using the analogy are as follow. Encoding process helps students make sense of the game. It is significant to help students realize how many stones are remained and how the location of Queen can be expressed by the ordered pair. Inferring process helps students find a solution of 2 groups-NIM game and Queen's move game. It is necessary to find a winning strategy through reversely solving method. Mapping process helps students discover surface similarity and structural similarity through identifying commonalities between the two games. It is crucial to recognize the relationship among the two games based on the teaching in the Encoding process. Application process encourages students to find a solution of Wythoff's game. It is more important to find a solution by using the structural similarity of the Queen's move game rather than reversely solving method.

• Journal of Dental Rehabilitation and Applied Science
• /
• v.28 no.2
• /
• pp.109-118
• /
• 2012

This experimental study was undertaken to evaluate the efficacy of polyvinylpyrrolidone-sodium hyaluronate(Aloclair$^{TM}$) in decreasing pain in orthodontic procedures. A total of 60 patients who were use Aloclair$^{TM}$ ordered to were included. These patients were categorized by 3 cases; 1. Patients who were bonded with their first brackets. 2. Patients who were in pain with additional appliance such as anchorage devices. 3. Patients who got ulcer caused by appliances. We collected information about pain and assessed it using visual analogue scale. According to questionnaire, it took 3.5 min. for pain to subside and pair relief durated for 2.7 hours. Most patients in the study reported rapid pain relief and found Aloclair$^{TM}$ easy and pleasant to use than wax. Accordingly Aloclair$^{TM}$ provided raid relief of resting and provoked ulcer pain.

• The KIPS Transactions:PartA
• /
• v.8A no.4
• /
• pp.391-398
• /
• 2001

To design and develop secure operating systems, the BLP (Bell-La Padula) model that represents the MLP (Multi-Level Policy) has been widely adopted. However, user\`s security level in the most developed systems based on the BLP model is inherited to a process that is actual subject on behalf of the user, regardless whatever the process behavior is. So, there could be information disclosure threat or modification threat by malicious or unreliable processes even though the user is authorized in the system. These problems can be solved by defining the subject as (user, process) ordered pair and by defining the process reliability. Moreover, when the leveled programs which exist as objects in a disk are executed by a process and have different level from the process level, the security level decision problem occurs. This paper presents an extended BLP (E-BLP) model in which process reliability is considered and solves the security level decision problem. And this model is implemented into the Linux kernel 2.4.7.