• Korean Architects
• /
• no.7 s.125
• /
• pp.62-74
• /
• 1979

• Korean Architects
• /
• no.8 s.126
• /
• pp.71-80
• /
• 1979

• KIISE Transactions on Computing Practices
• /
• v.21 no.6
• /
• pp.412-417
• /
• 2015

Context-sensitive spelling errors (CSSE) are hard to correct, since they are perfect words when analyzed alone. Determined only by considering the semantic and syntactic relations of their context, CSSEs affect largely the performance of spelling and grammar checkers. The existing Korean Spelling and Grammar Checker (KSGC 4.5) adopts a rule-based method, which uses hand-made correction rules for CSSEs. Using rule-based method, the KSGC 4.5 is designed to obtain the very high precision, which results in the extremely low recall. In this paper, we integrate our previous works that control the CSSE correction rules, in order to improve the recall without sacrificing the precision. In addition to the integration, facultative insertion of adverbs and conjugation suffix of predicates are also considered, as for constraint-loosening linguistic features.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.223-225
• /
• 1998

실시간 감시(monitor) 및 제어(control) 시스템의 데이터베이스는 계속적으로 감지기(sensors)에 의해 갱신된다. 연속적인 데이터의 변화에 의한 제약조건(constraints) 위반은 시스템에 심각한 문제를 발생시킨다. 이러한 시스템의 감시 및 제어를 능동적(active)으로 제공하기 위한 기능의 보편적인 형태로 능동규칙(Active rules)을 사용한다. 능동규칙은 정의된 사건(event)이 발생하면, 데이터베이스 상태의 변화에 대한 조건(condition)에 의해 행동(action)을 수행한다. 무결성(integrity) 제약조건을 능동규칙으로 선언함으로써 데이터베이스의 상태를 감시 및 제어하는 것이다. 일반적으로 사용되어온 능동규칙은 제한적인 시간상 무결성 제약조건 검사를 허용하고 있으며, 최근 능동규칙을 사용하여 시간상 연속적인 데이터베이스의 변화에 대한 제약조건 및 트리거(trigger)를 제공하기 위한 연구의 필요성이 대두되고 있다. 이 논문은 사건 빈도와 연합된 시간상에 연속적인 데이터베이스 상태 변화의 확장된 시간조건 상술을 지원하는 시간능동 규칙을 제안한다.

• The Journal of the Korean dental association
• /
• v.36 no.7 s.350
• /
• pp.484-488
• /
• 1998

지난 6월 30일까지 각 시ㆍ도 초등학교는 교육법 학교신체검사규칙에 따라 신체검사를 실시했다. 구강검사는 신체검사 중 체질검사에 속하는 것으로서 초등학교에서 실시하는 구강보건사업 중의 하나다. 현재 학교구강보건사업으로는 구강검사 외에도 불소용액양치사업과 구강보건교육 등이 있으나 많은 관계자들은 학교에서 실시하는 구강보건사업에 어려움을 호소하고 있다. 이에 초등학교에서 실시하는 구강보건사업의 현황과 함께 문제점과 대책에 대해 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.184-186
• /
• 2004

최근에 이르러 온톨로지 (Ontology) 및 시맨틱 웹 (Semantic Web) (1) 에 대한 연구가 활발히 진행됨에 따라 이들을 처리할 수 있는 에이전트 시스템의 중요성 또한 부각되고 있다. 이러한 에이전트 시스템은 규칙(Rule)을 기반으로 하여 해당 조건을 만족시키는 경우에 규칙에 정의된 행동을 실행하도록 설계된다. 하지만 이러한 시스템이 않은 양의 규칙과 조건을 처리하는 경우 특정한 조건에 맞는 규칙을 검사하는 과정에서 많은 오버헤드가 걸리게 된다. 이러한 시스템의 단점을 보완하고자 사용되는 것이 RETE 알고리즘으로서 각 조건과 규칙들을 빠르게 검색할 수 있는 네트워크를 구성하고 특정 조건이 만족되는 경우 이를 창조하는 규칙들의 목록을 즉시 얻어낼 수 있게 된다. 본 논문에서는 JAM 에이전트 시스템에 RETE 알고리즘을 적용시키고 이를 통해 더욱 효율적인 에이전트 시스템을 구성하고자 한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.463-466
• /
• 2005

본 논문은 퍼지로직을 이용하여 메탈스텐실의 홀의 정상-불량 판단을 수행한다. 메탈스텐실 은 PCB의 SMD의 패드 위에 납을 도포하기 위해 사용되는 것으로, 레이저를 이용하여 패드모양과 동일하게 홀을 생성한다. 가공 시 발생하는 불량은 레이저 출력의 약화로 홀이 정상적으로 가공되지 않는 것이다. 검사를 위해 비전시스템을 이용하여 메탈스텐실에 대한 카메라이미지를 획득하고, 기준이미지는 메탈스텐실을 제조하기 위해 사용되는 거버 파일을 이용하여 생성한다. 퍼지로직의 입력변수는 각 이미지에서의 검사대상 홀의 위치오차와 크기비율이고, 출력변수는 홀의 정상판단율이다. 홀의 위치와 크기는 두 이미지에 대해 영상처리를 수행하여 계산한다. 퍼지규칙은 작업자의 판단 규칙을 적용하여 작성한다. 4종류의 메탈스텐실에 대해 정상-불량 판단을 위해 고정된 임계치를 사용하였을 경우와 제안된 퍼지로직을 적용한 실험결과에 대해 설명한다.

• The KIPS Transactions:PartC
• /
• v.16C no.4
• /
• pp.449-460
• /
• 2009

The signature hashing algorithm[9] provides the fast pattern matching speed for network IPS(Intrusion Prevention System) using the hash table. It selects 2 bytes from all signature rules and links to the hash table by the hash value. It has an advantage of performance improvement because it reduces the number of inspecting rules in the pattern matching. However it has a disadvantage of performance drop if the number of rules with the same hash value increases when the number of rules are large and the corelation among rules is strong. In this paper, we propose a method to make all rules distributed evenly to the hash table independent of the number of rules and corelation among rules for overcoming the disadvantage of the signature hashing algorithm. In the proposed method, it checks whether or not there is an already assigned rule linked to the same hash value before a new rule is linked to a hash value in the hash table. If there is no assigned rule, the new rule is linked to the hash value. Otherwise, the proposed method recalculate a hash value to put it in other position. We implemented the proposed method in a PC with a Linux module and performed experiments using Iperf as a network performance measurement tool. The signature hashing method shows performance drop if the number of rules with the same hash value increases when the number of rules are large and the corelation among rules is strong, but the proposed method shows no performance drop independent of the number of rules and corelation among rules.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• Korean Architects
• /
• no.9 s.127
• /
• pp.76-81
• /
• 1979