• 한국IT서비스학회:학술대회논문집
• /
• 2009.11a
• /
• pp.188-197
• /
• 2009

최근 비즈니스 환경이 빠르게 변화함에 따라 기업의 민첩한 대응이 요구되고 있으며, 서비스지향 아키텍쳐(Service-Oriented Architecture(SOA))가 유력한 대안으로 제시되고 있다. SOA는 서비스를 공유하고 재사용 할 수 있도록 정보시스템을 구축하는 소프트웨어 설계 방법론으로써, 급변하는 비즈니스 환경에 맞도록 민첩한 대응이 가능하도록 한다. 이러한 SOA의 장점으로 인해 현재 많은 기업에서 SOA를 이용한 시스템 개발을 진행하고 있다. 그러나, 이러한 SOA를 적용한 시스템 개발 노력이 계속 시도되고는 있지만 SOA기반의 표준화된 방법론은 아직 정립되지 않은 실정이다. 따라서, SOA를 이용한 시스템 개발은 현재 많은 어려움에 직면하고 있다. 본 논문에서는 표준화된 방법론으로써 온톨로지 기반의 SOA 개발방법론을 제시한다. 제안하는 방법은 온톨로지를 이용하여 서비스를 서비스 프로파일과 서비스 모델로 구분하여 정의하여 서비스 식별을 위한 기본 프레임워크를 제시한다. 또한 식별된 서비스들을 온톨로지 개념을 이용하여 검색, 재사용 할 수 있는 방법론을 제시하여 서비스 재활용도를 높일 수 있도록 한다. 본 논문에서 제안하는 온톨로지 기반의 SOA 개발 방법론은 현재 사용중인 다른 개발방법론과 비교 분석하였다. 비교 결과 본 논문에서 제안하는 온톨로지 기반 SOA 개발방법론은 현재까지 제안된 다른 방법보다 효율적이고 체계적인 개발 결과를 제공하는 것으로 나타났다. 본 논문에서 제안하는 연구 결과는 SOA에 표준방법론의 개발의 기반을 제공하여, 서비스의 의미론적 접근에 대한 시도 등 향후 연구에 중요한 방향성을 제공할 수 있을 것으로 기대 된다.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.745-747
• /
• 2005

수많은 웹페이지들이 하이퍼링크를 통해 복잡하게 연결된 그래프 구조를 가지고 있는 웹사이트를 계층적으로 구조화하는 것은 해당 사이트를 검색하고자 할 때, 정보를 재조직화하고 고려해야 할 대안들의 개수를 감소시킨다는 점에서 매우 유용하다. 본 논문은 웹사이트의 의미론적인 계층화를 최적화하기 위하여 사용자의 순회 경로, 즉 웹아크의 중요도 합을 최대화할 수 있는 트리 구조를 생성하였다. 구체적으로 첫째 PageRank에 기반한 웹아크 중요도를 생성하였고, 둘째 Minimum-Cost Arborescence 문제를 이용하여 최적 트리 구조를 생성하였다. 사용자의 질의에 독립적으로 생성된 트리 구조는 웹사이트의 의미 있는 계층 구조로서 사용자로 하여금 해당 사이트를 보다 효과적으로 검색할 수 있도록 도와줄 것이다.

• Korean Journal of Construction Engineering and Management
• /
• v.25 no.3
• /
• pp.58-67
• /
• 2024

In the era of the fourth industrial revolution, data plays a vital role in enhancing the productivity of industries. To advance digitalization in the construction industry, which suffers from a lack of available data, this study proposes a model that classifies construction site photos by work types. Unlike traditional image classification models that solely rely on visual data, the model in this study includes semantic analysis of construction work types. This is achieved by extracting the significance of relationships between objects and work types from the standard construction specification. These relationships are then used to enhance the classification process by correlating them with objects detected in photos. This model improves the interpretability and reliability of classification results, offering convenience to field operators in photo categorization tasks. Additionally, the model's practical utility has been validated through integration into a classification program. As a result, this study is expected to contribute to the digitalization of the construction industry.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.6 s.44
• /
• pp.49-57
• /
• 2006

While developing a complex reactive software system. it is very important to analyze the user requirement and reflect it to the developed system. Therefore understanding the need of users precisely and promptly is the key to the successful software system development. Among several requirement specification languages, message sequence charts (MSCs), also known as sequence diagrams in UML are the most widely used scenario notation. Live Sequence Charts (LSCs) are a variant ot MSCs, characterized by its message abstraction facility and the modality of scenarios. In this paper, I define the formal semantics of LSC specification including the essential language constructs such as pre-charts, variables, assignment and conditions. The range of the formalized LSC language has been broadened, and the scope of the formalized semantics is much closer to the complete LSC specification.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.448-450
• /
• 2002

