• 한국항해학회지
• /
• 제5권2호
• /
• pp.49-58
• /
• 1981

One of the main purposes of the marine gyrocompass follow-up system is to preserve the sensitive part from the wandering error due to the frictional or torsional torque around the vertical axis. This error can be diminished through the rapid follow-up action, which minimizes the relative azimuthal angular displacement between the sensitive and follow-up parts and shortens the duration of the same displacement. But an excessive rapidity of the follow-up action would result in a sustained oscillation to the system. Therefore, to design a new type of the follow-up system, the theoretical annlysis of the problems concerned should be studied systematically by introducing the control theory. This paper suggest a concrete procedure for the optimal adjustment of the gyrocompass follow-up system, utilizing the mathematic model and the stability informations formerly investiaged by the author. For theoptimal determination of the adjustable paramfter K, the performance index(P.I.), ITSE(Intergral of the Time multiplied by the Squared Error) is proposed, namely, P.I. = $\int_{0}^{\infty} t \cdot e^{2}(t)dt$ where t is time and e(t) means control error. Then, the optimal parameter minimizing the performance index is calculated by means of Parseval's theorem and numerical computation, and the validity of the obtained optimal value of the parameter Ka is examined and confirmed through the simulations and experiments. By using, the proposed method, the optimal adjustment can be performed deterministically. But, this can not be expected in the conventional frequency domain analysis. While the Mps of the original system vary to the extent of from 0.98 to 46.27, Mp of the optimal system is evaluated as 1.1 which satisfies the generally accepted frequency domain specification.

• Journal of Information Technology Applications and Management
• /
• 제12권3호
• /
• pp.27-39
• /
• 2005

The Semantic Web has increased the interest in ontologies recently Ontology is an essential component of the semantic web and continues to change and evolve. We consider versions management schemes in ontology. We study a set of changes based on domain changes, changes in conceptualization, metadata changes, and temporal dimension. Our change specification is represented by a set of changes. A set of changes consists of instance data change, structural change, and identifier change. In order to support a query in ontology versions, we consider temporal dimension includes valid time. Ontology versioning brings about massive amount of versions to be stored and maintained. We present the ontology versions management schemes that are 1) storing all the change sets, 2) storing the aggregation of change sets periodically, and 3) storing the aggregation of change sets using an adaptive criterion. We conduct a set of experiments to compare the performance of each versions management schemes. We present the experimental results for evaluating the performance of the three version management schemes from scheme 1 to scheme 3. Scheme 1 has the least storage usage. The average response time in Scheme 1 is extremely large, those of Scheme 3 is smaller than Scheme 2. Scheme 3 shows a good performance relatively.

• 한국발생생물학회지:발생과생식
• /
• 제17권4호
• /
• pp.389-397
• /
• 2013

FGF9/16/20 signaling pathway specify the developmental fates of notochord, mesenchyme, and neural cells in ascidian embryos. Although a conserved Ras/MEK/Erk/Ets pathway is known to be involved in this signaling, the detailed mechanisms of regulation of FGF signaling pathway have remained largely elusive. In this study, we have isolated Hr-Erf, an ascidian orthologue of vertebrate Erf, to elucidate interactions of transcription factors involved in FGF signaling of the ascidian embryo. The Hr-Erf cDNA encompassed 3110 nucleotides including sequence encoded a predicted polypeptide of 760 amino acids. The polypeptide had the Ets DNA-binding domain in its N-terminal region. In adult animals, Hr-Erf mRNA was predominantly detected in muscle, and at lower levels in ganglion, gills, gonad, hepatopancreas, and stomach by quantitative real-time PCR (QPCR) method. During embryogenesis, Hr-Erf mRNA was detected from eggs to early developmental stage embryos, whereas the transcript levels were decreased after neurula stage. Similar to the QPCR results, maternal transcripts of Hr-Erf was detected in the fertilized eggs by whole-mount in situ hybridization. Maternal mRNA of Hr-Erf was gradually lost from the neurula stage. Zygotic expression of Hr-Erf started in most blastomeres at the 8-cell stage. At gastrula stage, Hr-Erf was specifically expressed in the precursor cells of brain and mesenchyme. When MEK inhibitor was treated, embryos resulted in loss of Hr-Erf expression in mesenchyme cells, and in excess of Hr-Erf in a-line neural cells. These results suggest that zygotic Hr-Erf products are involved in specification of mesenchyme and neural cells.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.414-429
• /
• 2003

