• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.772-774
• /
• 2001

최근 XML(eXtensible Markup Language)이 인터넷 전자 상거래와 데이터 전송 및 검색 부문에서 광범위하게 이용됨에 따라, XML 문서에 대한 보안과 표준화 문제가 대두되고 있다. XML을 이용한 각종 데이터 및 문서는 웹 상에 존재하게 되며, 가상공간에서 문서적 처리는 제 3자에 의해 위조나 변경이 가능하다. 이에 데이터 및 문서를 보호하는 일은 현재 필수적인 사안이며, XML 문서 보안에 대한 연구 개발 또한 활발히 진행되고 있다. 최근 Microsoft와 Verisign, Webmethods등 3개사는 XML기반 차세대 PKI(Public Key Infrastructure)기술인 XKMS(Xml Key Management Specification)를 개발하였으며, XKMS 표준화 작업에 휴렛패커드(HP), 불티모어, IBM, 퓨어에지솔루션스, 로이터 등이 참여하고 있다. 이에 본 논문에서는 XKMS의 표준화를 진행중인 표준화 단체의 XML 보안동향을 파악하고, XKMS의 내부 구조 및 전반적인 기술을 분석한다.

• 대한음성학회지:말소리
• /
• 제27_28호
• /
• pp.27-56
• /
• 1994

Processes involving the change of vowel height are natural enough to be found in many languages. It is essential to have a better feature specification for vowel height to grasp these processes properly, Standard Phonology adopts the binary feature system, and vowel height is represented by the two features, i.e., [\pm high] and [\pm low]. This has its own merits. But it is defective because it is misleading when we count the number of features used in a rule to compare the naturalness of rules. This feature system also cannot represent more than three degrees of height, We wi31 discard the binary features for vowel height. We consider to adopt the multivalued feature [n high] for the property of height. However, this feature cannot avoid the arbitrariness resulting from the number values denoting vowel height. It is not easy to expect whether the number in question is the largest or not It also is impossible to decide whether a larger number denotes a higher vowel or a lower vowel. Furthermore this feature specification requires an ad hoc condition such as n > 3 or n \geq 2, whenever we want to refer to a natural class including more than one degree of height The altelnative might be Particle Phonology, or Dependency Phonology. These might be apt for multivalued vowel height systems, as their supporters argue. However, the feature specification of Particle Phonology will be discarded because it does not observe strictly the assumption that the number of the particle a is decisive in representing the height. One a in a representation can denote variant degrees of height such as [e], [I], [a], [a ] and [e ]. This also means that we cannot represent natural classes in terms of the number of the particle a, Dependency Phonology also has problems in specifying a degree of vowel height by the dependency relations between the elements. There is no unique element to represent vowel height since every property has to be defined in terms of the dependency relations between two or more elements, As a result it is difficult to formulate a rule for vowel height change, especially when the phenomenon involves a chain of vowel shifts. Therefore, we suggest a new feature specification for vowel height (see Chapter 3). This specification resorts to a single feature H and a few >'s which refer exclusively to the degree of the tongue height when a vowel is pronounced. It can cope with more than three degrees of height because it is fundamentally a multivalued scalar feature. This feature also obviates the ad hoc condition for a natural class while the [n high] type of multivalued feature suffers from it. Also this feature specification conforms to our expection that the notation should become simpler as the generality of the class increases, in that the fewer angled brackets are used, the more vowels are included, Incidentally, it has also to be noted that, by adopting a single feature for vowel height, it is possible to formulate a simpler version of rules involving the changes of vowel height especially when they involve vowel shifts found in many languages.

• 한국건설관리학회논문집
• /
• 제2권3호
• /
• pp.92-100
• /
• 2001

건설공사의 계약문서에는 설계도면, 공사시방서 등이 포함된다. 그러나 공사시방서의 경우 분서의 중요성만큼 활용되지 못하고 있다. 그 이유는 시발정보가 설계도면과 재료마감표등 다른 건축정보들과 관련되어 찾을 수 있게 되어있지 않아 활용도가 떨어진다. 따라서 다른 정보와 연관되어 질 수 있는 통합모델이 필요하고 이러한 통합모델을 바탕으로한 DB가 구축되어 져야 설계 및 시공, 유지관리시에 그 활용성이 증대된다. 이러한 통합모델의 구현은 부위를 사용함으로서, 설계도를 작성하고 그리고 부위 정보에 자재정보, 법규정보, 시방정보의 속성이 들어가 있다면 견적을 낼 수 있고 많은 정보를 참조할 수 있어 설계의 질이 향상될 것이다. 또한 유지관리시에도 설계정보에 법규, 자재정보, 시방정보가 들어가 있기 때문에 수선유지 및 하자보수등에 유용하게 사용된다. 설계단계에서부터 만들어진 시방정보 DB는 설계의 수정과 공사의 수정에 맞게 update 되어 져야 한다. 또한 시공현장이나 감리시에도 참고를 하기 위해서는 시방서가 web을 이용한 문서화가 되어 어디서든지 참조할 수 있는 환경이 되어 져야만 한다. 따라서 본 연구에서는 시방정보 구조화를 위한 부위분류 체계글 제시하고, 이를 바탕으로 하여 건축시방정보를 DB화하며, DB를 상호 참조할 수 있는 인터넷 환경에서의 시방정보의 검색 빛 작성이 가능하도록 하였다. 이 시스템을 활용하여 공사시방서출 작성, 참조함으로써 공사시방서의 활용의 향상이 기대되려 이를 통해 건설공사의 클레임 방지와 설계, 시공, 유지관리의 품질 향상이 기대된다. 또 발주기관, 설계용역업체, 공사현장 등의 실무에서 더욱 편리하게 정보를 활용할 수 있을 것으로 사료된다.

