• 한국CDE학회논문집
• /
• 제11권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).

• 한국과학교육학회지
• /
• 제32권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.202-211
• /
• 2003

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1996년도 Language, Information and Computation = Selected Papers from the 11th Pacific Asia Conference on Language, Information and Computation, Seoul
• /
• 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.

• 산업경영시스템학회지
• /
• 제29권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$.

• 조형예술학연구
• /
• 제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.

• 한국군사과학기술학회지
• /
• 제17권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
• /
• 제21권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.

• 논리연구
• /
• 제18권3호
• /
• pp.307-335
• /
• 2015

논증의 타당성에 대한 덤밋과 프라위츠의 증명론적 정의의 핵심사항 중의 하나는 열린 논증은 그 전제들에 대한 타당한 논증들을 그 결론에 대한 타당한 논증으로 전환하는 효과적인 방법이 있을 경우 타당하다는 조건이다. 그러나 그들의 정의에서 이 조건은 적절한 의미에서 결정 불가능한 전제들을 지니는 열린 논증들은 모두 사소하게 타당하게 된다는 부적절한 귀결을 지닌다. 필자는 프라위츠의 정의를 중심으로 증명론적 타당성 개념을 설명한 후, 이에 대한 사소성 문제를 제기하고 검토할 것이며, 이에 의거하여 프라위츠의 정의에 대한 수정안을 제시할 것이다.

• 인터넷정보학회논문지
• /
• 제9권5호
• /
• pp.59-72
• /
• 2008

최근의 컴퓨팅 시스템은 모바일을 사용한 비즈니스와 다양한 컨버전스 분산 업무 처리로 확대되면서 모바일 임베디드 소프트웨어 개발 방법론에 대해 모바일 비즈니스에서 많은 관심을 가지고 있다. 아울러 최근 재사용성과 독립성 그리고 이식성을 가진 컴포넌트를 기반으로 한 모바일 임베디드 소프트웨어 개발에 또한 많은 초점이 집중되고 있다. 컴포넌트 기반 임베디드 응용 시스템 개발은 제품의 생산성과 유지보수성 그리고 신뢰성을 보장한다. 컴포넌트 각 요소들 간의 계층적, 수평적 서비스 지원 및 협력을 위한 명확한 인터페이스 정의를 통한 컴포넌트의 원활한 조립이 컴포넌트 기반의 임베디드 소프트웨어 개발 성공을 위한 필수적 요소이다. 즉, 관련 아키텍처 정의와 이를 기반으로 한 생성 프로세스 및 컴포넌트의 명세화, 그리고 컴포넌트 프레임워크의 효과적 적용 단계를 통해 모바일 임베디드 소프트웨어 개발의 성공을 달성할 수 있다. 따라서 본 논문에서는 사용자의 요구사항에 최대한 접근하고 모바일 임베디드 도메인을 기반으로 둔 소규모 단위 모바일 컴포넌트(MIC: Mobile Embedded Component)를 대상으로 조립을 위한 인터페이스 명세 제공을 서술한다. 모바일에 확장적 컴포넌트 계층화와 모바일 비즈니스 로직 확보를 위해 재구성 가능한 설계 패턴 및 컴포넌트 군(비즈니스 도메인 카테고리)을 형성하고 제공한다. 제안하는 모바일 임베디드 컴포넌트 프로세스는 기존 프로세스가 가지는 비 일치성을 보완하여 컴포넌트의 개발과 사용에 실제적으로 활용할 수 있도록 정의한다. 모바일 비즈니스 프로세스를 위한 의미 지향적이며 모델링 기반 원칙에 따라 명확하고 풍부한 프로세스 정보를 포함한다. 또한 기능의 모듈성과 독립성이 보장되고 조립 가능한 컴포넌트를 기반으로 동적이고 복잡한 모바일 비즈니스 영역에 적용 가능한 개발 모델을 제시하고 작성된 모델을 기반으로 하는 모바일 임베디드 개발 사례를 제시한다. 본 연구에서 제시하는 컴포넌트 기반 모바일 임베디드 소프트웨어 개발 프레임워크는 효율성, 생산성 및 신뢰성과 유지보수성을 증대할 수 있는 이점을 가진다.