• 한국정보처리학회논문지
• /
• 제1권1호
• /
• pp.114-128
• /
• 1994

초고급 언어에 의한 자동 프로그래밍은 프로그램의 자료구조 이외에 많은 부분을 시스템이 관장함으로써 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술 어논리, 집합, 사상, 혹은 제안된 자연언어를 사용하기 때문에 초고급 구조에 익숙하 지 않은 프로그래머들이 이를 이용하여 프로그램을 작성하는 경우 상당한 어려움이 따 르고, 이들 초고급언어 구조에 익숙하기까지 많은 시간이 요하게 된다. 왜냐하면 초 고급언어는 프로그램 명세의 표현이 추상적이지만 프로그램 의미소가 술어 논리, 집합, 사상, 혹은 제한된 자연언어를 사용하기 때문이다. 본 논문에서는 기존의 자동 프로 그램의 어려움을 줄이기 위해서 한글로 구성된 선언적구문, 절차적 구문, aggregate 구문으로 광역언어를 설계하고 구현한다. 본 논문에서는 제안하는 한글 자동 프로그래 밍 시스템(Hangul Automatic Programming)은 입력으로 순수한 한글로 구성되어 있으며 추상 알고리즘(Abstract Algorithm)과 자료형(Data Type)혹은 절차적 구문을 받아서 출력으로는 C 언어 프로그램을 만들어 낸다. 자동 프로그래밍 접근 방식은 프로그램 변형기법과 규칙기반에 바탕을 두고 문제영역은 일반적인 프로그램으로 한정 하였다. 시스템 제어구조는 한글 프로그램을 입력으로 받아서 지식베이스로부터 적절한 규칙 을 선택해서 이것을 변형한 다음 전체 데이타 베이스에 넣는데 이과정을 프로그램이 완성 될 때 까지 반복한다.

• 한국산학기술학회논문지
• /
• 제14권11호
• /
• pp.5827-5833
• /
• 2013

과학기술의 발전으로 인해서 현대의 시스템은 과거에 비해 대형화되고 복잡화되었다. 복잡한 시스템 개발에서 복잡도를 줄이기 위한 방법으로 모델기반 시스템엔지니어링(MBSE)이 다양한 분야에서 적용되고 있다. 하지만 다양한 언어를 통하여 모델링이 이루어지고 있으므로, 개발 프로세스에 따른 산출물의 일관성 및 이해관계자간의 의사소통에 문제가 발생하고 각 MBSE 도구의 지원 다이어그램의 차이에 따라 산출물의 표현이 제한되기 때문에 그 효과성이 부족하다. 본 논문에서는 전통적 다이어그램의 하나인 데이터흐름도(DFD)를 SysML의 다이어그램으로 변환하는 법칙을 연구함으로써 이미 구축된 모델들을 재사용하여 SysML로 구축될 수 있도록 한다. 특히, 각 다이어그램의 메타모델(Meta Model)을 분석하고, 이분그래프를 통해 각 구성요소의 연결 관계를 확인하여 변환의 근거를 마련하고 무결성을 확인하며 보다 효과적인 변환 법칙을 제시하고 있다. 또한 위 내용을 함정전투체계설계에 적용해 봄으로써 그 효과성을 확인한다. 본 연구의 결과를 기반으로 향후 추가연구를 수행하면, 이미 구축된 시스템 개발과정에서 산출된 모델들을 SysML 을 이용하여 일관성 있게 표현할 수 있을 것 이다. 그리하여 산출물의 일관성을 높이고 이해관계자간의 의사소통을 원활하게 함으로써, SysML을 이용한 효과적인 모델기반시스템엔지니어링(MBSE)에 도움이 될 것으로 기대된다.

• 정보보호학회논문지
• /
• 제29권1호
• /
• pp.149-164
• /
• 2019

Digital Transformation과 4차 산업혁명 등 변화의 시대에 급변하는 기술 변화에 맞게 전자금융서비스는 안전하게 제공하여야 한다. 그러나 전기통신금융사기(보이스피싱) 사고는 현재진행형 이어서 사고의 지속적 증가, 지능화 및 고도화 현상을 대응하려 법률 제 개정 및 정책 제도 개선등 사고 근절을 위해 다양한 노력을 기울이고 있다. 더불어 금융회사는 이상금융거래탐지 시스템 개선 및 고도화를 통한 전기통신금융사기 사고 방지에 노력하고 있으나, 그 대응 결과는 그리 밝지 않다. 이러한 노력에도 불구하고 전기통신금융사기 사고는 관련 대책에 맞서 변화하며 진화를 거듭하고 있다. 본 연구에서는 보이스피싱에 의한 금융거래 사고발생 방지를 위해 시나리오 기반의 Rule 모델과 인공지능 알고리즘을 통해 모델링 된 지능형 이상금융거래 시스템을 설계하고 금융기관의 전자금융거래 시스템 에 실제 설치 운용해 본 결과를 바탕으로 인공지능형 이상금융거래 탐지시스템의 구현 모델과 분석 탐지 결과를 차단 대응 할 수 있는 고도화 된 대응 모델을 제안하고자 한다.

