• 제목/요약/키워드: functional programming

검색결과 148건 처리시간 0.028초

닷넷 프레임워크에서 클래스 최적화를 위한 추상구조트리 생성 및 크로스커팅 위빙 메커니즘 (AST Creating and Crosscutting Concern Weaving Mechanism for Class Optimization in .NET Framework)

  • 이승형;박제연;송영재
    • 한국콘텐츠학회논문지
    • /
    • 제10권2호
    • /
    • pp.89-98
    • /
    • 2010
  • 엔터프라이즈 시스템은 점점 복잡해지고 대형화되고 있다. 시대적 흐름에 따라 재사용에 초점을 맞춘 객체지향 프로그래밍 방법으로 시스템을 개발하고 있다. 하지만, 객체지향 방법에서는 core class에 중복되는 코드가 삽입되기 때문에, 생산성 저하, 새로운 요구사항을 적용하기 어려운 문제가 발생한다. 이 단점을 해결하기 위하여, 메타데이터와 크로스커팅 개념을 적용하는 위빙 메카니즘을 제안한다. 클래스 최적화와 다른 언어사이의 통합을 위하여 다음의 방법을 사용한다. 리플렉션을 이용한 메타데이타 생성, 추상구조트리로의 변환, 그리고 XML로 명세된 크로스커팅 정보를 통한 매핑을 이용한다. 제안하는 방법을 이용하여, 기능의 분산과 코드의 혼란을 해결함으로서 클래스를 최적화 할 수 있다.

스마트미터의 양방향 통신을 위한 ANSI C12.22 통신 프로토콜 구현 (Implementation of ANSI C12.22 Communication Protocol for Two-way Communications of Smart Meter)

  • 이상일
    • 한국정보통신학회논문지
    • /
    • 제17권4호
    • /
    • pp.815-821
    • /
    • 2013
  • 본 논문에서는 스마트미터의 북미 국제표준인 ANSI C12.22에서 정의하는 C12.22 노드의 응용계층 프로토콜을 구현하였다. ANSI C12.22에서는 OSI 7 계층 중에서 응용계층만을 정의하고 있다. 정보전송에 필수 요소인 1~4 계층은 기존에 사용되고 있는 프로토콜을 사용할 것을 권고하고 있으며, 이에 따라 본 논문에서는 통상적으로 사용되고 있는 TCP/IP 프로토콜을 전송계층 및 네트워크계층 프로토콜로 사용하였다. ANSI C12.19에서는 전력량계에 사용되는 파라미터들을 규정하고 있으며, C12.22 응용계층은 이 전력량계 파라미터들을 네트워킹하기 위한 최소한의 네트워크 서비스와 데이터 구조들을 정의하고 있다. 이러한 서비스와 데이터 구조들은 네트워킹된 전력량계를 설정, 프로그래밍, 모니터링하거나 전력량계의 정보를 수집할 목적으로 사용된다. 본 논문에서는 C12.22 응용계층을 소프트웨어로 구현하기 위해 임베디드 보드를 사용하였고, 기능 테스트를 위해서 AMI 응용서버 역할을 하는 테스트 프로그램을 동시에 개발하였다.