시스템 개발 시 복잡성을 감소시키고 개발 비용과 기간을 단축하기 위하여 컴포넌트 기반 개발(CBD)이 산업계에서 보편화 되고 있다. 그러나, 현재 대표적인 CBD는 한 회사나 하나의 어플리케이tus에 의존적인 컴포넌트를 개발하고 있다[1,2]. 따라서 어떤 도메인의 여러 패밀리에서 컴포넌트를 재사용하기 위한 컴포넌트 가변성이 강조 되고 있다. 하지만, 컴포넌트 가변성의 정의나 유형에 대해 구체적으로 제시된 연구가 미흡하여, 컴포넌트의 주 목적인 재사용 측면보다. 유지보수 목적의 컴포넌트가 개발되고 있다[3]. 본 논문에서는 컴포넌트의 재사용성을 높이기 위하여, 컴포넌트 특징을 반영한 컴포넌트 가변성을 정형적으로 정의한다. 또한, 기존의 컴포넌트 가변성으로 인식된 논리 가변성을 명확하게 정의하고, 추가로 3가지 가변성 유형을 제시함으로써, 컴포넌트에서 존재하는 모든 가변성 유형을 제시한다. 컴포넌트 커스터마이제이션시에 가변성의 경우의 수를 예측, 확인 할 수 있는 컴포넌트 가변성 Scope를 제시한다. 컴포넌트 개발에 있어서 이러한 기법을 적용함으로써, 여러 패밀리 멤버에서 재사용 할 수 있는 고품질의 컴포넌트 개발을 지원 할 수 있다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• 한국컴퓨터정보학회논문지
• /
• 제17권12호
• /
• pp.11-22
• /
• 2012

본 논문은 실용 엔지니어를 위해서 일반미분방정식으로 표현될 수 있는 연속시스템의 계층적인 모델 개발을 위한 모델링 기법 및 객체지향언어 기반의 경량 시뮬레이션 구축 환경을 제안하였다. 제안된 블록 기반 모델링 형식론은 단위 모델의 동적인 행위를 나타내는 기본블록 모델과 모델들의 계층적인 구조를 나타내는 결합블록 모델 형식론으로 이루어져 있다. 이러한 수학적 모델의 시뮬레이터를 객체지향 언어로 구현하기 위한 시뮬레이션구축 프레임워크인 BlockSim++를 제안하였다. 제안된 프레임워크는 재사용성을 제공하며, 수학적 모델을 쉽게 구현할 수 있게 하고, 또한 외부 응용 소프트웨어와도 쉽게 결합할 수 있는 인터페이스를 제공한다. 간단한 하이브리드 모델링 시뮬레이션 예시를 통해 제안된 모델링 형식론과 시뮬레이션 프레임워크를 이용하여 그 유용성을 입증하였다.

• 한국통신학회논문지
• /
• 제18권8호
• /
• pp.1226-1237
• /
• 1993

제한된 주파수 대역폭을 이용하여 신호를 전송하기 위해서는 여러종류의 특성을 갖는 필터들이 필요하다. 이 논문에서는 이러한 필터들을 효율적으로 설계하기위한 두가지 방식을 제시하였다. 특히 fractionally-spaced(FS) 구조가 사용될때 더욱 효율적으로 필터를 설계할 수 있다. FS 구조의 특성을 최소자승 오차 방식과 결합하여, 출력오차에 영향을 주지않고, 적절한 주파수 특성을 갖는 SF 필터 설계 방식을 제시하였다. 예로, noise 신호들을 적절히 이용하면, 한개의 SF 필터가, QAM 복조에 필요한 phase splitter, 수신 필터 그리고 등화기 기능까지 갖도록 설계할 수 있다. 두번째로 임의의 주파수 특성이 요구되는 필터의 설계 방식을 제시하였다. weighting factor를 이용한 최소자숭법을 iterative하게 사용하여 최적설계를 얻는다. 이를위해 weighting factor를 효율적으로 update하기 위한 새로운 알고리듬을 이용하였다. 마지막으로, 더욱 복잡한 조건을 갖는 필터를, 이 두가지 방식을 같이 이용하여, 효율적으로 설계할 수 있는것을 보였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.55-61
• /
• 2005