시소러스 의미망, 온톨로지 등과 같은 지식베이스는 자연언어처리와 관련된 여러 분야에서 중요한 언어자원의 역할을 담당하고 있다. 하지만 정보검색, 기계번역과 같은 특정 분야마다 다르게 구축되어 이러한 지식베이스는 실질적인 한국어 처리에는 크게 효과를 보지 못하고 있는 실정이다. 본 논문은 한국어를 대상으로 한 시소러스, 의미망의 등의 구축 방법론적 문제를 지적하고 말뭉치를 중심으로 한 텍스트 언어처리에 필요한 의미망의 구축 방법과 포괄적인 활용방안을 모색한다. 의미망 구축의 기반이 되는 지식은 각종 사전(dictionary)를 이용했으며, 구축하고 있는 의미망의 활용 가능성을 평가하기 위하여 ETRI의 의미기반 정보검색과 언어처리의 큰 문제 중 하나인 단어 중의성 해소(WSD)에서 어떻게 활용되는지를 살핀다. 그리하여 언어자인의 처리 방안 중의 하나인 의미망을 구축함으로써 언어를 효과적으로 처리하기 위한 기본적이면서 중요한 어휘 데이터베이스 마련과 동시에 언어자원 구축의 한 방향을 제시하고자 한다.

• Communications of Mathematical Education
• /
• v.9
• /
• pp.1-13
• /
• 1999

수학 교육에서 수학 지식의 추상적 특성으로 인하여 수학 학습에 중요한 발생적 측면으로서 “concrete“ 에 대한 학습론적인 연구가 부족하였다. 또한 구체적 감각 조작 단계에서 형식적 추상적 조작 단계로의 아동의 인지 발달을 강조하다보니 ”concrete“와 ”abstract“의 통상적인 의미가 이분화 됨으로서 수학 학습에서 모든 연령과 수준에 무관한 상보적이고 상호 작용하는 가치를 수학 교육 연구에서 잊고 있었다. 본 논문은 발생적인 그리고 구성주의적 수학 학습에서 ”concrete”가 가져야 할 새로운 의미를 제안하였다. 새로운 의미의 “concrete“는 다양한 경험과 사물 그리고 지식과의 관계 맺음을 의미하는 ”connected“와 같은 맥락을 갖는다고 보고 몇 가지 수학교육에 관련된 의의와 중요성을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.360-365
• /
• 2006

초기에 제안된 Harel의 statechart를 개선하기 위한 노력으로 다양한 statechart의 변형들이 생겨나고, 시스템 개발자는 대상 시스템에 맞는 적절한 설계 명세 언어와 자동화 도구를 선택하는 것이 중요하게 되었다. 대상 시스템에 맞는 영세 언어를 선택하고, 다양한 자동화 도구(CASE tool)의 기능을 적용하기 위해 statechart의 상호 변환을 통한 각 지원 도구의 적용이 필요하다. 하지만, statechart 상호 변환 과정에서 각 statechart의 의미론적(semantics) 차이는 의도하지 않은 오류를 야기할 수 있다. 따라서 본 논문에서는 이들의 의미론을 비교 분석하기 위한 몇 가지 간단한 예제를 시뮬레이션 해 보고, statechart간 상호변환 방안의 기틀을 마련한다.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.70-81
• /
• 1994

뜻 (sense)과 지시체의 구별을 근간으로 하는 프레게류 의미론에 의하면, 같은 지시체를 갖는 이름들의 인지적 의미는 서로 다를 수 있다. 그 반면, 프레게의 뜻을 어떤 이름의 지시체를 결정함에 있어 매개적인 역할을 하는 존재자라 보고 단호히 거부하는 소위 직접 지칭론자들은 문맥에 관계없이 같은 지시체를 갖는 이름들은 동일한 인지적 의미를 갖는다고 주장한다. 그러나 일단 뜻을 배척하고나면, 명제 태도 문맥에서 왜 같은 지시체를 갖는 이름들이 대치될 수 없는지를 설명하기가 어렵고, 따라서 명제 태도의 퍼즐들은 직접 지칭론의 아킬레스건이 되어 왔다. 최근 Zalta는 다소의 수정을 통해 프레게와 직접 지칭론자 양자의 중요한 통찰들을 희생하지 않으면서 양자의 관점을 종합하는 것이 가능하며, 실제로 자신의 해결책은 명제 태도의 퍼즐들을 훌륭하게 해결해 준다고 주장한다. 본 논문은 Zalta의 절충안을 비판적으로 검토함으로써 선결되어야 할 쟁점들을 부각시키고자 한다.