평균변화율 및 유일성을 통한 진화 프로그래밍에서 레비 돌연변이 연산 분석 (Analysis of the Levy Mutation Operations in the Evolutionary prograamming using Mean Square Displacement and distinctness)

  • 이창용
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권11호
    • /
    • pp.833-841
    • /
    • 2001
  • 본 논문에서는 진화프로그래밍에서 레비 확률분포(Levy probability distribution)를 사용한 돌연변이 연산의 유용성을 레비 돌연변이 연산 후의 변수의 평균변화율(mean square displacement) 및 유일성(distinctness) 등을 통하여 분석하였다. 레비 확률분포는 무한의 분산(infinite second moment을 가지는 확률분포로 쪽거리(fractal)와 연계되어 최근 연구가 활발히 진행되고 있는 확률분포이다. 레비 확률분포를 사용한 레비 돌연변이 연산은 변화가 작은 자손(offspring)뿐만 아니라 기존의 정규분포를 사용한 돌연변이 연산에 비하여 상대적으로 변화가 큰 자손을 생성할 수 있다. 이러한 사실에 기초하여 레비 돌연변이 연산은 보다 넓은 탐색 공간을 효율적으로 조사할 수 있음을 평균변화율 및 유일성 등의 조사를 통하여 수학적으로 증명하였다. 이를 통하여 진화 프로그래밍에서 레비 확률분포에 기초한 돌연변이 연산이 정규분포를 사용한 돌연변이 연산보다 다변량 함수의 최적화의 경우 일반적으로 효율적인 연산임을 알 수 있었다.

  • PDF

Identification and Functional Analysis of RelA/SpoT Homolog (RSH) Genes in Deinococcus radiodurans

  • Wang, Jinhui;Tian, Ye;Zhou, Zhengfu;Zhang, Liwen;Zhang, Wei;Lin, Min;Chen, Ming
    • Journal of Microbiology and Biotechnology
    • /
    • 제26권12호
    • /
    • pp.2106-2115
    • /
    • 2016
  • To identify the global effects of (p)ppGpp in the gram-positive bacterium Deinococcus radiodurans, which exhibits remarkable resistance to radiation and other stresses, RelA/SpoT homolog (RSHs) mutants were constructed by direct deletion mutagenesis. The results showed that RelA has both synthesis and hydrolysis domains of (p)ppGpp, whereas RelQ only synthesizes (p)ppGpp in D. radiodurans. The growth assay for mutants and complementation analysis revealed that deletion of relA and relQ sensitized the cells to $H_2O_2$, heat shock, and amino acid limitation. Comparative proteomic analysis revealed that the bifunctional RelA is involved in DNA repair, molecular chaperone functions, transcription, the tricarboxylic acid cycle, and metabolism, suggesting that relA maintains the cellular (p)ppGpp levels and plays a crucial role in oxidative resistance in D. radiodurans. The D. radiodurans relA and relQ genes are responsible for (p)ppGpp synthesis/hydrolysis and (p)ppGpp hydrolysis, respectively. (p)ppGpp integrates a general stress response with a targeted re-programming of gene regulation to allow bacteria to respond appropriately towards heat shock, oxidative stress, and starvation. This is the first identification of RelA and RelQ involvement in response to oxidative, heat shock, and starvation stresses in D. radiodurans, which further elucidates the remarkable resistance of this bacterium to stresses.

추상구문트리를 이용한 어스팩트 마이닝 프로세스 설계 (Aspect Mining Process Design Using Abstract Syntax Tree)

  • 이승형;송영재
    • 한국콘텐츠학회논문지
    • /
    • 제11권5호
    • /
    • pp.75-83
    • /
    • 2011
  • 어스팩트 지향 프로그래밍은 시스템에서 크로스커팅 개념을 추출하고 소프트웨어 모듈화를 통하여 기능의 분산과 코드의 혼란을 해결하기 위한 패러다임이다. 현존하는 어스팩트 개발 방법은 크로스커팅 대상 영역을 추출에 어려움이 있기 때문에, 어스팩트 마이닝을 적용하기가 쉽지 않다. 어스팩트 마이닝에서는 기존 프로그램의 리팩토링 요소를 크로스커팅 영역으로 변환하는 기술이 필수적이다. 본 논문에서는 리팩토링에 적합한 크로스커팅 영역 자동 추출을 위한 시스템에서 크로스커팅 개념을 추출하기 위한 어스팩트 마이닝 방법을 제안한다. 소스 모듈의 추상 구문구조 명세를 이용하여, 모듈의 구조적 중복 관계 요소를 추출한다. Apriori 알고리즘을 통하여 중복 구문트리를 생성하고, 크로스커팅 영역 대상인 중복된 소스 모듈을 자동 생성, 최적화 할 수 있다. Berkeley Yacc의 berbose.c 모듈을 제안하는 마이닝 프로세스에 적용해 본 결과, 원본 대비 9.47%의 길이와 부피의 감소하였고, CCFinder 대비 4.92%의 길이 감소, 5.11%의 부피 감소 효과를 확인하였다.

항공전자시스템컴퓨터 탑재소프트웨어 개발 (Development of Operational Flight Program for Avionic System Computer)

  • 김영일;김상환;임흥식;이성수
    • 한국항공우주학회지
    • /
    • 제33권9호
    • /
    • pp.104-112
    • /
    • 2005
  • 본 논문은 항공전자시스템 통제와 항법 및 사격통제를 통합하고 비행, 항법 및 무장조준 임무를 위한 정보를 제공하는 항공전자시스템컴퓨터(ASC)의 탑재소프트웨어(OFP) 개발 기법을 제안한다. OFP 개발을 위해 중앙처리장치 보드로는 2개의 i960 칩이 사용되었고 자체 개발된 표준 컴퓨터 인터페이스 라이브러리(SCIL) 프로그램이 사용되었다. Irvine 컴파일러 회사의 개발환경과 Ada95 프로그래밍 언어가 OFP 개발에 사용되었다. OFP는 소프트웨어 모듈의 독립성을 위하여 3부분으로 구성된 1개의 컴퓨터소프트웨어형상품목으로 설계되었다. 일련의 비행시험을 통해 개발된 OFP를 검증하였으며, 소프트웨어 통합시험과 지상기능시험 등 관련 시험 또한 수행하였다.

A "Dynamic Form-Finding" Approach to Environmental-Performance Building Design

  • Yao, Jia-Wei;Lin, Yu-Qiong;Zheng, Jing-Yun;Yuan, Philip F.
    • 국제초고층학회논문집
    • /
    • 제7권2호
    • /
    • pp.145-151
    • /
    • 2018
  • Newly-designed high-rise buildings, both in China and abroad, have demonstrated new innovations from the creative concept to the creative method. from the creative concept to the creative method. At the same time, digital technology has enabled more design freedom in the vertical dimension. "Twisting" has gradually become the morphological choice of many city landmark buildings in recent years. The form seems more likely to be driven by the interaction of aesthetics and structural engineering. Environmental performance is often a secondary consideration; it is typically not simulated until the evaluation phase. Based on the research results of "DigitalFUTURE Shanghai 2017 Workshop - Wind Tunnel Visualization", an approach that can be employed by architects to design environmental-performance buildings during the early stages has been explored. The integration of a dynamic form-finding approach (DFFA) and programming transforms the complex relationship between architecture and environment into a dialogue of computer language and dynamic models. It allows the design to focus on the relationship between morphology and the surrounding environment, and is not limited to the envelope form itself. This new concept of DFFA in this research consists of three elements: 1) architectural form; 2) integration of wind tunnel and dynamic models; and 3) environmental response. The concept of wind tunnel testing integrated with a dynamic model fundamentally abandons the functional definition of the traditional static environment simulation analysis. Instead it is driven by integral environmental performance as the basic starting point of morphological generation.

