• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• International Journal of Advanced Culture Technology
• /
• 제5권1호
• /
• pp.9-16
• /
• 2017

In an English multiple Wh-construction with two wh-words, only a higher-located wh-word in a sentence structure is allowed to pre-pose to the Spec of CP, which has been known as a Superiority Effect(SE). Contrary to English, Korean and Japanese have been known not to respect SE, and this phenomenon has been called an Anti-Superiority Effect(ASE). Recent studies including Takita et al(2007) and Harada(2015) among others, however, have suggested exceptional cases to ASE in Japanese, and attempted to explain them through a feature checking mechanism within the Minimalist Program(MP) by Chomsky(1995, 1998). Such explanations of MP, which are based on the abstract feature checking system, have recently been considered just as a kind of technicalia and should be backed up with further empirical evidence. In this paper, I show that there are also exceptions to ASE in Korean, and the exceptional cases to ASE both in Korean and Japanese can be well explainable based on the empirical evidence of Korean/Japanese morpho-syntax.

• 한국언어정보학회지:언어와정보
• /
• 제18권2호
• /
• pp.59-79
• /
• 2014

This paper aims at exploring the processing mechanism of filler-gap dependency resolution and feature checking in Korean wh-constructions. Based on their findings on Japanese sentence processing, Aoshima et al. (2004) have argued that the parser posits a gap in the embedded clause in head-final languages, unlike in head-initial languages, where the parser posits a gap in the matrix clause. In order to verify their findings in the Korean context, and to further explore the mechanisms involved in processing Korean wh-constructions, the present study replicated the study done by Aoshima et al., with some modifications of problematic areas in their original design. Sixty-four Korean native speakers were presented Korean sentences containing a wh-phrase in four conditions, with word order and complementizer type as the two main factors. The participants read sentences segment-by-segment, and the reading times at each segment were measured. The reading time analysis showed that there was no such slowdown at the embedded verb in the scrambled conditions as observed in Aoshima et al. Instead, there was a clear indication of the wh-feature checking process in terms of a major slowdown at the relevant region.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권1호
• /
• pp.1-6
• /
• 2014

모든 기업들은 높은 품질의 정보시스템과 높은 생산성을 가지는 소프트웨어 제품을 만들기 위해 소프트웨어 제품라인 공학(software product line engineering)을 도입하고 있다. 소프트웨어 제품라인 방법론은 다양한 모델들을 가지고 있으며, 각 모델은 추상화 관점과 수준이 서로 다르다. 이러한 모델에 존재하는 요소들간 추적성(traceability)과 가변성(variability) 정보의 일관성(consistency)을 유지하는 것이 중요하다. 본 연구에서는 휘처(feature)의 가변성과 다른 산출물에 정의한 가변성의 일관성을 검증하는 규칙을 제시하였다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1996년도 Language, Information and Computation = Selected Papers from the 11th Pacific Asia Conference on Language, Information and Computation, Seoul
• /
• pp.257-266
• /
• 1996

• 한국정밀공학회지
• /
• 제10권4호
• /
• pp.30-41
• /
• 1993

Developed in this paper is a feature based modeling system for the design of welded plat construction(WPC) which is composed of flat or bended plates represented as reference plane with a constant thickness. First, the necessity and the characteristics of the modeing system for WPC as compared with the assembly of mechanical parts are investigated. Secondly, feature library for the assembly of WPC is shown which contains several types of features like joint feature, groove feature, material feature, and precision feature. Thirdly, the assembly procedures are presented which mainly consist of both the assembly transformation and the correct assembly checking. Fourthly, weld lines of the assembled WPC are defined so that those can be used in the process planning or the manufacturing stage. Finally, a prototype by a geometric modeling software Pro/Engineer, a graphic software GL(Graphic Library), and C language on a CAD workstation IRIS.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1993년도 춘계학술대회 논문집
• /
• pp.267-271
• /
• 1993

Developed in this paper is a feature based modeling of welded plate construction(WPC) which is composed of flat or bended plates represented as reference plane with a constant thickness. First, the necessity and the characteristics of the feature based modeling of WPC as compared with the assemblies of mechanical parts are investigated. Second, feature library for the assemblied of WPC is shown which contains several types of features like joint feature, groove feature, materialfeature and precision feature. Third, the assembly procedures are presented whichmainly consist of both the assembly transformation and the correct assembly checking. Fourth, weld lines generated in the assembled WPC are defined so that those can be used in the process planning or the manufacturing stage. Finally, A prototype system isdeveloped by using a geometric modeling software Pro/Engineer, a graphic software GL(Graphic Library), and C language on a CAD workstation IRIS.