• 한국게임학회 논문지
• /
• 제9권1호
• /
• pp.21-31
• /
• 2009

본 연구는 게임을 구성하는 핵심적인 구성 요소인 규칙을 특성에 따라 단계별로 분류하고 각 규칙 단계의 성립 근거와 개념을 정의한다. 이러한 정의를 바탕으로 게임 규칙의 변화 과정을 분석하고 게임 규칙이 진화를 통해서 발전해 나간다는 점을 확인한다. 디지털 게임 규칙의 변화 구조는 환경에 따라 이루어지는 생물의 진화 경로와 같은 구조를 가진다. 이러한 새로운 관점에서 바라보는 이 연구를 통해서 게임 규칙의 진화와 생물의 진화 경로의 구조적 유사성을 살펴본다. 또한 디지털 게임 규칙이 진화하는 과정을 새로운 시각을 통해서 분석하고 개념화하고자 한다. 나아가 이 연구를 바탕으로 게임을 새로운 학문적 대상으로서 재발견하고자 한다.

• 한국인터넷방송통신학회논문지
• /
• 제9권6호
• /
• pp.95-100
• /
• 2009

USN/RFID는 유비쿼터스 컴퓨팅을 위한 핵심기술로서 다양한 센서기술과 프로세서 집적기술 그리고 무선네트워크 기술을 이용해서 실제 물리적 환경 정보를 원격에서 손쉽게 수집하고 모니터링 하는 것이 가능하다. USN/RFID는 실시간 객체의 식별과 정보의 수집을 위한 기술로 짧은 시간에 많은 양의 데이터를 발생시킨다. 이러한 많은 양의 데이터를 효과적으로 처리하기 위해서는 데이터의 패턴을 정의하여 의미 있는 데이터를 필터링 할 수 있는 기술이 필수적이다. 본 논문에서는 전시물 주변에서 발생하는 데이터를 효과적으로 처리하기 위해 ECA 규칙을 사용하여 의미 있는 데이터를 구성하고 관리자가 전시물 관련 보안 정보를 실시간으로 관리할 수 있는 모니터링 시스템을 제안한다.

• 대한토목학회논문집
• /
• 제2권3호
• /
• pp.67-74
• /
• 1982

일정가속도(一定加速度)의 이동하중(移動荷重)과 축하중(軸荷重)이 작용(作用)하는 탄성기초(彈性基礎)위에 지지(支持)된 유한(有限)보의 동특성(動特性)을 연구(硏究)하였다. Euler보 이론(理論)을 이용(利用)하여 공간좌표(空間座標)에 관(關)하여는 Fourier 변환(變換)을 하고 시간(時間)에 관(關)하여는 Laplace 변환(變換)을 하여 해(解)를 구(求)하였다. 이론해석(理論解析) 결과(結果)에 포함(包含)된 적분(積分)은 Simpson's Rule에 의하여 구(求)하였다. 이론해석(理論解析) 결과(結果)로부터 보의 동특성(動特性)은 가속도(加速度)와 축하중(軸荷重)에 의하여 크게 영향(影響)을 받는다는 것을 밝혔다.

• 한국의류학회지
• /
• 제29권11호
• /
• pp.1410-1420
• /
• 2005

The purpose of this study was to analyze characteristics of effective expression on T-shirts pattern by peirce's semiotic theory. The methods of this study was to analyze 721 T-shirts patterns in designer's collection from 2000 to 2004. The results of this study were as follows: First of all, iconic expression showed high frequency after 2000. Characteristics of effective expression were as follows: In geometric expression, repetition was presented as a symbolic sign by regular proportion and rule of dot, line, plane, irregularity, mixture of irregular dot, line, plane. Mixed expression was presented as a iconic and symbolic sign by collage, mixture of dot, line, plane, icon and letter. In iconic expression, simplification of iconic sigrl was presented as a iconic sign by simplification of form, color, texture, realistic expression using digital as a iconic sign, and symbolic face, body as a symbolic sign. Pop art's expression was presented as a iconic sign by a cartoon and commercial character and illusion was presented as a iconic sign. In letter's expression, brand logo was presented as a symbolic sign by transformation of letter's design, a symbolic sign of numeral by transformation of size, thickness, form, color. Symbolic message phrase was presented by slogan, fashion trend, brand image, descriptive indication message as a index sign by using icon or singleness. In conclusion, characteristics of effective expression on T-shirts pattern will present not only the theoretical foundation to raise the value added, but also the information about beauty sense of times, political and social value.

