• Review of KIISC
• /
• v.5 no.1
• /
• pp.25-46
• /
• 1995

소프트웨어 개발에서, 사용자 요구 사항을 잘 표현하면 할수록 시스템은 오류가 적고, 사용자가 요구하는 시스템으로 만들어지며, 시스템 검증이 쉬워지는 것 같이, 정형적 사양(formal specification)은 시스템 개발 전반에 영향을 준다. 이 정형적 사양은 암호 프로토콜이 완전(completeness)하고 안전(soundness)한가를 검증하는 데에도 유용하게 사용될 수 있다. 암호 프로토콜을 사양하고 분석하는 방법은 크게 대수적, 논리적, 상태 변환적 접근 방법등과 통신 프로토콜의 검증에 쓰는 패트리넷을 이용한 방법등이 있다. 이들 방법중에는 프로그램으로 구현되어 자동 검증 tool로 개발된 사례도 있다. 본 고에서는 암호 프로토콜을 위한 사양 기법과 그에 따른 분석 기법을 알아보고 그것들을 비교, 분석하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.8
• /
• pp.1493-1502
• /
• 1994

In this paper we propose a new wideband channel simulation algorithm which exactly simulates the Suzuki fading channel, a mixture of short term and long term fading. Proposed algorithm generates the incoming reflected waves as Suzuki distributed random signals and is possible to arbitrarily adjust the correlations among long term fading components of the incoming waves by using the Gaussian-to-lognormal transformation. Proposed algorithm can be applied to the simulation of the system performance.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.432-434
• /
• 1998

임상진단에 있어서 종종 문제가 되고 있는 호흡에 따른 두뇌부분의 가상적인 상하이동을 고려해서 위상 엔코드 축인 Y 방향만의 강체의 평행이동을 취급한다. 종래의 발견적인 축차 근사 반복처리에 의한 제거방법과는 달리, 본 연구에서는 MRI 촬상과정과 화성특성의 해석에 근거한 MRI 신호증의 체동성분과 화상성분을 단순한 대수연산에 의해 분리할 수 있는 새로운 구속조건을 도출한다. MRI 신호에 대해서 X방향의 1차원 푸리에 변환을 행한 후의 Y 방향의 스펙트럼 위상값은 화상자신의 성분과 체동성분의 합이 되고 있다. 한편, 두뇌부위 등의 단상층에 있어서 주위의 피하지방 부위의 밀도는 거의 균일한 것으로 알려져 있어 이 부분위의 Y 방향의 1 라인 밀도 분포를 대칭이라고 간주할 수 있다. 밀도함수가 대칭인 경우 스펙트럼의 위상은 그 위치에 대하여 선형적으로 변화하며 이 선형함수로부터 벗어난 성분을 체동성분으로 분리할 수 있다. 이러한 구속조건에 기초를 둔 근거가 명확한 아티팩트의 제거방법을 제안한다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 1999.06a
• /
• pp.95-106
• /
• 1999

많은 지리자료에 대한 효율적이고 효과적인 검색 및 다양한 지리자료 데이터 포맷에 대한 데이터 변환에 드는 비용을 최소화하기 위해 지리자료의 공유, 즉 상호운용(Interoperability)에 대한 필요성이 제기되었으며 이를 위한 표준의 하나로 OpenGIS라는 표준이 만들어지고 있다. OpenGIS는 기존의 표준과는 다른 광범위하고 미래지향적인 특징으로 인해 실질적인 GIS 표준으로 자리잡아 가고 있는 실정이지만, 국내에서는 OpenGIS 구현명세에 대한 체계적인 연구 및 여러 GIS 서버를 대상으로 한 실제구현 사례가 거의 없는 실정이다. 이 논문에서는 컴포넌트 기반의 분산환경에 가장 근접해 있는 OpenGIS OLE/COM 구현명세에 대한 분석을 통해 Gothic, MGE, Oracle에 적용하기 위한 OGIS 데이터 제공자의 설계 및 이를 바탕으로 상호운용을 달성하기 위한 OpenGIS 미들웨어의 설계를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.451-453
• /
• 2000

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.595-597
• /
• 1998

This paper deals with an algebraic compensator design for dynamic systems using a novel BPF transformation method. To obtain an algebraic compensator for the system, block pulse function's differential operation is used. Compare to unalgebraic compensator, proposed algebraic compensator is less sensitive to the measurement noise.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.183-184
• /
• 2018

우리나라의 노인자살률은 OECD 국가 중에 1위이다. 인위적 고독사인 '자살'의 가장 큰 원인인 우울증을 의사소통을 통해 예방하고자 한다. 본 논문에서는 상황에 따라 독거노인에게 스피커가 먼저 질문하는 형식인 시스템을 제안한다. 음성인식 시스템인 스피커를 활용하여 독거노인의 의사소통을 증대시키고, 질문뿐만이 아니라 식사 여부, 약 복용 여부 관련 일상 알람도 주기 때문에 규칙적인 생활을 하는 데 도움을 준다.

• Korean Journal of Food Science and Technology
• /
• v.31 no.3
• /
• pp.778-787
• /
• 1999

This study was conducted to standardize the quality of sigumjang. The characteristic of producing method for sigumjang had smoking step. The major component of the amino acids of sigumjang was proline followed by valine, glutamic acid and alanine. Among the organic acids, only acetic acid and propionic acid were detected. The sugar component of sigumjang was composed of glucose predominantly, followed by maltose and fructose. The relation between taste components and sensory scores was analyzed by method of multiple regression analysis. Correlation between contents of taste components and sensory scores were significantly low. Among components of sigumjang inositol and fructose had the higest correlation with sensory scores. The result of multiple regression analysis, taste of sigumjang was explained about 90% with 16 taste components in case of relative value transformed with logarithm and 17 taste components in case of absolute value.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.2
• /
• pp.11-17
• /
• 1975

The paper examined the character structure as a basic study for the recognition of Korean characters. In view of concave structure, line structure and node relationship of character graph, the algebraic structure of the basic Korean characters is are analized. Also, the degree of complexities in their character structure is discussed and classififed. Futhermore, by describing the fact that some equivalence relations are existed between the 10 vowels of rotational transformation group by Affine transformation of one element into another, it could be pointed out that the geometrical properting in addition to the topological properties are very important for the recognition of Korean characters.

• Journal of Educational Research in Mathematics
• /
• v.18 no.2
• /
• pp.239-261
• /
• 2008

This study presents results by the content areas in mathematics. Average performance is provided for five content areas: number, algebra, measurement, geometry, and data. Relative achievement is shown among the content areas for 4 countries in comparison to Korea. In number, Korea had lower average achievement than Singapore, especially for ratio proportion percent. Among 5 countries, Korea had the highest average achievement in algebra and geometry, but the lowest in attributes and units of measurement. In data, Korean students didn't learn the followings successfully: a) comparing characteristics of data sets and using mean, median, range, and shape of distribution, b) interpreting data sets (e.g., draw conclusions, make predictions, and estimate values between and beyond given data points), c) evaluating interpretations of data with respect to correctness and completeness of interpretation.