• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.910-912
• /
• 2002

자바 코드의 무결성(integrity)과 인증(authenticity)을 보장하기 위해, JAR파일에 대해 전자서명하는 방법이 이용되고 있다. JAR파일은 기본적으로 애플리케이션이나 애플릿의 효율적인 배포를 위해 이용된다 즉, 애플리케이션이나 애플릿을 구성하는 모든 클래스 파일이나 데이터 파일을 묶어 하나의 JAR 파일에 포함시켜 온라인 상으로 클라이언트로 이러한 JAR 파일의 내용은 변경되기 쉽다. 즉, 기존 클래스 파일의 제거, 변경 또는 새로운 클래스 파일의 추가 등으로 인해 기존 JAR파일의 내용이 변경되고, 또한 클라이언트의 요구에 맞추어 데이터나 코드를 즉시 생성하여 전송하여야 하는 경우, 새로운 JAR 파일이 생성되어야 한다. 따라서 애플리케이션 서버는 예기치 않은 JAR 파일의 변경에 맞추어 동적으로 JAR 파일에 대해 전자서명을 수행하는 기능이 포함되어야 한다. 이 논문에서는 JAR 파일의 포맷과 전자서명 절차를 분석하여, JAR 파일에 대한 전자서명의 특징과 문제점들을 제시하고, 애플리케이션 서버에서 발생 가능만 에러에 적절히 대처하면서 동적으로 JAR 파일들을 전자서명할 수 있는 프로그램 프로시저의 구현을 예시하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.1797-1801
• /
• 2009