비정규 분포에 대한 통계적 모멘트와 확률 제한조건의 민감도 해석 (Expansion of Sensitivity Analysis for Statistical Moments and Probability Constraints to Non-Normal Variables)

  • 허재성;곽병만
    • 대한기계학회논문집A
    • /
    • 제34권11호
    • /
    • pp.1691-1696
    • /
    • 2010
  • 설계단계에서 시스템의 불확실성을 반영하려는 노력이 다양하게 이루어지고 있으며, 강건 최적설계 혹은 신뢰도 기반 최적설계는 이에 대한 대표적인 설계 방법론이다. 이러한 최적화 수식에는 성능함수의 평균, 표준편차와 확률제한조건이 목적함수와 제한조건으로 주로 활용된다. 그러므로, 이러한 통계적 특성치를 효과적으로 계산하는 것은 필수적이며, 더 나아가 최적화 과정에서 비선형 계획법이 일반적으로 활용되므로 민감도가 반드시 필요하다. 본 연구에서는 통계적 모멘트와 확률제한조건에 대해 적분 형태로 정의되는 민감도 수식을 비정규 분포로 확장하고자 한다. 얻어진 민감도 해석 결과는 통계적 모멘트와 손상확률이 설계점에서 계산된 경우, 민감도를 얻기 위해 추가로 성능함수를 계산할 필요가 없음을 보여주므로 효율성 측면에서 우수하다. 그러나, 민감도 수식이 성능함수와 확률밀도함수의 미분과정에서 얻어지는 함수의 곱으로 정의되므로, 동일한 수치적분 방법이 적용되는 경우 민감도 해석 결과는 통계적 모멘트 결과의 정확도에 미치지 못할 가능성이 있다.