• 인터넷정보학회논문지
• /
• 제10권3호
• /
• pp.173-185
• /
• 2009

본 논문에서는 두 가지 영상 콘트라스트 향상 기법인 RSWHE (Recursively Separated and Weighted Histogram Equalization)와 RSWHS (Recursively Separated and Weighted Histogram Specification)를 새롭게 제안한다. RSWHE는 히스토그램 평활화 방법에 히스토그램 분할과 가중치 개념을 적용하였고, RSWHS는 히스토그램 명세화 방법에 히스토그램 분할과 가중치 개념을 적용하였다. 제안 방법은 1) 입력 영상의 평균 명도 값을 기준으로 히스토그램을 분할하고, 2) 분할된 각 서브히스토그램(sub-histogram)이 차지하는 확률밀도 값을 계산하며, 3) 계산된 확률밀도 값을 가중치로 사용하여 각 서브히스토그램을 변형한 후, 4) 변형된 각 서브히스토그램을 독립적으로 평활화 하거나 (RSWHE 방법인 경우) 또는 명세화 하게 (RSWHS 방법인 경우) 된다. 다양한 영상에 대한 실험을 통하여, 제안하는 두 방법이 기존의 다른 방법들에 비하여 콘트라스트 향상과 평균 명도 보존 측면에서 우수한 성능을 나타냄을 알 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.750-759
• /
• 2004

원자력 발전소의 디지털 제어 시스템에 적용되는 소프트웨어는 안전성이 중요시되는 safety-critical 소프트웨어로, 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세 하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 원자력 발전소 디지털 제어 시스템 소프트웨어의 요구 사항 명세에 적합하도록 개발된 정형명세 기법인 NuSCR을 논의한다. 또한, 개발된 NuSCR의 적용성을 검토하기 위해, 현재 KNICS 사업단에서 개발중인 발전소보호계통 소프트웨어의 요구사항을 정형 명세 한 경험을 소개하고 있다. 또한, 원자력 도매인에 특화된 정형명세 기법인 NuSCR의 우수성도 실례를 들어 설명하고 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권8호
• /
• pp.394-406
• /
• 2008

컨텍스트 인지 시스템에서 컨텍스트는 매우 중요한 요소이지만, 기존 요구공학은 컨텍스트를 도출하고 명세화하는 방법을 지원하지 못하기 때문에 이를 지원할 수 있는 연구가 필요하다. 본 논문은 컨텍스트 인지 시스템의 요구사항을 효과적으로 도출하기 위한 방법과 명세화 방법을 제안한다. 논문에서 제안하는 요구사항 도출 방법은 6단계로 구성된 점진적이고 반복적인 프로세스로서 비즈니스 로직을 위한 요구사항을 먼저 파악하고, 이를 기반으로 컨텍스트 로직을 위한 요구사항을 파악하고, 컨텍스트 모델링과 서브시스템 식별 등의 작업을 수행한다. 요구사항 명세화 방법으로는 컨텍스트 인지 유스케이스 다이어그램, 컨텍스트의 개념을 표현할 수 있는 컨텍스트 다이어그램, 컨텍스트 타입에 영향을 받는 유스케이스를 표현하는 컨텍스트타입-유스케이스 의존 다이어그램을 제안한다. 논문에서는 또한 제안한 방법을 적용한 시스템에 대한 사례연구를 소개하고, 이를 정성적으로 평가한 내용을 제시한다. 본 연구는 이해관계자가 컨텍스트 인지 시스템의 요구사항을 효과적으로 파악하고, 이를 명확히 기술하며, 이해할 수 있도록 도움을 줄 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제11권6호
• /
• pp.49-57
• /
• 2006