수문자료 정보시스템은 설마천 시험유역의 신뢰성 있는 수문자료를 체계적으로 저장하고 관리하며, 간단한 가입절차를 통해 사용자에게 온라인으로 신속하게 제공하는 시스템이다. 설마천 시험유역은 관측망 설계가 이루어진 1995년부터 현재까지 지속적으로 운영되고 있으며, 본격적으로 2000년부터 신뢰할 만한 관측자료가 생성되어 왔다. 구축된 설마천 시험유역의 수문자료 정보시스템은 1996년부터 현재까지 생성된 관측자료와 가공자료로 구성되어 있다. 관측자료에는 실시간-시계열 자료(6개소 우량, 2개소 하천수위, 1개소 유량), 비실시간-시계열자료(5개소 우량, 2개소 3종의 하천수위, 2개소 지하수위, 1개소 파샬플륨 수심, 1개소 14종의 기상), 비실시간-비시계열 자료(3개소 유량측정성과, 3개소 수질, 2개소 부유사량) 등이 있으며, 가공자료에는 2개소 유역면적우량, 2개소 유량환산자료가 있다. 관측된 자료는 수문자료 처리절차에 따라 비교·검토를 통하여 자료를 확정시킨다. 확정된 자료는 새로운 설마천 시험유역 홈페이지(http://seolmacheon.kict.re.kr)를 통해 간단한 등록을 한 후 필요로 하는 자료를 검색하여 추출할 수 있다. 제공되는 자료에는 6개 지점우량, 2개소 유역면적우량, 2개소 하천수위, 2개소 지하수위, 2개소 유량, 1개소 18종의 기상, 3개소 유량측정성과, 3개소 수질, 2개소 부유사량 자료 등이 있다. 설마천 시험유역에서 축적된 수문자료는 본 시스템을 통하여 널리 사용자에게 쉽게 제공이 가능함에 따라 자료의 이용도가 크게 증대될 것이며, 동시에 자료의 공유는 자료의 검증을 확보할 수 있을 것이다. 따라서, 자료의 공유와 검증이 이루어진 수문자료는 수자원 연구 및 개발 분야에 직접적인 이용이 가능할 것으로 기대된다.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.14 no.2
• /
• pp.75-84
• /
• 2010

An in-cabinet response spectrum should be generated to perform the seismic qualification of devices and instruments mounted inside safety-related electrical equipment installed in nuclear power plants. The response spectrum is available by obtaining accurate seismic responses at the device mounting location of the cabinet. The dynamic behavior of most of electrical equipment may not be easily analyzed due to their complex mass and stiffness distributions. Considering these facts, this study proposes a procedure to estimate the seismic responses of a structure by a combination of a test and subsequent analysis. This technique firstly constructs the modal equations of the structure by using the experiment modal parameters obtained from the impact test. Then the seismic responses of the structure may be calculated by a mode superposition method. A simple steel frame structure was fabricated as a specimen for the validation of the proposed method. The seismic responses of the specimen were estimated by using the proposed technique and compared with the measurements obtained from the shaking table tests. The study results show that it is possible to accurately estimate the seismic response of the structure by using the experimental modal parameters obtained from the impact test.

• Korean Journal of Cognitive Science
• /
• v.14 no.2
• /
• pp.15-25
• /
• 2003

The Monkey and Banana Problem is an example commonly used for illustrating simple problem solving. It can be solved by conventional approaches, but this requires a procedural aspect when inferences are processed, and this fact works as a limitation condition in solving complex problems. However, if we use DNA computing methods which are naturally able to realize massive parallel processing. the Monkey and Banana Problem can be solved effectively without weakening the fundamental aims above. In this paper, we design a method of representing the problem using DNA molecules, and show that various solutions are generated through computer-simulations based on the design. The simulation results are obviously interesting in that these are contrary to the fact that the Prolog program for the Monkey and Banana Problem, which was implemented from the conventional point of view, gives us only one optimal solution. That is, DNA computing overcomes the limitations of conventional approaches.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.592-594
• /
• 2001

본 논문은 절차지향 소프트웨어로부터 클래스와 상속성을 추출하기 위한 방법론을 제안한다. 본 논문에서 제안한 방법론은 모든 경우의 클래스 후보군과 그들의 상속성을 생성하여 클래스 후보군과 영역 모델 사이의 관계성과 유사 정도를 가지고 최고 또는 최적의 클래스 후보군을 선택하는데 초점을 둔다. 클래스와 상속성 추출 방법론은 다음과 같은 두드러진 특징을 가지고 있다: 정적(속성)과 동적(메소드)인 클러스터링 방법을 사용하고, 클래스 후보군의 경우는 추상화에 초점을 두며, m개의 클래스 후보와 n개의 클래스 후보 사이의 상속 관계의 유사도 측정 즉, 2차원적 유사도 측정은 m개의 클래스 후보와 n개의 클래스 후보 사이의 전체 그룹에 대한 유사도를 구하는 수평적 측정과 클래스 후보군들에서 상속성을 가진 클래스의 집합과 영역 모델에서 같은 클래스 상송성을 가진 클래스 집합사이의 유사도를 위한 수직적 측정방법이 있다. 이러한 방법론은 최고 또는 최적의 클래스 후보군을 선택하기 위해 제공학 전문가에게 광범위하고 통합적인 환경을 제시하고 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.8
• /
• pp.731-738
• /
• 2015

The rapid prototyping process and development tool which enable the control law evaluation efficiently are needed to minimize the development cycle, cost and risk of aircraft flight control system. This paper describes a development process that integrates the designed control law into HETLAS to evaluate simulation effectively using nonlinear mathematical models. The desktop engineering simulator was developed using HETLAS for the piloted simulation evaluation of a various control modes and the procedure was developed, which quickly integrates the HETLAS into HQS(Handling Quality Simulator) and HILS(Hardware In the Loop Simulation) environments. This paper presents a rapid prototyping process using HETLAS that significantly shortens the integration process of the control law into the nonlinear math model, HETLAS, and allows the control law designs to be quickly tested in the piloted simulation and HILS environments.

• Journal of Korea Multimedia Society
• /
• v.16 no.5
• /
• pp.637-646
• /
• 2013

In order to model a variety of natural trees that are appropriate to outdoor terrains consisting of multiple trees, this study proposes a modeling method of new growth rules(based on the convolution sums of divisor functions). Basically, this method uses an existing growth-volume based algorithm for efficient management of the branches and leaves that constitute a tree, as well as natural propagation of branches. The main features of this paper is to introduce the theory of convolution sums of divisor functions that is naturally expressed the growth or fate of branches and leaves at each growth step. Based on this, a method of modeling various tree is proposed to minimize user control through a number of divisor functions having generalized generation functions and modification of the growth rule. This modeling method is characterized by its consideration of both branches and leaves as well as its advantage of having a greater effect on the construction of an outdoor terrain composed of multiple trees. Natural and varied tree model creation through the proposed method was conducted, and using this, the possibility of constructing a wide nature terrain and the efficiency of the process for configuring multiple trees were evaluated experimentally.

• Journal of the Korea Society for Simulation
• /
• v.33 no.1
• /
• pp.19-26
• /
• 2024

The phase-type, PH, distribution is defined as the time to absorption into a terminal state in a continuous-time Markov chain. As the PH distribution includes family of exponential distributions, it has been widely used in stochastic models. Since the PH distribution is represented and generated by an initial probability vector and a generator matrix which is called the Markovian representation, we need to find a vector and a matrix that are consistent with given set of moments if we want simulate a PH distribution. In this paper, we propose an approach to simulate a PH distribution based on distribution function which can be obtained directly from moments. For the simulation of PH distribution of order 2, closed-form formula and streamlined procedures are given based on the Jordan decomposition and the minimal Laplace transform which is computationally more efficient than the moment matching methods for the Markovian representation. Our approach can be used more effectively than the Markovian representation in generating higher order PH distribution in queueing network simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.904-906
• /
• 2005

소프트웨어 개발의 생산성을 높이고 신뢰성 있는 프로그램을 개발하기 위하여 테스트 자동화에 대한 연구가 활발히 진행되고 있다. 임베디드 소프트웨어는 일반 소프트웨어 개발 환경과는 달리 호스트-타겟(host-target) 구조의 교차 개발환경에서 개발이 이루어지고 있다. 본 논문은 임베디드 소프트웨어의 개발 환경에 맞추어 제한된 자원의 특성을 고려한 원격 단위 테스팅 도구를 제안한다. 제안하는 원격 단위 테스팅 도구는 XML 테스트 스크립트를 기반으로 대상 소스 언어에 맞는 테스트 드라이버를 생성하여 테스트 대상과 함께 테스트 작업 용구(Test harness)를 생성한다. 이러게 생성된 테스트 작업 용구는 이더넷(ethernet)을 통해 타겟(target)으로 전송되어 테스트를 수행한 후, 테스트 결과 로그를 호스트로 전송한다. 호스트에서는 로그를 수집하여 XML형태의 파일로 제공하여 다양한 형태의 리포트 뷰(View)를 가능하게 한다. 본 논문의 원격 단위 테스팅 도구는 임베디드 소프트웨어 개발 단계에서 반복적인 단위 테스팅의 절차를 간소화 하여 보다 효율적이고 신뢰성 있는 임베디드 소프트웨어 개발의 기회를 제공 할 것으로 기대된다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.11
• /
• pp.876-880
• /
• 2009

A control flow graph(CFG) is an essential data structure for program analyses based on graph theory or control-/data- flow analyses. Esterel is an imperative synchronous language and its synchronous parallelism makes it difficult to construct a CFG of an Esterel program. In this work, we present a method to construct over-approximated CFGs for Esterel. Our method is very intuitive and generated CFGs include not only exposed paths but also invisible ones. Though the CFGs may contain some inexecutable paths due to complex combinations of parallelism and exception handling, they are very useful for other program analyses.