• 정보처리학회논문지C
• /
• 제11C권4호
• /
• pp.471-484
• /
• 2004

현재 차세대 인터넷 IPv6 네트워크의 보안을 위한 IPsec(IP Security)의 구현에 대한 연구가 매우 활성화 되고 있는 추세이다. 그러나 현재 IPv6 네트워크 계층의 보안성을 평가하기 위한 자동화된 도구나 평가 방법론 등에 관한 연구는 매우 미진한 상황이다 본 논문에서는 IPv6 기반 IPsec이 적용된 보안 시스템의 보안성을 평가하기 위해, 보안성 평가 항목을 정의할 수 있는 평가규칙표기언어를 설계하고 평가규칙표기언어를 이용하여 정의된 평가규칙을 해석하고 실행하기 위한 평가규칙 처리 도구를 제안한다. 평가규칙 처리도구는 사용자 인터페이스 부, 평가규칙 모듈 부, DBMS부로 구성되며 평가 대상 시스템에 탑재된 에이전트와의 협력을 통해 평가를 수행하는 구조를 갖는다.

• 한국멀티미디어학회논문지
• /
• 제20권7호
• /
• pp.1054-1064
• /
• 2017

With the development of cloud computing, internet technology and Internet of Things(IoT), most of applications are being smarter and changing from native application to SaaS (Software as a Service) application. New versatile SaaS applications are being released through various app portals (e.g. appstore, googleplay, T-Store, and so on). However, a user has a difficulty in searching, choosing an suitable application to him. It is also hard for him to know what functions of each SaaS application are useful. He wants to be recommended something inter-operated SaaS service according to his personality and his situation. Therefore, this paper presents a way of making mash-up of SaaS applications in order to provide the most convenient inter-operated SaaS service to user. This paper also presents SaaS Application Mash-up Framework (SAMF), complex context and rule matrix. The proposed SAMF is a main system that totally manage SaaS application mash-up service. Complex context and rule matrix are key components in order to recommend what SaaS applications are needed and how those SaaS applications are inter-operated. The SAMF collects complex contexts (User Description, Status Description, SaaS Service Description) in order to choose which SaaS applications are useful, analyze what functions to use, how to mash-up.

• 정보관리연구
• /
• 제19권1호
• /
• pp.95-122
• /
• 1988

지금까지 데이터베이스를 만들 때에 일정한 표기기준(表記基準)이 없어서 정보교환(情報交換)이 불가능하였으며, 검색(檢索)에 있어서도 어려움이 있었다. 이 자료(資料)에서는 검색(檢索)을 위한 데이터베이스를 제작(製作)할 때에 사용하는 기호(記號)와 용어(用語)의 표기법(表記法)을 제시하고 있다. 학술논문(學術論文)을 기술(記述)할 때에 사용되고 있는 기호(記號)와 문자(文字) 가운데 컴퓨터 단말기(端末機)를 통하여 입력(入力) 및 검색(檢索)이 곤란한 경우가 있으므로 이러한 기호(記號)와 문자(文字)를 입력(入力) 검색(檢索)이 가능한 형태(形態)로 표현하는 방법(方法)을 고안했으며, 문교부(文敎部)가 고시한 "한글 맞춤법"과 "외래어 표기법"을 검토하여 2가지 이상으로 표기(表記)가 가능한 부분에 대해 검색효율(檢索效率)이 높아지는 쪽을 택해 일정하게 용어(用語)를 표기(表記)하도록 규정(規定)했다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
• /
• pp.431-434
• /
• 2001