We will introduce a new web-based knowledge management system in progress, in which XML-based web information extraction and our structuring knowledge technologies are combined using ontology-based natural language processing. Our aim is to provide efficient access to heterogeneous information on the web, enabling users to use a wide range of textual and non textual resources, such as newspapers and databases, effortlessly to accelerate knowledge acquisition from such knowledge sources. In order to achieve the efficient knowledge management, we propose at first an XML-based Web information extraction which contains a sophisticated control language to extract data from Web pages. With using standard XML Technologies in the system, our approach can make extracting information easy because of a) detaching rules from processing, b) restricting target for processing, c) Interactive operations for developing extracting rules. Then we propose a structuring knowledge system which includes, 1) automatic term recognition, 2) domain oriented automatic term clustering, 3) similarity-based document retrieval, 4) real-time document clustering, and 5) visualization. The system supports integrating different types of databases (textual and non textual) and retrieving different types of information simultaneously. Through further explanation to the specification and the implementation technique of the system, we will demonstrate how the system can accelerate knowledge acquisition on the Web even for novice users of the field.

• International Journal of Computer Science & Network Security
• /
• 제21권7호
• /
• pp.191-204
• /
• 2021

The software development life cycle (SDLC) is a procedure used to develop a software system that meets both the customer's needs and real-world requirements. The first phase of the SDLC involves creating a conceptual model that represents the involved domain in reality. In requirements engineering, building such a model is considered a bridge to the design and construction phases. However, this type of model can also serve as a basic model for identifying business processes and how these processes are interconnected to achieve the final result. This paper focuses on process modeling in organizations, per se, beyond its application in the SDLC when an organization needs further documentation to meet its growth needs and address regular changes over time. The resultant process documentation is created alongside the daily operations of the business process. The model provides visualization and documentation of processes to assist in defining work patterns, avoiding redundancy, or even designing new processes. In this paper, a proposed diagrammatic representation models each process using one diagram comprising five actions and two types of relations to build three levels of depiction. These levels consist of a static description, events, and the behavior of the modeled process. The viability of a thinging machine is demonstrated by re-modeling some examples from the literature.

• 정보처리학회논문지B
• /
• 제15B권5호
• /
• pp.465-476
• /
• 2008

이질성, 이동성, 가변성 등의 특징을 갖는 유비쿼터스 컴퓨팅 환경에서 사용자의 의도에 맞도록 자율적이고 동적인 서비스를 제공하기 위해서는, 실시간의 상황을 고려하여 목적 달성에 필요한 서비스들을 합성할 수 있는 기법과, 이를 가능케 하는 효과적인 서비스 기술 및 관리 방법이 전제되어야 한다. 본 연구에서는, 도메인 내의 서비스를 추출하여 서비스 온톨로지로 구조화하는 메커니즘을 제안한다. 추출된 서비스는 제안한 서비스 규격에 따라 기술되고 온톨로지 내에서 계층적인 구조를 이루게 된다. 이를 근간으로 사용자는 다양한 추상화 레벨의 서비스를 사용하여 목표를 기술할 수 있고, 서비스 오버로딩 기법을 통해 실행 시에 가장 적합한 서비스가 선택된다. 또한, 요청한 서비스가 유효하지 않은 경우에도 서비스 온톨로지를 참조하여 대체 서비스를 찾을 수 있는 합성 방법을 제안한다. 구축한 서비스 온톨로지에 대한 실험 결과, 비구 조화된 서비스 리스트를 사용하는 것보다, 서비스 온톨로지를 사용함으로써 사용자의 목적 달성 성공률을 높일 수 있을 뿐만 아니라 서비스의 바인딩 시간도 감소시킬 수 있음을 보였다.