분산 메모리 환경에서의 ABox 실체화 추론 (ABox Realization Reasoning in Distributed In-Memory System)

  • 이완곤;박영택
    • 정보과학회 논문지
    • /
    • 제42권7호
    • /
    • pp.852-859
    • /
    • 2015
  • 최근 지식 정보의 양이 방대해지면서, 대용량 온톨로지를 효과적으로 추론하는 연구가 활발히 진행되고 있다. 이러한 추론 방법들은 TBox 분류와 ABox 실체화로 나누어진다. TBox 추론은 스키마의 무결성과 종속성을 주로 다룬다면, ABox 추론은 인스턴스 위주의 다양한 문제를 다루어서 실제 응용에서의 중요성이 매우 크다. 따라서 본 논문은 클래스의 제약 조건을 분석하고, 이를 통해 인스턴스가 속하는 클래스를 추론할 수 있는 방법을 제안한다. 객체 지향 언어 기반의 분산 파일 시스템을 활용했던 기존 방법과 달리 함수형 프로그래밍 기반의 인 메모리 시스템인 스파크를 통해 대용량 온톨로지 실체화 방법에 대해서 설명한다. 제안하는 기법의 효율성을 검증하기 위해 W3C의 Wine 온톨로지를 이용해 인스턴스를 생성(1억 2천만~6억개의 트리플)하고 실험을 수행하였다. 6억개의 트리플을 대상으로 진행한 실험의 경우 전체 추론 시간이 51분(696 K Triple/sec)이 소요되었다.

사용자 정의 웹 서비스를 위한 IoT 정보 자동생성 도구에 관한 연구 (A Study on IoT information Generation Tool for User Defined Web Services)

  • 심성호
    • 디지털융복합연구
    • /
    • 제16권11호
    • /
    • pp.329-334
    • /
    • 2018
  • 웹 서비스는 네트워크 및 관련 표준을 통하여 운영체제 및 프로그램 언어에 제한을 받지 않고 상호 운영이 가능하도록 해주는 표준화된 소프트웨어 기술로써 서비스를 제공, 발견하여 다양한 서비스를 이용할 수 있게 해주는 분산 컴퓨팅 서비스이다. 웹 서비스의 검색 방법은 기능적 측면만을 고려해 서비스 선정 시 사용자 위주의 검색에 한계점을 가지고 있다. 이러한 문제점을 개선하기 위해 본 연구에서는 IoT 정보 자동생성 도구를 제안하여 웹 서비스 검색 시 IoT 확장 정보를 제공하여 사용자에게 적합한 서비스를 선정할 수 있도록 문제점을 개선한다. 제안하는 IoT 확장 정보 자동생성 도구는 사용자, 사물, 서비스로 구성된 세 가지 요소가 분산된 환경에서 상호 자율적으로 협업하여 Sensing, networking, 정보처리 등에서 발생하는 다양한 정보를 수집 저장한다. 사용자에 의해 생성된 정보를 웹 서비스 검색 시 확장정보로 제공함으로써 사용자에 적합한 서비스 검색을 지원한다. 제안방법은 4차 산업 분야 전반에 걸쳐 적용됨으로 다양한 환경의 요구사항에 맞는 사용자 정의 서비스를 제공 할 수 있다.