Knowledge discovery in databases(KDD) is the process for extracting valid, novel, potentially useful and understandable knowledge form real data. There are many academic and industrial activities with new technologies and application areas. Particularly, data mining is the core step in the KDD process, consisting of many algorithms to perform clustering, pattern recognition and rule induction functions. The main goal of these algorithms is prediction and description. Prediction means the assessment of unknown variables. Description is concerned with providing understandable results in a compatible format to human users. We introduce an efficient data mining algorithm considering predictive and descriptive capability. Reasonable pattern is derived from real world data by a revised neural network model and a proposed fuzzy rule extraction technique is applied to obtain understandable knowledge. The proposed neural network model is a hierarchical self-organizing system. The rule base is compatible to decision makers perception because the generated fuzzy rule set reflects the human information process. Results from real world application are analyzed to evaluate the system\`s performance.

• 비교문화연구
• /
• 제39권
• /
• pp.485-499
• /
• 2015

Initially, the word 'usage' in the rule of Korean orthography was used to indicate the whole grammatical knowledge to separate between stems and inflectional affixes and nominals and case markers. Nowadays the word 'usage' in the rule of Korean orthograph is understood to indicate both 'usage' as the principles of the orthographic rule and 'grammar.' Even though 'usage' and 'grammar' can be understood as two different words, the discrepancy between them is not clear. In fact, if examining the rule of Korean orthography, it is not difficult to find that the principles of the orthography is written based on the grammar rules. Thus, the original principle is damaged because the rule of Korean orthography depends on the grammar rules too much. In addition, the rule of Korean orthography forces to change the grammar rules when describing them. Incorrect description of the grammar rules often causes the spelling mistakes. Therefore, it is necessary to divide two areas such as 'usage' and 'grammar' when dealing with 'the orthographic rules' and describing them.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권5호
• /
• pp.411-419
• /
• 2009

현재 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 대부분의 서술 논리 기반 온톨로지 추론 엔진은 태블로 알고리즘을 기반으로 구축되었다. 그러나 태블로 알고리즘 기반의 온톨로지 추론은 인스턴스 추론에 있어서 한계를 보인다. 이에 본 논문에서는 Medusa 시스템을 제안한다. Medusa는 서술 논리로 표현된 온톨로지의 정형화된 의미를 기반으로 시맨틱 웹 규칙 언어(SWRL)를 지원하는 확장된 서술 논리 추론 엔진이다. 대부분의 서술 논리 기반 추론 엔진은 효과적으로 온톨로지 스키마 모델을 추론하지만 인스턴스(Assertional Knowledge) 정보를 추론하기 위한 규칙 기반 추론 기능을 제공하지는 않는다. 이러한 문제를 해결하기 위해서 Medusa는 서술 논리의 추론 방식과 규칙 기반 추론 방식을 동시에 사용한다. 본 논문에서 설명하는 Medusa의 프로토타입은 $Prot{\acute{e}}g{\acute{e}}$ API[1]를 사용하여 시맨틱 웹 규칙 언어 추론 엔진과 서술 논리 추론 엔진간의 상호작용을 제어한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 Proceeding
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• 한국지반공학회지:지반
• /
• 제10권3호
• /
• pp.17-32
• /
• 1994

역재하시에 나타나는 흙의 비등방거동을 모델하기 위하여, 본 연구에서는 일반 등방경화규칙에 근거한 비등방 경화이론을 개발하였다. 일반 등방규칙은 등방경화의 기준이 되는 중심응력텐서가 임의의 응력상태에서 존재할 수 있도록 허용하므로, 역재하과정에서 발생하는 소성변형을 예측할 수가 있다. 제안된 구성모델은 단순한 경화함수만을 이용하여 수식화되었고, 일반등방경 화규칙에 적용된 개념을 기존의 비등방경화규칙과 비교하여 서술하였다. 검증을 위하여, 배수 및 비배수조건, 과압밀상태, Ko 압밀등의 초기조건이 상이한 점토에 대하여 관측된 삼축압축시료의 거동을 예측하였다.

• 정보관리학회지
• /
• 제17권3호
• /
• pp.147-170
• /
• 2000

RDF는 모든 자원을 독립적으로 취급하며, 특정 자원과 관련한 자원을 연결하는 모형을 제공하는 인터넷 자원 기술을 위한 통합기술모형이다. 본 연구는 인터넷의 분산된 정보환경에서 탐색과 접근을 제공하는 의미와 구조, 구문의 공통적인 규칙인 RDF의 모형과 구문, 스키마 명세와 메타데이터 기술요소인 Dublin Core의 이론적인 검토를 수행하였다. 이를 통해 XML의 응용인 RDF를 기반으로 Dublin Core 요소의 DTD 및 스키마, 메타데이터 설계를 구현하였다.

• 대한전자공학회논문지
• /
• 제24권6호
• /
• pp.1080-1086
• /
• 1987

SLAGEN, a system for symbolic cell layout based on artificial intelligence approach, takes as input a transistor connection description of CMOS standard cells and environment information, and outputs a symbolic layout description. SLAGEN performas transistor grouping by a heuristic search method, in order to minimize the number of separations, and then performs group reordering and transistor reordering with an eye toward minimizing routing. Next, SLAGEN creates a rough initial routing in order to guarantee functionality and correctness, and then improve the initial routing by a rule-based approach.