http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
천왕성(Wang Sung Chun),권용래(Yong Rae Kwon) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.2B
객체지향 분석에 널리 사용되어 온 상태 전이도(transition diagram)는 객체 각각의 동적인 행태에 대해서만 기술할 뿐, 객체간의 상호작용을 나타내는 데는 미비하다. 객체지향 시스템은 다수의 객체들과 그들간의 상호작용으로 이루어지기 때문에 전체 시스템의 동적인 행태를 표현하기 위해서는 객체간의 상호작용을 기술하는 것이 매우 중요하다. 본 연구에서는 평면적으로 나열된 객체간의 상호작용들을 추상화(abstraction)하여 관리 및 유지, 보수에 필요한 높은 수준의 시스템 이해가 가능하도록 하면서, 각 객체가 제공하는 method에서 출발하여 상위 상호작용을 구성해 가는 추상화 방법을 취하여 OMT 모델과 연계될 수 있는 방법을 제시한다. 이 방법을 통해 시스템의 이해와 상호작용의 관리 및 유지, 보수가 용이해지는 효과를 볼 수 있다.
박중길,박봉주,백기영,천왕성,류재철,Park, Jung-Gil,Park, Bong-Joo,Baek, Ki-Young,Chun, Wang-Sung,Ryou, Jae-Cheol 한국정보처리학회 2000 정보처리논문지 Vol.7 No.9
비대칭 암호 알고리즘을 설계하는 데 있어서 매우 큰 소수를 구하는 것은 필수적이다. 그러나 지금까지는 결정론적인(deterministic) 큰 소수를 발견하기는 매우 어려웠기 때문에, 일반적으로 확률적으로 소수일 가능성이 높은 의사소수(psedoprime)를 비대칭 암호 알고리즘에서 사용하였다. 이 논문에서 결정론적인 소수 생성 방법을 제안하며, 제안된 방법에 의해 생성된 소수는 증명이 가능한 100% 정확한 소수이다. 또한 이 방법에 의해 생성된 소수는 신뢰성, 비도, 원시원소(primitive element)생성 능력 등을 보장한다. It is essential to get large prime numbers in the design of asymmetric encryption algorithm. However, the pseudoprime numbers with high possibility to be primes have been generally used in the asymmetric encryption algorithms, because it is very difficult to find large deterministic prime numbers. In this paper, we propose a new method of deterministic prime number generation. The prime numbers generated by the proposed method have a 100% precise prime characteristic. They are also guaranteed reliability, security strength, and an ability of primitive element generation.
박중길(Jung Gil Park),박봉주(Bong Joo Park),백기영(Ki Young Baek),천왕성(Wang Sung Chun),류재철(Jae Cheol Ryou) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.9
It is essential to get large prime numbers in the design of asymmetric encryption algorithm. However, the pseudoprime numbers with high possibility to be primes have been generally used in the asymmetric encryption algorithms, because it is very difficult to find large deterministic prime numbers. In this paper, we propose a new method of deterministic prime number generation. The prime numbers generated by the proposed method have a 100% precise prime characteristic. They are also guaranteed reliability, security strength, and an ability of primitive element generation.
Safety - critical 시스템의 요구명세 검증
김태호(Tae ho Kim),홍형석(HyungSeok Hong),조승모(Seung Mo Cho),천왕성(Wang Seong Chun),차성덕(Sung Deok Cha) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A
소프트웨어의 기술이 발전함에 따라 기존에 하드웨어로 개발되었던 시스템들이 소프트웨어로 개발되는 경우가 많아지고 있다. 이는 소프트웨어가 수정과 유지보수가 용이하며, 하드웨어와는 다르게 시간이 지나도 물리적 오류가 발생하지 않기 때문이다. 반면 소프트웨어로 구성된 시스템은 검증이 어렵고, 이로 인해 사고가 발생하기 쉽다. 이 사고의 피해가 치명적인 시스템을 safety-critical 시스템이라고 하고, 이러한 소프트웨어의 경우 검증이 되어, 고품질이 보장되어야 한다. safety-critical system의 한 예로써 본 연구에서는 월성 원자력 발전소 2호기 정지계통에 관한 요구명세를, 기존에 산업계와 여러 실험에서 우수성이 입증된 정형적인 검증방법론인 fagan inspection을 이용하여, 검증하고 평가 하였고, 요구명세의 기술방법과 검증방법에 대해서도 개선점을 연구하고 적용하였다.