• Genomics & Informatics
• /
• 제17권4호
• /
• pp.39.1-39.20
• /
• 2019

Analyzing patterns in data points embedded in linear and non-linear feature spaces is considered as one of the common research problems among different research areas, for example: data mining, machine learning, pattern recognition, and multivariate analysis. In this paper, data points are heterogeneous sets of biosequences (composite data points). A composite data point is a set of ordinary data points (e.g., set of feature vectors). We theoretically extend the derivation of the largest generalized eigenvalue-based distance metric D_ij(γ₁) in any linear and non-linear feature spaces. We prove that D_ij(γ₁) is a metric under any linear and non-linear feature transformation function. We show the sufficiency and efficiency of using the decision rule $\bar{{\delta}}_{{\Xi}i}$(i.e., mean of D_ij(γ₁)) in classification of heterogeneous sets of biosequences compared with the decision rules min_𝚵iand median_𝚵i. We analyze the impact of linear and non-linear transformation functions on classifying/clustering collections of heterogeneous sets of biosequences. The impact of the length of a sequence in a heterogeneous sequence-set generated by simulation on the classification and clustering results in linear and non-linear feature spaces is empirically shown in this paper. We propose a new concept: the limiting dispersion map of the existing clusters in heterogeneous sets of biosequences embedded in linear and nonlinear feature spaces, which is based on the limiting distribution of nucleotide compositions estimated from real data sets. Finally, the empirical conclusions and the scientific evidences are deduced from the experiments to support the theoretical side stated in this paper.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권10호
• /
• pp.1830-1840
• /
• 2011

CDISC (Clinical Data Interchanging Standards Consortium) standards are to support the acquisition, exchange, submission and archival of clinical trial and research data. SDTM (Study Data Tabulation Model) for Case Report Forms (CRFs) was recommended for U.S. Food and Drug Administration (FDA) regulatory submissions since 2004. Although the SDTM Implementation Guide gives a standardized and predefined collection of submission metadata 'domains' containing extensive variable collections, transforming CRFs to SDTM files for FDA submission is still a very hard and time-consuming task. For addressing this issue, we developed metadata based SDTM mapping rules. Using these mapping rules, we also developed a semi-automatic tool, named CDISC Transformer, for transforming clinical trial data to CDISC standard compliant data. The performance of CDISC Transformer with or without MDR support was evaluated using CDISC blank CRF as the 'gold standard'. Both MDR and user inquiry-supported transformation substantially improved the accuracy of our transformation rules. CDISC Transformer will greatly reduce the workloads and enhance standardized data entry and integration for clinical trial and research in various healthcare domains.

• 한국간담췌외과학회지
• /
• 제26권4호
• /
• pp.407-411
• /
• 2022

Mesenchymal hamartoma of the liver (MHL) is a rare benign tumor that often presents in early childhood, and it rarely occurs in adulthood. Aberrant development of the portal tract is a known cause of MHL. Although limited information is available on the natural course of MHL, malignant transformation has been reported in a few cases. Here, we report a case of a 26-year-old female with intrahepatic cholangiocarcinoma secondary to unresected MHL. The patient underwent resection of the hepatic mass, which was diagnosed as MHL at 2 years of age, due to an increase in mass size and a suspicion of malignant transformation during work-up. Histopathology confirmed intrahepatic adenosquamous carcinoma in the background of MHL, with a T2N0M0 pathological stage (stage II). The surgical margin was free from tumor cells. The patient fully recovered postoperatively and started receiving adjuvant chemotherapy. Previous case reports have only reported about the development of undifferentiated embryonal sarcoma or angiosarcoma as malignant transformation of MHL. Cases of other malignancies have not been published; however, it is difficult to rule out the occurrence of various malignancies related to the portal tract when considering the pathogenesis of the disease. To the best of our knowledge, this is the first case report of adenocarcinoma of bile duct origin secondary to MHL. This case report suggests that aggressive surgical management should be considered after the initial diagnosis of MHL.