사용자와 상호작용을 하는 복잡한 기능을 가진 소프트웨어 시스템을 구현하는데 있어서, 사용자의 요구를 분석하고 이를 개발되는 시스템에 제대로 반영하는 매우 중요한 일이다. 따라서 사용자의 필요를 빠르고 정확하게 이해하는 것이 성공적인 소프트웨어 시스템을 개발하는 중요한 열쇠가 된다. 여러 가지의 요구 명세 언어 중에서도 UML의 Sequence Diagram으로 알려져 있는 Message Sequence Charts (MSC)는 시나리오 개념을 가장 잘 표현하고 있는 언어라고 할 수 있다. Live Sequence Charts (LSC)는 MSC의 확장된 형태로 메시지 추상화와 시나리오의 모드 설정이 가능하다는 특징을 가지고 있다. 본 논문에서는 기존의 연구에서는 다루어지지 않았던 LSC 명세언어의 주요 생성자들을 모두 포괄할 수 있는 LSC 명세언어의 의미론을 새롭게 정의하고 논의하였다. 본 논문에서 정의된 의미론은 기존의 방법들과 비교했을 때 훨씬 넓은 범위의 LSC 명세언어를 포괄하고 있으며, 그동안 정형화되지 않았던 기존의 LSC 명세언어의 내용을 가장 정확하게 표현하고 있다는 장점을 가지고 있다.

• 한국건설관리학회논문집
• /
• 제2권4호
• /
• pp.80-91
• /
• 2001

건설분야 표준분류체계의 코드항목들은 비용정보, 시방정보 등 분류체계가 적용되는 건설산업분야의 모든 정보들에 일관되게 적용될 때 그 효용성이 극대화될 수 있으므로, 토목분야 공종정보들은 하나의 단일화된 분류체계를 중심으로 동일하게 분류될 필요가 있다. 현행 국내의 토목분야 표준분류체계 중 공종분류체계는 '통합건설정보분류체계', '토목공사 수량산출기준' 및 '공사시방서 작성요령' 내의 공종분류체계가 각각 개별적으로 제시되고 있으며, 10여 종의 토목분야 표준시방서 공종분류 또한 각각 상이한 분류방식 및 코드체계를 사용하고 있다 본 연구는, 토목공사 수량산출기준이 국내 토목분야 공종분류 체계로서의 대표성과 표준분류체계로서의 효용성을 가질 수 있게 하기 위한 방안으로서, 수량산출기준 코드체계를 중심으로 하는 시방서 분류코드의 통합기준을 구성하고 활용방안을 제시하였으며, 웹기반 활용시스템 시안을 구성하여 제시된 통합기준의 활용방안을 구체화하였다.

• 정보과학회 논문지
• /
• 제43권2호
• /
• pp.212-221
• /
• 2016

안드로이드 앱의 액티비티, 서비스, 브로드캐스트 리시버와 같은 컴포넌트에 부적절한 인텐트를 전달하면 비정상적으로 종료되는 인텐트 취약점 문제가 빈번하게 발생한다. 이 논문은 안드로이드 컴포넌트가 기대하는 인텐트 명세를 개발자가 직접 기술하고, 실행시간에 이 컴포넌트에 전달된 인텐트를 검사하여 인텐트 취약점을 방지하는 방법을 제안한다. 인텐트 유효성을 검사하는 여러 조건문이 실수로 누락되거나 다른 코드와 섞여 유지 보수하기 어려운 점을 이 논문에서 제안하는 인텐트 명세를 선언함으로써 해결할 수 있다. 7개의 안드로이드 앱에 대해 제안한 방법을 적용한 실험 결과 인텐트 명세 기반 실행시간 검사 방법을 통해 앱의 비정상 종료를 방지할 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제13권3호
• /
• pp.45-55
• /
• 2008

내장형시스템의 복잡도 증가로 인하여 내장형 소프트웨어의 자동생성 및 하드웨어-소프트웨어 통합설계 방법론등이 크게 이슈화되고 있다. 자동화된 설계 방법론에 있어서 공통적인 요구사항은 시스템 설계를 효과적으로 모호성 없이 기술 할 수 있도록 정형화된 설계 언어를 제공하는 것과 설계 언어로 부터 자동으로 원하는 소프트웨어 코드를 생성하는 방법의 개발이다. 본 논문에서는 시스템 기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제 uC/OS-II에서 수행될 임베디드 C코드를 자동으로 생성하는 자동화된 방법론을 제시한다. 연구 개발된 자동 내장형 C코드 생성기는 하드웨어-소프트웨어 통합설계환경에서 소프트웨어 설계의 한 축으로 이용될 수 있으며 SDL 시뮬레이터나 검증기를 통하여 개발하고자 하는 code의 기능을 초기 모델 수준에서 평가하고 검증 할 수 있다.