• Title/Summary/Keyword: Compilation

Search Result 399, Processing Time 0.022 seconds

A review on thermomechanical properties of polymers and fibers reinforced polymer composites

  • Saba, N.;Jawaid, M.
    • Journal of Industrial and Engineering Chemistry
    • /
    • v.67
    • /
    • pp.1-11
    • /
    • 2018
  • Polymer composites offered broad engineered applications, however their diversity get restricted owing to fluctuations in thermomechanical properties during heating or cooling hence great concern required prior their applications through thermomechanical analysis (TMA). Traditionally, TMA or dilatometry found to be simple, ideal, reliable, sensitive, excellent and basic thermal analytical technique. TMA provides valuable information on thermal expansion, glass transitions temperature (Tg), softening points, composition and phase changes on material of having different geometries simply by applying a constant force as a function of temperature. This compilation highlights the basics and experimental of TMA for both research and technical applications and also provide literature on TMA of polymers, hybrid composites, nanocomposites and their diverse applications.

Trend of Edge Machine Learning as-a-Service (서비스형 엣지 머신러닝 기술 동향)

  • Na, J.C.;Jeon, S.H.
    • Electronics and Telecommunications Trends
    • /
    • v.37 no.5
    • /
    • pp.44-53
    • /
    • 2022
  • The Internet of Things (IoT) is growing exponentially, with the number of IoT devices multiplying annually. Accordingly, the paradigm is changing from cloud computing to edge computing and even tiny edge computing because of the low latency and cost reduction. Machine learning is also shifting its role from the cloud to edge or tiny edge according to the paradigm shift. However, the fragmented and resource-constrained features of IoT devices have limited the development of artificial intelligence applications. Edge MLaaS (Machine Learning as-a-Service) has been studied to easily and quickly adopt machine learning to products and overcome the device limitations. This paper briefly summarizes what Edge MLaaS is and what element of research it requires.

A Comparative Study on the Internal System of Elementary Mathematics Textbook Composition in Korea and Japan (한국과 일본의 초등수학 교과서 구성의 내적 체제 비교)

  • Kim, Pan Soo;Lee, Young Ju
    • East Asian mathematical journal
    • /
    • v.38 no.4
    • /
    • pp.439-461
    • /
    • 2022
  • Since 2022, textbooks in elementary school mathematics have been converted from national textbook system to authorization system, but it is pointed out that the composition of these new textbooks is almost the same as the existing national textbooks and the advantages of the authorization system cannot be utilized. Therefore a need has been raised to find out the composition of foreign textbooks. In order to compare the internal system of elementary mathematics textbook composition in Korea and Japan, Wakuwaku Sansu, one of Japan's elementary mathematical textbooks was analyzed and compared with Korean textbooks. As a result of the analysis, it was found that Japanese textbooks have more flexibility in the composition of the unit, the number of hours of the unit, the introduction of special lessons, and emphasis. This analysis will promote the diversity and creativity of the composition of elementary mathematics textbooks in Korea, providing implications for more efficient textbook compilation.

Flat Indexing: A Compilation Technique to Enhance the Parallelism of Logic Programs (논리 프로그램의 병렬도 개선을 위한 플랫 인덱싱 기법)

  • Kim, Hie-Cheol;Lee, Yong-Doo
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.7
    • /
    • pp.1908-1922
    • /
    • 1998
  • 본 논문은 논리언어 프로그램의 효율적인 클로즈(Clause) 인덱싱을 위한 컴파일 기법에 대한 체계적인 접근방법을 제시한다. 본 접근방법의 핵심으로서 노드당 평균 병렬도와 클로즈 수행시도(clause trial) 횟수를 정확하게 나타낼 수 있는 기법으로서 인덱싱트리(Indexign Tree)를 제안한다. 인덱싱트리는 인덱싱 수행 시에 인덱싱을 위한 지시어(Instruction)의 수행 결과로 프로그램으 컨트롤이 실패처리코드로 이동하는 경우도 정량적으로 나타내 준다. 인덱싱트리를 사용하여 논리 프로그램을 위한 대표적인 가상머신인 WAM(Warren Abstract Machine)을 분석한 결과, WAM에서 사용하는 인덱싱 기법이 논리 프로그램의 병렬 처리에 있어 탐색트리의 병렬도를 감소시키며, 또한 스케쥴링의 효율성을 저하시키는 결점을 내포하고 있음을 발견할 수 있었다. 이러한 결점을 해결하기 위하여 본 논문은 플랫 인덱싱이라는 새로운 인덱싱 기법을 제안하고 이것을 실제 논리언어 컴파일러에 구현하여 측정한 향상 및 분석 결과를 보여준다.

  • PDF

TVM-based Performance Optimization for Image Classification in Embedded Systems (임베디드 시스템에서의 객체 분류를 위한 TVM기반의 성능 최적화 연구)

  • Cheonghwan Hur;Minhae Ye;Ikhee Shin;Daewoo Lee
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.18 no.3
    • /
    • pp.101-108
    • /
    • 2023
  • Optimizing the performance of deep neural networks on embedded systems is a challenging task that requires efficient compilers and runtime systems. We propose a TVM-based approach that consists of three steps: quantization, auto-scheduling, and ahead-of-time compilation. Our approach reduces the computational complexity of models without significant loss of accuracy, and generates optimized code for various hardware platforms. We evaluate our approach on three representative CNNs using ImageNet Dataset on the NVIDIA Jetson AGX Xavier board and show that it outperforms baseline methods in terms of processing speed.

