• 제목/요약/키워드: Haskell

검색결과 34건 처리시간 0.015초

Parallelization of a Purely Functional Bisimulation Algorithm

  • Ahn, Ki Yung
    • 한국컴퓨터정보학회논문지
    • /
    • 제26권1호
    • /
    • pp.11-17
    • /
    • 2021
  • 본 논문에서는 순수 함수형 언어로 작성된 쌍방시뮬레이션 알고리듬의 성능을 멀티코어 프로세서 컴퓨터에서 병렬화로 향상시키는 방법을 연구한다. 이 병렬화에 있어 핵심 아이디어는 순수 함수형 프로그램의 참조 투명성을 십분 활용하면 병렬화가 전혀 고려되지 않고 작성된 초기 구현으로부터 최소한의 수정만으로 성능 개선 효과를 기대할 수 있다는 것이다. 초기 구현과 병렬화 구현 둘 다 순수 함수형 언어인 하스켈로 작성되었다. 초기 구현을 병렬화할 때 변화는 아주 적어서 병렬화된 구현에서도 초기 구현의 프로그램 구조가 거의 그대로 유지되었다. 벤치마크를 통해 제시된 간단한 병렬화만으로도 초기 구현과 비교해 두 배 이상의 성능 개선을 확인했다. 또한, 병렬화와는 별개의 최적화 기법인 메모이제이션이 적용된 버전의 쌍방시뮬레이션 구현에도 같은 방식의 병렬화를 적용함으로써 마찬가지로 성능을 개선할 수 있음을 확인하였다.

Lock-free unique identifier allocation for parallel macro expansion

  • Son, Bum-Jun;Ahn, Ki Yung
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권4호
    • /
    • pp.1-8
    • /
    • 2022
  • 이 논문에서는 싱글 프로세스 멀티코어 환경의 매크로 확장에서 Lock이 필요하지 않은 더 효과적인 고유식별자 할당 방식을 제안한다. 이 할당 방식의 핵심 아이디어는 나머지 연산을 이용해 순차적 의존성을 제거하는 것이다. 우리가 고안한 방식이 멀티코어 병렬 환경에서 매크로 확장의 성능 개선에 적합함을 확인하기 위해, 기존에 순차적 방식의 고유식별자 생성으로 구현된 라이브러리를 우리가 고안한 방식으로 변경하여 변경 전의 버전과 후의 버전의 라이브러리로 작성된 같은 프로그램의 성능을 비교하는 벤치마크를 수행하였다.

Hazard Recognition and Construction Safety Training Efficacy using Interactive Virtual Reality (VR)

  • Saiyad, Meeranali;Rybkowski, Zofia K.;Suermann, Patrick;Dixit, Manish;Luhan, Gregory;Shanbari, Hamzah
    • 국제학술발표논문집
    • /
    • The 9th International Conference on Construction Engineering and Project Management
    • /
    • pp.1209-1216
    • /
    • 2022
  • The majority of construction site incidents occur due to a lack of hazard awareness among workers on job sites. This lack of awareness is despite mandatory construction safety training, typically in the form of written content (safety manuals) or of images depicting hazards. To reduce job-site injuries and fatalities, general contractors have started adopting Virtual Reality (VR) to impart safety training to job site personnel. VR safety training can take the form of an immersive simulation comprising potential safety hazards intentionally embedded into a virtual job site; users are required to identify these hazards within a specified time frame with the expectation that they will be more adept at recognizing hazards on an actual job-site, resulting in fewer accidents. This research study seeks to identify the actual impacts of VR on construction safety awareness among participants. The research addresses the following question: Does VR improve hazard recognition awareness? The primary objective is to evaluate participants' performance of past construction safety awareness against present construction safety awareness after receiving VR training. Participants were asked to complete a multiple-choice Qualtrics™ questionnaire. The results of the study showed a statistically significant knowledge gain advantage with respect to hazard recognition and construction safety awareness with the use of interactive, immersive VR over a more conventional and passive safety training method.

  • PDF

경험적 그린함수를 이용한 강지진동 합성에 관한 연구 (A Study on the Synthesis of Strong Ground Motion using Empirical Green Function)

  • 김준경;이상훈
    • 한국지진공학회논문집
    • /
    • 제10권1호
    • /
    • pp.17-23
    • /
    • 2006
  • 지진공학 분야에서는 내진설계를 위한 필요성으로 인해 근역의 강지진동이 관심의 대상이 되어왔으며, 최근 우리나라의 모든 구조물에 내진설계가 의무화되면서 그 필요성은 더욱 부각되고 있는 상황이다. 본 연구에서는 특정부지에서의 강지진동 합성을 위하여 경험적 그린함수 방법을 이용한 합성방법을 적용하였다. 이 합성방법은 Haskell 타입의 운동학적 지진원 모델과 동일한 지역에서 발생한 지진의 유사성 이론을 기본으로 하고 있다. 합성에 이용되는 변수들은 단층길이, 폭 및 변위지속 시간과 같은 단층변수와 모멘트간의 일관된 관계로부터 결정된다. 본 연구에서 적용된 합성방법을 1997년 3월27일 일본의 동일지역에서 차례로 발생한 2개의 중규모(ML 4.7) 및 대규모 지진(ML 6.5)에 대하여 적용하여 강지진동을 합성하고 결과를 분석하였다. 본 연구방법을 적용한 결과 중규모(ML 4.7) 오부터 관측된 강지진동을 이용하여 가속도, 속도 및 변위 성분에서 합성된 강지진동은 파형뿐만 아니라 전체 진동수 대역에서 대체적으로 실제 강지진동을 양호하게 예측하는 경향을 보였다. 또한, 전체적으로 합성운동의 첨두값 역시 실제 계측된 첨두값과 비교할 때 만족스러운 정도로 일치하는 결과를 보여주었다. 특히 가속도이력의 첨두값은 단지 약 8.8%만의 차이를 보여주었다.