• Korean Journal of Computational Design and Engineering
• /
• v.11 no.3
• /
• pp.211-222
• /
• 2006

In collaborative environment, it is necessary that the participants in collaboration should share the same understanding about the semantics of terms. For example, they should know that 'COMPONENT' and 'ITEM' are different word-expressions for the same meaning. In order to handle such problems in information sharing, an information system needs to automatically recognize that the terms have the same semantics. So we develop an algorithm mapping two terms based on their ontological definitions and their similarities. The proposed algorithm consists of four steps: the character matching, the inferencing, the definition comparing and the similarity checking. In the similarity checking step, we consider relation similarity and hierarchical similarity. The algorithm is very primitive, but it shows the possibility of semi-automatic mapping using ontology. In addition, we design a mapping procedure for a mapping system, called SOM (semantic ontology mapper).

• Journal of The Korean Association For Science Education
• /
• v.32 no.8
• /
• pp.1295-1317
• /
• 2012

There has been disagreement on the importance of definitions in science education. Yager (1983) believes that one crisis in science education was due to the considerable emphasis upon the learning of definitions. Hobson (2004) disagrees with physics textbooks that do not provide general definition on energy. Some textbooks explain that "there is no completely satisfactory definition of energy" or they can only "struggle to define it." In general, imprecise definitions in textbooks (Bauman, 1992) and inaccuracies in definition provided by teachers (Galili & Lehavi, 2006) may cause alternative conceptions. Besides, there are at least four challenges in defining physical concepts: precision, circularity, context and completeness in knowledge. These definitional problems that have been discussed in The Feynman Lectures, may impede the learning of physical concepts. A meta-study approach is employed to examine about five hundreds journal papers that may discuss definitions in physics, problems in defining physical concepts and how they may result in alternative conceptions. These journal papers are mainly selected from journals such as American Journal of Physics, International Journal of Science Education, Journal of Research in Science Teaching, Physics Education, The Physics Teachers, and so on. There are also comparisons of definitions with definitions from textbooks, Dictionaries of Physics, and English Dictionaries. To understand the nature of alternative conception, Lee et al. (2010) have suggested a theoretical framework to describe the learning issues by synthesizing cognitive psychology and science education approaches. Taking it a step further, this study incorporates the challenges in semantics and epistemology, proposes that there are at least four variants of alternative conceptions. We may coin the term, 'alternative definitions', to refer to the commonly available definitions, which have these four problems in defining physics concepts. Based on this study, alternative definitions may result in at least four variants of alternative conceptions. Note that these four definitional problems or challenges in definitions cannot be easily resolved. Educators should be cognizant of the four variants of alternative conceptions which can arise from alternative definitions. The concepts of alternative definitions can be useful and possibly generalized to science education and beyond.

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

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.137-146
• /
• 1996

Our research goal has been the development of a domain independent natural language processing (NLP) system suitable for information retrieval. As part of that research, we have investigated ways to automatically extend the semantics of a lexicon derived from machine-readable lexical sources. This paper details the extraction of thematic roles derived from lexical patterns in a machine-readable dictionary.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.119-127
• /
• 2006

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

• Journal of Science of Art and Design
• /
• v.2
• /
• pp.239-293
• /
• 2000

The paper aims to study how to describe the rigorous position on which semantic elements are laid, within the visual space. This purpose is, first of all, for the construction of visual syntactical semantics of the visual space. For this aim, the preliminary research begins with some definitions on : 1) visual space, visual design, visual syntactical semantic meaning, 2) position, sequence of position, 2-dim. sequence of position, and 3) 2-dim. numerical series of position, harmonious dynamic values. Here, The main issue is to define the position in general. To solve this problem, the researcher surveyed the positions on which the sets of pixemes are set up. The results are as follows ; 1. As far as the positions in visual space are concerned, they are the possible locations permitted in the visual patches. They are not the factual but the possible positions. 2.The position value that the sequential point has is not arithmetical but harmonious-dynamic, for it is not permitted for its own sake, but for the person, that is to say, for the viewer's visual perception. 3. The harmonious-dynamic value of positional sequence can be composed of the 2-dimensional successive numerical series which is, in turn, composed of the primordial 3 values x0, $\mu0$, y0. Here, the $\mu0$ is the harmonious mean value of x0 and y0. The x0 and y0 are, therefore, of the mutual dynamic relationship. 4. From this, the 2-dim general $\Delta-TABLE$ of the numerical series of position in visual design could be acquired through development of the primordial 3 values into the $X_i,\;Y_i$, orbit values.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.2
• /
• pp.235-247
• /
• 2014