• 한국언어정보학회지:언어와정보
• /
• 제6권2호
• /
• pp.1-14
• /
• 2002

This paper discusses so called the non-DP subject constructions in English. In general, a subject is a DP that bears Nominative case and that occupies 〔Spec, IP〕. However, in some examples under investigation, it looks as if non-DP categories such as Prepositional Phrases(PP), Adjectival Phrases(AP), Adverbial Phrases (AdvP), Small Clauses (PreP or SC), and VP occupy the canonical subject position, 〔Spec, IP〕. Under the framework of Chomsky's (1993, 1995) along with his previous works (Chomsky 1981, 1986), the Case Checking mechanism undoubtedly assumes that only DPs can have Case Therefore, the Case Checking/Agree mechanism is stated such that the strong uninterpretable feature, in this case Case feature (D or NP) feature must be checked off in a certain manner. Therefore, any phrasal categories other than DPs are not included in the considerations. Nonetheless, there are many instances of non-DP categories in English that occupy the seemingly canonical subject position, 〔spec, IP〕. In this paper, it is proposed that the actual position of these non-DP subjects in English is not in Spec of IP. Rather, they occupy 〔Spec, TopP〕 under CP in the sense of Lasnik & Stowell (1991), Rizzi (1997), and Haegeman & Gueron (1999). In its effect, therefore, this paper extends the idea of Stowell (1981) who argues that the clausal subjects in English is not in 〔Spec, IP〕, but in 〔Spec, TopP〕. We further argue that Stowell's version of Case Resistance Principle must be extended in order to accomodate many more occurrences of so called non-DP subjects.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제4권3호
• /
• pp.97-104
• /
• 2015

본 논문은 MS-SQL 데이터베이스의 환경과 OLE 원격 접속 기능, C++ 환경을 바탕으로 MS-SQL 데이터베이스 암호정책과 사용자 계정 패스워드 접속 시도, 패스워드 없는 사용자 계정, 패스워드를 일정 기간 이상 변경하지 않은 경우 등에 대한 점검을 통해서 보안취약점 기능을 설계한다. MS-SQL 데이터베이스와 C++의 연동을 위해서는 OLE DB 기능을 사용한다. OLE DB 연동을 통해 계정마다 암호정책 강제 적용의 유무를 확인하고, 계정별 패스워드 접속 실패 유무, 패스워드 없는 사용자, 패스워드를 일정 기간 이상 변경하지 않은 경우 등을 종합적으로 판단하여 보안취약점 유무를 판단한다. MS-SQL 데이터베이스 패스워드 기능과 관련하여 여러 가지 기능들을 판단해서 보안취약점을 점검할 수 있도록 한다. 본 논문에서 제시하는 기능을 활용하여 MS-SQL 데이터베이스 보안을 강화하고자 한다.

• 한국정보통신학회논문지
• /
• 제18권10호
• /
• pp.2482-2488
• /
• 2014

본 논문에서는 MS-SQL 데이터베이스의 환경과 C++ 환경을 이용하여 데이터베이스 사용자 계정 취약점을 판별한다. MS-SQL 데이터베이스에서 패스워드나 사용자 설정이 변경되었는지를 체크한다. 또한, 사용자 계정이 만료되었거나 오랫동안 패스워드를 변경하지 않았으면 보안 취약점이 존재하는 것으로 판단한다. 이것은 제 3의 악의적인 사용자가 해킹 등을 하는 것을 방지, 예방을 하기 위한 목적이다. 최근에는 정보 자산이 더욱 중요하게 되어가고 있다. 데이터베이스의 정보 손실이 일어나게 된다면 큰 피해를 입게 된다. 본 논문은 MS-SQL 데이터베이스의 사용자 계정 만료 유무와 오랫동안 패스워드 설정이 변경되지 않은 사용자 계정을 점검하는 모듈을 개발한다. 이 기능을 이용하여 보안취약점 점검을 함으로써 악의적인 사용자가 데이터베이스에 접근을 할 수 없도록 한다.