The Waiting or the Wily Wife?: History, Memory and Performance in Adrienne Kennedy's The Alexander Plays

  • Ryu, Ye seul
    • American Studies
    • /
    • v.42 no.2
    • /
    • pp.135-160
    • /
    • 2019
  • This paper gives a feminist reading of Suzanne Alexander in The Alexander Plays by focusing on her performances as active reconstitutions of history and memory. A compilation of four of Adrienne Kennedy's more recent plays, The Alexander Plays revolves around a central protagonist who, behind windows and within the closed spaces of the home, waits for her missing husband to return home. Yet, the plot of the waiting wife seems to mask the hidden and more dangerous desires for political transgressions of the play. By analyzing Suzanne's interaction with various literary and historical figures, memories and events, this paper argues that her seeming approval of domesticity, femininity and intimacy serves as a cover for her more political altercations with history, race and gender.

Model-independent constraints on the light-curve parameters and reconstructions of the expansion history from Type Ia supernovae

  • Koo, Hanwool;Shafieloo, Arman;Keeley, Ryan;L'Huillier, Benjamin
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.44 no.2
    • /
    • pp.54.1-54.1
    • /
    • 2019
  • We use iterative smoothing reconstruction method along with exploring in the parameter space of the light curves of the JLA supernova compilation (Joint Light-curve Analysis) to simultaneously reconstruct the expansion history of the universe as well as putting constrains on the light curve parameters without assuming any cosmological model. Our constraints on the light curve parameters of the JLA from our model-independent analysis seems to be closely in agreement with results assuming ΛCDM cosmology or using Chevallier-Polarski-Linder (CPL) parametrization for the equation of state of dark energy. This implies that there is no hidden significant feature in the data that could be neglected by cosmology model assumption. The reconstructed expansion history of the universe and properties of dark energy seems to be in good agreement with expectations of the standard ΛCDM model. Our results also indicate that the data allows a considerable flexibility for expansion history of the universe.

  • PDF

《황앵아(黃鶯兒)》에 관한 서지적 분석

  • Seo, Yeon-Ju
    • 중국학논총
    • /
    • no.61
    • /
    • pp.181-202
    • /
    • 2019
  • Huangying-er黃鶯兒 is regarded as one of Feng Menglong's folk song books such as Guazhi-er掛枝兒, Shange山歌, and Jiazhutao夾竹桃. However, preceding researches criticized Huangying-er as 'a fly in the ointment' for laughing at pitiable female entertainers and harming the spirit of edification. In response, there has not been a detailed research on basic items such as editions, compiler, and written time. Thus, this study tried to shed new light on bibliographic information of Huangying-er. To discuss the bibliographic information of Huangying-er, this study organized and supplemented the 8 editions featuring Huangying-er in Ming Dynasty and Qing Dynasty periods. Most of these editions have signature of 'Fubaizhuren浮白主人' or 'Fubaizhaizhuren浮白齋主人'. After organizing the existing theories, this study came to support the theory claiming that the complier is Feng Menglong himself. Also, in reference to the works related to Huangying-er, this study concluded that Huangying-er was complied before compilation of Guazhi-er and Shange, the middle of the Wanli萬曆 reign period.

Testing LCDM with eBOSS / SDSS

  • Keeley, Ryan E.;Shafieloo, Arman;Zhao, Gong-bo;Koo, Hanwool
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.46 no.1
    • /
    • pp.47.3-47.3
    • /
    • 2021
  • In this talk I will review recent progress that the SDSS-IV / eBOSS collaboration has made in constraining cosmology from the clustering of galaxies, quasars and the Lyman-alpha forest. The SDSS-IV / eBOSS collaboration has measured the baryon acoustic oscillation (BAO) and redshift space distortion (RSD) features in the correlation function in redshift bins from z~0.15 to z~2.33. These features constitute measurements of angular diameter distances, Hubble distances, and growth rate measurements. A number of consistency tests have been performed between the BAO and RSD datasets and additional cosmological datasets such as the Planck cosmic microwave background constraints, the Pantheon Type Ia supernova compilation, and the weak lensing results from the Dark Energy Survey. Taken together, these joint constraints all point to a broad consistency with the standard model of cosmology LCDM + GR, though they remain in tension with local measurements of the Hubble parameter.

  • PDF

Accurate application of Gaussian process regression for cosmology

  • Hwang, Seung-gyu;L'Huillier, Benjamin
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.46 no.1
    • /
    • pp.48.1-48.1
    • /
    • 2021
  • Gaussian process regression (GPR) is a powerful method used for model-independent analysis of cosmological observations. In GPR, it is important to decide an input mean function and hyperparameters that affect the reconstruction results. Depending on how the input mean function and hyperparameters are determined in the literature, I divide into four main applications for GPR and compare their results. In particular, a zero mean function is commonly used as an input mean function, which may be inappropriate for reconstructing cosmological observations such as the distance modulus. Using mock data based on Pantheon compilation of type Ia supernovae, I will point out the problem of using a zero input and suggest a new way to deal with the input mean function.

  • PDF