Based on two dimensional model partition method proposed in Part 1, Part 2 provides detailed model specification and implementation. To mathematically delineate a model's behaviors and interactions among them, we extend the DEVS (Discrete Event Systems Specification) formalism and newly propose CE-DEVS (Combat Entity-DEVS) for an upper abstraction sub-model of a combat entity model. The proposed CE-DEVS additionally define two sets and one function to reflect essential semantics for the model's behaviors explicitly. These definitions enable us to understand and represent the model's behaviors easily since they eliminate differences of meaning between real-world expressions and model specifications. For model implementation, upper abstraction sub-models are implemented with DEVSim++, while the lower sub-models are realized using the C++ language. With the use of overall modeling techniques proposed in Part 1 and 2, we can conduct constructive simulation and assess factors about combat logics as well as battle field functions of the next-generation combat entity, minimizing additional modeling efforts. From the anti-torpedo warfare experiment, we can gain interesting experimental results regarding engagement situations employing developing weapons and their tactics. Finally, we expect that this work will serve an immediate application for various engagement warfare.

• International Journal of Computer Science & Network Security
• /
• v.21 no.11
• /
• pp.135-142
• /
• 2021

The article reveals the essence of cybercrime, approaches to understanding this concept, classification of cybercrime, and other illegal acts in this area. The concept of cybercrime has multi-discourse nature and a certain legal uncertainty. Cybercrimes, their forms and types are analyzed in the economic context. The research vocabulary of the economic industry is defined. The scope and content of concepts denoted by the terms of the sphere covered by cybercrime are studied, and its types and forms are analyzed. The article studies problems, achievements, and prospects of resisting and combating cybercrime during the development of the civil information society and Ukraine's entry into the global information space. The study focuses on the economic motivation of most cybercrimes since some material benefit from the fact of cyber offenses is assumed directly or indirectly.

• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.307-335
• /
• 2015

An important component in Prawitz's and Dummett's proof-theoretic accounts of validity is the condition for validity of open arguments. According to their accounts, roughly, an open argument is valid if there is an effective method for transforming valid arguments for its premises into a valid argument for its conclusion. Although their conditions look similar to the proof condition for implication in the BHK explanation, their conditions differ from the BHK account in an important respect. If the premises of an open argument are undecidable in an appropriate sense, then that argument is trivially valid according to Prawitz's and Dummett's definitions. I call this 'the triviality problem'. After a brief exposition of their accounts of proof-theoretic validity, I discuss triviality problems raised by undecidable atomic sentences and by Godel sentence. On this basis, I suggest an emendation of Prawitz's definition of validity of argument.

• Journal of Internet Computing and Services
• /
• v.9 no.5
• /
• pp.59-72
• /
• 2008

Computing systems in the modern era are expanding rapidly to include mobile-based businesses that make us of the various convergence distributed business process. This has lead to growing interest in the field of mobile embedded software development methodology, which has in turn lead to the proliferation of the embedded mobility. The use of CBD (Component Based Development) provides reusability, maintainability and portability, all of which are very important and focus issues to the business process. It also comes with the inherent productivity, quality and reliability of CBD. To make efficient use of CBD, though, clarified interface definitions for component integration are necessary. These definitions should be made up of collaborative hierarchical and horizontal architecture layers. Successful definitions should apply an effective framework made up of the architecture and process. In this paper, we describe an interface specification for small grained mobile embedded components(MEC) for the mobile embedded domain to meet maximum user requirements. We build and deploy the reconfigurable design patterns and components (in business domain categories) to make a component hierarchy and business logics for mobile embedded software. Proposed components specification plays a major role in development of the software for handling inconsistency in existing specification. It also includes plenty of specification information, using semantics and modeling based mechanisms to support business processes. We propose a development model of mobile embedded software using CBD for very complex and dynamic mobile business. We can apply it in a plug and play manner to develop the software. We verify that our framework supports very good productivity, quality and maintainability to meet the user's requirements in mobile business.